使用 Haskell 的 MVar 包，但使用 seq 执行严格性

Question

在关于 hackage 的 Control.Concurrent.MVar 文档中，我们有一个关于 MVars 使用的“陷阱”。这是link。

MVar 表示，当您使用putMVar 将某些内容放入MVar 中时，如果您放入的内容是一个巨大的thunk，则接收线程将执行混乱的评估工作，而不是发送线程。

除了可能令人讨厌或没有根据之外，为了纠正这种情况，它将我们指向evaluate 的方向，它本身说要使用seq。每个人都喜欢的 haskell 函数。

Evaluate 的语义应该是这样的：

evaluate x `seq` y    ==>  y

所以我的问题是：为什么不会在分叉线程中进行评估！？！？！

concTreeMap :: (a -> b) -> BinaryTree a -> IO (BinaryTree b)
concTreeMap f Leaf = return Leaf
concTreeMap f (Branch v l r) =  do
  res <- newEmptyMVar
  forkIO $ do
              let fv = f v
              evaluate fv `seq` (putMVar res fv)
  v' <- takeMVar res
  l' <- concTreeMap f l
  r' <- concTreeMap f r
  return (Branch v' l' r')

已编辑以添加等效加速...

不知何故，这相当于下面的答案（不使用评估，而是使用 seq）......无论如何，我认为加速的重点在于 a）向 haskell 运行时提供关于 thunk 评估的提示和 2）移动带走的地方

concTreeMap :: (a -> b) -> BinaryTree a -> IO (BinaryTree b)
concTreeMap f Leaf = return Leaf
concTreeMap f (Branch v l r) =  do
  res <- newEmptyMVar
  forkIO $ do { let fv = f v in fv `seq` putMVar res fv }
  l' <- concTreeMap f l
  r' <- concTreeMap f r
  v' <- takeMVar res
  return (Branch v' l' r')

Answer 1

假设您按照 Petr Pudlák 的回答修复了您的程序，您正试图在启动线程后立即从 MVar 中获取一个值。所以你没有并行性，因为运行concTreeMap 的线程必须等待MVar 已满，这意味着等待分叉的线程将fv 放入MVar，直到之后它才会这样做它已经对其进行了评估。与此同时，原来的线程什么也没做。

你不是要写吗

  ...
  forkIO $ do
              let fv = f v
              evaluate fv `seq` (putMVar res fv)
  l' <- concTreeMap f l
  r' <- concTreeMap f r
  v' <- takeMVar res         -- Note: this moved to after we do more work
  return (Branch v' l' r')

?

Answer 2

因为您使用seq 来强制评估evaluate fv。这是一个IO 操作，评估它与运行它完全不同。

如果您将 IO 操作视为配方，则在其上运行 seq 并对其进行评估，只是确保配方已完全写下，但运行实际上是在使用配方来产生一些东西。

应该改为分叉部分

forkIO $ do
          let fv = f v
          evaluate fv
          putMVar res fv