[PATCH memory-model 0/14] LKMM updates for v5.9
From: Paul E. McKenney
Date: Mon Jun 22 2020 - 20:51:55 EST
Hello!
This series contains updates to the Linux-kernel memory model:
1. tools/memory-model: Add recent references.
2. tools/memory-model: Fix "conflict" definition, courtesy of
Marco Elver.
3. Documentation: LKMM: Add litmus test for RCU GP guarantee where
updater frees object, courtesy of Joel Fernandes.
4. Documentation: LKMM: Add litmus test for RCU GP guarantee where
reader stores, courtesy of Joel Fernandes.
5. MAINTAINERS: Update maintainers for new Documentation/litmus-tests,
courtesy of Joel Fernandes.
6. tools/memory-model: Add an exception for limitations on _unless()
family, courtesy of Boqun Feng.
7. Documentation/litmus-tests: Introduce atomic directory, courtesy of
Boqun Feng.
8. Documentation/litmus-tests/atomic: Add a test for atomic_set()
courtesy of Boqun Feng.
9. Documentation/litmus-tests/atomic: Add a test for
smp_mb__after_atomic(), courtesy of Boqun Feng.
10. tools/memory-model: Fix reference to litmus test in recipes.txt
courtesy of Akira Yokosawa.
11. Documentation/litmus-tests: Merge atomic's README into top-level
one, courtesy of Akira Yokosawa.
12. Documentation/litmus-tests: Cite an RCU litmus test, courtesy of
Joel Fernandes.
13. tools/memory-model/README: Expand dependency of klitmus7, courtesy
of Akira Yokosawa.
14. fix references for DMA*.txt files, courtesy of Mauro Carvalho Chehab.
Thanx, Paul
------------------------------------------------------------------------
/Documentation/litmus-tests/atomic/README | 16 -
b/Documentation/atomic_t.txt | 24 +-
b/Documentation/litmus-tests/README | 34 ++++
b/Documentation/litmus-tests/atomic/Atomic-RMW+mb__after_atomic-is-stronger-than-acquire.litmus | 32 +++
b/Documentation/litmus-tests/atomic/Atomic-RMW-ops-are-atomic-WRT-atomic_set.litmus | 24 ++
b/Documentation/litmus-tests/atomic/README | 16 +
b/Documentation/litmus-tests/rcu/RCU+sync+free.litmus | 42 +++++
b/Documentation/litmus-tests/rcu/RCU+sync+read.litmus | 37 ++++
b/Documentation/memory-barriers.txt | 6
b/MAINTAINERS | 2
b/tools/memory-model/Documentation/explanation.txt | 83 +++++-----
b/tools/memory-model/Documentation/recipes.txt | 2
b/tools/memory-model/Documentation/references.txt | 21 ++
b/tools/memory-model/README | 40 ++++
14 files changed, 302 insertions(+), 77 deletions(-)