Lines Matching +full:build +full:- +full:only +full:- +full:delayed +full:- +full:rules

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>.
21 	  data-race detector that relies on compile-time instrumentation.
22 	  KCSAN uses a watchpoint-based sampling approach to detect races.
29 	  See <file:Documentation/dev-tools/kcsan.rst> for more details.
34 	def_bool (CC_IS_CLANG && $(cc-option,-fsanitize=thread -mllvm -tsan-compound-read-before-write=1)) || \
35 		 (CC_IS_GCC && $(cc-option,-fsanitize=thread --param tsan-compound-read-before-write=1))
37 	  The compiler instruments plain compound read-write operations
38 	  differently (++, --, +=, -=, |=, &=, etc.), which allows KCSAN to
80 	  during boot; say M if you want the test to build as a module; say N
98 	  due to reducing cache-line contention. The chosen default is a
128 	  The number of per-CPU memory operations to skip, before another
129 	  watchpoint is set up, i.e. one in KCSAN_SKIP_WATCH per-CPU
147 	  delayed. This option will allow KCSAN to detect races between
150 	  Currently disabled by default, because not all safe per-CPU access
155 	int "Duration in milliseconds, in which any given race is only reported once"
158 	  Any given race is only reported once in the defined time window.
165 # are not expected to be switched frequently by non-testers or at runtime.
172 	  If KCSAN should report races where only one access is known, and the
174 	  reported if it was only possible to infer a race due to a data value
175 	  change while an access is being delayed on a watchpoint.
178 	bool "Strict data-race checking"
180 	  KCSAN will report data races with the strictest possible rules, which
181 	  closely aligns with the rules defined by the Linux-kernel memory
201 	bool "Only report races where watcher observed a data value change"
217 	  races due to conflicts where the only plain accesses are aligned
242 	bool "Enable all additional permissive rules"
245 	  Enable additional permissive rules to ignore certain classes of data
247 	  rules imply that such data races are generally safe, but can be used
248 	  to further reduce reported data races due to data-racy patterns