Enable weak memory modeling to detect missing memory barriers
configname: CONFIG_KCSAN_WEAK_MEMORY
Linux Kernel Configuration
└─>Kernel hacking
└─>Generic Kernel Debugging Instruments
└─>KCSAN: dynamic data race detector
└─>Enable weak memory modeling to detect missing memory barriers
In linux kernel since version 4.14.326 (release Date: 2023-09-23)
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.
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.