Lines Matching full:race

20 2.	Data-race marking, for example, "data_race(a = b);"
43 Therefore, if a given access is involved in an intentional data race,
52 race with one of data_race(), READ_ONCE(), or WRITE_ONCE(), will prevent
104 that the resulting data race was intentional.
114 in a retry.  Unless the race condition that resulted in the bogus value
128 that the resulting data race was intentional.
149 that the resulting data race was intentional.
165 because KCSAN will have no way of knowing that the resulting data race
540 Checking Stress-Test Race Coverage
543 When designing stress tests it is important to ensure that race conditions
617 [1] "Concurrency bugs should fear the big bad data-race detector (part 2)"