Lines Matching full:propagate

857 	on C to propagate to C' before any po-later stores do.
861 	stores executed on C) is forced to propagate to C' before the
866 	propagate to all other CPUs before any instructions po-after
870 affects stores from other CPUs that propagate to CPU C before the
900 and W ->cumul-fence W', then W must propagate to any given CPU
902 require W to propagate to C before W' propagates to C'.
926 	Propagation: This requires that certain stores propagate to
1186 smp_wmb() forces P0's store to x to propagate to P1 before the store
1234 po-earlier stores to propagate to every other CPU in the system; then
1270 for the memory subsystem not to propagate W to R's CPU until after R
1360 to buf will propagate to P1 before the store to flag does, and the
1419 guarantees that the stores to x and y both propagate to P0 before the
1453 propagate to Y's CPU before X does, hence before Y executes and hence
1455 know that W will propagate to every CPU and to RAM before Z executes.
1458 propagate to every CPU and to RAM before F executes.
1533 	propagates to C's CPU before the end of C must propagate to
1537 	propagates to G's CPU before the start of G must propagate
1570 end of the critical section, did not propagate to P1 before the end of
1575 to propagate to every CPU are fulfilled by placing strong fences at
1620 Z's CPU before Z begins but doesn't propagate to some other CPU until
1643 ends, but also that any write po-before E will propagate to every CPU
1669 G's CPU before G starts must propagate to every CPU before C starts.
1714 critical section but doesn't propagate to some other CPU until after
2117 propagate to each CPU before W' does.  For example, consider:
2149 the spin_unlock() in P0.  Hence the store to x must propagate to P2
2218 NULL pointer, because P1's store to x might propagate to P0 after the
2275 will propagate to Y's CPU just as Y is executing.  In such a case X
2281 propagate to Y's CPU before Y executes.  (Or vice versa, of course, if
2282 Y executes before X -- then Y must propagate to X's CPU before X
2305 	the barrier to propagate to other CPUs before stores that are
2313 	the barrier, or that propagate to the barrier's CPU before the
2314 	barrier executes, to propagate to all CPUs before any events
2342 means that the store to buf must propagate from P0 to P1 before Z
2345 Y).  Therefore we have X ->vis Y: X must propagate to Y's CPU before Y
2432 	at the machine level, must propagate to P1 before X's store to
2447 Thus U's store to buf is forced to propagate to P1 before V's load
2546 stores will propagate to P1 in that order.  However, rcu_dereference()
2613 "y = 3" store, and consequently the first must propagate from P1 to P0