Lines Matching refs:reads
7 successive reads from the same variable are ordered.
24 Test of independent reads from independent writes with smp_mb()
25 between each pairs of reads. In other words, is smp_mb()
32 Test of independent reads from independent writes with nothing
33 between each pairs of reads. In other words, is anything at all
54 load-buffering litmus test, where each process reads from one
59 litmus test, where each process reads from one of two variables then
104 process writes data and then a flag, and the other process reads
183 the other process reads from these same variables, the corresponding
217 reads-from link (rf) and internal to the P0() process. This is
218 "rfi", which is an abbreviation for "reads-from internal". Because
228 to a different variable ("d"), and both accesses are reads ("RR").