diff options
| author | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2012-10-23 13:47:01 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2012-11-13 14:08:23 -0800 |
| commit | f0a0e6f282c72247e7c8ec17c68d528c1bb4d49e (patch) | |
| tree | 22b66fc8ac9b95586866ddb447dcc8712d441c14 /Documentation | |
| parent | 67afeed2cab0e59712b4ebf1aef9a2e555a188ce (diff) | |
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>
Diffstat (limited to 'Documentation')
0 files changed, 0 insertions, 0 deletions