有人了解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 编辑 ]

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/