KCSAN: dynamic data race detector
configname: CONFIG_KCSAN
Linux Kernel Configuration
└─>Kernel hacking
└─>Generic Kernel Debugging Instruments
└─>KCSAN: dynamic data race detector
In linux kernel since version 4.14.326 (release Date: 2023-09-23)
The Kernel Concurrency Sanitizer (KCSAN) is a dynamic
data-race detector that relies on compile-time instrumentation.
KCSAN uses a watchpoint-based sampling approach to detect races.
While KCSAN's primary purpose is to detect data races, it
also provides assertions to check data access constraints.
These assertions can expose bugs that do not manifest as
data races.
See Documentation/dev-tools/kcsan.rst for more details.
data-race detector that relies on compile-time instrumentation.
KCSAN uses a watchpoint-based sampling approach to detect races.
While KCSAN's primary purpose is to detect data races, it
also provides assertions to check data access constraints.
These assertions can expose bugs that do not manifest as
data races.
See Documentation/dev-tools/kcsan.rst for more details.