tree 7a52b04df502a82a61e23acb10b03cd64029541b
parent c1b14609013a6b4c4b2d73583bde645540ebd9b7
author Joel Fernandes (Google) <joel@joelfernandes.org> 1584928653 -0400
committer Paul E. McKenney <paulmck@kernel.org> 1593457517 -0700

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>