Lines Matching refs:grace

881 	grace periods obey the rules of RCU, in particular, the
1458 rests on two concepts: grace periods and read-side critical sections.
1460 A grace period is the span of time occupied by a call to
1468 span a full grace period.  In more detail, the Guarantee says:
1470 	If a critical section starts before a grace period then it
1471 	must end before the grace period does.  In addition, every
1474 	the end of the grace period.
1476 	If a critical section ends after a grace period ends then it
1477 	must start after the grace period does.  In addition, every
1478 	store that propagates to the grace period's CPU before the
1479 	start of the grace period must propagate to every CPU before
1507 P1's grace period.  On the other hand, r2 = 0 means that P0's store to
1509 propagate to P1 before the end of the grace period, violating the
1515 starts before a grace period does then the critical section's CPU will
1517 some time before the grace period's synchronize_rcu() call returns.
1518 And if a critical section ends after a grace period does then the
1524 before" or "ends after" a grace period?  Some aspects of the meaning
1540 The LKMM also defines the gp and rscs relations.  They bring grace
1546 	there is a grace period po-between E and F.
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
1560 but doesn't propagate to some other CPU until after the grace period
1590 This formula means that there is a grace period G and a critical
1603 From 2 - 4 we deduce that the grace period G ends before the critical
1630 part of the Guarantee: A critical section starts before a grace
1633 CPU until after the end of the grace period.
1637 question, and let S be the synchronize_rcu() fence event for the grace
1641 relation, and F is po-before the grace period S:
1764 section in P0 both starts before P1's grace period does and ends
1766 grace period does and ends after it does.