[PATCH memory-model 0/9] LKMM updates for v5.10
From: Paul E. McKenney
Date: Mon Aug 31 2020 - 14:20:33 EST
Hello!
This series provides LKMM updates:
1. fix references for DMA*.txt files.
2. Replace HTTP links with HTTPS ones: LKMM.
3. tools/memory-model: Update recipes.txt prime_numbers.c path.
4. tools/memory-model: Improve litmus-test documentation.
5. tools/memory-model: Add a simple entry point document.
6. tools/memory-model: Expand the cheatsheet.txt notion of relaxed.
7. tools/memory-model: Move Documentation description to
Documentation/README.
8. tools/memory-model: Document categories of ordering primitives.
9. tools/memory-model: Document locking corner cases.
Thanx, Paul
------------------------------------------------------------------------
Documentation/litmus-tests/locking/DCL-broken.litmus | 55
Documentation/litmus-tests/locking/DCL-fixed.litmus | 56
Documentation/litmus-tests/locking/RM-broken.litmus | 42
Documentation/litmus-tests/locking/RM-fixed.litmus | 42
Documentation/memory-barriers.txt | 6
tools/memory-model/Documentation/README | 86 +
tools/memory-model/Documentation/cheatsheet.txt | 27
tools/memory-model/Documentation/litmus-tests.txt | 1078 ++++++++++++++++++-
tools/memory-model/Documentation/locking.txt | 320 +++++
tools/memory-model/Documentation/ordering.txt | 462 ++++++++
tools/memory-model/Documentation/recipes.txt | 4
tools/memory-model/Documentation/references.txt | 2
tools/memory-model/Documentation/simple.txt | 271 ++++
tools/memory-model/README | 182 ---
tools/memory-model/control-dependencies.txt | 256 ++++
15 files changed, 2730 insertions(+), 159 deletions(-)