projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c1b1460) | patch
Documentation: LKMM: Add litmus test for RCU GP guarantee where updater frees object
authorJoel Fernandes (Google) <joel@joelfernandes.org>
Mon, 23 Mar 2020 01:57:33 +0000 (21:57 -0400)
committerPaul E. McKenney <paulmck@kernel.org>
Mon, 29 Jun 2020 19:05:17 +0000 (12:05 -0700)
commitbe4a37973cb078fc64d541f396b7d4d80e45fbe2
tree7a52b04df502a82a61e23acb10b03cd64029541btree | snapshot
parentc1b14609013a6b4c4b2d73583bde645540ebd9b7commit | diff
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>
Documentation/litmus-tests/rcu/RCU+sync+free.litmus [new file with mode: 0644] blob