threadsanitizer是最可靠开箱即用的数据竞争检测工具，通过-fsanitize=thread编译即可自动监控共享内存访问并精准定位读写线程及源码行号。

ThreadSanitizer 是目前最可靠、开箱即用的检测手段。它能直接告诉你“哪个线程在第几行写了这个变量，另一个线程又在哪一行读/写了它”，而不是靠猜或加日志。

用 -fsanitize=thread 编译就能捕获数据竞争

不需要改代码，也不依赖运行时环境配置——只要编译时加一个 flag，运行时就会自动监控所有共享内存访问。

• g++ -fsanitize=thread -g -O1 your_code.cpp -o your_program -pthread 是最小可行命令；-O1 比 -O2 更稳妥，高优化可能干扰插桩逻辑
• 必须带 -g，否则 TSan 报错时只显示地址，看不到源码行号
• -pthread 在旧版 GCC 中不可省略；C++11 起部分编译器会自动链接，但显式写上更保险
• TSan 会拦截所有对全局变量、静态变量、堆/栈上被多线程访问的内存区域的读写操作

TSan 报告里关键字段怎么看

它输出的不是模糊警告，而是可定位的证据链。重点看三块：

• Write of size 4 at 0x... by thread T1: #0 increment() example.cpp:9 → 写操作发生位置
• Previous write/read ... by thread T2: #0 reader() example.cpp:15 → 竞争的另一方（可能是读也可能是写）
• Location is global 'counter' of size 4 → 明确指出变量名和内存布局，避免误判为 padding 或对齐字节

注意：如果报告里出现 Previous read 和 Write 配对，说明是“读-写竞争”；两个 Write 则是“写-写竞争”，后者更容易导致数据损坏。

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

为什么不用 std::atomic 或 std::mutex 就检测不到问题

因为它们本身不提供检测能力，只解决同步问题。你加了 std::atomic<int> counter</int> 后，TSan 就不再报 counter 的竞争——这不是它变“安全”了，而是原子操作自带同步语义，TSan 认为访问已受控。

• 把普通 int 改成 std::atomic<int></int> 是修复手段，不是检测手段
• 如果你提前加锁或用原子类型，TSan 就失去了观察原始竞争的机会
• 所以检测阶段务必保持原代码不变，先让 TSan 揭露问题，再针对性修复

容易被忽略的陷阱：全局变量重复定义也会触发假性“跨线程修改”

这不是数据竞争，而是链接污染。比如两个 .cpp 文件都写了 int g_flag = 0;，结果每个线程实际访问的是不同副本的 g_flag。TSan 不会报 data race，但你会看到值“不一致”——其实是根本没共享。

• 用 nm -C your_binary | grep g_flag 查符号：若出现多个 T（定义）或 C（common），说明重复定义
• 正确做法：一个 .cpp 中定义 int g_flag = 0;，其余地方只写 extern int g_flag;
• 这种问题在线程数增多时更易暴露，但它和并发无关，修错方向会浪费大量调试时间

真正难的不是发现竞争，而是区分“真竞争”和“假共享”。TSan 只负责前者；后者得靠符号分析和链接视角。

C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！