Lines Matching refs:rfe
18 10. THE READS-FROM RELATION: rf, rfi, and rfe
540 THE READS-FROM RELATION: rf, rfi, and rfe
549 different CPUs (external reads-from, or rfe).
761 As with rf, rfi, and rfe, we subdivide the fr relation into fri (when
1216 others, one of which is rfe.
1218 W ->rfe R implies that W and R are on different CPUs. It also means
1229 hb, despite their similarities to rfe. For example, suppose we have
1350 rfe link. You can concoct more exotic examples, containing more than
1353 followed by two cumul-fences and an rfe link, utilizing the fact that
1389 store to z has propagated to P0 (an rfe link).
1409 optional rfe link, a strong fence, and an arbitrary number of hb
1416 E ->coe W ->cumul-fence* X ->rfe? Y ->strong-fence Z ->hb* F,
1562 X ->rfe Y, X ->co Y, or X ->fr Y.
1626 2. X comes "before" Y in some sense (including rfe, co and fr);
1749 so we have X ->rfe Z. Together with L ->po X and Z ->po S, this
2101 cumul-fence links followed by an optional rfe link (if none of
2121 An rfe link from an event W to an event R says that R reads
2154 assuming r1 = 1 at the end, there is an rfe link from W to Z. This
2248 X and Y are both marked accesses. Hence an rfe link from X to
2250 executed, i.e., X ->vis Y. (And if there is no rfe link then
2479 W by one of the xb* sequences listed above, then W ->rfe R is
2511 because all the other parts (fences and rfe) are already included in