Lines Matching defs:race
9 * outcome to a data race when multiple races are present.
12 * - There is one data race we want to hit and one to avoid.
13 * - Each thread contains two contiguous critical sections. One for each race.
14 * - The threads only interact through two variables, one for each race.
15 * - If we hit the race we want to avoid then it causes thread A to exit early.
18 * two threads. Fuzzy Sync will eventually trigger a race so long as
19 * the delay range is large enough. Assuming the race is possible to
20 * reproduce without further tampering to increase the race window (a
21 * technique specific to each race). So I conject that beyond a lower
22 * threshold of complexity, increasing the complexity of the race is
59 struct race {
69 static const struct race races[] = {