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 5.2 (release Date: 2019-07-07)
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.
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.
depends
CONFIG_KCSANCONFIG_KCSAN_STRICT
CONFIG_CC_IS_GCC or CONFIG_CLANG_VERSIONCONFIG_140000 or CONFIG_HAVE_NOINSTR_HACK or NOT CONFIG_ARCH_WANTS_NO_INSTR