Messages in this thread | | | Date | Mon, 31 Aug 2020 11:20:12 -0700 | From | "Paul E. McKenney" <> | Subject | [PATCH memory-model 0/9] LKMM updates for v5.10 |
| |
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(-)
| |