Messages in this thread | | | Date | Tue, 11 Apr 2023 16:12:26 -0700 | From | "Paul E. McKenney" <> | 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
| |