OPPO Kernel Craftsman
Feb 24, 2023 · Fundamentals
An Overview of Kernel Concurrency Sanitizer (KCSAN): Principles, Configuration, and Testing
Kernel Concurrency Sanitizer (KCSAN) is a low‑overhead dynamic data‑race detector for the Linux kernel that uses compile‑time instrumentation and sampled observation points to identify LKMM‑defined races, supports all atomic operations, integrates with KUNIT for testing, and has been proven effective in fixing real‑world kernel race bugs.
Data Race DetectionKCSANKUNIT
0 likes · 10 min read