rcu: Clarify memory-ordering properties of grace-period primitives
authorPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Tue, 23 Oct 2012 20:47:01 +0000 (13:47 -0700)
committerPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Tue, 13 Nov 2012 22:08:23 +0000 (14:08 -0800)
commitf0a0e6f282c72247e7c8ec17c68d528c1bb4d49e
tree22b66fc8ac9b95586866ddb447dcc8712d441c14
parent67afeed2cab0e59712b4ebf1aef9a2e555a188ce
rcu: Clarify memory-ordering properties of grace-period primitives

This commit explicitly states the memory-ordering properties of the
RCU grace-period primitives.  Although these properties were in some
sense implied by the fundmental property of RCU ("a grace period must
wait for all pre-existing RCU read-side critical sections to complete"),
stating it explicitly will be a great labor-saving device.

Reported-by: Oleg Nesterov <oleg@redhat.com>
Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Reviewed-by: Oleg Nesterov <oleg@redhat.com>
include/linux/rcupdate.h
kernel/rcutree.c
kernel/rcutree_plugin.h