Lines Matching full:rcu
34 let gp = po ; [Sync-rcu] ; po?
88 (* RCU *)
100 * one but two non-rf relations, but only in conjunction with an RCU
103 let rcu-link = hb* ; pb* ; prop
106 * Any sequence containing at least as many grace periods as RCU read-side
107 * critical sections (joined by rcu-link) acts as a generalized strong fence.
109 let rec rcu-fence = gp |
110 (gp ; rcu-link ; rscs) |
111 (rscs ; rcu-link ; gp) |
112 (gp ; rcu-link ; rcu-fence ; rcu-link ; rscs) |
113 (rscs ; rcu-link ; rcu-fence ; rcu-link ; gp) |
114 (rcu-fence ; rcu-link ; rcu-fence)
117 let rb = prop ; rcu-fence ; hb* ; pb*
119 irreflexive rb as rcu
122 * The happens-before, propagation, and rcu constraints are all