Lines Matching refs:LF
24 * LF Lock-Fail: a failed spin_trylock() event
30 * LKR, LF, RL, and RU are read events; LKR has Acquire ordering.
32 * LKW, LF, RL, and RU have no ordering properties.
39 (* Treat RL as a kind of LF: a read with no ordering properties *)
40 let LF = LF | RL
43 let ALL-LOCKS = LKR | LKW | UL | LF | RU
67 let R = R | LKR | LF | RU
82 (* rfi for LF events: link each LKW to the LF events in its critical section *)
83 let rfi-lf = ([LKW] ; po-loc ; [LF]) \ ([LKW] ; po-loc ; [UL] ; po-loc)
85 (* rfe for LF events *)
88 * Given an LF event r, compute the possible rfe edges for that event
95 (* Do this for each LF event r that isn't in rfi-lf *)
96 in map possible-rfe-lf (LF \ range(rfi-lf))
98 (* Generate all rf relations for LF events *)