我可以确保Haskell执行原子IO吗？

Question

我有两个线程在执行IO的haskell中。 （他们只打印）。像下面这样：

thread1 :: IO() 
thread1 = putStrLn "One" 

thread2 :: IO() 
thread2 = putStrLn "Two" 

我目前得到的结果如下所示：

OnTwoe 
OTnweo 

我怎样才能确保每个线程原子地完成其IO？

Answer 1

这是一个很好的问题。使用同步变量来确保对资源的原子访问。一个简单的方法是使用无功：

main = do 
    lock <- newMVar() 
    forkIO $ ... lock 
    forkIO $ ... lock 

现在，做IO无交错，每个线程需要的锁：

thread1 lock = do 
     withMVar lock $ \_ -> putStrLn "foo" 

thread2 lock = do 
     withMVar lock $ \_ -> putStrLn "bar" 

另一种设计是有一个专门的工作线程执行所有putStrLns，并发送消息通过Chan打印出来。