Lines Matching refs:grace

877 	grace periods obey the rules of RCU, in particular, the
1432 rests on two concepts: grace periods and read-side critical sections.
1434 A grace period is the span of time occupied by a call to
1442 span a full grace period.  In more detail, the Guarantee says:
1444 	For any critical section C and any grace period G, at least
1456 before and end after a grace period.
1483 P1's grace period, contrary to part (2) of the Guarantee.  On the
1486 the grace period, contrary to part (1).  Together the results violate
1492 starts before a grace period does then the critical section's CPU will
1494 some time before the grace period's synchronize_rcu() call returns.
1495 And if a critical section ends after a grace period does then the
1501 before" or "ends after" a grace period?  Some aspects of the meaning
1518 grace periods and read-side critical sections into the picture, in the
1522 	and that event is a synchronize_rcu() fence (i.e., a grace
1533 grace period which ends before Z begins.  (In fact it covers more than
1568 This formula means that G and W are the same event (a grace period),
1581 From 1 - 4 we deduce that the grace period G ends before the critical
1608 violated: A critical section starts before a grace period, and some
1611 the end of the grace period.
1615 question, and let S be the synchronize_rcu() fence event for the grace
1619 relation, and R is po-before the grace period S.  Thus we have:
1638 Since S is a grace period we have S ->rcu-gp S, and since L and U are
1674 because S is a grace period.
1744 section in P0 both starts before P1's grace period does and ends
1746 grace period does and ends after it does.
1751 SRCU grace periods and read-side critical sections.  There is a