共享可变载体是否与GHC Haskell中的原子操作同步？

Question

我在Haskell中寻找共享的并发向量，所以我会接受一个指向高性能解决方案的答案，而不是我在这里讨论的，即将向量库与stm或atomic结合起来-primops。

我有两个线程共享一个可变向量（Data.Vector.Mutable.IOVector）和一些可以原子方式切换的标志（例如，带有stm的TVar或带有原子初始值的IORef。线程1可以在原子地切换标志之前或之后写入向量（非原子地），并且线程2可以在检查标志是否已被切换之前或之后从向量读取。

具体而言，这是一些最小的例子。是否有数据竞争导致他们评估undefined？

• 使用STM的示例：http://lpaste.net/362596
• 使用原子初始值的示例：http://lpaste.net/362595

更一般地说，标志上的原子操作的相对顺序是否意味着向量上的操作之间的某些顺序？特别是，我想知道以下是否属实：

• 如果检查在切换之前发生，则检查前的读取无法看到切换后的写入。
• 如果检查发生在切换之后，则检查后的读取必须看到切换之前的写入。

对于原子初学者，我特别怀疑使用readIORef / readForCAS，因为文档说it does not imply any barriers。