[$] Finding race conditions with KCSAN
Race conditions can be some of the trickiest bugs to find. The resulting
problems can be subtle, and reproducing the problem in order to track it
down can be difficult or impossible; often code inserted to narrow down a
race condition will cause it to stop manifesting entirely. A tool that can
find race conditions automatically would thus be a valuable thing for the
kernel community to have. In late September, Marco Elver announced
a tool called KCSAN (the Kernel Concurrency Sanitizer) that does
exactly that — and which has already found a number of real problems.