CLANG 该特性的官方文档: Thread Safety Analysis Linux 内核补丁尝试使用了该特性: Capability analysis for the kernel [PATCH RFC 00/33] Compile-time thread-safety checking [PATCH RFC 06/33] locking/mutex: Annotate struct mutex and mutex functions