Lines Matching +full:y +full:- +full:origin

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
57 default y
79 Say Y here if you want the test to be built into the kernel and run
85 default y
98 due to reducing cache-line contention. The chosen default is a
118 default y
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
136 default y
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.
169 bool "Report races of unknown origin"
170 default y
173 conflicting access is of unknown origin. This type of race is
178 bool "Strict data-race checking"
181 closely aligns with the rules defined by the Linux-kernel memory
186 default y
202 default y
211 default y
230 plain reads and marked writes to result in "unknown origin" reports.
248 to further reduce reported data races due to data-racy patterns