c++ - C++ 中的内存模型 : sequential consistency and atomicity

Question

我对 C++11 中的内存模型有一些疑问。

关于 https://www.think-cell.com/en/career/talks/pdf/think-cell_talk_memorymodel.pdf 29.幻灯片上写着

The C++ memory model guarantees sequential consistency

但是，在我之前的帖子中，我了解到 C++ 内存具有弱内存模型 - 编译器可以根据需要进行重新排序 - 他必须满足 as if 规则。

Answer 1

C++ 内存模型可以保证顺序一致性如果您使用具有适当内存顺序的原子操作来保证顺序一致性。如果您只是使用普通的非原子操作，或松散的原子操作，并且没有互斥锁，则无法保证顺序一致性。

如果无法观察到行为差异，编译器可以自由地重新排序操作，这是假设规则。因此，例如，如果重新排序顺序一致的原子将产生不同的可观察结果，那么它不符合假设规则。如果它不会产生不同的可观察结果，则允许重新排序。