在閱讀leveldb源碼的過(guò)程中，發(fā)現(xiàn)很多成員變量被GUARDED_BY修飾，如下：

struct IterState {port::Mutex* const mu;Version* const version GUARDED_BY(mu);MemTable* const mem GUARDED_BY(mu);MemTable* const imm GUARDED_BY(mu);IterState(port::Mutex* mutex, MemTable* mem, MemTable* imm, Version* version): mu(mutex), version(version), mem(mem), imm(imm) {} };

宏定義如下：

#define THREAD_ANNOTATION_ATTRIBUTE__(x) __attribute__((x)) #else #define THREAD_ANNOTATION_ATTRIBUTE__(x) // no-op #endif#endif // !defined(THREAD_ANNOTATION_ATTRIBUTE__)#ifndef GUARDED_BY #define GUARDED_BY(x) THREAD_ANNOTATION_ATTRIBUTE__(guarded_by(x)) #endif#ifndef PT_GUARDED_BY #define PT_GUARDED_BY(x) THREAD_ANNOTATION_ATTRIBUTE__(pt_guarded_by(x)) #endif

通過(guò)翻閱資料，發(fā)現(xiàn)這是c++靜態(tài)檢測(cè)對(duì)應(yīng)的變量是否有對(duì)應(yīng)的mutex保護(hù)的方法。

只要在代碼中通過(guò)代碼注解（annotations ）告訴編譯器哪些成員變量和成員函數(shù)是受哪個(gè) mutex 保護(hù)，這樣如果忘記了加鎖，編譯器會(huì)給警告。因?yàn)樵诤罄m(xù)維護(hù)別人的代碼時(shí)候，往往不像原作者那樣深刻理解設(shè)計(jì)意圖，特別容易遺漏線程安全的假設(shè)。

使用方法也很簡(jiǎn)單，我們可以通過(guò)clang增加編譯參數(shù)-Wthread-safety -Werror，獲取有關(guān)線程安全的warning。

而leveldb使用的是abseil-cpp版本，使用方法相同

參考鏈接

Thread Safety Analysis

現(xiàn)代 C++ 開(kāi)發(fā)(1)：線程安全注解

C/C++ Thread Safety Analysis

thread_annotations.h

Enable thread safety annotations in open source version.

總結(jié)

以上是生活随笔為你收集整理的c++的线程安全静态检查的全部?jī)?nèi)容，希望文章能夠幫你解決所遇到的問(wèn)題。

如果覺(jué)得生活随笔網(wǎng)站內(nèi)容還不錯(cuò)，歡迎將生活随笔推薦給好友。