Lines Matching refs:propagate

804 	on C to propagate to C' before any po-later stores do.
808 	stores executed on C) is forced to propagate to C' before the
813 	propagate to all other CPUs before any instructions po-after
817 affects stores from other CPUs that propagate to CPU C before the
847 and W ->cumul-fence W', then W must propagate to any given CPU
849 require W to propagate to C before W' propagates to C'.
873 	Propagation: This requires that certain stores propagate to
1103 smp_wmb() forces P0's store to x to propagate to P1 before the store
1151 po-earlier stores to propagate to every other CPU in the system; then
1187 for the memory subsystem not to propagate W to R's CPU until after R
1277 to buf will propagate to P1 before the store to flag does, and the
1336 guarantees that the stores to x and y both propagate to P0 before the
1370 propagate to Y's CPU before X does, hence before Y executes and hence
1372 know that W will propagate to every CPU and to RAM before Z executes.
1375 propagate to every CPU and to RAM before F executes.
1450 	propagates to C's CPU before the end of C must propagate to
1454 	propagates to G's CPU before the start of G must propagate
1487 end of the critical section, did not propagate to P1 before the end of
1492 to propagate to every CPU are fulfilled by placing strong fences at
1537 Z's CPU before Z begins but doesn't propagate to some other CPU until
1560 ends, but also that any write po-before E will propagate to every CPU
1586 G's CPU before G starts must propagate to every CPU before C starts.
1631 critical section but doesn't propagate to some other CPU until after
1877 lock-acquire respectively, the LKMM requires that W must propagate to
1910 the spin_unlock() in P0.  Hence the store to x must propagate to P2
1974 NULL pointer, because P1's store to x might propagate to P0 after the
2031 will propagate to Y's CPU just as Y is executing.  In such a case X
2037 propagate to Y's CPU before Y executes.  (Or vice versa, of course, if
2038 Y executes before X -- then Y must propagate to X's CPU before X
2061 	the barrier to propagate to other CPUs before stores that are
2069 	the barrier, or that propagate to the barrier's CPU before the
2070 	barrier executes, to propagate to all CPUs before any events
2098 means that the store to buf must propagate from P0 to P1 before Z
2101 Y).  Therefore we have X ->vis Y: X must propagate to Y's CPU before Y
2188 	at the machine level, must propagate to P1 before X's store to
2203 Thus U's store to buf is forced to propagate to P1 before V's load
2302 stores will propagate to P1 in that order.  However, rcu_dereference()
2369 "y = 3" store, and consequently the first must propagate from P1 to P0