Paul E. McKenney | b02eb5b | 2018-12-03 15:04:50 -0800 | [diff] [blame] | 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 | |
| 41 | T=/tmp/initlitmushist.sh.$$ |
| 42 | trap 'rm -rf $T' 0 |
| 43 | mkdir $T |
| 44 | |
| 45 | if test -d litmus |
| 46 | then |
| 47 | : |
| 48 | else |
| 49 | git clone https://github.com/paulmckrcu/litmus |
| 50 | ( cd litmus; git checkout origin/master ) |
| 51 | fi |
| 52 | |
| 53 | # Create any new directories that have appeared in the github litmus |
| 54 | # repo since the last run. |
| 55 | if test "$LKMM_DESTDIR" != "." |
| 56 | then |
| 57 | find litmus -type d -print | |
| 58 | ( cd "$LKMM_DESTDIR"; sed -e 's/^/mkdir -p /' | sh ) |
| 59 | fi |
| 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). |
| 63 | find litmus -name '*.litmus' -exec grep -l -m 1 "^C " {} \; > $T/list-C |
| 64 | xargs < $T/list-C -r grep -L "^P${LKMM_PROCS}" > $T/list-C-short |
| 65 | |
| 66 | scripts/runlitmushist.sh < $T/list-C-short |
| 67 | |
| 68 | exit 0 |