# 利用Thread Sanitizer工具檢查數據競爭的問題
## 例子
#include <pthread.h>
int Global;
void *Thread1(void *x) {
Global = 42;
return x;
}
int main(void) {
pthread_t t;
pthread_create(&t, NULL, Thread1, NULL);
Global = 43;
pthread_join(t, NULL);
return Global;
}
## 技巧
gcc從`4.8`版本起,集成了`Address Sanitizer`工具,可以用來檢查數據競爭的問題(編譯時指定“`-fsanitize=thread -fPIE -pie`”)。以上面程序為例:
gcc -fsanitize=thread -fPIE -pie -g -o a a.c -lpthread
執行`a`程序:
[root@localhost nan]# ./a
==================
WARNING: ThreadSanitizer: data race (pid=14545)
Write of size 4 at 0x7f055b4802b0 by thread T1:
#0 Thread1 /home/nan/a.c:4 (a+0x000000000a87)
Previous write of size 4 at 0x7f055b4802b0 by main thread:
#0 main /home/nan/a.c:10 (a+0x000000000ae8)
Location is global 'Global' of size 4 at 0x7f055b4802b0 (a+0x0000002012b0)
Thread T1 (tid=14547, running) created by main thread at:
#0 pthread_create /opt/gcc-4.9.2/src/gcc-4.9.2/libsanitizer/tsan/tsan_interceptors.cc:877 (libtsan.so.0+0x00000004aa83)
#1 main /home/nan/a.c:9 (a+0x000000000ad9)
SUMMARY: ThreadSanitizer: data race /home/nan/a.c:4 Thread1
==================
ThreadSanitizer: reported 1 warnings
可以看到,執行程序時檢測出了對`Global`變量的競爭訪問。
詳情參見[gcc手冊](https://gcc.gnu.org/onlinedocs/gcc-4.9.2/gcc/Debugging-Options.html#index-fsanitize_003dthread-595)
## 貢獻者
nanxiao
- 信息顯示
- 打印gcc預定義的宏信息
- 打印gcc執行的子命令
- 打印優化級別的對應選項
- 打印彩色診斷信息
- 打印頭文件搜索路徑
- 打印連接庫的具體路徑
- 預處理
- 生成沒有行號標記的預處理文件
- 在命令行中預定義宏
- 在命令行中取消宏定義
- 匯編
- 把選項傳給匯編器
- 生成有詳細信息的匯編文件
- 調試
- 利用Address Sanitizer工具檢查內存訪問錯誤
- 利用Thread Sanitizer工具檢查數據競爭的問題
- 連接
- 把選項傳給連接器
- 設置動態連接器
- 函數屬性
- 禁止函數被優化掉
- 強制函數inline
- 常見錯誤
- error: cast from ... to ... loses precision
- all warnings being treated as errors
- gdb無法調試gcc編譯的程序
- 其它
- 只做語法檢查
- 保存臨時文件
- 打開警告信息
- 指定語言類型
- 改變結構體成員的字節對齊