帮助了解Haskell中的MVar示例

Question

我正在尝试了解GHC最新文档中的MVar示例-

data SkipChan a = SkipChan (MVar (a, [MVar ()])) (MVar ())

newSkipChan :: IO (SkipChan a)
newSkipChan = do
     sem <- newEmptyMVar
     main <- newMVar (undefined, [sem])
     return (SkipChan main sem)

putSkipChan :: SkipChan a -> a -> IO ()
putSkipChan (SkipChan main _) v = do
     (_, sems) <- takeMVar main
     putMVar main (v, [])
     mapM_ (sem -> putMVar sem ()) sems

getSkipChan :: SkipChan a -> IO a
getSkipChan (SkipChan main sem) = do
     takeMVar sem
     (v, sems) <- takeMVar main
     putMVar main (v, sem:sems)
     return v

dupSkipChan :: SkipChan a -> IO (SkipChan a)
dupSkipChan (SkipChan main _) = do
     sem <- newEmptyMVar
     (v, sems) <- takeMVar main
     putMVar main (v, sem:sems)
     return (SkipChan main sem)

我了解大部分程序，但有两个问题-

1. 像putSkipChan这样的操作是原子的吗？ 通过先执行takeMVar ，似乎可以避免对putMVar的阻塞。 但是，如果在takeMVar但在putMVar之前还有其他调用putMVar ，那会不会失败？ 在这种情况下，该程序似乎将永远阻塞。
2. 为什么dupSkipChan追加sem在信号灯的列表SkipChan ？ 这不是由getSkipChan完成的。 在我看来，调用dupSkipChan其次getSkipChan （这似乎是你必须做的，有多个读者的）时将导致块putSkipChan试图唤醒同一个信号量的两倍？

Answer 1

1. 您是正确的，另一个线程可以调用putMVar main并弄乱putSkipChan 。 但是创建上述代码的模块不会导出SkipChan构造函数，因此这种流氓操作将是不可能的。

2. dupSkipChan制作了一个名为sem的新 emptyMVar ，并将其添加到main中的列表中。 它不会添加在newSkipChan中创建的现有newSkipChan 。 因此没有障碍。

为了向其他读者更多解释这个问题和评论：想法是可能有多个读者线程。 最初， SkipChan main sem1是唯一的此类读取器。 dupSkipChan制作SkipChan main sem2 。 如果有成千上万的读者，则您不希望在putSkipChan所有新值通知所有putSkipChan ，因此设计是getSkipChan将其sem放入main中的列表中。 初始化SkipChan在做newSkipChan和dupSkipChan还包括把新的空sem进入主列表。

上面的初始化和设计意味着第一个getSkipChan获得要写入的最新过去值（或阻塞第一个值到达）。 未来getSkipChan上SkipChan总是会得到比以往的都要得到一个新的值，如果这个值已经提供这些不会阻止。