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