summaryrefslogtreecommitdiffstats
path: root/.cocciconfig
diff options
context:
space:
mode:
authorJoel Fernandes (Google) <joel@joelfernandes.org>2020-03-22 21:57:33 -0400
committerPaul E. McKenney <paulmck@kernel.org>2020-06-29 12:05:17 -0700
commitbe4a37973cb078fc64d541f396b7d4d80e45fbe2 (patch)
tree7a52b04df502a82a61e23acb10b03cd64029541b /.cocciconfig
parentc1b14609013a6b4c4b2d73583bde645540ebd9b7 (diff)
downloadlinux-be4a37973cb078fc64d541f396b7d4d80e45fbe2.tar.bz2
Documentation: LKMM: Add litmus test for RCU GP guarantee where updater frees object
This adds an example for the important RCU grace period guarantee, which shows an RCU reader can never span a grace period. Acked-by: Andrea Parri <parri.andrea@gmail.com> Signed-off-by: Joel Fernandes (Google) <joel@joelfernandes.org> Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to '.cocciconfig')
0 files changed, 0 insertions, 0 deletions