C++标准中coherence-order before定义与参考论文差异的原因探究

问题背景 #

C++20修订了顺序一致（seq_cst）内存模型，其改动基于学术论文。标准定义的coherence-order before关系与论文中的extended coherence order仅第三点存在差异：

• 标准：限制A、B不能为同一原子read-modify-write（RMW）操作，且不允许原子读直接排在原子写之前；
• 论文：基于read-before关系，允许原子读操作排在后续原子写操作之前。

另一篇引入RC20内存模型的论文中，read-before（又称from-read）无上述限制。

1. 标准与论文差异的原因 #

核心在于工程落地的兼容性与实现成本：

• 学术模型优先追求理论严谨性，而C++标准必须兼容现有代码——如果直接照搬论文的read-before规则，部分依赖旧版内存模型宽松行为的代码会出现意外行为；
• 硬件层面，ARM、PowerPC等弱内存模型架构原生不支持这种强约束排序，强行引入会大幅增加编译器或硬件的实现复杂度，甚至无法高效完成。

2. 标准“弱化”coherence-order before的目的 #

这种“弱化”是理论严谨性与工程实用性的平衡：

• 保留优化空间：不对非RMW操作施加不必要的排序约束，让编译器和硬件能正常进行性能优化；
• 向后兼容：确保C++11/17时代的代码行为不受新模型影响；
• 保留核心语义：依然维持seq_cst的核心承诺——所有seq_cst操作构成全局严格全序，且该全序与各线程的程序顺序一致。

3. 代码示例的行为判断 #

是的，线程1的load完全可能在seq_cst全局严格全序S中排在线程2的store之后，但依然读取到0。

原因如下：

• 两个操作无strongly-happen-before关系，也没有RMW操作或同步原语建立关联；
• seq_cst的全局全序S仅要求单线程内的seq_cst操作与程序顺序一致，跨线程操作的顺序可以任意；
• 即使S中store在前，硬件层面的缓存未同步、重排序等情况，依然会导致线程1的load无法观察到该写入，从而读取初始值0。

这完全符合C++20内存模型的定义：全局全序仅约束“可观察到的依赖关系”，而非强制跨线程操作的可见性。

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