18c2ecf20Sopenharmony_ci ============ 28c2ecf20Sopenharmony_ci LKMM SCRIPTS 38c2ecf20Sopenharmony_ci ============ 48c2ecf20Sopenharmony_ci 58c2ecf20Sopenharmony_ci 68c2ecf20Sopenharmony_ciThese scripts are run from the tools/memory-model directory. 78c2ecf20Sopenharmony_ci 88c2ecf20Sopenharmony_cicheckalllitmus.sh 98c2ecf20Sopenharmony_ci 108c2ecf20Sopenharmony_ci Run all litmus tests in the litmus-tests directory, checking 118c2ecf20Sopenharmony_ci the results against the expected results recorded in the 128c2ecf20Sopenharmony_ci "Result:" comment lines. 138c2ecf20Sopenharmony_ci 148c2ecf20Sopenharmony_cicheckghlitmus.sh 158c2ecf20Sopenharmony_ci 168c2ecf20Sopenharmony_ci Run all litmus tests in the https://github.com/paulmckrcu/litmus 178c2ecf20Sopenharmony_ci archive that are C-language and that have "Result:" comment lines 188c2ecf20Sopenharmony_ci documenting expected results, comparing the actual results to 198c2ecf20Sopenharmony_ci those expected. 208c2ecf20Sopenharmony_ci 218c2ecf20Sopenharmony_cichecklitmushist.sh 228c2ecf20Sopenharmony_ci 238c2ecf20Sopenharmony_ci Run all litmus tests having .litmus.out files from previous 248c2ecf20Sopenharmony_ci initlitmushist.sh or newlitmushist.sh runs, comparing the 258c2ecf20Sopenharmony_ci herd7 output to that of the original runs. 268c2ecf20Sopenharmony_ci 278c2ecf20Sopenharmony_cichecklitmus.sh 288c2ecf20Sopenharmony_ci 298c2ecf20Sopenharmony_ci Check a single litmus test against its "Result:" expected result. 308c2ecf20Sopenharmony_ci 318c2ecf20Sopenharmony_cicmplitmushist.sh 328c2ecf20Sopenharmony_ci 338c2ecf20Sopenharmony_ci Compare output from two different runs of the same litmus tests, 348c2ecf20Sopenharmony_ci with the absolute pathnames of the tests to run provided one 358c2ecf20Sopenharmony_ci name per line on standard input. Not normally run manually, 368c2ecf20Sopenharmony_ci provided instead for use by other scripts. 378c2ecf20Sopenharmony_ci 388c2ecf20Sopenharmony_ciinitlitmushist.sh 398c2ecf20Sopenharmony_ci 408c2ecf20Sopenharmony_ci Run all litmus tests having no more than the specified number 418c2ecf20Sopenharmony_ci of processes given a specified timeout, recording the results 428c2ecf20Sopenharmony_ci in .litmus.out files. 438c2ecf20Sopenharmony_ci 448c2ecf20Sopenharmony_cijudgelitmus.sh 458c2ecf20Sopenharmony_ci 468c2ecf20Sopenharmony_ci Given a .litmus file and its .litmus.out herd7 output, check the 478c2ecf20Sopenharmony_ci .litmus.out file against the .litmus file's "Result:" comment to 488c2ecf20Sopenharmony_ci judge whether the test ran correctly. Not normally run manually, 498c2ecf20Sopenharmony_ci provided instead for use by other scripts. 508c2ecf20Sopenharmony_ci 518c2ecf20Sopenharmony_cinewlitmushist.sh 528c2ecf20Sopenharmony_ci 538c2ecf20Sopenharmony_ci For all new or updated litmus tests having no more than the 548c2ecf20Sopenharmony_ci specified number of processes given a specified timeout, run 558c2ecf20Sopenharmony_ci and record the results in .litmus.out files. 568c2ecf20Sopenharmony_ci 578c2ecf20Sopenharmony_ciparseargs.sh 588c2ecf20Sopenharmony_ci 598c2ecf20Sopenharmony_ci Parse command-line arguments. Not normally run manually, 608c2ecf20Sopenharmony_ci provided instead for use by other scripts. 618c2ecf20Sopenharmony_ci 628c2ecf20Sopenharmony_cirunlitmushist.sh 638c2ecf20Sopenharmony_ci 648c2ecf20Sopenharmony_ci Run the litmus tests whose absolute pathnames are provided one 658c2ecf20Sopenharmony_ci name per line on standard input. Not normally run manually, 668c2ecf20Sopenharmony_ci provided instead for use by other scripts. 678c2ecf20Sopenharmony_ci 688c2ecf20Sopenharmony_ciREADME 698c2ecf20Sopenharmony_ci 708c2ecf20Sopenharmony_ci This file 71