c++如何使用 sanitizers 发现并发问题_c++ ThreadSanitizer(TSan)实战

TSan是检测C++多线程数据竞争的高效工具，通过编译时插桩监控内存访问，能精准报告竞争行号与调用栈；使用Clang或GCC配合-fsanitize=thread等选项启用，适用于开发与CI测试，但仅限测试环境因性能开销大。

并发问题是 C++ 程序中最难排查的一类 bug，比如数据竞争（data race）、死锁、原子性违反等。这些问题往往在特定调度下才会暴露，调试起来非常困难。幸运的是，Clang 和 GCC 提供了 ThreadSanitizer（简称 TSan），它能高效地检测多线程程序中的数据竞争问题。

什么是 ThreadSanitizer (TSan)

TSan 是一个运行时检测工具，用于发现 C/C++ 多线程程序中的数据竞争。它通过插桩（instrumentation）方式，在编译时插入额外代码来监控内存访问和线程同步操作，从而识别出未被正确保护的共享变量访问。

它的优势在于：

• 使用简单，只需重新编译并链接
• 无需修改源码
• 报告精确到具体行号和线程调用栈
• 支持 pthread、std::thread、OpenMP 等常见并发模型

如何启用 ThreadSanitizer

确保你使用的是支持 TSan 的编译器（Clang 3.2+ 或 GCC 4.8+）。推荐使用 Clang，因为其 TSan 实现更成熟稳定。

立即学习“C++免费学习笔记（深入）”；

假设我们有两个线程同时对同一个全局变量进行读写而无任何同步机制：

#include 
#include 

int data = 0;

void thread_func() {
    for (int i = 0; i < 1000; ++i) {
        data++; // 数据竞争！
    }
}

int main() {
    std::thread t1(thread_func);
    std::thread t2(thread_func);
    t1.join();
    t2.join();
    std::cout << "data = " << data << std::endl;
    return 0;
}

在终端中执行以下命令：

Synths.Video

一键将文章转换为带有真人头像和画外音的视频

下载

clang++ -fsanitize=thread -fno-omit-frame-pointer -g -O1 race.cpp -o race_tsan
./race_tsan

输出类似如下内容（可能略有不同）：

==================
WARNING: ThreadSanitizer: data race (pid=12345)
  Write of size 4 at 0x564... by thread T1:
    #0 thread_func()          race.cpp:7 (race_tsan+0x12345)
    #1 void std::invoke<...>  type_traits:?? (race_tsan+0x...)

  Previous write at 0x564... by thread T2:
    #0 thread_func()          race.cpp:7 (race_tsan+0x12345)

  Location is global 'data' of size 4 at 0x564... (race_tsan+0x...)
  Thread T1 (tid=123, running) created by main thread at:
    #0 std::thread::thread<...> thread:?? (race_tsan+0x...)
    #1 main                   race.cpp:14 (race_tsan+0x...)

  Thread T2 (tid=124124, finished) created by main thread at:
    #0 std::thread::thread<...> thread:?? (race_tsan+0x...)
    #1 main                   race.cpp:15 (race_tsan+0x...)

可以看到 TSan 明确指出：data 变量发生了数据竞争，两个线程都在没有同步的情况下写入同一内存地址。

修复数据竞争问题

最简单的修复方式是引入互斥锁保护共享变量：

#include 
#include 
#include 

int data = 0;
std::mutex mtx;

void thread_func() {
    for (int i = 0; i < 1000; ++i) {
        std::lock_guard lock(mtx);
        data++;
    }
}
// main 不变

重新编译运行后，TSan 不再报错，说明数据竞争已被消除。

TSan 的常用编译选项说明

• -fsanitize=thread：启用 ThreadSanitizer
• -g：生成调试信息，让报告包含行号和函数名
• -fno-omit-frame-pointer：保留帧指针，有助于更准确的调用栈追踪
• -O1：建议使用 -O1 优化级别，-O0 可能导致误报，-O2 及以上可能影响插桩效果

注意事项与限制

• TSan 会显著增加程序运行时间和内存消耗（通常为 5–10 倍），仅用于测试环境
• 不能保证捕获所有数据竞争，但对绝大多数典型场景有效
• 避免在生产构建中使用，仅用于开发和 CI 测试阶段
• 某些平台不支持（如 Windows 上 Clang 的 TSan 支持有限，Linux 最佳）

基本上就这些。TSan 是发现 C++ 并发问题的强大武器，尤其适合集成进单元测试或持续集成流程中。只要你在写多线程代码，都应该定期用 TSan 跑一遍验证。不复杂但容易忽略。