projects/linux·blob master · refs

94 lines · 2.1 KiB

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#
16# Author: Paul E. McKenney <[email protected]>
17
18. scripts/hwfnseg.sh
19
20T=/tmp/runlitmushist.sh.$$
21trap 'rm -rf $T' 0
22mkdir $T
23
24if test -d litmus
25then
26 :
27else
28 echo Directory \"litmus\" missing, aborting run.
29 exit 1
30fi
31
32# Prefixes for per-CPU scripts
33for ((i=0;i<$LKMM_JOBS;i++))
34do
35 echo T=$T >> $T/$i.sh
36 cat << '___EOF___' >> $T/$i.sh
37 runtest () {
38 if scripts/runlitmus.sh $1
39 then
40 if ! grep -q '^Observation ' $LKMM_DESTDIR/$1$2.out
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"
49 elif test "$exitcode" -eq 253
50 then
51 exitmsg=
52 else
53 exitmsg="failed, exit code $exitcode"
54 fi
55 if test -n "$exitmsg"
56 then
57 echo ' !!! Herd' ${exitmsg}: $1
58 fi
59 fi
60 }
61___EOF___
62done
63
64awk -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
67}' | sh | sort -k1n |
68awk -v dq='"' -v hwfnseg="$hwfnseg" -v ncpu="$LKMM_JOBS" -v t="$T" '
69{
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"
74}
75
76END {
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
83cat $T/*.sh.out
84if grep -q '!!!' $T/*.sh.out
85then
86 echo ' ---' Summary: 1>&2
87 grep '!!!' $T/*.sh.out 1>&2
88 nfail="`grep '!!!' $T/*.sh.out | wc -l`"
89 echo 'Number of failed herd7 runs (e.g., timeout): ' $nfail 1>&2
90 exit 1
91else
92 echo All runs completed successfully. 1>&2
93 exit 0
94fi