Lines Matching refs:data
24 bool "KCSAN: dynamic data race detector"
31 data-race detector that relies on compile-time instrumentation.
34 While KCSAN's primary purpose is to detect data races, it
35 also provides assertions to check data access constraints.
37 data races.
174 # The main purpose of the below options is to control reported data races, and
184 reported if it was only possible to infer a race due to a data value
188 bool "Strict data-race checking"
190 KCSAN will report data races with the strictest possible rules, which
195 bool "Only report races where watcher observed a data value change"
200 the data value of the memory location was observed to remain
201 unchanged, do not report the data race.
210 resulting in data races. This will cause KCSAN to not report data
213 aligned writes up to word size will not be reported as data races;
214 notice that data races between two conflicting plain aligned writes
223 writes will never be reported as a data race, however, will cause
225 If combined with CONFIG_KCSAN_REPORT_RACE_UNKNOWN_ORIGIN=n, data
231 be reported as data races; however, unlike that option, data races
239 Enable additional permissive rules to ignore certain classes of data
241 rules imply that such data races are generally safe, but can be used
242 to further reduce reported data races due to data-racy patterns