【 在 MegaStone 的大作中提到: 】

: 别忘了exchange是原子的。exchange先读后写，所以counter不会被乱序到exchange前面。

: 可以去参考这个表格，不同指令集下，同一线程不同地址的读和写，哪些需要程序员显式同步

: S_R是release write，S_A是acquire write

: ...................

【 在 MegaStone 的大作中提到: 】

: x86的consistency model是TSO，从main memory的角度来看，只会乱序执行同一个线程内、不同地址间的写后读。即一笔写后跟着一笔不同地址的读时，main memory先看到读请求，再看到写请求。

: 你这里的例子写后读乱序也不会出错。

: TSO下出问题的典型例子是附件的图。

: ...................

【 在 kknd1399 的大作中提到: 】

: x86 tso

: 很多实现还是sc

: 这个跟你程序怎么写没关系，这是硬件特性

【 在 Akyrum 的大作中提到: 】

: 对单个变量的值是不会出问题的，

: 一些应用场景如基于atomic的引用计数、无锁队列等，如果内存序没设计好，会留下隐患

【 在 hongdiao 的大作中提到: 】

: X86是强顺序的。memory_order如同楼上所说，存在编译器和CPU指令执行两个层面。

【 在 water4 的大作中提到: 】

【 在 tgfbeta 的大作中提到: 】

: consensus algorithms. e.g. paxos，raft…