Changes in README

05dc8470 - tools/memory-model: Document LKMM test procedure

Thu, 26 Jan 2023 23:41:00 +0000

tools/memory-model: Document LKMM test procedureThis commit documents how to run the various scripts in order to testa potentially pervasive change to the memory model.Signed-off-by: Paul E. McKenney List of files: /linux-6.15/tools/memory-model/scripts/README

df0f6750 - tools/memory-model: Add checktheselitmus.sh to run specified litmus tests

Thu, 02 May 2019 17:05:14 +0000

tools/memory-model: Add checktheselitmus.sh to run specified litmus testsThis commit adds a checktheselitmus.sh script that runs the litmus testsspecified on the command line. This is useful for verifying fixes tospecific litmus tests.Signed-off-by: Paul E. McKenney List of files: /linux-6.15/tools/memory-model/scripts/README

2024436d - tools/memory-model: Make judgelitmus.sh handle hardware verifications

Tue, 19 Mar 2019 21:39:10 +0000

tools/memory-model: Make judgelitmus.sh handle hardware verificationsThis commit makes the judgelitmus.sh script check the --hw argument(AKA the LKMM_HW_MAP_FILE environment variable) and to adjust itsjudgment for a run where a C-language litmus test has been translated toassembly and the assembly version verified. In this case, the assemblyverification output is checked against the C-language script's "Result:"comment. However, because hardware can be stronger than LKMM requires,the judgelitmus.sh script forgives verification mismatches featuringa "Sometimes" in the C-language script and an "Always" or "Never"assembly-language verification.Note that deadlock is not forgiven, however, this should not normally bean issue given that C-language tests containing locking, RCU, or SRCUcannot be translated to assembly. However, this issue can crop up inlitmus tests that mimic deadlock by using the "filter" clause to ignoreall executions. It can also crop up when certain herd arguments areused to autofilter everything that does not match the "exists" clausein cases where the "exists" clause cannot be satisfied.Signed-off-by: Paul E. McKenney List of files: /linux-6.15/tools/memory-model/scripts/README

37c600a3 - tools/memory-model: Do not use "herd" to refer to "herd7"

Tue, 19 Feb 2019 22:55:23 +0000

tools/memory-model: Do not use "herd" to refer to "herd7"Use "herd7" in each such reference.Signed-off-by: Andrea Parri Cc: Will Deacon Cc: Peter Zijlstra Cc: Boqun Feng Cc: Nicholas Piggin Cc: David Howells Cc: Jade Alglave Cc: Luc Maranget Cc: "Paul E. McKenney" Cc: Akira Yokosawa Cc: Daniel Lustig Acked-by: Alan Stern Signed-off-by: Paul E. McKenney List of files: /linux-6.15/tools/memory-model/scripts/README

b02eb5b0 - tools/memory-model: Add scripts to check github litmus tests

Mon, 03 Dec 2018 23:04:50 +0000

tools/memory-model: Add scripts to check github litmus testsThe https://github.com/paulmckrcu/litmus repository contains a largenumber of C-language litmus tests that include "Result:" commentspredicting the verification result. This commit adds a number of scriptsthat run tests on these litmus tests:checkghlitmus.sh: Runs all litmus tests in the https://github.com/paulmckrcu/litmus archive that are C-language and that have "Result:" comment lines documenting expected results, comparing the actual results to those expected. Clones the repository if it has not already been cloned into the "tools/memory-model/litmus" directory.initlitmushist.sh Run all litmus tests having no more than the specified number of processes given a specified timeout, recording the results in .litmus.out files. Clones the repository if it has not already been cloned into the "tools/memory-model/litmus" directory.newlitmushist.sh For all new or updated litmus tests having no more than the specified number of processes given a specified timeout, run and record the results in .litmus.out files.checklitmushist.sh Run all litmus tests having .litmus.out files from previous initlitmushist.sh or newlitmushist.sh runs, comparing the herd output to that of the original runs.The above scripts will run litmus tests concurrently, by default withone job per available CPU. Giving any of these scripts the --helpargument will cause them to print usage information.This commit also adds a number of helper scripts that are not intendedto be invoked from the command line:cmplitmushist.sh: Compare the output of two different runs of the same litmus test.judgelitmus.sh: Compare the output of a litmus test to its "Result:" comment line.parseargs.sh: Parse command-line arguments.runlitmushist.sh: Run the litmus tests whose pathnames are provided one per line on standard input.While in the area, this commit also makes the existing checklitmus.shand checkalllitmus.sh scripts use parseargs.sh in order to provide abit of uniformity. In addition, per-litmus-test status output is directedto stdout, while end-of-test summary information is directed to stderr.Finally, the error flag standardizes on "!!!" to assist those familiarwith rcutorture output.The defaults for the parseargs.sh arguments may be overridden by usingenvironment variables: LKMM_DESTDIR for --destdir, LKMM_HERD_OPTIONSfor --herdoptions, LKMM_JOBS for --jobs, LKMM_PROCS for --procs, andLKMM_TIMEOUT for --timeout.[ paulmck: History-check summary-line changes per Alan Stern feedback. ]Signed-off-by: Paul E. McKenney Cc: Linus Torvalds Cc: Peter Zijlstra Cc: Thomas Gleixner Cc: akiyks@gmail.comCc: boqun.feng@gmail.comCc: dhowells@redhat.comCc: j.alglave@ucl.ac.ukCc: linux-arch@vger.kernel.orgCc: luc.maranget@inria.frCc: npiggin@gmail.comCc: parri.andrea@gmail.comCc: stern@rowland.harvard.eduCc: will.deacon@arm.comLink: http://lkml.kernel.org/r/20181203230451.28921-2-paulmck@linux.ibm.comSigned-off-by: Ingo Molnar List of files: /linux-6.15/tools/memory-model/scripts/README