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
1163 others, one of which is rfe.
1165 W ->rfe R implies that W and R are on different CPUs. It also means
1176 hb, despite their similarities to rfe. For example, suppose we have
1297 rfe link. You can concoct more exotic examples, containing more than
1300 followed by two cumul-fences and an rfe link, utilizing the fact that
1336 store to z has propagated to P0 (an rfe link).
1356 optional rfe link, a strong fence, and an arbitrary number of hb
1363 E ->coe W ->cumul-fence* X ->rfe? Y ->strong-fence Z ->hb* F,
1509 X ->rfe Y, X ->co Y, or X ->fr Y.
1573 2. X comes "before" Y in some sense (including rfe, co and fr);
1677 so we have X ->rfe Z. Together with L ->po X and Z ->po S, this
1911 because all the other parts (fences and rfe) are already included in