有人了解HASKELL的Software Transacational Memory吗？

CRLF

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

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

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

复制代码

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

flw

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

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

复制代码

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

CRLF

先谢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/