From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
To: linux-kernel@vger.kernel.org
Cc: mingo@kernel.org, stern@rowland.harvard.edu,
parri.andrea@gmail.com, will.deacon@arm.com,
peterz@infradead.org, boqun.feng@gmail.com, npiggin@gmail.com,
dhowells@redhat.com, j.alglave@ucl.ac.uk, luc.maranget@inria.fr,
akiyks@gmail.com
Subject: [PATCH RFC tools/lkmm] Miscellaneous fixes
Date: Fri, 9 Feb 2018 06:18:32 -0800 [thread overview]
Message-ID: <20180209141832.GA17505@linux.vnet.ibm.com> (raw)
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(-)
next reply other threads:[~2018-02-09 14:24 UTC|newest]
Thread overview: 74+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-09 14:18 Paul E. McKenney [this message]
2018-02-09 14:20 ` [PATCH RFC tip/lkmm 01/10] tools/memory-model: Clarify the origin/scope of the tool name Paul E. McKenney
2018-02-09 14:20 ` [PATCH RFC tip/lkmm 02/10] MAINTAINERS: Add the Memory Consistency Model subsystem Paul E. McKenney
2018-02-09 14:20 ` [PATCH RFC tip/lkmm 03/10] MAINTAINERS: List file memory-barriers.txt within the LKMM entry Paul E. McKenney
2018-02-09 14:20 ` [PATCH RFC tip/lkmm 04/10] EXP litmus_tests: Add comments explaining tests' purposes Paul E. McKenney
2018-02-09 18:46 ` Alan Stern
2018-02-10 1:05 ` Paul E. McKenney
2018-02-09 14:20 ` [PATCH RFC tip/lkmm 05/10] README: Fix a couple of punctuation errors Paul E. McKenney
2018-02-09 14:20 ` [PATCH RFC tip/lkmm 06/10] EXP MAINTAINERS: Add the "LKMM" acronym Paul E. McKenney
2018-02-09 14:20 ` [PATCH RFC tip/lkmm 07/10] MAINTAINERS: Add Akira Yokosawa as an LKMM reviewer Paul E. McKenney
2018-02-09 14:20 ` [PATCH RFC tip/lkmm 08/10] EXP Remove understore from smp_mb__before_atomic() workings Paul E. McKenney
2018-02-15 22:30 ` Andrea Parri
2018-02-15 22:49 ` Paul E. McKenney
2018-02-15 23:19 ` Andrea Parri
2018-02-15 23:32 ` Paul E. McKenney
2018-02-09 14:20 ` [PATCH RFC tip/lkmm 09/10] EXP Remove underscore from smp_mb__after_atomic() workings Paul E. McKenney
2018-02-09 14:20 ` [PATCH RFC tip/lkmm 10/10] EXP Remove underscores from smp_mb__after_spinlock() workings Paul E. McKenney
2018-02-09 16:02 ` [PATCH RFC tools/lkmm] Miscellaneous fixes Akira Yokosawa
2018-02-09 16:06 ` [PATCH] tools/memory-model: Restore compat with herd7 7.47 ("-" -> "_") Akira Yokosawa
2018-02-09 23:46 ` [PATCH v2] tools/memory-model: Make " Akira Yokosawa
2018-02-10 1:07 ` Paul E. McKenney
2018-02-10 3:03 ` Akira Yokosawa
2018-02-11 11:51 ` Ingo Molnar
2018-02-13 1:38 ` Paul E. McKenney
2018-02-13 8:32 ` Ingo Molnar
2018-02-14 22:20 ` Akira Yokosawa
2018-02-14 22:52 ` Paul E. McKenney
2018-02-15 15:10 ` Alan Stern
2018-02-15 15:58 ` Trial of conflict resolution of Alan's patch Akira Yokosawa
2018-02-15 17:51 ` Alan Stern
2018-02-15 19:29 ` Paul E. McKenney
2018-02-15 21:51 ` Akira Yokosawa
2018-02-16 15:18 ` Alan Stern
2018-02-16 15:47 ` Andrea Parri
2018-02-16 16:53 ` Paul E. McKenney
2018-02-16 22:22 ` [PATCH] tools/memory-model: remove rb-dep, smp_read_barrier_depends, and lockless_dereference Alan Stern
2018-02-16 23:22 ` Akira Yokosawa
2018-02-17 0:39 ` Paul E. McKenney
2018-02-21 15:00 ` Alan Stern
2018-02-21 16:06 ` Paul E. McKenney
2018-02-21 16:51 ` Ingo Molnar
2018-02-21 17:53 ` Paul E. McKenney
2018-02-21 17:15 ` [PATCH] tools/memory-model: update: " Alan Stern
2018-02-21 17:58 ` Andrea Parri
2018-02-21 18:14 ` Paul E. McKenney
2018-02-21 18:00 ` Paul E. McKenney
2018-02-21 22:29 ` Akira Yokosawa
2018-02-24 3:22 ` Akira Yokosawa
2018-02-24 3:30 ` Paul E. McKenney
2018-02-24 14:36 ` Andrea Parri
2018-02-24 16:49 ` Alan Stern
2018-02-24 18:08 ` Paul E. McKenney
2018-02-24 22:47 ` Akira Yokosawa
2018-02-25 22:33 ` Paul E. McKenney
2018-02-17 3:25 ` [PATCH] tools/memory-model: " Andrea Parri
2018-02-17 15:14 ` Andrea Parri
2018-02-19 17:14 ` Alan Stern
2018-02-19 17:43 ` Peter Zijlstra
2018-02-19 17:44 ` Peter Zijlstra
2018-02-20 14:48 ` Paul E. McKenney
2018-02-20 15:17 ` Andrea Parri
2018-02-20 16:11 ` Paul E. McKenney
2018-02-19 19:41 ` Paul E. McKenney
2018-02-19 20:28 ` Peter Zijlstra
2018-02-20 14:49 ` Paul E. McKenney
2018-02-20 15:11 ` Alan Stern
2018-02-20 16:10 ` Paul E. McKenney
2018-02-20 9:33 ` Andrea Parri
2018-02-20 9:51 ` Peter Zijlstra
2018-02-20 15:38 ` Alan Stern
2018-02-15 22:05 ` Trial of conflict resolution of Alan's patch Andrea Parri
2018-02-15 22:41 ` Paul E. McKenney
2018-02-18 15:46 ` [PATCH v2] tools/memory-model: Make compat with herd7 7.47 ("-" -> "_") Akira Yokosawa
2018-02-20 14:57 ` Paul E. McKenney
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20180209141832.GA17505@linux.vnet.ibm.com \
--to=paulmck@linux.vnet.ibm.com \
--cc=akiyks@gmail.com \
--cc=boqun.feng@gmail.com \
--cc=dhowells@redhat.com \
--cc=j.alglave@ucl.ac.uk \
--cc=linux-kernel@vger.kernel.org \
--cc=luc.maranget@inria.fr \
--cc=mingo@kernel.org \
--cc=npiggin@gmail.com \
--cc=parri.andrea@gmail.com \
--cc=peterz@infradead.org \
--cc=stern@rowland.harvard.edu \
--cc=will.deacon@arm.com \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.