有人了解HASKELL的Software Transacational Memory吗？

Question

请教两个问题：
1、Haskell中的事务允许包含IO吗？
2、如果事务允许包含IO的化，那么Haskell是怎么实现IO回滚的？

请用Haskell的STM完成下面的功能，先谢谢了。

2. // 使用io_mutex保证thread1、thread2的输出行不会交织在一起。
3. pthread_mutex_t io_mutex;
5. void thread1()
6. {
7.        pthread_mutex_lock(&io_mutex);
8.        printf("THREAD1 OUTPUTn");
9.        pthread_mutex_unlock(&io_mutex);
10. }
12. void thread2()
13. {
14.        pthread_mutex_lock(&io_mutex);
15.        printf("THREAD2 OUTPUTn");
16.        pthread_mutex_unlock(&io_mutex);
17. }

复制代码
[ 本帖最后由 CRLF 于 2009-2-9 21:13 编辑 ]

Answer 1

先谢2L解答！

第一次看到STM的介绍时，觉得STM真是个好主意，应该能够解决多线程中复杂的LOCK问题，但是后来深入了解后才发现STM有个非常棘手的问题，就是很难实现高效的、透明的IO回滚，有的论文提出使用BUFFER的方式可以实现在STM中包含IO，可惜只是paper design，当不得真的。

INTEL的C++ STM原型编译器已经出第3版了，初看它的例子，真的很吸引人，只要用__tm_atomic把需要原子执行的代码块标记出来就可以了，但是看了下它的手册，发现在实际中使用STM并不是像paper中描述的那么美好和简单。

附录：INTEL的C++ STM编译器
http://software.intel.com/en-us/ ... ototype-edition-20/

Answer 2

事务当中当然不能包括 IO，否则就有你说的回滚的问题。
你说的问题，用 STM 可以这样解决：

1. data FlwMutex = FlwMutex (TVar Int)
3. flwMutexLock                    :: FlwMutex -> IO ()
4. flwMutexLock (FlwMutex tv)   = atomically $ do
5.     n <- readTVar tv
6.     check (n == 0)
7.     writeTVar tv 1
8.     return ()
10. flwMutexUnlock                 :: FlwMutex -> IO ()
11. flwMutexUnlock (FlwMutex tv) = atomically $ do
12.     n <- readTVar tv
13.     check (n == 1)
14.     writeTVar tv 0
15.     return ()
17. thread1         :: FlwMutex -> IO ()
18. thread1 mutex   = do
19.     flwMutexLock mutex
20.     putStrLn "--- Thread1 output ---"
21.     flwMutexUnlock mutex
23. thread2         :: FlwMutex -> IO ()
24. thread2 mutex   = do
25.     flwMutexLock mutex
26.     putStrLn "--- Thread2 output ---"
27.     flwMutexUnlock mutex

复制代码
当然了，不排除有已经包装好的 POSIX pthread API，我就不清楚了。