Lines Matching full:propagated

796 other store to the same location which has already propagated to CPU C.
806 propagated to that CPU.
1189 first load, the value x = 1 must have propagated to P1 before the
1251 that W's store must have propagated to R's CPU before R executed;
1305 order, and P1's store propagated to P0 before P0's load executed.
1327 then the x = 9 store must have been propagated to P0 before the first
1331 P1's store propagated to P0 before P0's second load executed.
1366 have propagated to P1 by the time P1's load from buf executed, so r2
1421 store to z has propagated to P0 (an rfe link).
1465 have propagated to E's CPU before E executed.  If E was a store, the
1566 means that P0's store to x propagated to P1 before P1 called
1730 witness that W has not propagated to that CPU, where Z happens after
1735 The fr link from Z to W indicates that W has not propagated to Z's CPU
2152 propagated in either order.  (On the other hand, if the code in P0 and
2154 one, then the writes would have propagated in order even if the two
2272 propagated Y from its own CPU to X's CPU, which won't happen until
2309 	from W, which certainly means that W must have propagated to
2436 	Y is a valid indicator that X propagated to P1 before Y
2606 Guarantee says that otherwise P0's store to x would have propagated to