Navigation: Linux Kernel Driver DataBase - web LKDDB: Main index - K index

CONFIG_KCSAN_WEAK_MEMORY: Enable weak memory modeling to detect missing memory barriers

General informations

The Linux kernel configuration item CONFIG_KCSAN_WEAK_MEMORY:

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 strenghtening 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:

Sources

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

The data is retrived from:

Automatic links from Google (and ads)

Custom Search

Popular queries:

Navigation: Linux Kernel Driver DataBase - web LKDDB: main index - K index

Automatically generated (in year 2022). See also LKDDb sources on GitLab