Lines Matching full:process

28 	variable by a different process?  This litmus test is forbidden
36 	variable by a different process?
40 	litmus test is visible to an external process whose accesses are
41 	separated by smp_mb().  This addition of an external process to
54 	load-buffering litmus test, where each process reads from one
59 	litmus test, where each process reads from one of two variables then
75 	in one process, and use an acquire load followed by a pair of
76 	spin_is_locked() calls in the other process.
79 	Protect the access with a lock in one process, and use an
81 	in the other process.
84 	As below, but with the second access of the writer process
85 	and the first access of reader process protected by a lock.
94 	As below, but with the first access of the writer process
95 	and the second access of reader process protected by a lock.
104 	process writes data and then a flag, and the other process reads
143 	class in which the first write is moved to a separate process.
150 	by a process not holding the lock?
158 	to make ordering apparent to accesses by a process that does
172 each process exactly once, so litmus tests not fitting this description
176 sign ("+"), and one string for each process, separated by plus signs.
182 For example, if the one process writes to a pair of variables, and
183 the other process reads from these same variables, the corresponding
187 The strings used to identify the actions carried out by each process are
217 reads-from link (rf) and internal to the P0() process.  This is