有人了解HASKELL的Software Transacational Memory嗎？

CRLF

請教兩個問題：
1、Haskell中的事務允許包含IO嗎？
2、如果事務允許包含IO的化，那么Haskell是怎么實現(xiàn)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

復制代碼

當然了，不排除有已經(jīng)包裝好的 POSIX pthread API，我就不清楚了。

CRLF

先謝2L解答！

第一次看到STM的介紹時，覺得STM真是個好主意，應該能夠解決多線程中復雜的LOCK問題，但是后來深入了解后才發(fā)現(xiàn)STM有個非常棘手的問題，就是很難實現(xiàn)高效的、透明的IO回滾，有的論文提出使用BUFFER的方式可以實現(xiàn)在STM中包含IO，可惜只是paper design，當不得真的。

INTEL的C++ STM原型編譯器已經(jīng)出第3版了，初看它的例子，真的很吸引人，只要用__tm_atomic把需要原子執(zhí)行的代碼塊標記出來就可以了，但是看了下它的手冊，發(fā)現(xiàn)在實際中使用STM并不是像paper中描述的那么美好和簡單。

附錄：INTEL的C++ STM編譯器
http://software.intel.com/en-us/ ... ototype-edition-20/