1#!/bin/sh
2# SPDX-License-Identifier: GPL-2.0+
3#
4# Runs the C-language litmus tests matching the specified criteria.
5# Generates the output for each .litmus file into a corresponding
6# .litmus.out file, and does not judge the result.
7#
8# sh initlitmushist.sh
9#
10# Run from the Linux kernel tools/memory-model directory.
11# See scripts/parseargs.sh for list of arguments.
12#
13# This script can consume significant wallclock time and CPU, especially as
14# the value of --procs rises.  On a four-core (eight hardware threads)
15# 2.5GHz x86 with a one-minute per-run timeout:
16#
17# --procs wallclock CPU		timeouts	tests
18#	1 0m11.241s 0m1.086s           0	   19
19#	2 1m12.598s 2m8.459s           2	  393
20#	3 1m30.007s 6m2.479s           4	 2291
21#	4 3m26.042s 18m5.139s	       9	 3217
22#	5 4m26.661s 23m54.128s	      13	 3784
23#	6 4m41.900s 26m4.721s         13	 4352
24#	7 5m51.463s 35m50.868s        13	 4626
25#	8 10m5.235s 68m43.672s        34	 5117
26#	9 15m57.80s 105m58.101s       69	 5156
27#      10 16m14.13s 103m35.009s       69         5165
28#      20 27m48.55s 198m3.286s       156         5269
29#
30# Increasing the timeout on the 20-process run to five minutes increases
31# the runtime to about 90 minutes with the CPU time rising to about
32# 10 hours.  On the other hand, it decreases the number of timeouts to 101.
33#
34# Note that there are historical tests for which herd7 will fail
35# completely, for example, litmus/manual/atomic/C-unlock-wait-00.litmus
36# contains a call to spin_unlock_wait(), which no longer exists in either
37# the kernel or LKMM.
38
39. scripts/parseargs.sh
40
41T=/tmp/initlitmushist.sh.$$
42trap 'rm -rf $T' 0
43mkdir $T
44
45if test -d litmus
46then
47	:
48else
49	git clone https://github.com/paulmckrcu/litmus
50	( cd litmus; git checkout origin/master )
51fi
52
53# Create any new directories that have appeared in the github litmus
54# repo since the last run.
55if test "$LKMM_DESTDIR" != "."
56then
57	find litmus -type d -print |
58	( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh )
59fi
60
61# Create a list of the C-language litmus tests with no more than the
62# specified number of processes (per the --procs argument).
63find litmus -name '*.litmus' -print | mselect7 -arch C > $T/list-C
64xargs < $T/list-C -r grep -L "^P${LKMM_PROCS}" > $T/list-C-short
65
66scripts/runlitmushist.sh < $T/list-C-short
67
68exit 0
69