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