CONFIG_KCSAN_WEAK_MEMORY: Enable weak memory modeling to detect missing memory barriers

General informations

The Linux kernel configuration item CONFIG_KCSAN_WEAK_MEMORY:

• prompt: Enable weak memory modeling to detect missing memory barriers
• type: bool
• depends on: ( CONFIG_KCSAN_STRICT ) && (! CONFIG_ARCH_WANTS_NO_INSTR || CONFIG_HAVE_NOINSTR_HACK || \)
• defined in lib/Kconfig.kcsan
• found in Linux kernels: 5.17–5.19, 6.0–6.12, 6.13-rc+HEAD

Help text

Enable support for modeling a subset of weak memory, which allows detecting a subset of data races due to missing memory barriers.

Depends on KCSAN_STRICT, because the options strengthening certain plain accesses by default (depending on !KCSAN_STRICT) reduce the ability to detect any data races invoving reordered accesses, in particular reordered writes.

Weak memory modeling relies on additional instrumentation and may affect performance.

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: