Lines Matching refs:coe

19   11. CACHE COHERENCE AND THE COHERENCE ORDER RELATION: co, coi, and coe
608 CACHE COHERENCE AND THE COHERENCE ORDER RELATION: co, coi, and coe
727 that occur on different CPUs (external coherence order, or coe).
1260 It's important to understand that neither coe nor fre is included in
1262 W ->coe W'.  This means that W and W' are stores to the same location,
1380 The formal definition of the prop relation involves a coe or fre link,
1384 of complexity.  For instance, here's an example containing a coe link
1415 overwritten by P1's store since x = 2 at the end (a coe link), the
1440 F via a coe or fre link, an arbitrary number of cumul-fences, an
1445 of links begins with coe).  Then there are events W, X, Y, and Z such
1448 	E ->coe W ->cumul-fence* X ->rfe? Y ->strong-fence Z ->hb* F,
1461 link in the sequence is fre instead of coe.
1467 coherence order, contradicting the fact that E ->coe W.  If E was a
2694 definition of the prop relation makes the initial coe or fre part
2697 instances where the coe/fre part of prop is missing are of no interest