Lines Matching refs:grace

877 	grace periods obey the rules of RCU, in particular, the
1434 rests on two concepts: grace periods and read-side critical sections.
1436 A grace period is the span of time occupied by a call to
1444 span a full grace period.  In more detail, the Guarantee says:
1446 	For any critical section C and any grace period G, at least
1458 before and end after a grace period.
1485 P1's grace period, contrary to part (2) of the Guarantee.  On the
1488 the grace period, contrary to part (1).  Together the results violate
1494 starts before a grace period does then the critical section's CPU will
1496 some time before the grace period's synchronize_rcu() call returns.
1497 And if a critical section ends after a grace period does then the
1503 before" or "ends after" a grace period?  Some aspects of the meaning
1520 grace periods and read-side critical sections into the picture, in the
1524 	and that event is a synchronize_rcu() fence (i.e., a grace
1535 grace period which ends before Z begins.  (In fact it covers more than
1570 This formula means that G and W are the same event (a grace period),
1583 From 1 - 4 we deduce that the grace period G ends before the critical
1629 violated: A critical section starts before a grace period, and some
1632 the end of the grace period.
1636 question, and let S be the synchronize_rcu() fence event for the grace
1640 relation, and R is po-before the grace period S.  Thus we have:
1659 Since S is a grace period we have S ->rcu-gp S, and since L and U are
1695 because S is a grace period.
1765 section in P0 both starts before P1's grace period does and ends
1767 grace period does and ends after it does.
1772 SRCU grace periods and read-side critical sections.  There is a
2296 really do anything, because there aren't any grace periods.  They are
2361 before the grace period in P0 does, because RCU's Grace-Period