Messages in this thread | | | Date | Fri, 9 Feb 2018 06:18:32 -0800 | From | "Paul E. McKenney" <> | 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(-)
| |