互斥条件下的写操作是否存在数据竞争？编译器优化合规性问询

问题场景 #

考虑如下代码片段：

// 主线程
int non_atom = 0;
bool x; // 值由运行时参数和复杂计算决定，无法静态确定

// 启动线程1和线程2

// 线程1
if (!x) {
    non_atom = 5; // 仅当x为false时写入non_atom
}

// 线程2
int bar = 0;
if (x) {
    bar = non_atom; // 仅当x为true时访问non_atom
}

从逻辑上看，运行时只有线程1或线程2会访问non_atom，理论上不该存在数据竞争。但如果编译器对线程2的代码做如下转换：

int bar = non_atom;
if (!x) {
    bar = 0;
}

这种转换是反转条件判断逻辑，并非简单重排序。一旦x==true，两个线程就会在无同步机制的情况下同时访问non_atom，进而产生数据竞争。

核心疑问 #

• 编译器是否允许执行这类转换？
• 假设编译器无法静态证明只有一个线程访问x（比如线程1和线程2的代码在不同翻译单元），编译器是否允许在动态无数据竞争的场景中引入数据竞争？
• 即便没用到原子操作，编译器会主动避免这类转换吗？
• 实际开发中遇到这种场景，是不是必须用atomic类型才能保证安全？

解答 #

1. 编译器是否允许此类转换？ #

根据C++标准的“as-if”规则，只要转换后的程序在所有无数据竞争的合法执行路径上的行为与原程序一致，编译器就允许这类优化。但标准的核心前提是：合法程序是指不存在数据竞争的程序。

由于编译器无法静态验证x的互斥性（比如跨翻译单元分析受限，或无法确认x不会被其他线程修改），它会假设：如果程序是符合标准的（无数据竞争），那么non_atom的访问不会和其他线程冲突。因此这类转换是被允许的——标准只要求编译器保证合法程序的行为一致，不负责修复有潜在风险的程序。

2. 编译器是否会在动态无数据竞争的场景引入数据竞争？ #

是的，有可能。编译器的优化基于静态分析，无法预知运行时x的实际值和线程执行的互斥关系。只要转换后的代码在所有合法（无数据竞争）的执行路径上行为一致，编译器就会执行优化，哪怕这种优化在某些运行时场景（原程序本来动态无竞争）下引入了数据竞争。而一旦出现数据竞争，程序行为就变为未定义，标准不再保证任何结果。

3. 编译器会主动避免这类转换吗？ #

不会主动避免。除非编译器能通过静态分析证明，这种转换会改变合法程序的行为，或在特定平台引发硬件问题。通常编译器会优先考虑优化带来的性能收益，不会为了程序员假设的“动态互斥”而放弃优化。

4. 实际开发中的应对方案 #

必须使用atomic类型（或其他同步机制，比如互斥锁）来保证安全，原因如下：

• atomic类型会强制编译器遵守内存模型约束，禁止这类破坏内存安全的优化。
• 即使没有优化，x本身的非原子访问可能存在可见性问题：线程1对x的修改可能无法及时被线程2看到，导致两个线程同时访问non_atom，本来就会产生数据竞争。
• 只有通过原子操作或同步机制，才能让线程间x的可见性和访问互斥性得到标准的明确保证，彻底避免未定义行为。

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