From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
To: linux-kernel@vger.kernel.org, linux-arch@vger.kernel.org,
mingo@kernel.org
Cc: 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, palmer@sifive.com,
sj38.park@gmail.com, mark.rutland@arm.com, j.neuschaefer@gmx.net,
yauheni.kaliuta@redhat.com
Subject: [PATCH memory-model 0/14] Updates to the formal memory model
Date: Mon, 16 Jul 2018 11:05:40 -0700 [thread overview]
Message-ID: <20180716180540.GA14222@linux.vnet.ibm.com> (raw)
Hello!
This series contains updates to the Linux kernel's formal memory model
in tools/memory-model, along with corresponding changes in documentation
and Linux-kernel code. These patches are ready for inclusion into -tip.
1. Add a litmus test for full multi-copy atomicity.
2. Fix the name of the ISA2+pooncelock+pooncelock+pombonce litmus test.
3. Add Daniel Lustig as an LKMM reviewer, with focus on RISC-V,
courtesy of Palmer Dabbelt.
4. Update Korean translation to fix broken DMA vs. MMIO ordering
example, courtesy of SeongJae Park with edits suggested by
Byungchul Park.
5-6. Remove the now-obsolete ACCESS_ONCE() from recipes and the model
itself, courtesy of Mark Rutland.
7. Make regression-test scripts executable.
8. Describe atomic_set as a write operation, courtesy of Jonathan
Neuschäfer.
9. Add informal LKMM documentation to MAINTAINERS.
10. Use smp_mb() in wake_woken_function(), courtesy of Andrea Parri.
11. Clarify requirements for smp_mb__after_spinlock(), courtesy of
Andrea Parri.
12. Update wake_up() and friends' memory-barrier guarantees,
courtesy of Andrea Parri.
13. Fix "smb_wmb()" typo (should be "smp_wmb()"), courtesy of
Yauheni Kaliuta.
14. Rename litmus tests to comply to norm7, courtesy of Andrea Parri.
Thanx, Paul
------------------------------------------------------------------------
Documentation/core-api/atomic_ops.rst | 2
Documentation/memory-barriers.txt | 43 +++---
Documentation/translations/ko_KR/memory-barriers.txt | 22 +--
MAINTAINERS | 6
include/linux/sched.h | 4
include/linux/spinlock.h | 53 +++++--
kernel/sched/completion.c | 8 -
kernel/sched/core.c | 71 ++++------
kernel/sched/wait.c | 55 +++----
tools/memory-model/Documentation/explanation.txt | 2
tools/memory-model/Documentation/recipes.txt | 12 -
tools/memory-model/README | 20 +-
tools/memory-model/linux-kernel.bell | 2
tools/memory-model/litmus-tests/IRIW+fencembonceonces+OnceOnce.litmus | 2
tools/memory-model/litmus-tests/ISA2+pooncelock+pooncelock+pombonce.litmus | 2
tools/memory-model/litmus-tests/LB+fencembonceonce+ctrlonceonce.litmus | 2
tools/memory-model/litmus-tests/MP+fencewmbonceonce+fencermbonceonce.litmus | 2
tools/memory-model/litmus-tests/R+fencembonceonces.litmus | 2
tools/memory-model/litmus-tests/README | 25 ++-
tools/memory-model/litmus-tests/S+fencewmbonceonce+poacquireonce.litmus | 2
tools/memory-model/litmus-tests/SB+fencembonceonces.litmus | 2
tools/memory-model/litmus-tests/SB+rfionceonce-poonceonces.litmus | 32 ++++
tools/memory-model/litmus-tests/WRC+pooncerelease+fencermbonceonce+Once.litmus | 2
tools/memory-model/litmus-tests/Z6.0+pooncerelease+poacquirerelease+fencembonceonce.litmus | 2
tools/memory-model/scripts/checkalllitmus.sh | 2
tools/memory-model/scripts/checklitmus.sh | 2
26 files changed, 223 insertions(+), 156 deletions(-)
next reply other threads:[~2018-07-16 18:05 UTC|newest]
Thread overview: 28+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-07-16 18:05 Paul E. McKenney [this message]
2018-07-16 18:05 ` [PATCH memory-model 01/14] tools/memory-model: Add litmus test for full multicopy atomicity Paul E. McKenney
2018-07-17 9:25 ` [tip:locking/core] " tip-bot for Paul E. McKenney
2018-07-16 18:05 ` [PATCH memory-model 02/14] tools/memory-model: Fix ISA2+pooncelock+pooncelock+pombonce name Paul E. McKenney
2018-07-17 9:26 ` [tip:locking/core] " tip-bot for Paul E. McKenney
2018-07-16 18:05 ` [PATCH memory-model 03/14] MAINTAINERS: Add Daniel Lustig as an LKMM reviewer Paul E. McKenney
2018-07-17 9:26 ` [tip:locking/core] " tip-bot for Palmer Dabbelt
2018-07-16 18:05 ` [PATCH memory-model 04/14] locking/memory-barriers.txt/kokr: Update Korean translation to fix broken DMA vs. MMIO ordering example Paul E. McKenney
2018-07-17 9:27 ` [tip:locking/core] " tip-bot for SeongJae Park
2018-07-16 18:05 ` [PATCH memory-model 05/14] tools/memory-model: Remove ACCESS_ONCE() from recipes Paul E. McKenney
2018-07-17 9:27 ` [tip:locking/core] " tip-bot for Mark Rutland
2018-07-16 18:05 ` [PATCH memory-model 06/14] tools/memory-model: Remove ACCESS_ONCE() from model Paul E. McKenney
2018-07-17 9:28 ` [tip:locking/core] " tip-bot for Mark Rutland
2018-07-16 18:05 ` [PATCH memory-model 07/14] tools/memory-model: Make scripts executable Paul E. McKenney
2018-07-17 9:29 ` [tip:locking/core] " tip-bot for Paul E. McKenney
2018-07-16 18:05 ` [PATCH memory-model 08/14] docs: atomic_ops: Describe atomic_set as a write operation Paul E. McKenney
2018-07-16 18:06 ` [PATCH memory-model 09/14] tools/memory-model: Add informal LKMM documentation to MAINTAINERS Paul E. McKenney
2018-07-17 9:30 ` [tip:locking/core] " tip-bot for Paul E. McKenney
2018-07-16 18:06 ` [PATCH memory-model 10/14] sched: Use smp_mb() in wake_woken_function() Paul E. McKenney
2018-07-17 9:30 ` [tip:locking/core] sched/core: " tip-bot for Andrea Parri
2018-07-16 18:06 ` [PATCH memory-model 11/14] locking: Clarify requirements for smp_mb__after_spinlock() Paul E. McKenney
2018-07-17 9:31 ` [tip:locking/core] locking/spinlock, sched/core: " tip-bot for Andrea Parri
2018-07-16 18:06 ` [PATCH memory-model 12/14] doc: Update wake_up() & co. memory-barrier guarantees Paul E. McKenney
2018-07-17 9:31 ` [tip:locking/core] sched/Documentation: " tip-bot for Andrea Parri
2018-07-16 18:06 ` [PATCH memory-model 13/14] memory-model/Documentation: Fix typo, smb->smp Paul E. McKenney
2018-07-17 9:32 ` [tip:locking/core] tools/memory-model/Documentation: " tip-bot for Yauheni Kaliuta
2018-07-16 18:06 ` [PATCH memory-model 14/14] tools/memory-model: Rename litmus tests to comply to norm7 Paul E. McKenney
2018-07-17 9:33 ` [tip:locking/core] " tip-bot for Andrea Parri
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=20180716180540.GA14222@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=j.neuschaefer@gmx.net \
--cc=linux-arch@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
--cc=luc.maranget@inria.fr \
--cc=mark.rutland@arm.com \
--cc=mingo@kernel.org \
--cc=npiggin@gmail.com \
--cc=palmer@sifive.com \
--cc=parri.andrea@gmail.com \
--cc=peterz@infradead.org \
--cc=sj38.park@gmail.com \
--cc=stern@rowland.harvard.edu \
--cc=will.deacon@arm.com \
--cc=yauheni.kaliuta@redhat.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.