多线程写入相同值时ThreadSanitizer报告数据竞态：是否真有问题？

你遇到的情况是典型的「写入相同值但仍被检测到数据竞态」的场景。ThreadSanitizer的报告完全符合C++标准的定义：只要两个线程同时访问同一内存位置且至少一个是写操作，就构成数据竞态，属于未定义行为——哪怕所有线程写入的是同一个值。

不过从实际运行角度看，大部分情况下这个场景不会出现非预期结果，但确实存在几种可能导致问题的条件：

• 使用位打包的布尔容器（如std::array<bool>）
  std::array<bool>是C++标准库的特化实现，它会把多个布尔值打包到单个字节中以节省内存。这意味着写入dirty[i]时，实际执行的是读-修改-写操作：先读取包含该位的整个字节，修改对应位为1，再写回内存。
  虽然多次写入true的逻辑结果不会改变，但这种非原子的操作在极端情况下可能出现异常——比如硬件指令重排导致中间状态被捕获，或者编译器对读-修改-写序列的优化破坏了预期行为。

• 编译器的激进优化
  由于数据竞态属于未定义行为，编译器有权做出任何符合优化规则的操作。比如：

  • 编译器可能认为多个线程对同一位置的重复写入是冗余操作，直接删除部分写入指令；
  • 即使主线程在join后读取，编译器也可能因竞态存在而忽略线程的写入操作，直接使用初始化的false值（虽然join是同步点，但未定义行为下编译器可以突破这种约定）。

• 弱内存模型架构的可见性问题
  在ARM、PowerPC等弱内存模型的CPU架构下，内存操作的顺序没有强约束。虽然写入的是同一个值，但缺乏同步操作时，主线程可能在join后仍无法及时看到线程的写入结果——不过join操作通常会隐式插入内存屏障，这种情况的概率较低，但仍属于未定义行为的潜在风险。

修复建议 #

要彻底解决这个问题，最直接的方式是使用原子类型替代普通布尔值，比如将std::array<bool, N>改为std::array<std::atomic<bool>, N>。原子操作保证了写入的原子性，既符合C++标准的线程安全要求，也能让ThreadSanitizer停止报告竞态。如果场景允许，也可以用互斥锁保护每个元素的写入，但原子操作的性能更优。

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