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