tools/memory-model/scripts/runlitmushist.sh

   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 <paulmck@linux.ibm.com>
  17
  18 . scripts/hwfnseg.sh
  19
  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
  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___
  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
  67 }' | sh | sort -k1n |
  68 awk -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
  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`"
  89         echo 'Number of failed herd7 runs (e.g., timeout): ' $nfail 1>&2
  90         exit 1
  91 else
  92         echo All runs completed successfully. 1>&2
  93         exit 0
  94 fi