Linuxeden开源社区本周发布到 Linux 内核邮件列表的是两个相互竞争的解决方案，用于 Linux 内核的 LLVM Clang 新功能/线程安全分析。两名开发人员分别致力于 Linux 内核的实现，以利用 Clang 的“-Wthread-safety”功能。最终，上游内核可能会选择更高级或统一的解决方案，同时已经利用这些新检查来发现 Linux 内核错误。
LLVM Clang 编译器具有 LLVM 文档中概述的线程安全分析功能，以警告潜在的争用条件。Google 一直在努力，并且已经在 Google 内部使用它来发现错误。
Marco Elver 发布了这组 24 个 RFC 补丁，其中包含一种基于编译器的功能和锁定分析方法。
Bart Van Assche 同时致力于 Linux 内核的编译时线程安全检查，本周还发布了这组 33 个 RFC 补丁。
我们将看到哪种解决方案被证明是优越的，并最终被上游接受，或者是否发展出一些新的统一方法。无论如何，LLVM Linux 开发人员 Nick Desaulniers 和 Google 发帖说，这些补丁系列已经发现了 Linux 内核中的锁定错误。
转自 Clang Thread Safety Checks Begin Uncovering Bugs In The Linux Kernel – Phoronix