haskell - 读取 Tchan 会导致阻塞或轮询吗？

Question

首先，一些背景。我想要一个队列，我想以两种不同模式之一操作。在第一种模式下，如果队列中存在一个元素，我希望能够检索一个元素，但如果没有元素，则不阻塞。在第二种模式下，我希望能够阻塞直到队列有一个元素。 (我知道我可以为每种模式使用专门的机制，但我想排除一些通用代码，因此如果我可以对两种操作模式使用相同的机制，那将是最简单的。)

我可以使用 Chan ，但根据文档我不应该使用 isEmptyChan因为它由于潜在的死锁而被弃用。这给我留下了TChan . tryReadTChan函数给了我我想要的第一种模式(即我可以检查一个元素是否存在而不阻塞)但我不确定readTChan做。我的心智模型是 atomically block 将继续重试，直到 channel 中存在一个元素，这意味着它将忙于循环浪费 CPU 周期；这与 readChan 不同(即非 STM 版本)它(如果我理解正确的话)实际上会阻止线程的执行，直到一个元素可用，因为运行时线程调度程序可以理解 MVars。
TChan 也是如此喜欢 Chan如果我使用 readTChan运行时足够聪明，在值可用之前不会调度调用线程？还是会浪费大量 CPU 周期不断轮询一个值到达？

Answer 1

STM 阻塞(通过 retry )的行为就像它立即重试事务一样，但实现更智能:由于 STM 会跟踪您在事务进行时读取的变量，因此它知道事务的行为方式相同只要这些变量具有相同的值。因此，当事务失败时，它会阻塞(实际上不会重试)，直到您使用的变量之一发生更改。在 TChan 的情况下s，这意味着它会阻塞，直到有人写入 TChan .

我推荐 Simon Marlow 的 slides在并发和并行 Haskell 上很好地介绍了 STM(除其他外)。