[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <20191003001039.GA8027@paulmck-ThinkPad-P72>
Date: Wed, 2 Oct 2019 17:10:39 -0700
From: "Paul E. McKenney" <paulmck@...nel.org>
To: linux-kernel@...r.kernel.org, linux-arch@...r.kernel.org,
mingo@...nel.org
Cc: stern@...land.harvard.edu, parri.andrea@...il.com, will@...nel.org,
peterz@...radead.org, boqun.feng@...il.com, npiggin@...il.com,
dhowells@...hat.com, j.alglave@....ac.uk, luc.maranget@...ia.fr,
akiyks@...il.com
Subject: [PATCH memory-model 0/32] Memory-model updates
Hello!
This series contains updates for the Linux-kernel memory model:
1. Fix data race detection for unordered store and load,
courtesy of Alan Stern.
2-4. Documentation update for plain accesses.
5-32. Work-in-progress test-script updates.
Thanx, Paul
------------------------------------------------------------------------
Documentation/explanation.txt | 602 ++++++++++++++++++++++++++++++++++++++++--
linux-kernel.cat | 2
litmus-tests/.gitignore | 4
scripts/README | 16 -
scripts/checkalllitmus.sh | 29 --
scripts/checkghlitmus.sh | 11
scripts/checklitmus.sh | 101 +++----
scripts/checklitmushist.sh | 2
scripts/checktheselitmus.sh | 43 +++
scripts/cmplitmushist.sh | 53 +++
scripts/hwfnseg.sh | 20 +
scripts/initlitmushist.sh | 2
scripts/judgelitmus.sh | 164 ++++++++---
scripts/newlitmushist.sh | 4
scripts/parseargs.sh | 21 +
scripts/runlitmus.sh | 144 +++++++---
scripts/runlitmushist.sh | 29 +-
scripts/simpletest.sh | 35 ++
18 files changed, 1071 insertions(+), 211 deletions(-)
Powered by blists - more mailing lists