Lines Matching refs:by

11 	from a given variable followed by a write to that same variable
16 	to a given variable followed by a read from that same variable
28 	variable by a different process?  This litmus test is forbidden
29 	by LKMM's propagation rule.
36 	variable by a different process?
39 	Tests whether the ordering provided by a lock-protected S
41 	separated by smp_mb().  This addition of an external process to
71 	in one process, and use an acquire load followed by a pair of
76 	acquire load followed by a pair of spin_is_locked() calls
81 	and the first access of reader process protected by a lock.
91 	and the second access of reader process protected by a lock.
140 	Is the ordering provided by a spin_unlock() and a subsequent
142 	by a process not holding the lock?
149 	Is the ordering provided by a release-acquire chain sufficient
150 	to make ordering apparent to accesses by a process that does
168 sign ("+"), and one string for each process, separated by plus signs.
179 The strings used to identify the actions carried out by each process are
208 P0()'s WRITE_ONCE() is read by its first READ_ONCE(), which is a
219 This is related to P0()'s second access by program order ("po"),
247 within the cycle through a given litmus test can be provided by the herd7
248 tool (Rfi, Po, Fre, and so on) or by the linux-kernel.bell file (Once,