Searched refs:race (Results 1 – 11 of 11) sorted by relevance
| /tools/memory-model/ |
| A D | linux-kernel.cat | 212 let pre-race = ext & ((Plain * M) | ((M \ IW) * Plain))
215 let wr-incoh = pre-race & rf & rw-xbstar^-1
216 let rw-incoh = pre-race & fr & wr-vis^-1
217 let ww-incoh = pre-race & co & ww-vis^-1
222 let ww-race = (pre-race & co) \ ww-nonrace
223 let wr-race = (pre-race & (co? ; rf)) \ wr-vis \ rw-xbstar^-1
224 let rw-race = (pre-race & fr) \ rw-xbstar
226 flag ~empty (ww-race | wr-race | rw-race) as data-race
|
| /tools/testing/selftests/kvm/x86/ |
| A D | recalc_apic_map_test.c | 21 static void *race(void *arg) in race() function
60 TEST_ASSERT_EQ(pthread_create(&thread, NULL, race, vcpus[0]), 0); in main()
|
| /tools/testing/selftests/proc/ |
| A D | .gitignore | 8 /proc-maps-race
|
| A D | Makefile | 12 TEST_GEN_PROGS += proc-maps-race
|
| /tools/perf/tests/shell/attr/ |
| A D | system-wide-dummy | 1 # Event added by system-wide or CPU perf-record to handle the race of
|
| /tools/testing/selftests/bpf/prog_tests/ |
| A D | timer.c | 65 prog_fd = bpf_program__fd(timer_skel->progs.race); in timer()
|
| /tools/memory-model/Documentation/ |
| A D | access-marking.txt | 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
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)"
|
| A D | explanation.txt | 2248 race candidates actually do race in a given execution depends on
2424 accesses are race candidates, the LKMM can prove they are not
2439 race with U.)
2449 data race between them.
2499 data race where one was not already present in the source code,
2502 data race unless one already existed.
2620 stores don't race if W can be linked to W' by a
2633 two accesses don't race if R can be linked to W by an
2665 If R and W are race candidates and it is possible to link R to
2670 If W and R are race candidates and it is possible to link W to
[all …]
|
| A D | simple.txt | 259 Concurrency bugs should fear the big bad data-race detector (part 1)
261 Concurrency bugs should fear the big bad data-race detector (part 2)
|
| /tools/testing/selftests/media_tests/ |
| A D | regression_test.txt | 32 Regression test for media_devnode unregister race with ioctl_syscall:
|
| /tools/testing/selftests/bpf/progs/ |
| A D | timer.c | 403 int race(void *ctx) in race() function
|
Completed in 816 milliseconds