c++ - 非原子对象在所有线程中是否具有相同的修改顺序？ (在没有数据竞争的情况下)

Question

1.10/6:

All modifications to a particular atomic object M occur in some particular total order, called the modification order of M.

非原子对象在所有线程中是否也具有相同的修改顺序？我对正确同步的案例感兴趣(在没有数据竞争等的情况下)。

Answer 1

您需要在所有参与线程之间进行同步。

如果你有一个(或多个)线程更新一个非原子值(在它们的组中有任意数量的同步操作)而另一个线程读取该值(不与任何更新线程同步)，你不是甚至保证您将读取其他线程存储的值之一。

一般来说，如果一个线程更新一个非原子变量而另一个线程访问(更新或读取)它而这两个操作之间没有适当的同步，你有一个数据竞赛。数据竞争会导致未定义的行为。

如果您“适本地同步”对非原子变量的访问，您将在任何修改和另一个(当然是同一个)线程中的任何访问之间具有happens-before 关系。这包括任何两个修改之间的关系。

happens-before 关系在所有线程中都有效，并在修改之间引入总顺序。所以，是的:正确的同步使用会给你一个总的修改顺序(对于使用相同同步操作同步的所有变量来说甚至是相同的)。