documentation: Present updated RCU guarantee
authorPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Fri, 7 Oct 2016 17:33:24 +0000 (10:33 -0700)
committerPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Mon, 14 Nov 2016 18:39:36 +0000 (10:39 -0800)
commite2c85cb12c86b080ee344928618eb918fa227ac8
tree1f28cd6ca649e4080176b9f0d15e9f6cb3c2bb55
parent1001354ca34179f3db924eb66672442a173147dc
documentation: Present updated RCU guarantee

Recent memory-model work deduces the relationships of RCU read-side
critical sections and grace periods based on the relationships of
accesses within a critical section and accesses preceding and following
the grace period.  This commit therefore adds this viewpoint.

Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Documentation/RCU/Design/Requirements/Requirements.html