Lines Matching full:propagated

794 other store to the same location which has already propagated to CPU C.
804 propagated to that CPU.
1157 first load, the value x = 1 must have propagated to P1 before the
1219 that W's store must have propagated to R's CPU before R executed;
1273 order, and P1's store propagated to P0 before P0's load executed.
1295 then the x = 9 store must have been propagated to P0 before the first
1299 P1's store propagated to P0 before P0's second load executed.
1334 have propagated to P1 by the time P1's load from buf executed, so r2
1389 store to z has propagated to P0 (an rfe link).
1433 have propagated to E's CPU before E executed.  If E was a store, the
1534 means that P0's store to x propagated to P1 before P1 called
1698 witness that W has not propagated to that CPU, where Z happens after
1703 The fr link from Z to W indicates that W has not propagated to Z's CPU
1965 propagated in either order.  (On the other hand, if the code in P0 and
1967 one, then the writes would have propagated in order even if the two
2085 propagated Y from its own CPU to X's CPU, which won't happen until
2122 	from W, which certainly means that W must have propagated to
2249 	Y is a valid indicator that X propagated to P1 before Y
2419 Guarantee says that otherwise P0's store to x would have propagated to