From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
To: linux-kernel@vger.kernel.org, linux-arch@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, nborisov@suse.com
Subject: [PATCH RFC tools/lkmm 0/12] Miscellaneous fixes
Date: Tue, 20 Feb 2018 15:24:05 -0800 [thread overview]
Message-ID: <20180220232405.GA19274@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 punctuation errors in litmus-tests/README.
6. Add Akira Yokosawa as an LKMM reviewer.
7. Cross-reference tools/memory-model from memory-barriers.txt,
courtesy of Andrea Parri and Akira Yokosawa.
8. Fix description of data dependency barriers, courtesy of
Nikolay Borisov.
9. Add required herd7 version to README file.
10. Add a S lock-based external-view litmus test, courtesy of Alan
Stern.
11. Convert underscores to hyphens in .bell and .cat files for
consistency with typical cat-language code.
12. Remove rb-dep, smp_read_barrier_depends, and lockless_dereference,
which reflect recent Linux-kernel changes, courtesy of
Alan Stern.
Changes since v1:
o Applied feedback from v1 posting.
o Squashing patches together, as promised in v1.
o Added patches 7-10 and 12.
Thanx, Paul
------------------------------------------------------------------------
/tools/memory-model/MAINTAINERS | 15 -
b/Documentation/memory-barriers.txt | 8
b/MAINTAINERS | 18 ++
b/tools/memory-model/Documentation/cheatsheet.txt | 3
b/tools/memory-model/Documentation/explanation.txt | 81 +++++-----
b/tools/memory-model/MAINTAINERS | 2
b/tools/memory-model/README | 17 +-
b/tools/memory-model/linux-kernel.bell | 9 -
b/tools/memory-model/linux-kernel.cat | 15 -
b/tools/memory-model/linux-kernel.def | 8
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+pooncelock+pooncelock+pombonce.litmus | 41 +++++
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 +
40 files changed, 380 insertions(+), 88 deletions(-)
next reply other threads:[~2018-02-20 23:23 UTC|newest]
Thread overview: 34+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-02-20 23:24 Paul E. McKenney [this message]
2018-02-20 23:25 ` [PATCH RFC tools/lkmm 01/12] tools/memory-model: Clarify the origin/scope of the tool name Paul E. McKenney
2018-02-20 23:25 ` [PATCH RFC tools/lkmm 02/12] MAINTAINERS: Add the Memory Consistency Model subsystem Paul E. McKenney
2018-02-20 23:25 ` [PATCH RFC tools/lkmm 03/12] MAINTAINERS: List file memory-barriers.txt within the LKMM entry Paul E. McKenney
2018-02-20 23:25 ` [PATCH RFC tools/lkmm 04/12] EXP litmus_tests: Add comments explaining tests' purposes Paul E. McKenney
2018-02-20 23:25 ` [PATCH RFC tools/lkmm 05/12] README: Fix a couple of punctuation errors Paul E. McKenney
2018-02-20 23:25 ` [PATCH RFC tools/lkmm 06/12] MAINTAINERS: Add Akira Yokosawa as an LKMM reviewer Paul E. McKenney
2018-02-20 23:25 ` [PATCH RFC tools/lkmm 07/12] Documentation/memory-barriers.txt: Cross-reference "tools/memory-model/" Paul E. McKenney
2018-02-20 23:25 ` [PATCH RFC tools/lkmm 08/12] memory-barriers: Fix description of data dependency barriers Paul E. McKenney
2018-02-20 23:25 ` [PATCH RFC tools/lkmm 09/12] tools/memory-model: Add required herd7 version to README file Paul E. McKenney
2018-02-21 15:10 ` Alan Stern
2018-02-21 16:15 ` Paul E. McKenney
2018-02-21 16:51 ` Alan Stern
2018-02-20 23:25 ` [PATCH RFC tools/lkmm 10/12] tools/memory-model: Add a S lock-based external-view litmus test Paul E. McKenney
2018-02-21 15:09 ` Alan Stern
2018-02-21 16:12 ` Paul E. McKenney
2018-02-21 16:50 ` Alan Stern
2018-02-21 17:53 ` Paul E. McKenney
2018-02-21 18:38 ` Alan Stern
2018-02-21 19:05 ` Paul E. McKenney
2018-02-21 19:27 ` Alan Stern
2018-02-21 22:25 ` Paul E. McKenney
2018-02-22 3:23 ` Boqun Feng
2018-02-22 4:13 ` Paul E. McKenney
2018-02-22 5:27 ` Boqun Feng
2018-02-22 5:42 ` Daniel Lustig
2018-02-22 6:58 ` Boqun Feng
2018-02-22 10:15 ` Peter Zijlstra
2018-02-22 10:45 ` Boqun Feng
2018-02-22 11:59 ` Peter Zijlstra
2018-02-22 10:06 ` Peter Zijlstra
2018-02-22 10:20 ` Peter Zijlstra
2018-02-20 23:25 ` [PATCH RFC tools/lkmm 11/12] tools/memory-model: Convert underscores to hyphens Paul E. McKenney
2018-02-20 23:25 ` [PATCH RFC tools/lkmm 12/12] tools/memory-model: Remove rb-dep, smp_read_barrier_depends, and lockless_dereference 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=20180220232405.GA19274@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-arch@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=luc.maranget@inria.fr \
--cc=mingo@kernel.org \
--cc=nborisov@suse.com \
--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 a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).