lkml.org 
[lkml]   [2020]   [Jun]   [22]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
Subject[PATCH memory-model 0/14] LKMM updates for v5.9
Hello!

This series contains updates to the Linux-kernel memory model:

1. tools/memory-model: Add recent references.

2. tools/memory-model: Fix "conflict" definition, courtesy of
Marco Elver.

3. Documentation: LKMM: Add litmus test for RCU GP guarantee where
updater frees object, courtesy of Joel Fernandes.

4. Documentation: LKMM: Add litmus test for RCU GP guarantee where
reader stores, courtesy of Joel Fernandes.

5. MAINTAINERS: Update maintainers for new Documentation/litmus-tests,
courtesy of Joel Fernandes.

6. tools/memory-model: Add an exception for limitations on _unless()
family, courtesy of Boqun Feng.

7. Documentation/litmus-tests: Introduce atomic directory, courtesy of
Boqun Feng.

8. Documentation/litmus-tests/atomic: Add a test for atomic_set()
courtesy of Boqun Feng.

9. Documentation/litmus-tests/atomic: Add a test for
smp_mb__after_atomic(), courtesy of Boqun Feng.

10. tools/memory-model: Fix reference to litmus test in recipes.txt
courtesy of Akira Yokosawa.

11. Documentation/litmus-tests: Merge atomic's README into top-level
one, courtesy of Akira Yokosawa.

12. Documentation/litmus-tests: Cite an RCU litmus test, courtesy of
Joel Fernandes.

13. tools/memory-model/README: Expand dependency of klitmus7, courtesy
of Akira Yokosawa.

14. fix references for DMA*.txt files, courtesy of Mauro Carvalho Chehab.

Thanx, Paul

------------------------------------------------------------------------

/Documentation/litmus-tests/atomic/README | 16 -
b/Documentation/atomic_t.txt | 24 +-
b/Documentation/litmus-tests/README | 34 ++++
b/Documentation/litmus-tests/atomic/Atomic-RMW+mb__after_atomic-is-stronger-than-acquire.litmus | 32 +++
b/Documentation/litmus-tests/atomic/Atomic-RMW-ops-are-atomic-WRT-atomic_set.litmus | 24 ++
b/Documentation/litmus-tests/atomic/README | 16 +
b/Documentation/litmus-tests/rcu/RCU+sync+free.litmus | 42 +++++
b/Documentation/litmus-tests/rcu/RCU+sync+read.litmus | 37 ++++
b/Documentation/memory-barriers.txt | 6
b/MAINTAINERS | 2
b/tools/memory-model/Documentation/explanation.txt | 83 +++++-----
b/tools/memory-model/Documentation/recipes.txt | 2
b/tools/memory-model/Documentation/references.txt | 21 ++
b/tools/memory-model/README | 40 ++++
14 files changed, 302 insertions(+), 77 deletions(-)

\
 
 \ /
  Last update: 2020-06-23 02:52    [W:0.245 / U:0.592 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site