[PATCH RFC tools/lkmm] Miscellaneous fixes

From: Paul E. McKenney
Date: Fri Feb 09 2018 - 09:24:23 EST


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