Lines Matching +full:detector +full:- +full:enable

1 # SPDX-License-Identifier: GPL-2.0-only
7 	def_bool (CC_IS_CLANG && $(cc-option,-fsanitize=thread -mllvm -tsan-distinguish-volatile=1)) || \
8 		 (CC_IS_GCC && $(cc-option,-fsanitize=thread --param tsan-distinguish-volatile=1))
11 	  <file:Documentation/dev-tools/kcsan.rst>.
14 	bool "KCSAN: dynamic data race detector"
20 	  data-race detector that relies on compile-time instrumentation.
21 	  KCSAN uses a watchpoint-based sampling approach to detect races.
28 	  See <file:Documentation/dev-tools/kcsan.rst> for more details.
33 …def_bool (CC_IS_CLANG && $(cc-option,-fsanitize=thread -mllvm -tsan-compound-read-before-write=1))…
34 		 (CC_IS_GCC && $(cc-option,-fsanitize=thread --param tsan-compound-read-before-write=1))
36 	  The compiler instruments plain compound read-write operations
37 	  differently (++, --, +=, -=, |=, &=, etc.), which allows KCSAN to
83 	bool "Early enable during boot"
97 	  due to reducing cache-line contention. The chosen default is a
127 	  The number of per-CPU memory operations to skip, before another
128 	  watchpoint is set up, i.e. one in KCSAN_WATCH_SKIP per-CPU
149 	  Currently disabled by default, because not all safe per-CPU access
164 # are not expected to be switched frequently by non-testers or at runtime.
177 	bool "Strict data-race checking"
180 	  closely aligns with the rules defined by the Linux-kernel memory
184 	bool "Enable weak memory modeling to detect missing memory barriers"
194 	  Enable support for modeling a subset of weak memory, which allows
247 	bool "Enable all additional permissive rules"
250 	  Enable additional permissive rules to ignore certain classes of data
253 	  to further reduce reported data races due to data-racy patterns