Lines Matching refs:Z
266 It's not possible to have X ordered before Y, Y ordered before Z, and
267 Z ordered before X, because this would mean that X is ordered before
274 Z: P0 stores 1 to buf executes before
1445 of links begins with coe). Then there are events W, X, Y, and Z such
1448 E ->coe W ->cumul-fence* X ->rfe? Y ->strong-fence Z ->hb* F,
1455 know that W will propagate to every CPU and to RAM before Z executes.
1456 And because of the hb links, we know that Z will execute before F.
1617 "before", then X ->rcu-gp Y ->rcu-link Z roughly says that X is a
1618 grace period which ends before Z begins. (In fact it covers more than
1620 Z's CPU before Z begins but doesn't propagate to some other CPU until
1621 after X ends.) Similarly, X ->rcu-rscsi Y ->rcu-link Z says that X is
1622 the end of a critical section which starts before Z begins.
1629 X ->rcu-gp Y ->rcu-link Z ->rcu-rscsi T ->rcu-link U ->rcu-gp V
1633 X ->rcu-order T and Z ->rcu-order V.) On the other hand:
1635 X ->rcu-rscsi Y ->rcu-link Z ->rcu-rscsi T ->rcu-link U ->rcu-gp V
1651 G ->rcu-gp W ->rcu-link Z ->rcu-rscsi F.
1660 3. Y is po-before Z;
1662 4. Z is the rcu_read_unlock() event marking the end of C;
1729 section's CPU by reading from W, and let Z on some arbitrary CPU be a
1730 witness that W has not propagated to that CPU, where Z happens after
1733 S ->po X ->hb* Z ->fr W ->rf Y ->po U.
1735 The fr link from Z to W indicates that W has not propagated to Z's CPU
1736 at the time that Z executes. From this, it can be shown (see the
1769 Z: r1 = READ_ONCE(x);
1780 If r1 = 1 at the end then P1's load at Z reads from P0's store at X,
1781 so we have X ->rfe Z. Together with L ->po X and Z ->po S, this
2285 intermediate event Z such that:
2287 X is connected to Z by a possibly empty sequence of
2289 these links are present, X and Z are the same event),
2293 Z is connected to Y by a strong-fence link followed by a
2298 Z is on the same CPU as Y and is connected to Y by a possibly
2300 means Z and Y are the same event).
2335 Z: r1 = READ_ONCE(flag);
2341 assuming r1 = 1 at the end, there is an rfe link from W to Z. This
2342 means that the store to buf must propagate from P0 to P1 before Z
2343 executes. Next, Z and Y are on the same CPU and the smp_rmb() fence
2344 provides an xb link from Z to Y (i.e., it forces Z to execute before