[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Message-ID: <d5f5cb7e-312e-49d5-b6f7-ebbcec1e4d13@paulmck-laptop>
Date: Tue, 11 Apr 2023 16:12:26 -0700
From: "Paul E. McKenney" <paulmck@...nel.org>
To: torvalds@...ux-foundation.org
Cc: linux-kernel@...r.kernel.org, kernel-team@...a.com,
stern@...land.harvard.edu, yangtiezhu@...ngson.cn,
parri.andrea@...il.com
Subject: [GIT PULL] LKMM scripting changes for v6.4
Hello, Linus,
Once the v6.4 merge window opens, please pull these LKMM scripting
changes from:
git://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git tags/lkmm-scripting.2023.04.07a
# HEAD: cc4a29819b0df9f3a2e7e0d5dee0830a3072d5aa: tools/memory-model: Remove out-of-date SRCU documentation (2023-03-24 10:24:48 -0700)
----------------------------------------------------------------
LKMM scripting updates for v6.4
This update improves litmus-test documentation and improves the ability
to do before/after tests on the https://github.com/paulmckrcu/litmus repo.
----------------------------------------------------------------
Andrea Parri (1):
tools/memory-model: Remove out-of-date SRCU documentation
Paul E. McKenney (30):
tools/memory-model: Document locking corner cases
tools/memory-model: Make judgelitmus.sh note timeouts
tools/memory-model: Make cmplitmushist.sh note timeouts
tools/memory-model: Make judgelitmus.sh identify bad macros
tools/memory-model: Make judgelitmus.sh detect hard deadlocks
tools/memory-model: Fix paulmck email address on pre-existing scripts
tools/memory-model: Update parseargs.sh for hardware verification
tools/memory-model: Make judgelitmus.sh handle hardware verifications
tools/memory-model: Add simpletest.sh to check locking, RCU, and SRCU
tools/memory-model: Fix checkalllitmus.sh comment
tools/memory-model: Hardware checking for check{,all}litmus.sh
tools/memory-model: Make judgelitmus.sh ransack .litmus.out files
tools/memory-model: Split runlitmus.sh out of checklitmus.sh
tools/memory-model: Make runlitmus.sh generate .litmus.out for --hw
tools/memory-model: Move from .AArch64.litmus.out to .litmus.AArch.out
tools/memory-model: Keep assembly-language litmus tests
tools/memory-model: Allow herd to deduce CPU type
tools/memory-model: Make runlitmus.sh check for jingle errors
tools/memory-model: Add -v flag to jingle7 runs
tools/memory-model: Implement --hw support for checkghlitmus.sh
tools/memory-model: Fix scripting --jobs argument
tools/memory-model: Make checkghlitmus.sh use mselect7
tools/memory-model: Make history-check scripts use mselect7
tools/memory-model: Add "--" to parseargs.sh for additional arguments
tools/memory-model: Repair parseargs.sh header comment
tools/memory-model: Add checktheselitmus.sh to run specified litmus tests
tools/memory-model: Add data-race capabilities to judgelitmus.sh
tools/memory-model: Make judgelitmus.sh handle scripted Result: tag
tools/memory-model: Use "-unroll 0" to keep --hw runs finite
tools/memory-model: Document LKMM test procedure
Tiezhu Yang (1):
tools/memory-model: Use "grep -E" instead of "egrep"
.../litmus-tests/locking/DCL-broken.litmus | 54 ++++
.../litmus-tests/locking/DCL-fixed.litmus | 55 ++++
.../litmus-tests/locking/RM-broken.litmus | 41 +++
Documentation/litmus-tests/locking/RM-fixed.litmus | 41 +++
tools/memory-model/Documentation/litmus-tests.txt | 27 +-
tools/memory-model/Documentation/locking.txt | 298 +++++++++++++++++++++
tools/memory-model/litmus-tests/.gitignore | 2 +-
tools/memory-model/scripts/README | 48 +++-
tools/memory-model/scripts/checkalllitmus.sh | 29 +-
tools/memory-model/scripts/checkghlitmus.sh | 15 +-
tools/memory-model/scripts/checklitmus.sh | 25 +-
tools/memory-model/scripts/checklitmushist.sh | 2 +-
tools/memory-model/scripts/checktheselitmus.sh | 43 +++
tools/memory-model/scripts/cmplitmushist.sh | 49 +++-
tools/memory-model/scripts/hwfnseg.sh | 20 ++
tools/memory-model/scripts/initlitmushist.sh | 2 +-
tools/memory-model/scripts/judgelitmus.sh | 120 +++++++--
tools/memory-model/scripts/newlitmushist.sh | 4 +-
tools/memory-model/scripts/parseargs.sh | 21 +-
tools/memory-model/scripts/runlitmus.sh | 80 ++++++
tools/memory-model/scripts/runlitmushist.sh | 29 +-
tools/memory-model/scripts/simpletest.sh | 35 +++
22 files changed, 924 insertions(+), 116 deletions(-)
create mode 100644 Documentation/litmus-tests/locking/DCL-broken.litmus
create mode 100644 Documentation/litmus-tests/locking/DCL-fixed.litmus
create mode 100644 Documentation/litmus-tests/locking/RM-broken.litmus
create mode 100644 Documentation/litmus-tests/locking/RM-fixed.litmus
create mode 100644 tools/memory-model/Documentation/locking.txt
create mode 100755 tools/memory-model/scripts/checktheselitmus.sh
create mode 100755 tools/memory-model/scripts/hwfnseg.sh
create mode 100755 tools/memory-model/scripts/runlitmus.sh
create mode 100755 tools/memory-model/scripts/simpletest.sh
Powered by blists - more mailing lists