On 2018/02/09 23:18, Paul E. McKenney wrote:
> 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.
Paul, Patches 8-10 made the problem even worse with herd7 7.47.
I'll submit an alternative patch in reply to this message.
Thanks, Akira
>
> 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(-)
>
