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
Subject: [PATCH RFC tools/memory-model 0/5] Additional proposed changes to LKMM
Date: Mon, 16 Apr 2018 09:22:28 -0700 [thread overview]
Message-ID: <20180416162228.GA18167@linux.vnet.ibm.com> (raw)
Hello!
This series contains a few additional changes to tools/memory-model,
however, the members of this series need more discussion and feedback
before they are ready for inclusion.
1. Add LKMM test scripts.
2. Add litmus test for full-up multicopy atomicity.
3. Add experimental .cfg and .cat files for s390. These are for
expository purposes only, and would more likely be included in
the herd tool than in the Linux kernel.
4. Add LKMM support for spin_is_locked(), courtesy of Luc Maranget.
It has been suggested that spin_is_locked() be removed from the
kernel, but in the meantime we should at least have a definition
of what it does.
5. Flag litmus test demonstrating the A-cumulativity of
smp_store_release() and LKMM's propagation rule.
Thanx, Paul
------------------------------------------------------------------------
linux-kernel.def | 1
litmus-tests/.gitignore | 1
litmus-tests/IRIW+mbonceonces+OnceOnce.litmus | 2
litmus-tests/MP+polockmbonce+poacquiresilsil.litmus | 30 +++++
litmus-tests/MP+polockonce+poacquiresilsil.litmus | 29 +++++
litmus-tests/README | 19 +++
litmus-tests/SB+poonceoncescoh.litmus | 31 ++++++
litmus-tests/WRC+pooncerelease+rmbonceonce+Once.litmus | 4
lock.cat | 53 +++++++++-
s390.cat | 18 +++
s390.cfg | 21 ++++
scripts/checkalllitmus.sh | 73 ++++++++++++++
scripts/checklitmus.sh | 86 +++++++++++++++++
13 files changed, 359 insertions(+), 9 deletions(-)
next reply other threads:[~2018-04-16 16:22 UTC|newest]
Thread overview: 10+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-04-16 16:22 Paul E. McKenney [this message]
2018-04-16 16:22 ` [PATCH RFC tools/memory-model 1/5] EXP tools/memory-model: Add scripts to test memory model Paul E. McKenney
2018-04-16 16:22 ` [PATCH RFC tools/memory-model 2/5] tools/memory-model: Add litmus test for multicopy atomicity Paul E. McKenney
2018-04-18 9:40 ` Andrea Parri
2018-04-19 0:06 ` Paul E. McKenney
2018-04-16 16:22 ` [PATCH RFC tools/memory-model 3/5] EXP tools/memory-model: Add .cfg and .cat files for s390 Paul E. McKenney
2018-04-16 16:22 ` [PATCH RFC tools/memory-model 4/5] tools/memory-model: Add model support for spin_is_locked Paul E. McKenney
2018-04-18 9:57 ` Andrea Parri
2018-04-19 0:27 ` Paul E. McKenney
2018-04-16 16:22 ` [PATCH RFC tools/memory-model 5/5] EXP tools/memory-model: Flag "cumulativity" and "propagation" tests 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=20180416162228.GA18167@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=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.