关于memory_order_relaxed存储与memory_order_acquire加载的断言有效性问询

咱们直接拆解你的两个核心疑问，帮你理清楚这里的内存语义逻辑：

1. 能否确保assert(z.load() != 0)永远为false？ #

答案是不能，这个断言是完全有可能触发的。

先补全常见的场景代码方便理解：

// 全局原子变量
std::atomic<int> x{0}, y{0}, z{0};

// 数据提供者线程
void provider() {
    x.store(1, std::memory_order_relaxed);
    y.store(1, std::memory_order_relaxed);
}

// 数据消费者线程
void consumer() {
    if (y.load(std::memory_order_acquire) == 1 && x.load(std::memory_order_acquire) == 1) {
        z.store(1, std::memory_order_relaxed);
    }
    assert(z.load() != 0); // 你关心的断言
}

在这个逻辑里，完全可能出现消费者线程读到y=1但x=0的情况，导致z不会被赋值为1，最终触发断言。

2. 你认为“数据提供者线程中的x.store与y.store不会被重排序”，这个判断正确吗？ #

完全错误。

memory_order_relaxed的语义是原子操作里最弱的：它只保证单个原子变量的操作是原子的，不提供任何跨变量的执行顺序约束，也不保证操作的可见性顺序。编译器和CPU都有权限对两个无依赖关系的relaxed存储操作进行重排序——也就是说，提供者线程实际执行时，完全可能先执行y.store(1)，再执行x.store(1)。

为什么acquire加载无法解决这个问题？ #

memory_order_acquire的作用是约束当前线程内的操作顺序：在acquire加载之后的所有读写操作，都不能被重排到这个加载之前。但它无法约束其他线程的操作顺序——你用acquire加载y，只能保证消费者线程里y.load()之后的操作不会跑到它前面，但管不了提供者线程里x.store和y.store的先后顺序。

如何确保断言永远不触发？ #

如果想让消费者线程只要读到y=1，就一定能读到x=1，需要给提供者的y.store加上memory_order_release语义：

// 数据提供者线程修改后
void provider() {
    x.store(1, std::memory_order_relaxed);
    y.store(1, std::memory_order_release); // 用release替代relaxed
}

此时，同一个线程内的x.store()会happens-beforey.store(release)，而消费者的y.load(acquire)会synchronizes-with提供者的y.store(release)，从而建立跨线程的happens-before关系：x.store() happens-before 消费者的x.load()。这样消费者读到y=1时，x一定已经是1，z会被赋值，断言就永远不会触发了。

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