lkml.org 
[lkml]   [2020]   [Aug]   [31]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
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(-)

\
 
 \ /
  Last update: 2020-08-31 20:20    [W:0.176 / U:0.212 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site