Lines Matching +full:test +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
59 	  Run KCSAN selftests on boot. On test failure, causes the kernel to
64 	tristate "KCSAN test for integrated runtime behaviour" if !KUNIT_ALL_TESTS
69 	  KCSAN test focusing on behaviour of the integrated runtime. Tests
71 	  console. Makes use of KUnit for test organization, and the Torture
72 	  framework for test thread control.
74 	  Each test case may run at least up to KCSAN_REPORT_ONCE_IN_MS
75 	  milliseconds. Test run duration may be optimized by building the
76 	  kernel and KCSAN test with KCSAN_REPORT_ONCE_IN_MS set to a lower
79 	  Say Y here if you want the test to be built into the kernel and run
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
150 	  Currently disabled by default, because not all safe per-CPU access
165 # are not expected to be switched frequently by non-testers or at runtime.
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
248 	bool "Enable all additional permissive rules"
251 	  Enable additional permissive rules to ignore certain classes of data
253 	  rules imply that such data races are generally safe, but can be used
254 	  to further reduce reported data races due to data-racy patterns