From: Akira Yokosawa <akiyks@gmail.com>
To: "Paul E. McKenney" <paulmck@linux.ibm.com>, mingo@kernel.org
Cc: linux-kernel@vger.kernel.org, linux-arch@vger.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
Subject: Re: [PATCH memory-model 0/3] Updates to the formal memory model
Date: Tue, 4 Dec 2018 08:28:03 +0900 [thread overview]
Message-ID: <802d5c17-74fd-86a1-efba-5ee2825a0c3c@gmail.com> (raw)
In-Reply-To: <20181203230411.GA27476@linux.ibm.com>
On 2018/12/03 15:04:11 -0800, Paul E. McKenney wrote:
> Hello, Ingo!
>
> This series contains updates to the Linux kernel's formal memory model
> in tools/memory-model. These patches are ready for inclusion into -tip.
>
> 1. Model smp_mb__after_unlock_lock(), courtesy of Andrea Parri.
>
> 2. Add scripts to check github litmus tests.
>
> 3. Make scripts take "-j" abbreviation for "--jobs".
>
> There is another series in preparation to model SRCU, but this series
> requires hot-off-the presses changes to the herd tool that have not yet
> been released. This SRCU series is therefore targeting the merge window
> after the upcoming one. People wishing to experiment with the prototype
> SRCU model may obtain it from my -rcu tree at branch "dev", and use
> a bleeding-edge herd7 built from https://github.com/herd/herdtools7/,
> version 7.51+2(dev), which is (commit 10403b24070c) or later.
On the master branch of herdtools7, SRCU support was added in version
7.51+4(dev), which is commit 6ec9da1f4d58, or later.
Thanks, Akira
>
> Thanx, Paul
>
> ------------------------------------------------------------------------
>
> .gitignore | 1
> README | 2
> linux-kernel.bell | 3
> linux-kernel.cat | 4 -
> linux-kernel.def | 1
> scripts/README | 70 ++++++++++++++++++++++
> scripts/checkalllitmus.sh | 53 +++++++----------
> scripts/checkghlitmus.sh | 65 ++++++++++++++++++++
> scripts/checklitmus.sh | 74 +++--------------------
> scripts/checklitmushist.sh | 60 +++++++++++++++++++
> scripts/cmplitmushist.sh | 87 +++++++++++++++++++++++++++
> scripts/initlitmushist.sh | 68 +++++++++++++++++++++
> scripts/judgelitmus.sh | 78 +++++++++++++++++++++++++
> scripts/newlitmushist.sh | 61 +++++++++++++++++++
> scripts/parseargs.sh | 140 ++++++++++++++++++++++++++++++++++++++++++++-
> scripts/runlitmushist.sh | 87 +++++++++++++++++++++++++++
> 16 files changed, 757 insertions(+), 97 deletions(-)
>
next prev parent reply other threads:[~2018-12-03 23:28 UTC|newest]
Thread overview: 14+ messages / expand[flat|nested] mbox.gz Atom feed top
2018-12-03 23:04 [PATCH memory-model 0/3] Updates to the formal memory model Paul E. McKenney
2018-12-03 23:04 ` [PATCH memory-model 1/3] tools/memory-model: Model smp_mb__after_unlock_lock() Paul E. McKenney
2018-12-04 6:33 ` [tip:locking/core] " tip-bot for Andrea Parri
2019-01-21 11:23 ` tip-bot for Andrea Parri
2018-12-03 23:04 ` [PATCH memory-model 2/3] EXP tools/memory-model: Add scripts to check github litmus tests Paul E. McKenney
2018-12-04 6:34 ` [tip:locking/core] " tip-bot for Paul E. McKenney
2019-01-21 11:24 ` tip-bot for Paul E. McKenney
2018-12-03 23:04 ` [PATCH memory-model 3/3] EXP tools/memory-model: Make scripts take "-j" abbreviation for "--jobs" Paul E. McKenney
2018-12-04 6:35 ` [tip:locking/core] " tip-bot for Paul E. McKenney
2019-01-21 11:25 ` tip-bot for Paul E. McKenney
2018-12-03 23:28 ` Akira Yokosawa [this message]
2018-12-03 23:51 ` [PATCH memory-model 0/3] Updates to the formal memory model Paul E. McKenney
2018-12-04 15:40 ` Akira Yokosawa
2018-12-04 16:36 ` 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=802d5c17-74fd-86a1-efba-5ee2825a0c3c@gmail.com \
--to=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=paulmck@linux.ibm.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).