为何在Acquire-Release内存序下y.load会先于y.store执行？

你搞混了两个核心关键点：Acquire-Release的同步触发条件，以及它没有全局操作总序的特性，两者结合就导致了你看到的反直觉情况。

首先，Acquire-Release的同步不是无条件生效的：只有当一个线程的acquire操作实际读取到了另一个线程release操作写入的值时，这两个操作才会建立「同步于」（synchronizes-with）关系，此时才能保证release操作发生在acquire操作之前。

回到图5.6的场景：假设线程1执行y.store(1, memory_order_release)，线程2执行y.load(memory_order_acquire /*标记2*/)。如果线程2的y.load读到的是变量的初始值（比如0），而非线程1写入的1，那这两个操作之间就没有任何同步关系。

这时候，因为Acquire-Release内存模型没有全局统一的操作总序（不像SeqCst那样要求所有线程看到完全一致的操作顺序），不同线程对无同步关系的操作顺序可以有完全不同的观察结果。线程2完全可能观察到自己的y.load发生在线程1的y.store之前——这完全符合C++内存模型的规范，因为两者没有强制的顺序约束。

总结一下：只有当acquire操作读到了release操作写入的值时，才会有"release先于acquire"的保证；没读到的话，两者顺序无约束，再加上没有全局总序，就会出现你疑惑的情况。

内容的提问来源于stack exchange，提问作者YuerWu