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 实现更成熟稳定。

1. 编写一个存在数据竞争的示例程序：

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

#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;
}

2. 使用 TSan 编译并运行：

在终端中执行以下命令：

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 不再报错，说明数据竞争已被消除。