tools/memory-model/scripts/runlitmushist.sh

Source file repositories/reference/linux-study-clean/tools/memory-model/scripts/runlitmushist.sh

File Facts

System
Linux kernel
Corpus path
tools/memory-model/scripts/runlitmushist.sh
Extension
.sh
Size
2138 bytes
Lines
95
Domain
Support Tooling And Documentation
Bucket
tools
Inferred role
Support Tooling And Documentation: tools
Status
atlas-only

Why This File Exists

Repository support layer: documentation, build tooling, samples, user-space helper tools, generated initramfs support, licenses, and validation utilities.

Dependency Surface

Detected Declarations

Annotated Snippet

#!/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

Annotation

Implementation Notes