Thread Sanitizer对‘函数竞态’漏报问题的技术问询

首先得明确：你没法指望Thread Sanitizer（TSan）捕获这个问题——这不是它漏报，而是它的本职工作就不包含这类场景。

为什么TSan没反应？ #

TSan的核心使命是检测数据竞争：也就是多个线程同时读写同一个非原子变量，且没有同步机制的情况。但你的代码里所有变量都是std::atomic类型，所有读写操作都是原子的，完全符合C++内存模型的规则，不存在数据竞争。TSan只会对数据竞争发出警告，对于这种合法的并发执行顺序带来的不同结果，它根本不会触发任何提示。

你看到的42 0和0 0两种输出，都是C++内存模型允许的正常结果：线程调度的不确定性导致操作的交错顺序不同，而你的代码没有任何同步机制（比如互斥锁、条件变量，或者原子操作间的同步关系）来限制这些顺序，所以这两种情况都是合规的。

怎么找出这类并发执行顺序问题？ #

既然人工检查大型代码库不现实，你可以试试这些方法：

• 模型检查工具：这类工具会枚举所有可能的线程执行顺序，验证是否存在不符合预期的行为。比如：
  • Relacy Race Detector：专门针对C++并发代码的模型检查工具，能模拟不同的线程调度顺序，找出内存模型允许的所有执行路径。
  • CBMC（C Bounded Model Checker）：可以对C/C++代码进行形式化验证，检查是否存在违反断言的执行路径。
  • Spin：通用的模型检查器，需要把代码转换成Promela语言，但能深入分析并发系统的状态空间。
• 压力测试+断言验证：在代码中加入断言来阻止不符合预期的结果，比如如果出现r1 == 42 && r2 == 0就触发断言，然后用脚本循环运行程序几千甚至几万次，利用线程调度的随机性来触发这种边界情况。例如：

  // 在main函数的最后添加
  assert(!(r1 == 42 && r2 == 0));
  

  然后用循环执行程序：

  for i in {1..10000}; do ./a.out; done
  

• 调整原子操作的内存序（如果业务需要）：如果你根本不希望出现42 0这种结果，可以通过指定更严格的内存序或者添加同步点来约束执行顺序。比如在t1和t2之间加入std::memory_order_release和std::memory_order_acquire的组合，或者使用互斥锁来序列化部分操作，但这得看你的实际业务需求。

关于编译选项 #

你当前用的-fsanitize=thread -O3 -std=c++11是TSan的标准编译选项，没有遗漏任何特定选项——毕竟这个问题本来就不在TSan的检测范围内，加任何选项都不会让它报警。

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