The Kernel Concurrency Sanitizer

Recorded July 26, 2023

View an interactive, complimentary Mentorship Session exploring The Kernel Concurrency Sanitizer with Marco Elver, Senior Software Engineer at Google

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.