OSDN Git Service

(root) / uclinux-h8 / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: be4a379) | patch
Documentation: LKMM: Add litmus test for RCU GP guarantee where reader stores
authorJoel Fernandes (Google) <joel@joelfernandes.org>
Mon, 23 Mar 2020 01:57:34 +0000 (21:57 -0400)
committerPaul E. McKenney <paulmck@kernel.org>
Mon, 29 Jun 2020 19:05:18 +0000 (12:05 -0700)
commita591890c4e91f37ce858a3090b16e0eef2511575
tree52a178c6611610e12262984a461f4120b5f0c7aetree | snapshot
parentbe4a37973cb078fc64d541f396b7d4d80e45fbe2commit | diff
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>
Documentation/litmus-tests/README [new file with mode: 0644] blob
Documentation/litmus-tests/rcu/RCU+sync+read.litmus [new file with mode: 0644] blob
About OSDN
Find Software
Develop Software
Help