仅添加acquire操作是否存在happens before关系？C++内存模型疑惑

先明确问题中的代码：

全局变量定义：

constinit int x = 0;
std::atomic_int i = 0;

线程A操作：

// 线程A
x = 1;
i.store(1, std::memory_order::release);

线程B操作：

// 线程B
i.load(std::memory_order::acquire);
x = 2;

你的核心误解：混淆了同步关系的「条件性」 #

你认为“x=1 happens before x=2”是绝对成立的，但实际上C++标准中的release-acquire同步关系是有条件触发的：只有当线程B的i.load(acquire)读取到线程A的i.store(1, release)写入的值时，两者才会建立synchronizes-with关系，进而推导出x=1 happens before x=2。

具体来说，线程B的load操作存在两种合法执行结果：

• 情况1：load读取到1
  此时A的release-store与B的acquire-load建立同步关系，A中store之前的所有操作（x=1）对B中load之后的操作（x=2）完全可见，x=1和x=2不存在数据竞争。
• 情况2：load读取到初始值0
  此时A和B之间没有同步关系，x=1和x=2属于无同步的并发写操作，存在明确的数据竞争。

你之前的错误在于默认假设B的load一定会读取到A写入的1，但acquire-load并不强制要求读取到某个特定的atomic值——它只是如果读到了release-store的值，才会触发跨线程的内存可见性约束。

关于“线程B读取x会保证获取值1”的错误认知 #

同样的逻辑：只有当B的i.load(acquire)读到了A写入的1时，才能保证B对x的读取能看到x=1；如果load读到的是0，那么B读取x的结果属于数据竞争下的未定义行为，可能看到0也可能看到1，并没有“保证获取值1”的说法。

关于atomic对象值的unspecified描述是否有缺陷？ #

这不是缺陷。C++标准对atomic操作结果的unspecified描述，准确反映了多线程环境的本质：在没有明确同步机制约束的情况下，不同线程对atomic变量的读写顺序允许存在多种合法可能。这种灵活性是为了让编译器和硬件能够进行合理优化，同时保证开发者明确使用同步机制（比如正确的release-acquire对）时，能获得预期的内存可见性保证。

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