Webinar On Demand

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.

Download Slides
Marco Elver

Senior Software Engineer, Google


Marco is currently a Senior Software Engineer at Google, where he works on program analysis techniques, such as for the Linux kernel. He is the primary maintainer of the Kernel Concurrency Sanitizer (KCSAN), and also a maintainer for the Kernel Electric-Fence (KFENCE).