在閱讀leveldb源碼的過程中，發現很多成員變量被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

通過翻閱資料，發現這是c++靜態檢測對應的變量是否有對應的mutex保護的方法。

只要在代碼中通過代碼注解（annotations ）告訴編譯器哪些成員變量和成員函數是受哪個 mutex 保護，這樣如果忘記了加鎖，編譯器會給警告。因為在后續維護別人的代碼時候，往往不像原作者那樣深刻理解設計意圖，特別容易遺漏線程安全的假設。

使用方法也很簡單，我們可以通過clang增加編譯參數-Wthread-safety -Werror，獲取有關線程安全的warning。

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

參考鏈接

Thread Safety Analysis

現代 C++ 開發(1)：線程安全注解

C/C++ Thread Safety Analysis

thread_annotations.h

Enable thread safety annotations in open source version.

總結

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

如果覺得生活随笔網站內容還不錯，歡迎將生活随笔推薦給好友。