Lines Matching refs:rfe
18 10. THE READS-FROM RELATION: rf, rfi, and rfe
541 THE READS-FROM RELATION: rf, rfi, and rfe
550 different CPUs (external reads-from, or rfe).
762 As with rf, rfi, and rfe, we subdivide the fr relation into fri (when
1247 others, one of which is rfe.
1249 W ->rfe R implies that W and R are on different CPUs. It also means
1260 hb, despite their similarities to rfe. For example, suppose we have
1381 rfe link. You can concoct more exotic examples, containing more than
1384 followed by two cumul-fences and an rfe link, utilizing the fact that
1420 store to z has propagated to P0 (an rfe link).
1440 optional rfe link, a strong fence, and an arbitrary number of hb
1447 E ->coe W ->cumul-fence* X ->rfe? Y ->strong-fence Z ->hb* F,
1593 X ->rfe Y, X ->co Y, or X ->fr Y.
1657 2. X comes "before" Y in some sense (including rfe, co and fr);
1780 so we have X ->rfe Z. Together with L ->po X and Z ->po S, this
2132 cumul-fence links followed by an optional rfe link (if none of
2152 An rfe link from an event W to an event R says that R reads
2185 assuming r1 = 1 at the end, there is an rfe link from W to Z. This
2279 X and Y are both marked accesses. Hence an rfe link from X to
2281 executed, i.e., X ->vis Y. (And if there is no rfe link then
2510 W by one of the xb* sequences listed above, then W ->rfe R is
2542 because all the other parts (fences and rfe) are already included in