Lines Matching refs:data_race

19 2.	Data-race marking, for example, "data_race(a = b);"
31 WRITE_ONCE(a, b + data_race(c + d) + READ_ONCE(e));
33 Neither plain C-language accesses nor data_race() (#1 and #2 above) place
39 preferable to data_race(), which in turn is usually preferable to plain
41 data_race(READ_ONCE(a)), which will both restrict compiler optimizations
46 race with one of data_race(), READ_ONCE(), or WRITE_ONCE(), will prevent
50 ill-considered additions of data_race(), READ_ONCE(), and WRITE_ONCE()
54 data_race() and even plain C-language accesses is preferable to
58 Use of the data_race() Macro
61 Here are some situations where data_race() should be used instead of
81 In fact, use of data_race() instead READ_ONCE() for these diagnostic
88 data_race() for the diagnostic reads because otherwise KCSAN would give
92 KCSAN diagnostics, use both data_race() and READ_ONCE(), for example,
93 data_race(READ_ONCE(a)).
111 However, please keep in mind that a data_race() load feeding into
128 errors. Such reads can use data_race(), thus allowing KCSAN to focus on
130 that data_race() loads are subject to load fusing, which can result in
132 Therefore use of data_race() should be limited to cases where some other
138 instead of data_race().
150 to this same variable, and these writes can also use data_race().
167 used instead of READ_ONCE(), WRITE_ONCE(), and data_race():
226 write is marked with data_race() or WRITE_ONCE().
230 and data_race() writes on the other, KCSAN will not report the location
231 of these data_race() writes.
275 pr_info("Current value of foo: %d\n", data_race(foo));
283 reads from or updates to foo. The data_race() in read_foo_diagnostic()
285 ignored. This data_race() also tells the human reading the code that
293 pr_info("Current value of foo: %d\n", data_race(READ_ONCE(foo)));
297 this function can be marked __no_kcsan and the data_race() can be dropped:
370 /* This works even if data_race() returns nonsense. */
371 if (!data_race(global_flag)) {
535 newold = data_race(foo); /* Checked by cmpxchg(). */
566 newold = data_race(foo); /* Checked by cmpxchg(). */