为什么MVar不能与`par`一起使用？

Question

只是好奇。如果我有使用forkIO产生的2个线程，它们之间的通信可以使用MVar来完成。我不知道在使用使用par创建的并行Haskell的火花时是否同样适用。据我所知，par不会创建实际的线程，而只是指向可以并行发生的某些计算的指针。

以下代码编译main会引发以下错误：thread blocked indefinitely in an MVar operation。

t1 a = putMVar a "Hi" 
t2 a = do 
    v <- takeMVar a 
    print v 

main1 = do 
    a <- newEmptyMVar 
    forkIO (t1 a) 
    forkIO (t2 a) 

main = do 
    a <- newEmptyMVar 
    (t1 a) `par` (t2 a) 

Answer 1

I wonder if the same apply when using parallel Haskell's spark created using par

不，这不是真的有可能。 MVar是手动控制线程时使用的显式非确定性通信机制。 par火花是一个更高层次的抽象，GHC运行时为您处理通讯。

当您尝试触发IO操作时，没有任何反应，因为触发的操作只能是纯计算。

Answer 2

据我所知，一个线程应该首先运行takeMVar，然后putMVar。这样，一个线程阻止其他线程访问MVar。