Lines Matching refs:rfe

18   10. THE READS-FROM RELATION: rf, rfi, and rfe
489 THE READS-FROM RELATION: rf, rfi, and rfe
498 different CPUs (external reads-from, or rfe).
710 As with rf, rfi, and rfe, we subdivide the fr relation into fri (when
1165 others, one of which is rfe.
1167 W ->rfe R implies that W and R are on different CPUs.  It also means
1178 hb, despite their similarities to rfe.  For example, suppose we have
1299 rfe link.  You can concoct more exotic examples, containing more than
1302 followed by two cumul-fences and an rfe link, utilizing the fact that
1338 store to z has propagated to P0 (an rfe link).
1358 optional rfe link, a strong fence, and an arbitrary number of hb
1365 	E ->coe W ->cumul-fence* X ->rfe? Y ->strong-fence Z ->hb* F,
1511 X ->rfe Y, X ->co Y, or X ->fr Y.
1575 	2. X comes "before" Y in some sense (including rfe, co and fr);
1698 so we have X ->rfe Z.  Together with L ->po X and Z ->po S, this
2044 	cumul-fence links followed by an optional rfe link (if none of
2064 	An rfe link from an event W to an event R says that R reads
2097 assuming r1 = 1 at the end, there is an rfe link from W to Z.  This
2191 	X and Y are both marked accesses.  Hence an rfe link from X to
2193 	executed, i.e., X ->vis Y.  (And if there is no rfe link then
2422 	W by one of the xb* sequences listed above, then W ->rfe R is
2454 because all the other parts (fences and rfe) are already included in