lkml.org 
[lkml]   [2018]   [Feb]   [9]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
Subject[PATCH RFC tools/lkmm] Miscellaneous fixes
Hello!

This RFC series adds some miscellaneous updates to the Linux kernel
memory model:

1. Clarify the origin and scope of the tool name to avoid confusion
between "memory model" and "memory management", courtesy of
Andrea Parri.

2. Move the maintainer list for LKMM to the main MAINTAINERS file,
courtesy of Andrea Parri.

3. Add memory-barriers.txt to the LKMM MAINTAINERS entry, courtesy
of Andrea Parri.

4. Add comments explaining the purpose of the various litmus tests.

5. Fix puntuation errors in litmus-tests/README.

6. Add LKMM acronym to MAINTAINERS entry. If there are no objections,
this will be squashed with #3 above.

7. Add Akira Yokosawa as an LKMM reviewer.

8-10. Replace underscores with hyphens for smp_mb__*() workings. Note that
this patch leaves rb_dep alone because the underscore is set by herd7.
If there are no objections, these will be squashed together.

Thanx, Paul

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

/tools/memory-model/MAINTAINERS | 15 -------
b/MAINTAINERS | 20 +++++++++-
b/tools/memory-model/MAINTAINERS | 2 -
b/tools/memory-model/README | 14 +++----
b/tools/memory-model/linux-kernel.bell | 8 ++--
b/tools/memory-model/linux-kernel.cat | 8 ++--
b/tools/memory-model/linux-kernel.def | 6 +--
b/tools/memory-model/litmus-tests/CoRR+poonceonce+Once.litmus | 7 +++
b/tools/memory-model/litmus-tests/CoRW+poonceonce+Once.litmus | 7 +++
b/tools/memory-model/litmus-tests/CoWR+poonceonce+Once.litmus | 7 +++
b/tools/memory-model/litmus-tests/CoWW+poonceonce.litmus | 7 +++
b/tools/memory-model/litmus-tests/IRIW+mbonceonces+OnceOnce.litmus | 10 +++++
b/tools/memory-model/litmus-tests/IRIW+poonceonces+OnceOnce.litmus | 10 +++++
b/tools/memory-model/litmus-tests/ISA2+poonceonces.litmus | 9 ++++
b/tools/memory-model/litmus-tests/ISA2+pooncerelease+poacquirerelease+poacquireonce.litmus | 11 +++++
b/tools/memory-model/litmus-tests/LB+ctrlonceonce+mbonceonce.litmus | 11 +++++
b/tools/memory-model/litmus-tests/LB+poacquireonce+pooncerelease.litmus | 8 ++++
b/tools/memory-model/litmus-tests/LB+poonceonces.litmus | 7 +++
b/tools/memory-model/litmus-tests/MP+onceassign+derefonce.litmus | 11 +++++
b/tools/memory-model/litmus-tests/MP+polocks.litmus | 11 +++++
b/tools/memory-model/litmus-tests/MP+poonceonces.litmus | 7 +++
b/tools/memory-model/litmus-tests/MP+pooncerelease+poacquireonce.litmus | 8 ++++
b/tools/memory-model/litmus-tests/MP+porevlocks.litmus | 11 +++++
b/tools/memory-model/litmus-tests/MP+wmbonceonce+rmbonceonce.litmus | 8 ++++
b/tools/memory-model/litmus-tests/R+mbonceonces.litmus | 9 ++++
b/tools/memory-model/litmus-tests/R+poonceonces.litmus | 8 ++++
b/tools/memory-model/litmus-tests/README | 4 +-
b/tools/memory-model/litmus-tests/S+poonceonces.litmus | 9 ++++
b/tools/memory-model/litmus-tests/S+wmbonceonce+poacquireonce.litmus | 7 +++
b/tools/memory-model/litmus-tests/SB+mbonceonces.litmus | 9 ++++
b/tools/memory-model/litmus-tests/SB+poonceonces.litmus | 8 ++++
b/tools/memory-model/litmus-tests/WRC+poonceonces+Once.litmus | 8 ++++
b/tools/memory-model/litmus-tests/WRC+pooncerelease+rmbonceonce+Once.litmus | 8 ++++
b/tools/memory-model/litmus-tests/Z6.0+pooncelock+poonceLock+pombonce.litmus | 9 ++++
b/tools/memory-model/litmus-tests/Z6.0+pooncelock+pooncelock+pombonce.litmus | 8 ++++
b/tools/memory-model/litmus-tests/Z6.0+pooncerelease+poacquirerelease+mbonceonce.litmus | 14 +++++++
36 files changed, 286 insertions(+), 38 deletions(-)

\
 
 \ /
  Last update: 2018-02-09 15:24    [W:0.237 / U:16.596 seconds]
©2003-2018 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site