Mentorship Session: The Kernel Concurrency Sanitizer

Mentor: Marco Elver

Concurrency in the Linux kernel is everywhere, but notoriously difficult to deal with correctly. This Webinar will introduce the basic rules of concurrency in the Linux kernel, via the Linux Kernel Memory Consistency Model (LKMM), along with the Kernel Concurrency Sanitizer (KCSAN), a tool that helps detect violations of these rules in real kernel code. The most common use cases for KCSAN are introduced, along with some more advanced applications, to demonstrate how KCSAN can help detect concurrency bugs in Linux kernel code.