Lines Matching refs:from

7 	successive reads from the same variable are ordered.
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
24 	Test of independent reads from independent writes with smp_mb()
32 	Test of independent reads from independent writes with nothing
54 	load-buffering litmus test, where each process reads from one
59 	litmus test, where each process reads from one of two variables then
175 the other process reads from these same variables, the corresponding
181 generate these strings from a given litmus test's actions.  For example,
182 consider the processes from SB+rfionceonce-poonceonces.litmus:
209 reads-from link (rf) and internal to the P0() process.  This is
210 "rfi", which is an abbreviation for "reads-from internal".  Because
224 A from-read ("fre") relation links P0()'s third to P1()'s first