Lines Matching full:propagated

743 other store to the same location which has already propagated to CPU C.
753 propagated to that CPU.
1106 first load, the value x = 1 must have propagated to P1 before the
1168 that W's store must have propagated to R's CPU before R executed;
1222 order, and P1's store propagated to P0 before P0's load executed.
1244 then the x = 9 store must have been propagated to P0 before the first
1248 P1's store propagated to P0 before P0's second load executed.
1283 have propagated to P1 by the time P1's load from buf executed, so r2
1338 store to z has propagated to P0 (an rfe link).
1382 have propagated to E's CPU before E executed.  If E was a store, the
1483 means that P0's store to x propagated to P1 before P1 called
1647 witness that W has not propagated to that CPU, where Z happens after
1652 The fr link from Z to W indicates that W has not propagated to Z's CPU
2028 propagated Y from its own CPU to X's CPU, which won't happen until
2065 	from W, which certainly means that W must have propagated to
2192 	Y is a valid indicator that X propagated to P1 before Y
2362 Guarantee says that otherwise P0's store to x would have propagated to