Mentorship Session: The Kernel Concurrency Sanitizer
Description:
Explore the intricacies of concurrency in the Linux kernel through this 1-hour 23-minute mentorship session led by Marco Elver. Delve into the fundamental rules of kernel concurrency as defined by the Linux Kernel Memory Consistency Model (LKMM). Learn about the Kernel Concurrency Sanitizer (KCSAN), a powerful tool designed to detect violations of these rules in actual kernel code. Discover common use cases for KCSAN and examine advanced applications that demonstrate its effectiveness in identifying concurrency bugs. Gain valuable insights into maintaining code integrity and improving the reliability of Linux kernel development.
The Kernel Concurrency Sanitizer - Detecting Concurrency Bugs in Linux