Lines Matching refs:coe
19 11. CACHE COHERENCE AND THE COHERENCE ORDER RELATION: co, coi, and coe
606 CACHE COHERENCE AND THE COHERENCE ORDER RELATION: co, coi, and coe
725 that occur on different CPUs (external coherence order, or coe).
1228 It's important to understand that neither coe nor fre is included in
1230 W ->coe W'. This means that W and W' are stores to the same location,
1348 The formal definition of the prop relation involves a coe or fre link,
1352 of complexity. For instance, here's an example containing a coe link
1383 overwritten by P1's store since x = 2 at the end (a coe link), the
1408 F via a coe or fre link, an arbitrary number of cumul-fences, an
1413 of links begins with coe). Then there are events W, X, Y, and Z such
1416 E ->coe W ->cumul-fence* X ->rfe? Y ->strong-fence Z ->hb* F,
1429 link in the sequence is fre instead of coe.
1435 coherence order, contradicting the fact that E ->coe W. If E was a
2507 definition of the prop relation makes the initial coe or fre part
2510 instances where the coe/fre part of prop is missing are of no interest