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
75 in one process, and use an acquire load followed by a pair of
80 acquire load followed by a pair of spin_is_locked() calls
85 and the first access of reader process protected by a lock.
95 and the second access of reader process protected by a lock.
148 Is the ordering provided by a spin_unlock() and a subsequent
150 by a process not holding the lock?
157 Is the ordering provided by a release-acquire chain sufficient
158 to make ordering apparent to accesses by a process that does
176 sign ("+"), and one string for each process, separated by plus signs.
187 The strings used to identify the actions carried out by each process are
216 P0()'s WRITE_ONCE() is read by its first READ_ONCE(), which is a
227 This is related to P0()'s second access by program order ("po"),
255 within the cycle through a given litmus test can be provided by the herd7
256 tool (Rfi, Po, Fre, and so on) or by the linux-kernel.bell file (Once,