Home
last modified time | relevance | path

Searched refs:race (Results 1 – 25 of 65) sorted by relevance

123

/linux/tools/memory-model/
H A Dlinux-kernel.cat212 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
[all...]
/linux/Documentation/translations/zh_CN/dev-tools/
H A Dkcsan.rst33 BUG: KCSAN: data-race in test_kernel_read / test_kernel_write
61 BUG: KCSAN: data-race in test_kernel_rmw_array+0x71/0xd0
63 race at unknown origin, with read to 0xffffffffc009bdb0 of 8 bytes by task 515 on cpu 2:
260 x = 1; // data race!
266 ... = x; // data race!
/linux/Documentation/driver-api/firmware/
H A Ddirect-fs-lookup.rst22 a race is possible with loading the driver and the real rootfs not yet being
23 available. Stuffing the firmware into initramfs resolves this race issue,
24 however note that using initrd does not suffice to address the same race.
H A Dfirmware_cache.rst21 filesystem to mount or dealing with possible race issues with lookups as the
/linux/tools/testing/selftests/proc/
H A D.gitignore8 /proc-maps-race
H A DMakefile12 TEST_GEN_PROGS += proc-maps-race
/linux/tools/memory-model/Documentation/
H A Daccess-marking.txt20 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)"
H A Dexplanation.txt2231 program executes, there will not be any data races. A "data race"
2247 are "race candidates" if they satisfy 1 - 4. Thus, whether or not two
2248 race candidates actually do race in a given execution depends on
2251 The LKMM tries to determine whether a program contains race candidates
2253 a potential data race and makes no predictions about the program's
2256 Determining whether two accesses are race candidates is easy; you can
2366 limitations. For one, it is not allowed to introduce a data race into
2368 race (if it could, memory models would be useless and no multithreaded
2423 This program does not contain a data race. Although the U and V
2424 accesses are race candidates, the LKMM can prove they are not
[all …]
H A Dsimple.txt259 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)
/linux/tools/testing/selftests/bpf/prog_tests/
H A Duprobe_syscall.c814 static USDT_DEFINE_SEMA(race);
835 __stringify(USDT_SEMA(race)),
914 ASSERT_FALSE(USDT_SEMA_IS_ACTIVE(race), "race_semaphore");
H A Dtimer.c49 prog_fd = bpf_program__fd(timer_skel->progs.race); in timer()
/linux/Documentation/driver-api/soundwire/
H A Dlocking.rst6 following locks in order to avoid race conditions in Bus operations on
/linux/net/netfilter/
H A Dxt_hashlimit.c218 const struct dsthash_dst *dst, bool *race) in dsthash_alloc_init() argument
230 *race = true; in dsthash_alloc_init()
738 bool race = false; in hashlimit_mt_common() local
747 dh = dsthash_alloc_init(hinfo, &dst, &race); in hashlimit_mt_common()
751 } else if (race) { in hashlimit_mt_common()
/linux/Documentation/input/devices/
H A Dbcm5974.rst43 different interfaces of the same usb device. This creates a race condition
/linux/Documentation/filesystems/
H A Dlocks.rst50 race and deadlock conditions that the current solution was the only
/linux/Documentation/process/
H A Dcode-of-conduct.rst14 personal appearance, race, religion, or sexual identity and orientation.
/linux/Documentation/arch/arm/
H A Dcluster-pm-race-avoidance.rst2 Cluster-wide Power-up/power-down race avoidance algorithm
187 race avoidance algorithm.
271 The race avoidance algorithm does not provide a way to determine
452 The race avoidance algorithm documented above does not provide a
/linux/Documentation/scsi/
H A DChangeLog.ips105 0.99.04 - Fix race condition in the passthru mechanism
/linux/tools/testing/selftests/bpf/progs/
H A Dtimer.c493 int race(void *ctx)
403 int race(void *ctx) race() function
/linux/Documentation/driver-api/media/
H A Ddtv-demux.rst38 possibilities of lost update and race condition problems should be
/linux/Documentation/arch/riscv/
H A Dcmodx.rst24 without a race condition. This series makes atomic code patching possible in
/linux/Documentation/RCU/
H A Drculist_nulls.rst147 a race (some writer did a delete and/or a move of an object
/linux/Documentation/locking/
H A Dfutex-requeue-pi.rst93 acquire the rt_mutex as it would open a race window between the
/linux/Documentation/gpu/
H A Ddrm-vm-bind-locking.rst231 new exec function may not race with the eviction.
556 * The unmapping and mapping of a gpu_vma must not race.
566 is held in read mode during mapping, it will not race with the
570 object, will similarly ensure we are race-free.
/linux/Documentation/driver-api/usb/
H A Derror-codes.rst84 This is because otherwise there would be a race between HCDs updating

123