c ++内存顺序（顺序一致）[关闭]

Question

我正在阅读有关原子和内存命令的信息，我真的很困惑。

1. 首先我想知道我们是否使用顺序一致作为我们的原子操作的内存顺序，之前和之后的任何语句都不能重新排序并且它们被执行 完全按照源代码顺序？
   
2. 当我们说所有线程看到相同的操作顺序并且存在全局总顺序时，这是什么意思？ （如果能举例说明就好了）

Answer 1

(1) 不，seq_cst 操作 不像atomic_thread_fence(memory_order_seq_cst) 那样正式成为 seq_cst 障碍。 On some machines seq_cst 存储最终在 asm.xml 中使用了一个完整的屏障。请参阅https://preshing.com/20130922/acquire-and-release-fences/ re：获取和释放操作（允许单向重新排序）与获取和释放的栅栏； seq_cst 也有类似的情况。

即使在实践中，seq_cst 负载在许多机器上也比完全围栏弱，并不能阻止它们之间的某些类型的重新排序。

在 AArch64 上，seq_cst pure-load 和 pure-store 是通过特殊指令完成的，这些指令不会相互进行 StoreLoad 重新排序，而是 wrt。普通的存储和加载指令，它们仅具有获取和释放操作的语义操作。 （允许单向重新排序：https://preshing.com/20120913/acquire-and-release-semantics/）。

另见

• Does STLR(B) provide sequential consistency on ARM64?
• What exact rules in the C++ memory model prevent reordering before acquire operations?
• Why is acquire semantics only for reads, not writes? How can an LL/SC acquire CAS take a lock without the store reordering with the critical section?

---

(2) 保证没有 IRIW 重新排序。 Will two atomic writes to different locations in different threads always be seen in the same order by other threads? 有一个答案，解释了 POWER 硬件如何在实践中实际产生这种重新排序（对于 mo_acq_rel 或更弱）。

这是其中一种情况，其中被保证的事情是您可能没想到的是首先需要担心的事情。 :P 大多数硬件（以及大多数 ISA 纸上规范）都是多副本原子的，并且确实保证了所有观察者都可以同意的存储的单一总顺序。 （但请注意，加载数据可以来自 store-fowarding：Globally Invisible load instructions）