^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 1) ============
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 2) LKMM SCRIPTS
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 3) ============
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 4)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 5)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 6) These scripts are run from the tools/memory-model directory.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 7)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 8) checkalllitmus.sh
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 9)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 10) Run all litmus tests in the litmus-tests directory, checking
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 11) the results against the expected results recorded in the
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 12) "Result:" comment lines.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 13)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 14) checkghlitmus.sh
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 15)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 16) Run all litmus tests in the https://github.com/paulmckrcu/litmus
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 17) archive that are C-language and that have "Result:" comment lines
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 18) documenting expected results, comparing the actual results to
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 19) those expected.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 20)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 21) checklitmushist.sh
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 22)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 23) Run all litmus tests having .litmus.out files from previous
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 24) initlitmushist.sh or newlitmushist.sh runs, comparing the
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 25) herd7 output to that of the original runs.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 26)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 27) checklitmus.sh
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 28)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 29) Check a single litmus test against its "Result:" expected result.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 30)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 31) cmplitmushist.sh
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 32)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 33) Compare output from two different runs of the same litmus tests,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 34) with the absolute pathnames of the tests to run provided one
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 35) name per line on standard input. Not normally run manually,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 36) provided instead for use by other scripts.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 37)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 38) initlitmushist.sh
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 39)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 40) Run all litmus tests having no more than the specified number
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 41) of processes given a specified timeout, recording the results
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 42) in .litmus.out files.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 43)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 44) judgelitmus.sh
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 45)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 46) Given a .litmus file and its .litmus.out herd7 output, check the
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 47) .litmus.out file against the .litmus file's "Result:" comment to
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 48) judge whether the test ran correctly. Not normally run manually,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 49) provided instead for use by other scripts.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 50)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 51) newlitmushist.sh
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 52)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 53) For all new or updated litmus tests having no more than the
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 54) specified number of processes given a specified timeout, run
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 55) and record the results in .litmus.out files.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 56)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 57) parseargs.sh
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 58)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 59) Parse command-line arguments. Not normally run manually,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 60) provided instead for use by other scripts.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 61)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 62) runlitmushist.sh
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 63)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 64) Run the litmus tests whose absolute pathnames are provided one
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 65) name per line on standard input. Not normally run manually,
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 66) provided instead for use by other scripts.
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 67)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 68) README
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 69)
^8f3ce5b39 (kx 2023-10-28 12:00:06 +0300 70) This file