Lines Matching refs:RU
26 * RU Read-Unlocked: a spin_is_locked() event which returns False
30 * LKR, LF, RL, and RU are read events; LKR has Acquire ordering.
32 * LKW, LF, RL, and RU have no ordering properties.
37 let RU = try RU with emptyset
43 let ALL-LOCKS = LKR | LKW | UL | LF | RU
67 let R = R | LKR | LF | RU
103 * RU, i.e., spin_is_locked() returning False, is slightly different.
108 (* rfi for RU events: an RU may read from the last po-previous UL *)
109 let rfi-ru = ([UL] ; po-loc ; [RU]) \ ([UL] ; po-loc ; [LKW] ; po-loc)
111 (* rfe for RU events: an RU may read from an external UL or the initial write *)
116 in map possible-rfe-ru RU
118 (* Generate all rf relations for RU events *)