ThreadSanitizer（又称为TSan）是一个用于C/C++的数据竞争检测器。在并发系统中，数据竞争是最常见且最难调试的错误类型之一。当两个线程并发访问同一个变量，并且至少有一个访问是写操作时，就会发生数据竞争。C++11标准正式将数据竞争定义为未定义行为。

$ cat simple_race.cc
#include <pthread.h>
#include <stdio.h>int Global;void *Thread1(void *x) {Global++;return NULL;
}void *Thread2(void *x) {Global--;return NULL;
}int main() {pthread_t t[2];pthread_create(&t[0], NULL, Thread1, NULL);pthread_create(&t[1], NULL, Thread2, NULL);pthread_join(t[0], NULL);pthread_join(t[1], NULL);
}

g++ -fsanitize=thread -g k.cc

更多例子见https://github.com/google/sanitizers/wiki/ThreadSanitizerPopularDataRaces