Compiler-Based Context Analysis for Compile-Time Lock Safety - Marco Elver, Google
0:00 · Watch on YouTube
Clang-based „context analysis" (Context Locking) wurde mit Linux-Kernel 7.0 gemergt und ersetzt die alte Sparse-Kontextanalyse: Ein Compiler-gestütztes Fähigkeits-/Capability-System auf dem C-Typsystem, das Sperrregel...