有人了解HASKELL的Software Transacational Memory吗？

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，我就不清楚了。