获取/释放内存排序示例

Question

我不明白来自here 的这个示例：

" 假设 'x' 和 'y' 初始为 0：

-Thread 1-
 y.store (20, memory_order_release);

 -Thread 2-
 x.store (10, memory_order_release);

 -Thread 3-
 assert (y.load (memory_order_acquire) == 20 && x.load (memory_order_acquire) == 0)

 -Thread 4-
 assert (y.load (memory_order_acquire) == 0 && x.load (memory_order_acquire) == 10)

这两个断言都可以通过，因为线程 1 和线程 2 中的存储之间没有强加排序。

如果此示例是使用顺序一致模型编写的，则其中一个存储必须在另一个之前发生（尽管直到运行时才确定顺序），值在线程之间同步，并且如果一个断言通过，另一个断言因此必须失败。 "

为什么acquire/release中的两个assert可以通过？

Answer 1

当您的内存模型不是顺序一致时，不同的线程可以看到世界的不同状态，并且以这样的方式，没有单一的全局状态（或状态序列）与两个线程一致见。

在示例中，线程 3 可以看到如下世界：

x = 0
y = 0
y = 20    // x still 0

线程 4 可以看到如下世界：

x = 0
y = 0
x = 10    // y still 0

世界的状态变化没有全局序列同时与这两种视图兼容，但如果内存模型不是顺序一致的，这正是允许的。

（事实上，该示例不包含任何演示发布/获取提供的肯定顺序保证的任何内容。因此，除了此处捕获的内容之外，还有很多其他内容，但它很好、简单地演示了放松的记忆顺序。）