diff options
| author | Joel Fernandes (Google) <joel@joelfernandes.org> | 2020-05-11 22:06:46 -0400 |
|---|---|---|
| committer | Paul E. McKenney <paulmck@kernel.org> | 2020-06-29 12:05:18 -0700 |
| commit | c425fb5f8d2c8d22e7baad6dc077703c2b329d2d (patch) | |
| tree | b117ce6e582d2e7e6b269a265c67a855f956ab53 /Documentation/litmus-tests | |
| parent | cdaac9d6d23d7a7f9edbb568191d05f2b660fff0 (diff) | |
| download | linux-c425fb5f8d2c8d22e7baad6dc077703c2b329d2d.tar.bz2 | |
Documentation/litmus-tests: Cite an RCU litmus test
This commit cites a pertinent RCU-related litmus test.
Co-developed-by: Joel Fernandes (Google) <joel@joelfernandes.org>
Co-developed-by: Akira Yokosawa <akiyks@gmail.com>
[Alan: grammar nit]
[ paulmck: Update commit log and title per Akira feedback. ]
Suggested-by: Alan Stern <stern@rowland.harvard.edu>
Signed-off-by: Joel Fernandes (Google) <joel@joelfernandes.org>
Signed-off-by: Akira Yokosawa <akiyks@gmail.com>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
Diffstat (limited to 'Documentation/litmus-tests')
| -rw-r--r-- | Documentation/litmus-tests/README | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/litmus-tests/README b/Documentation/litmus-tests/README index ac0b270b456c..b79e640214b9 100644 --- a/Documentation/litmus-tests/README +++ b/Documentation/litmus-tests/README @@ -24,6 +24,10 @@ Atomic-RMW-ops-are-atomic-WRT-atomic_set.litmus RCU (/rcu directory) -------------------- +MP+onceassign+derefonce.litmus (under tools/memory-model/litmus-tests/) + Demonstrates the use of rcu_assign_pointer() and rcu_dereference() to + ensure that an RCU reader will not see pre-initialization garbage. + RCU+sync+read.litmus RCU+sync+free.litmus Both the above litmus tests demonstrate the RCU grace period guarantee |