Joel Fernandes (Google) a591890c4e Documentation: LKMM: Add litmus test for RCU GP guarantee where reader stores ...

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>

2020-06-29 12:05:18 -07:00

..

RCU+sync+free.litmus

…

RCU+sync+read.litmus

Documentation: LKMM: Add litmus test for RCU GP guarantee where reader stores

2020-06-29 12:05:18 -07:00