diff options
| author | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2016-10-07 10:33:24 -0700 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@linux.vnet.ibm.com> | 2016-11-14 10:39:36 -0800 |
| commit | e2c85cb12c86b080ee344928618eb918fa227ac8 (patch) | |
| tree | 1f28cd6ca649e4080176b9f0d15e9f6cb3c2bb55 /Documentation/printk-formats.txt | |
| parent | 1001354ca34179f3db924eb66672442a173147dc (diff) | |
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>
Diffstat (limited to 'Documentation/printk-formats.txt')
0 files changed, 0 insertions, 0 deletions