Lines Matching refs:Z
263 It's not possible to have X ordered before Y, Y ordered before Z, and
264 Z ordered before X, because this would mean that X is ordered before
271 Z: P0 stores 1 to buf executes before
1386 of links begins with coe). Then there are events W, X, Y, and Z such
1389 E ->coe W ->cumul-fence* X ->rfe? Y ->strong-fence Z ->hb* F,
1396 know that W will propagate to every CPU and to RAM before Z executes.
1397 And because of the hb links, we know that Z will execute before F.
1528 "before": Among other things, X ->rcu-link Z includes cases where X
1530 before Z in the coherence order. When Y = Z this says that X ->rfe Z
1531 implies X ->rcu-link Z. In addition, when Y = X it says that X ->fr Z
1532 and X ->co Z each imply X ->rcu-link Z.
1556 "before", then X ->gp Y ->rcu-link Z says that X executes before a
1557 grace period which ends before Z executes. (In fact it covers more
1559 grace period and some store propagates to Z's CPU before Z executes
1561 ends.) Similarly, X ->rscs Y ->rcu-link Z says that X is part of (or
1562 before the start of) a critical section which starts before Z
1569 X ->gp Y ->rcu-link Z ->rscs T ->rcu-link U ->gp V
1573 and Z ->rcu-fence V.) On the other hand:
1575 X ->rscs Y ->rcu-link Z ->rscs T ->rcu-link U ->gp V
1582 if W is a write and we have W ->rcu-fence Z, the Guarantee says that W
1583 will propagate to every CPU before Z executes.
1588 W ->gp X ->rcu-link Y ->rscs Z.
1601 5. Z is equal to or po-after the start of C.
1607 starts. In particular, W propagates to every CPU before Z executes
1608 (or finishes executing, in the case where Z is equal to the
1645 Let W be the store mentioned above, let Z come before the end of the
1651 S ->po X ->hb* Y ->fr W ->rf Z ->po U.
1655 discussion of the rcu-link relation earlier) that X and Z are related
1658 S ->po X ->rcu-link Z ->po U.
1661 also say that Z comes before the end of the critical section and E
1662 comes after its start, hence Z ->rscs E. From all this we obtain:
1664 F ->gp X ->rcu-link Z ->rscs E ->rcu-link F,
1689 Z: r2 = READ_ONCE(y);
1694 P1's load at Z reads from, so we have Z ->fre X and thus Z ->rcu-link X.
1695 In addition, there is a synchronize_rcu() between Y and Z, so therefore
1696 we have Y ->gp Z.
1702 Then X ->rscs W ->rcu-link Y ->gp Z ->rcu-link X is a forbidden cycle,
1726 Z: WRITE_ONCE(z, 1);
1740 that W ->rscs X ->rcu-link Y ->gp Z ->rcu-link U ->rscs V ->rcu-link W.
1757 Z: WRITE_ONCE(z, 1)