clang Thread Safety Analysis安全线程分析

Introduction

Clang Thread Safety Analysis is a C++ language extension which warns about potential race conditions in code. The analysis is completely static (i.e. compile-time); there is no run-time overhead. The analysis is still under active development, but it is mature enough to be deployed in an industrial setting. It is being developed by Google, in collaboration with CERT/SEI, and is used extensively in Google’s internal code base.

Thread safety analysis works very much like a type system for multi-threaded programs. In addition to declaring the type of data (e.g. int, float, etc.), the programmer can (optionally) declare how access to that data is controlled in a multi-threaded environment. For example, if foo is guarded by the mutex mu, then the analysis will issue a warning whenever a piece of code reads or writes to foo without first locking mu. Similarly, if there are particular routines that should only be called by the GUI thread, then the analysis will warn if other threads call those routines.

总结如下，线程安全分析是C++拓展出来的一种在编译阶段的警告机制，背靠google大佬，可以放心使用。对于多线程编程来说，线程安全分析特别像一个 type system 。
如果 foo 被声明为 guarded by mutex，表示该变量使用时必须要先获得 mutex 防止冲突。

参考链接

https://clang.llvm.org/docs/ThreadSafetyAnalysis.html