Lines Matching refs:grace

928 	grace periods obey the rules of RCU, in particular, the
1485 rests on two concepts: grace periods and read-side critical sections.
1487 A grace period is the span of time occupied by a call to
1495 span a full grace period.  In more detail, the Guarantee says:
1497 	For any critical section C and any grace period G, at least
1509 before and end after a grace period.
1536 P1's grace period, contrary to part (2) of the Guarantee.  On the
1539 the grace period, contrary to part (1).  Together the results violate
1545 starts before a grace period does then the critical section's CPU will
1547 some time before the grace period's synchronize_rcu() call returns.
1548 And if a critical section ends after a grace period does then the
1554 before" or "ends after" a grace period?  Some aspects of the meaning
1571 grace periods and read-side critical sections into the picture, in the
1575 	and that event is a synchronize_rcu() fence (i.e., a grace
1586 grace period which ends before Z begins.  (In fact it covers more than
1621 This formula means that G and W are the same event (a grace period),
1634 From 1 - 4 we deduce that the grace period G ends before the critical
1680 violated: A critical section starts before a grace period, and some
1683 the end of the grace period.
1687 question, and let S be the synchronize_rcu() fence event for the grace
1691 relation, and R is po-before the grace period S.  Thus we have:
1710 Since S is a grace period we have S ->rcu-gp S, and since L and U are
1746 because S is a grace period.
1816 section in P0 both starts before P1's grace period does and ends
1818 grace period does and ends after it does.
1823 SRCU grace periods and read-side critical sections.  There is a
2353 really do anything, because there aren't any grace periods.  They are
2418 before the grace period in P0 does, because RCU's Grace-Period