Skip to content

Latest commit

 

History

History
29 lines (16 loc) · 1.52 KB

KCSAN.md

File metadata and controls

29 lines (16 loc) · 1.52 KB

Kernel Concurrency Sanitizer (KCSAN)

Status: Upstream; in mainline since 5.8

Documentation: Documentation/dev-tools/kcsan.rst

Found bugs: here

Contacts: Marco Elver <@melver>, Dmitry Vyukov <@dvyukov>

Overview

Kernel Concurrency Sanitizer (KCSAN) is a watchpoint-based dynamic race-detector for the Linux kernel.

For details, see the LWN articles:

And a talk:

For an alternative approach based on a happens-before algorithm, see Kernel Thread Sanitizer (KTSAN).

Continuous testing & fuzzing

We have a public syzbot instance. Reports will appear on the dashboard after internal review, to keep the volume of bugs manageable (which gives us a chance to carefully react to KCSAN reports while best practices are still evolving).