[linux-block.git] / tools / memory-model / scripts / runlitmushist.sh

#!/bin/bash
# SPDX-License-Identifier: GPL-2.0+
#
# Runs the C-language litmus tests specified on standard input, using up
# to the specified number of CPUs (defaulting to all of them) and placing
# the results in the specified directory (defaulting to the same place
# the litmus test came from).
#
# sh runlitmushist.sh
#
# Run from the Linux kernel tools/memory-model directory.
# This script uses environment variables produced by parseargs.sh.
#
# Copyright IBM Corporation, 2018
#
# Author: Paul E. McKenney <paulmck@linux.ibm.com>

. scripts/hwfnseg.sh

T=/tmp/runlitmushist.sh.$$
trap 'rm -rf $T' 0
mkdir $T

if test -d litmus
then
	:
else
	echo Directory \"litmus\" missing, aborting run.
	exit 1
fi

# Prefixes for per-CPU scripts
for ((i=0;i<$LKMM_JOBS;i++))
do
	echo T=$T >> $T/$i.sh
	cat << '___EOF___' >> $T/$i.sh
	runtest () {
		if scripts/runlitmus.sh $1
		then
			if ! grep -q '^Observation ' $LKMM_DESTDIR/$1$2.out
			then
				echo ' !!! Herd failed, no Observation:' $1
			fi
		else
			exitcode=$?
			if test "$exitcode" -eq 124
			then
				exitmsg="timed out"
			elif test "$exitcode" -eq 253
			then
				exitmsg=
			else
				exitmsg="failed, exit code $exitcode"
			fi
			if test -n "$exitmsg"
			then
				echo ' !!! Herd' ${exitmsg}: $1
			fi
		fi
	}
___EOF___
done

awk -v q="'" -v b='\\' '
{
	print "echo `grep " q "^P[0-9]" b "+(" q " " $0 " | tail -1 | sed -e " q "s/^P" b "([0-9]" b "+" b ")(.*$/" b "1/" q "` " $0
}' | sh | sort -k1n |
awk -v dq='"' -v hwfnseg="$hwfnseg" -v ncpu="$LKMM_JOBS" -v t="$T" '
{
	print "if test -z " dq hwfnseg dq " || scripts/simpletest.sh " dq $2 dq
	print "then"
	print "\techo runtest " dq $2 dq " " hwfnseg " >> " t "/" NR % ncpu ".sh";
	print "fi"
}

END {
	for (i = 0; i < ncpu; i++) {
		print "sh " t "/" i ".sh > " t "/" i ".sh.out 2>&1 &";
		close(t "/" i ".sh");
	}
	print "wait";
}' | sh
cat $T/*.sh.out
if grep -q '!!!' $T/*.sh.out
then
	echo ' ---' Summary: 1>&2
	grep '!!!' $T/*.sh.out 1>&2
	nfail="`grep '!!!' $T/*.sh.out | wc -l`"
	echo 'Number of failed herd7 runs (e.g., timeout): ' $nfail 1>&2
	exit 1
else
	echo All runs completed successfully. 1>&2
	exit 0
fi
Commit	Line	Data
b02eb5b0 PM	1	#!/bin/bash
	2	# SPDX-License-Identifier: GPL-2.0+
	3	#
	4	# Runs the C-language litmus tests specified on standard input, using up
	5	# to the specified number of CPUs (defaulting to all of them) and placing
	6	# the results in the specified directory (defaulting to the same place
	7	# the litmus test came from).
	8	#
	9	# sh runlitmushist.sh
	10	#
	11	# Run from the Linux kernel tools/memory-model directory.
	12	# This script uses environment variables produced by parseargs.sh.
	13	#
	14	# Copyright IBM Corporation, 2018
	15	#
61f615cc	16	# Author: Paul E. McKenney <paulmck@linux.ibm.com>
b02eb5b0	17
69d476c5 PM	18	. scripts/hwfnseg.sh
69d476c5 PM	19
b02eb5b0 PM	20	T=/tmp/runlitmushist.sh.$$
	21	trap 'rm -rf $T' 0
	22	mkdir $T
	23
	24	if test -d litmus
	25	then
	26	:
	27	else
	28	echo Directory \"litmus\" missing, aborting run.
	29	exit 1
	30	fi
	31
	32	# Prefixes for per-CPU scripts
	33	for ((i=0;i<$LKMM_JOBS;i++))
	34	do
b02eb5b0	35	echo T=$T >> $T/$i.sh
b02eb5b0 PM	36	cat << '___EOF___' >> $T/$i.sh
b02eb5b0 PM	37	runtest () {
69d476c5	38	if scripts/runlitmus.sh $1
b02eb5b0	39	then
69d476c5	40	if ! grep -q '^Observation ' $LKMM_DESTDIR/$1$2.out
b02eb5b0 PM	41	then
	42	echo ' !!! Herd failed, no Observation:' $1
	43	fi
	44	else
	45	exitcode=$?
	46	if test "$exitcode" -eq 124
	47	then
	48	exitmsg="timed out"
69d476c5 PM	49	elif test "$exitcode" -eq 253
	50	then
	51	exitmsg=
b02eb5b0 PM	52	else
	53	exitmsg="failed, exit code $exitcode"
	54	fi
69d476c5 PM	55	if test -n "$exitmsg"
	56	then
	57	echo ' !!! Herd' ${exitmsg}: $1
	58	fi
b02eb5b0 PM	59	fi
	60	}
	61	___EOF___
	62	done
	63
	64	awk -v q="'" -v b='\\' '
	65	{
	66	print "echo `grep " q "^P[0-9]" b "+(" q " " $0 " \| tail -1 \| sed -e " q "s/^P" b "([0-9]" b "+" b ")(.*$/" b "1/" q "` " $0
69d476c5 PM	67	}' \| sh \| sort -k1n \|
69d476c5 PM	68	awk -v dq='"' -v hwfnseg="$hwfnseg" -v ncpu="$LKMM_JOBS" -v t="$T" '
b02eb5b0	69	{
69d476c5 PM	70	print "if test -z " dq hwfnseg dq " \|\| scripts/simpletest.sh " dq $2 dq
	71	print "then"
	72	print "\techo runtest " dq $2 dq " " hwfnseg " >> " t "/" NR % ncpu ".sh";
	73	print "fi"
b02eb5b0 PM	74	}
	75
	76	END {
	77	for (i = 0; i < ncpu; i++) {
	78	print "sh " t "/" i ".sh > " t "/" i ".sh.out 2>&1 &";
	79	close(t "/" i ".sh");
	80	}
	81	print "wait";
	82	}' \| sh
	83	cat $T/*.sh.out
	84	if grep -q '!!!' $T/*.sh.out
	85	then
	86	echo ' ---' Summary: 1>&2
	87	grep '!!!' $T/*.sh.out 1>&2
	88	nfail="`grep '!!!' $T/*.sh.out \| wc -l`"
37c600a3	89	echo 'Number of failed herd7 runs (e.g., timeout): ' $nfail 1>&2
b02eb5b0 PM	90	exit 1
	91	else
	92	echo All runs completed successfully. 1>&2
	93	exit 0
	94	fi