ThreadSanitizer（TSan）是Clang/GCC提供的高精度动态数据竞争检测工具，需用支持版本编译全部代码、加-pthread和-O1，运行时报详细竞态信息，适用于调试而非生产环境。
ThreadSanitizer（TSan）是 Clang 和 GCC 提供的动态数据竞争检测工具，专为 C/C++ 多线程程序设计。它通过插桩内存访问指令、记录线程与锁状态，在运行时实时识别未同步的并发读写（data race），准确率高、误报少，是调试多线程 bug 的首选工具之一。
编译时启用 TSan
必须用支持 TSan 的编译器（Clang ≥ 3.2 或 GCC ≥ 4.8），且需同时编译所有源文件（包括第三方静态库，否则可能漏检）：
- Clang 示例：
clang++ -fsanitize=thread -g -O1 -pthread main.cpp -o main - GCC 示例：
g++ -fsanitize=thread -g -O1 -pthread main.cpp -o main - -O1 是推荐优化等级：-O0 可能导致插桩不全；-O2 及以上可能触发编译器优化绕过检测逻辑，降低覆盖率
- 务必加 -pthread：TSan 需要 intercept pthread 调用（如 pthread_create、mutex 操作）来建模线程行为
- 避免链接已剥离符号的二进制库；若必须使用，建议用
-fPIE -pie编译可执行文件以支持插桩
运行时查看竞争报告
程序运行中一旦发现数据竞争，TSan 会立即打印带堆栈的详细报告到 stderr，包含：
- 冲突的两个（或多个）内存访问位置（文件名、行号、函数）
- 各自所属线程 ID 和创建上下文（如哪行调用了 pthread_create）
- 涉及的锁状态（如“previously acquired by thread T2 at …”或“no relevant locks held”）
- 被竞争访问的变量地址和类型（若调试信息完整）
例如报告中出现 WARNING: ThreadSanitizer: data race，紧接着两段 “Read of size X at …” 和 “Previous write of size X at …”，即表示一个典型竞态。
立即学习“C++免费学习笔记（深入）”；
常见误报/漏报规避技巧
TSan 基于 happens-before 模型，对某些模式需手动标注：
-
原子操作无需保护：用
std::atomic<T>或__atomic_*系列函数访问的变量默认不报竞态；但若混用原子与非原子访问同一地址，仍会报警——这是正确行为，应统一为原子访问 -
显式标记无竞争场景：对已知安全但 TSan 无法推断的代码（如 lock-free 结构中的内存序控制），可用
__tsan_acquire/__tsan_release或__attribute__((no_sanitize("thread")))局部禁用（慎用） - 避免 false negative：确保所有线程都通过 TSan 插桩的接口启动（比如不要用 clone() 或 setcontext() 绕过 pthread_create）；全局变量初始化阶段的竞争也受监控，但需注意构造顺序
集成进开发流程
TSan 不适合生产环境（性能下降 5–15×，内存开销 +2–3×），但非常适合 CI 和本地调试：
- 在单元测试中启用 TSan：所有 test binary 都用
-fsanitize=thread编译，配合--gtest_filter=MyThreadTest.*快速定位问题 - 设置环境变量增强诊断：
Tsan_OPTIONS="halt_on_error=1 abort_on_error=1 second_deadlock_timeout=5" - 结合 ASan（AddressSanitizer）一起用？可以，但需注意：
-fsanitize=thread,address在 Clang 中合法，在 GCC 中不支持，应分开运行
