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
71 	in one process, and use an acquire load followed by a pair of
72 	spin_is_locked() calls in the other process.
75 	Protect the access with a lock in one process, and use an
77 	in the other process.
80 	As below, but with the second access of the writer process
81 	and the first access of reader process protected by a lock.
90 	As below, but with the first access of the writer process
91 	and the second access of reader process protected by a lock.
96 	process writes data and then a flag, and the other process reads
135 	class in which the first write is moved to a separate process.
142 	by a process not holding the lock?
150 	to make ordering apparent to accesses by a process that does
164 each process exactly once, so litmus tests not fitting this description
168 sign ("+"), and one string for each process, separated by plus signs.
174 For example, if the one process writes to a pair of variables, and
175 the other process reads from these same variables, the corresponding
179 The strings used to identify the actions carried out by each process are
209 reads-from link (rf) and internal to the P0() process.  This is