使用ThreadSanitizer線程檢查工具進(jìn)行c/c++數(shù)據(jù)競合檢查

ThreadSanitizer又叫TSan鹿寨，是一個(gè)檢查線程Data Race的C/C++工具。它集成在新版的gcc和clang中拯杠，通過編譯時(shí)加-fsanitize=thread石抡，可以用來在運(yùn)行時(shí)檢測出Data Race的問題北救。同樣的工具還有valgrind的helgrind，但是TSan性能比helgrind要好懂更。

Data Race

Data Race是指多個(gè)線程在沒有正確加鎖的情況下砸王，同時(shí)訪問同一塊數(shù)據(jù)，并且至少有一個(gè)線程是寫操作葱淳，對數(shù)據(jù)的讀取和修改產(chǎn)生了競爭钝腺，從而導(dǎo)致各種不可預(yù)計(jì)的問題。

Data Race的問題非常難查赞厕，Data Race一旦發(fā)生艳狐，結(jié)果是不可預(yù)期的，也許直接就Crash了皿桑，也許導(dǎo)致執(zhí)行流程錯(cuò)亂了毫目。

sample代碼

clang -fsanitize=thread -g -O0 -fPIE -pie -o main main.c

編譯：

ubuntu@ubuntu-nvidia:~/proj/threadsan$ ./main
1
  Thread T2 (tid=11592, running) created by main thread at:
    #0 pthread_create <null> (main+0x290b4)
    #1 main /home/ubuntu/proj/threadsan/main.c:22:3 (main+0xb8c20)

  Thread T1 (tid=11591, finished) created by main thread at:
    #0 pthread_create <null> (main+0x290b4)
    #1 main /home/ubuntu/proj/threadsan/main.c:21:3 (main+0xb8bfc)

SUMMARY: ThreadSanitizer: data race /home/ubuntu/proj/threadsan/main.c:12:10 in Thread2
==================
2
==================
WARNING: ThreadSanitizer: data race (pid=11589)
  Write of size 4 at 0x005556133198 by main thread:
    #0 main /home/ubuntu/proj/threadsan/main.c:23:10 (main+0xb8c38)

  Previous write of size 4 at 0x005556133198 by thread T1:
    #0 Thread1 /home/ubuntu/proj/threadsan/main.c:6:10 (main+0xb8ae8)

  Location is global 'Global' of size 4 at 0x005556133198 (main+0x000000bde198)

  Thread T1 (tid=11591, finished) created by main thread at:
    #0 pthread_create <null> (main+0x290b4)
    #1 main /home/ubuntu/proj/threadsan/main.c:21:3 (main+0xb8bfc)

SUMMARY: ThreadSanitizer: data race /home/ubuntu/proj/threadsan/main.c:23:10 in main
==================
ThreadSanitizer: reported 2 warnings
### 運(yùn)行時(shí)出現(xiàn)的檢測出來的log

ubuntu@ubuntu-nvidia:~/proj/threadsan$ ./main
1
  Thread T2 (tid=11592, running) created by main thread at:
    #0 pthread_create <null> (main+0x290b4)
    #1 main /home/ubuntu/proj/threadsan/main.c:22:3 (main+0xb8c20)

  Thread T1 (tid=11591, finished) created by main thread at:
    #0 pthread_create <null> (main+0x290b4)
    #1 main /home/ubuntu/proj/threadsan/main.c:21:3 (main+0xb8bfc)

SUMMARY: ThreadSanitizer: data race /home/ubuntu/proj/threadsan/main.c:12:10 in Thread2
==================
2
==================
WARNING: ThreadSanitizer: data race (pid=11589)
  Write of size 4 at 0x005556133198 by main thread:
    #0 main /home/ubuntu/proj/threadsan/main.c:23:10 (main+0xb8c38)

  Previous write of size 4 at 0x005556133198 by thread T1:
    #0 Thread1 /home/ubuntu/proj/threadsan/main.c:6:10 (main+0xb8ae8)

  Location is global 'Global' of size 4 at 0x005556133198 (main+0x000000bde198)

  Thread T1 (tid=11591, finished) created by main thread at:
    #0 pthread_create <null> (main+0x290b4)
    #1 main /home/ubuntu/proj/threadsan/main.c:21:3 (main+0xb8bfc)

SUMMARY: ThreadSanitizer: data race /home/ubuntu/proj/threadsan/main.c:23:10 in main
==================
ThreadSanitizer: reported 2 warnings

缺陷：

deadlock 并不能發(fā)現(xiàn)
因?yàn)槭沁\(yùn)行中檢測的，代碼沒有跑到的話诲侮，就不會(huì)檢測出來有問題

?著作權(quán)歸作者所有,轉(zhuǎn)載或內(nèi)容合作請聯(lián)系作者