> 📺 配套视频：[校招C++20并发系列16-3步定位数据竞争：ThreadSanitizer编译运行实战](https://www.bilibili.com/video/BV15ERyBnEDX)

# 三步定位数据竞争：ThreadSanitizer 编译运行实战

在并行应用开发中，调试往往是比编写代码更困难的环节。与单线程程序不同，多线程程序的行为取决于线程间的交错执行顺序，这导致许多 Bug 具有高度的非确定性和隐蔽性。其中，**数据竞争（Data Race）**是最常见且最难复现的缺陷之一。本期教程将介绍如何使用 GCC/Clang 内置的 **Thread Sanitizer (TSan)** 工具，快速定位并修复 C++ 中的数据竞争问题。

根据 C++ 标准及 TSan 文档的定义，数据竞争发生在以下场景：**两个或多个线程并发访问同一内存位置，且至少有一个访问是写操作，同时这些访问没有通过同步机制（如锁、原子操作）进行保护。**

#include <iostream>
#include <vector>
#include <thread>
#include <cassert>
#include <atomic> // 虽然本例用volatile，但实际推荐atomic或mutex

// 使用 volatile 防止编译器过度优化掉循环，模拟真实计数场景
volatile int sync = 0;

void increment_work() {
    for (int i = 0; i < (1 << 20); ++i) {
        // 第 20 行：无保护的递增操作，这是数据竞争的根源
        sync++; 
    }
}

int main() {
    std::vector<std::jthread> threads;
    const int num_threads = 8;
    
    // 创建 8 个线程
    for (int i = 0; i < num_threads; ++i) {
        threads.emplace_back(increment_work);
    }

    // 等待所有线程完成
    for (auto& t : threads) {
        t.join();
    }

    // 验证结果：期望值为 8 * 2^20
    assert(sync == (num_threads * (1 << 20)));
    return 0;
}
```

在这个程序中，`sync++` 并非原子操作，它包含读取、修改、写入三个步骤。当多个线程同时执行此操作时，会发生竞态条件，导致最终 `sync` 的值小于预期值，从而触发断言失败。

## 第一步：复现 Bug 与初步观察

首先，我们需要以常规方式编译并运行程序，以确认 Bug 的存在。编译时需开启优化选项 `-O2`，链接 pthreads 库，并指定 C++20 标准。

```
g++ -O2 -pthread -std=c++20 data_race.cpp -o data_race
./data_race
```

运行结果通常会显示 `Assertion failed`。由于数据竞争的非确定性，有时多次运行可能偶然得到正确结果，但绝大多数情况下断言会失败。这种“静默错误”使得开发者难以直接定位出错的具体代码行，因为程序并没有抛出异常或段错误，只是在最后检查时发现了逻辑不一致。

> **易错点**：不要依赖多次运行来“碰运气”让程序通过，数据竞争导致的未定义行为可能导致在不同平台或不同优化级别下表现迥异。

## 第二步：启用 Thread Sanitizer 进行检测

TSan 是一个动态插桩工具，它在编译时将监控代码插入到二进制文件中，并在运行时检测潜在的内存竞争。要启用 TSan，只需添加 `-fsanitize=thread` 标志。建议同时保留 `-O2` 优化和 `-g` 调试信息，以便获得准确的报错位置和文件名。

重新编译命令如下：

```
g++ -O2 -pthread -std=c++20 -g -fsanitize=thread data_race.cpp -o data_race_tsan
```

再次运行生成的可执行文件 `data_race_tsan`，TSan 会在检测到数据竞争时立即输出警告信息，而不仅仅是让程序继续执行直到断言失败。

## 第三步：解读 TSan 报告并修复

TSan 的输出非常详细，它会明确指出竞争发生的地址、涉及的线程 ID 以及具体的代码行号。典型的报告片段如下：

```
WARNING: ThreadSanitizer: data race (pid=12345)
  Write of size 4 at 0x7f... by thread T2:
    #0 increment_work() data_race.cpp:20
  Previous read of size 4 at 0x7f... by thread T1:
    #0 increment_work() data_race.cpp:20
  Location is global &#39;sync&#39; of size 4 at ...
  
  Thread T2 (tid=..., running) terminated by signal ABRT
```

报告中明确指出了：

**事件类型**：Write（写入）和 Read（读取）。

**发生位置**：`data_race.cpp` 的第 20 行，即 `sync++` 所在处。

**冲突细节**：线程 T2 在此地址写入，而此前线程 T1 在此地址读取。

有了这些信息，我们可以确信第 20 行就是需要修复的地方。最直接的修复方法是引入互斥锁（Mutex）来保护共享资源的访问。

### 修复代码示例

我们需要包含 `<mutex>` 头文件，创建一个 `std::mutex` 对象，并使用 `std::lock_guard` 自动管理锁的生命周期。

```
#include <mutex>
#include <vector>
#include <thread>
#include <cassert>

int sync = 0;
std::mutex mtx; // 新增：互斥锁

void increment_work() {
    for (int i = 0; i < (1 << 20); ++i) {
        // 新增：锁定互斥锁，确保同一时刻只有一个线程能执行递增
        std::lock_guard<std::mutex> lg(mtx);
        sync++; 
        // lg 离开作用域时自动解锁
    }
}

// main 函数保持不变...
```

## 验证修复效果

使用相同的 TSan 编译选项重新编译修复后的代码，并再次运行：

```
g++ -O2 -pthread -std=c++20 -g -fsanitize=thread fixed_data_race.cpp -o fixed_tsan
./fixed_tsan
```

这次运行将不再输出任何 TSan 警告，程序会正常结束并通过断言检查。这表明数据竞争已被成功消除。

> **小结**：TSan 的优势在于其相对较低的性能开销（相比其他重型调试器），且能提供精确的代码行定位。它是 C++11 及以上版本中检测数据竞争和未定义行为的利器。

## 关键要点

**数据竞争定义**：多线程并发访问同一变量，且至少有一次写操作，且无同步保护。

**编译参数**：使用 `-fsanitize=thread` 启用 TSan，建议配合 `-g` 获取行号，保留 `-O2` 保证性能接近生产环境。

**报告解读**：关注 TSan 输出的 `WARNING`，重点查看 `at line X` 和涉及的线程 ID，定位具体的读写冲突点。

**修复策略**：对于共享变量的修改，必须使用 `std::mutex` + `std::lock_guard` 或 `std::atomic` 等同步机制进行保护。

**局限性注意**：TSan 是动态检测工具，只有在程序实际执行到相关代码路径时才能发现竞争，因此测试用例的覆盖率至关重要。

校招C++20并发系列16-3步定位数据竞争：ThreadSanitizer编译运行实战

> 📺 配套视频：[校招C++20并发系列16-3步定位数据竞争：ThreadSanitizer编译运行实战](https://www.bilibili.com/video/BV15ERyBnEDX) # 三步定位数据竞争：ThreadSanitizer 编译运行实战 在并行应用开发中，调试往往是比编写代码更困难的环节。与单线程程序不同，多线程程序的行为取

编程语言

算法

后端

学习使用ThreadSanitizer(TSan)快速定位C++多线程程序中的数据竞争问题，通过编译参数-fsanitize=thread启用TSan检测，分析报告精准定位代码行，并提供使用mutex或atomic修复数据竞争的具体方案，帮助开发者高效解决多线程同步问题。

编译器

调试器

2026采购季 | AI焕新·智启新局

tools

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

EdgeOne AI 安全实战专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

校招C++20并发系列16-3步定位数据竞争：ThreadSanitizer编译运行实战-腾讯云开发者社区-腾讯云

校招C++20并发系列16-3步定位数据竞争：ThreadSanitizer编译运行实战

校招C++20并发系列16-3步定位数据竞争：ThreadSanitizer编译运行实战

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐