proxmox-mirrors/mirror_ubuntu-kernels
1
0
Fork 0
mirror of https://git.proxmox.com/git/mirror_ubuntu-kernels.git synced 2025-11-07 13:49:40 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity
719bef0cbe
mirror_ubuntu-kernels/tools/memory-model/scripts
History
Paul E. McKenney 719bef0cbe tools/memory-model: Use "-unroll 0" to keep --hw runs finite 
Litmus tests involving atomic operations produce LL/SC loops on a number
of architectures, and unrolling these loops can result in excessive
verification times or even stack overflows.  This commit therefore uses
the "-unroll 0" herd7 argument to avoid unrolling, on the grounds that
additional passes through an LL/SC loop should not change the verification.

Note however, that certain bugs in the mapping of the LL/SC loop to
machine instructions may go undetected.  On the other hand, herd7 might
not be the best vehicle for finding such bugs in any case.  (You do
stress-test your architecture-specific code, don't you?)

Suggested-by: Luc Maranget <luc.maranget@inria.fr>
Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
2023-03-24 10:24:15 -07:00
..
checkalllitmus.sh tools/memory-model: Hardware checking for check{,all}litmus.sh 2023-03-24 10:24:14 -07:00
checkghlitmus.sh tools/memory-model: Make checkghlitmus.sh use mselect7 2023-03-24 10:24:14 -07:00
checklitmus.sh tools/memory-model: Split runlitmus.sh out of checklitmus.sh 2023-03-24 10:24:14 -07:00
checklitmushist.sh tools/memory-model: Fix paulmck email address on pre-existing scripts 2023-03-24 10:24:13 -07:00
checktheselitmus.sh tools/memory-model: Add checktheselitmus.sh to run specified litmus tests 2023-03-24 10:24:15 -07:00
cmplitmushist.sh tools/memory-model: Make judgelitmus.sh identify bad macros 2023-03-24 10:24:13 -07:00
hwfnseg.sh tools/memory-model: Implement --hw support for checkghlitmus.sh 2023-03-24 10:24:14 -07:00
initlitmushist.sh tools/memory-model: Make history-check scripts use mselect7 2023-03-24 10:24:14 -07:00
judgelitmus.sh tools/memory-model: Make judgelitmus.sh handle scripted Result: tag 2023-03-24 10:24:15 -07:00
newlitmushist.sh tools/memory-model: Make history-check scripts use mselect7 2023-03-24 10:24:14 -07:00
parseargs.sh tools/memory-model: Repair parseargs.sh header comment 2023-03-24 10:24:15 -07:00
README tools/memory-model: Add checktheselitmus.sh to run specified litmus tests 2023-03-24 10:24:15 -07:00
runlitmus.sh tools/memory-model: Use "-unroll 0" to keep --hw runs finite 2023-03-24 10:24:15 -07:00
runlitmushist.sh tools/memory-model: Implement --hw support for checkghlitmus.sh 2023-03-24 10:24:14 -07:00
simpletest.sh tools/memory-model: Add simpletest.sh to check locking, RCU, and SRCU 2023-03-24 10:24:14 -07:00

README 

			============
			LKMM SCRIPTS
			============


These scripts are run from the tools/memory-model directory.

checkalllitmus.sh

	Run all litmus tests in the litmus-tests directory, checking
	the results against the expected results recorded in the
	"Result:" comment lines.

checkghlitmus.sh

	Run 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.

checklitmushist.sh

	Run all litmus tests having .litmus.out files from previous
	initlitmushist.sh or newlitmushist.sh runs, comparing the
	herd7 output to that of the original runs.

checklitmus.sh

	Check a single litmus test against its "Result:" expected result.
	Not intended to for manual use.

checktheselitmus.sh

	Check the specified list of litmus tests against their "Result:"
	expected results.  This takes optional parseargs.sh arguments,
	followed by "--" followed by pathnames starting from the current
	directory.

cmplitmushist.sh

	Compare output from two different runs of the same litmus tests,
	with the absolute pathnames of the tests to run provided one
	name per line on standard input.  Not normally run manually,
	provided instead for use by other scripts.

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.

judgelitmus.sh

	Given a .litmus file and its herd7 output, check the output file
	against the .litmus file's "Result:" comment to judge whether
	the test ran correctly.  Not normally run manually, provided
	instead for use by other scripts.

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.

parseargs.sh

	Parse command-line arguments.  Not normally run manually,
	provided instead for use by other scripts.

runlitmushist.sh

	Run the litmus tests whose absolute pathnames are provided one
	name per line on standard input.  Not normally run manually,
	provided instead for use by other scripts.

README

	This file