Messages in this thread | | | Date | Mon, 22 Jun 2020 17:51:52 -0700 | From | "Paul E. McKenney" <> | Subject | [PATCH memory-model 0/14] LKMM updates for v5.9 |
| |
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(-)
| |