CONFIG_KCSAN: KCSAN: dynamic data race detector

General informations

The Linux kernel configuration item CONFIG_KCSAN:

• prompt: KCSAN: dynamic data race detector
• type: bool
• depends on: ( CONFIG_HAVE_ARCH_KCSAN && CONFIG_HAVE_KCSAN_COMPILER ) && ( CONFIG_DEBUG_KERNEL && ! CONFIG_KASAN )
• defined in lib/Kconfig.kcsan
• found in Linux kernels: 5.8–5.19, 6.0–6.11, 6.12-rc+HEAD

Help text

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.

Hardware

LKDDb

Raw data from LKDDb:

• (none)

Sources

This page is automaticly generated with free (libre, open) software lkddb(see lkddb-sources).

The data is retrived from:

• Linux kernel
• Linux Kernel Driver DataBase (LKDDb)

Automatic links from Google (and ads)

Custom Search

Popular queries: