[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(-)