Component Type: kbuild config
Description: Enable weak memory modeling to detect missing memory barriers
More info: 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.
Build project: Kconfig (Linux kconfig) (Path: Kconfig )
Other views: file explorer