Home
last modified time | relevance | path

Searched refs:rcu (Results 1 – 17 of 17) sorted by relevance

/tools/memory-model/
A Dlinux-kernel.cat134 let rcu-gp = [Sync-rcu] (* Compare with gp *)
136 let rcu-rscsi = rcu-rscs^-1
154 let rec rcu-order = rcu-gp | srcu-gp |
155 (rcu-gp ; rcu-link ; rcu-rscsi) |
157 (rcu-rscsi ; rcu-link ; rcu-gp) |
159 (rcu-gp ; rcu-link ; rcu-order ; rcu-link ; rcu-rscsi) |
160 ((srcu-gp ; rcu-link ; rcu-order ; rcu-link ; srcu-rscsi) & loc) |
161 (rcu-rscsi ; rcu-link ; rcu-order ; rcu-link ; rcu-gp) |
162 ((srcu-rscsi ; rcu-link ; rcu-order ; rcu-link ; srcu-gp) & loc) |
163 (rcu-order ; rcu-link ; rcu-order)
[all …]
A Dlinux-kernel.bell29 'rcu-lock (*rcu_read_lock*) ||
30 'rcu-unlock (*rcu_read_unlock*) ||
31 'sync-rcu (*synchronize_rcu*) ||
57 let rcu-rscs = let rec
69 flag ~empty Rcu-lock \ domain(rcu-rscs) as unmatched-rcu-lock
70 flag ~empty Rcu-unlock \ range(rcu-rscs) as unmatched-rcu-unlock
82 flag ~empty rcu-rscs & (po ; [Sync-srcu] ; po) as invalid-sleep
A Dlinux-kernel.def47 rcu_read_lock() { __fence{rcu-lock}; }
48 rcu_read_unlock() { __fence{rcu-unlock}; }
49 synchronize_rcu() { __fence{sync-rcu}; }
50 synchronize_rcu_expedited() { __fence{sync-rcu}; }
A DREADME184 "propagation", and "rcu" axioms, which are defined in the file.
/tools/testing/radix-tree/
A Dregression1.c50 struct rcu_head rcu; member
66 static void page_rcu_free(struct rcu_head *rcu) in page_rcu_free() argument
68 struct page *p = container_of(rcu, struct page, rcu); in page_rcu_free()
76 call_rcu(&p->rcu, page_rcu_free); in page_free()
/tools/testing/selftests/bpf/prog_tests/
A Dmap_kptr.c119 static int kern_sync_rcu_tasks_trace(struct rcu_tasks_trace_gp *rcu) in kern_sync_rcu_tasks_trace() argument
121 long gp_seq = READ_ONCE(rcu->bss->gp_seq); in kern_sync_rcu_tasks_trace()
124 if (!ASSERT_OK(bpf_prog_test_run_opts(bpf_program__fd(rcu->progs.do_call_rcu_tasks_trace), in kern_sync_rcu_tasks_trace()
129 while (gp_seq == READ_ONCE(rcu->bss->gp_seq)) in kern_sync_rcu_tasks_trace()
/tools/testing/selftests/rcutorture/doc/
A Drcu-test-image.txt27 rcu-test-image file that contains the filesystem used by the guest-OS
35 dd if=/dev/zero of=rcu-test-image bs=400M count=1
36 mkfs.ext3 ./rcu-test-image
37 sudo mount -o loop ./rcu-test-image /mnt
/tools/memory-model/Documentation/
A Dherd-representation.txt54 | rcu_read_lock | F[rcu-lock] |
55 | rcu_read_unlock | F[rcu-unlock] |
56 | synchronize_rcu | F[sync-rcu] |
A Dexplanation.txt30 22. RCU RELATIONS: rcu-link, rcu-gp, rcu-rscsi, rcu-order, rcu-fence, and rb
1513 RCU RELATIONS: rcu-link, rcu-gp, rcu-rscsi, rcu-order, rcu-fence, and rb
1625 rcu-gp and rcu-rscsi links separated by rcu-link links, in which the
1629 X ->rcu-gp Y ->rcu-link Z ->rcu-rscsi T ->rcu-link U ->rcu-gp V
1635 X ->rcu-rscsi Y ->rcu-link Z ->rcu-rscsi T ->rcu-link U ->rcu-gp V
1638 one rcu-gp link but two rcu-rscsi links.
1651 G ->rcu-gp W ->rcu-link Z ->rcu-rscsi F.
1705 rcu-rscsi alternating with rcu-link, where the number of rcu-gp links
1746 S ->rcu-gp S ->rcu-link U ->rcu-rscsi L ->rcu-link S,
1785 Then U ->rcu-rscsi L ->rcu-link S ->rcu-gp S ->rcu-link U is a
[all …]
A Dsimple.txt82 the list macros (for example, include/linux/{,rcu}list.h), workqueues,
A Dlitmus-tests.txt817 Documentation/litmus-tests/rcu/RCU+sync+free.litmus, but converted to
1029 emulated rcu-barrier().
/tools/testing/selftests/rcutorture/bin/
A Dkvm-recheck-rcu.sh75 …echo $nclosecalls "Reader Batch close calls in" $(($dur/60)) minute run: $i > $i/console.log.rcu.d…
A Dtorture.sh205 --do-rcu-rust|--do-no-rcu-rust|--no-rcu-rust)
206 do_rcu_rust=`doyesno "$1" --do-rcu-rust`
A Dkvm.sh50 TORTURE_SUITE=rcu
/tools/testing/selftests/ftrace/test.d/event/
A Devent-no-pid.tc47 enable_system rcu
/tools/testing/selftests/bpf/test_kmods/
A Dbpf_testmod_kfunc.h84 struct callback_head rcu; member
A Dbpf_testmod.c240 ctx = container_of(head, struct bpf_testmod_ctx, rcu); in testmod_free_cb()
249 call_rcu(&ctx->rcu, testmod_free_cb); in bpf_testmod_ctx_release()

Completed in 26 milliseconds