同线程relaxed序原子操作Happens-Before关系与断言触发疑问

你和作者的表述都没有错，核心误区是把「单线程内的顺序保证」和「跨线程的同步约束」两个独立规则混为一谈了：

• 单线程内的Happens-Before是天然存在的，和内存序没有关系
  C++内存模型的基础规则明确：同一个执行线程内，按代码书写顺序排在前面的操作，永远sequenced-before（序列于）排在后面的操作，而sequenced-before是推导Happens-Before关系的充分条件——这个规则是所有程序优化的底线，哪怕用最宽松的memory_order_relaxed也不能打破。
  对应到示例中的write_x_then_y()函数：

  void write_x_then_y()
  {
     x.store(true,std::memory_order_relaxed); // (1)
     y.store(true,std::memory_order_relaxed); // (2)
  }
  

  (1)确实Happens-Before(2)。如果在(2)之后立刻在同线程内读取x，一定能拿到true的结果，不管编译器还是CPU都不会做破坏这个单线程可见性的优化。
• 你对relaxed内存序的认知完全正确：它不提供跨线程的多变量顺序约束
  单线程内的Happens-Before关系不会自动同步给其他线程。memory_order_relaxed只保证单个原子操作的原子性（不会读到中间状态），不会对不同原子变量的跨线程可见顺序做任何担保。
  这也是为什么示例末尾的断言可能触发：虽然写线程a内部是先写x再写y，但受CPU缓存同步延迟、指令调度重排的影响，y的写入可能先对读线程b可见，x的写入还没传播到b所在的核心。此时b跳出等待y的循环后读x，拿到的还是初始值false，z不会自增，最终z为0就会触发断言。

原书5.3小节对应Happens-Before关系示意：
图中明确标注了写线程内部的单线程顺序，同时展示了读线程先看到y写入、未看到x写入的可能执行路径。

常见误区提醒 #

不要把“跨线程观察顺序不一致”等同于“单线程内操作被重排”。编译器和CPU对relaxed操作的调度永远不会改变单线程的执行语义，所谓的“重排”只是没有强内存序做同步锚点时，其他线程观察到的操作顺序和写线程的实际执行顺序不匹配而已。 #

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