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 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.



Raw data from LKDDb:


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 2024). See also LKDDb sources on GitLab