1 #!/bin/sh 1 #!/bin/sh
2 # SPDX-License-Identifier: GPL-2.0+ 2 # SPDX-License-Identifier: GPL-2.0+
3 # 3 #
4 # Parse arguments common to the various script 4 # Parse arguments common to the various scripts.
5 # 5 #
6 # . scripts/parseargs.sh 6 # . scripts/parseargs.sh
7 # 7 #
8 # Include into other Linux kernel tools/memory 8 # Include into other Linux kernel tools/memory-model scripts.
9 # 9 #
10 # Copyright IBM Corporation, 2018 10 # Copyright IBM Corporation, 2018
11 # 11 #
12 # Author: Paul E. McKenney <paulmck@linux.ibm.c 12 # Author: Paul E. McKenney <paulmck@linux.ibm.com>
13 13
14 T=/tmp/parseargs.sh.$$ 14 T=/tmp/parseargs.sh.$$
15 mkdir $T 15 mkdir $T
16 16
17 # Initialize one parameter: initparam name def 17 # Initialize one parameter: initparam name default
18 initparam () { 18 initparam () {
19 echo if test -z '"$'$1'"' > $T/s 19 echo if test -z '"$'$1'"' > $T/s
20 echo then >> $T/s 20 echo then >> $T/s
21 echo $1='"'$2'"' >> $T/s 21 echo $1='"'$2'"' >> $T/s
22 echo export $1 >> $T/s 22 echo export $1 >> $T/s
23 echo fi >> $T/s 23 echo fi >> $T/s
24 echo $1_DEF='$'$1 >> $T/s 24 echo $1_DEF='$'$1 >> $T/s
25 . $T/s 25 . $T/s
26 } 26 }
27 27
28 initparam LKMM_DESTDIR "." 28 initparam LKMM_DESTDIR "."
29 initparam LKMM_HERD_OPTIONS "-conf linux-kerne 29 initparam LKMM_HERD_OPTIONS "-conf linux-kernel.cfg"
30 initparam LKMM_HW_MAP_FILE "" 30 initparam LKMM_HW_MAP_FILE ""
31 initparam LKMM_JOBS `getconf _NPROCESSORS_ONLN 31 initparam LKMM_JOBS `getconf _NPROCESSORS_ONLN`
32 initparam LKMM_PROCS "3" 32 initparam LKMM_PROCS "3"
33 initparam LKMM_TIMEOUT "1m" 33 initparam LKMM_TIMEOUT "1m"
34 34
35 scriptname=$0 35 scriptname=$0
36 36
37 usagehelp () { 37 usagehelp () {
38 echo "Usage $scriptname [ arguments ]" 38 echo "Usage $scriptname [ arguments ]"
39 echo " --destdir path (place for 39 echo " --destdir path (place for .litmus.out, default by .litmus)"
40 echo " --herdopts -conf linux-ker 40 echo " --herdopts -conf linux-kernel.cfg ..."
41 echo " --hw AArch64" 41 echo " --hw AArch64"
42 echo " --jobs N (number of jobs, 42 echo " --jobs N (number of jobs, default one per CPU)"
43 echo " --procs N (litmus tests wi 43 echo " --procs N (litmus tests with at most this many processes)"
44 echo " --timeout N (herd7 timeout 44 echo " --timeout N (herd7 timeout (e.g., 10s, 1m, 2hr, 1d, '')"
45 echo "Defaults: --destdir '$LKMM_DESTD 45 echo "Defaults: --destdir '$LKMM_DESTDIR_DEF' --herdopts '$LKMM_HERD_OPTIONS_DEF' --hw '$LKMM_HW_MAP_FILE' --jobs '$LKMM_JOBS_DEF' --procs '$LKMM_PROCS_DEF' --timeout '$LKMM_TIMEOUT_DEF'"
46 exit 1 46 exit 1
47 } 47 }
48 48
49 usage () { 49 usage () {
50 usagehelp 1>&2 50 usagehelp 1>&2
51 } 51 }
52 52
53 # checkarg --argname argtype $# arg mustmatch 53 # checkarg --argname argtype $# arg mustmatch cannotmatch
54 checkarg () { 54 checkarg () {
55 if test $3 -le 1 55 if test $3 -le 1
56 then 56 then
57 echo $1 needs argument $2 matc 57 echo $1 needs argument $2 matching \"$5\"
58 usage 58 usage
59 fi 59 fi
60 if echo "$4" | grep -q -e "$5" 60 if echo "$4" | grep -q -e "$5"
61 then 61 then
62 : 62 :
63 else 63 else
64 echo $1 $2 \"$4\" must match \ 64 echo $1 $2 \"$4\" must match \"$5\"
65 usage 65 usage
66 fi 66 fi
67 if echo "$4" | grep -q -e "$6" 67 if echo "$4" | grep -q -e "$6"
68 then 68 then
69 echo $1 $2 \"$4\" must not mat 69 echo $1 $2 \"$4\" must not match \"$6\"
70 usage 70 usage
71 fi 71 fi
72 } 72 }
73 73
74 while test $# -gt 0 74 while test $# -gt 0
75 do 75 do
76 case "$1" in 76 case "$1" in
77 --destdir) 77 --destdir)
78 checkarg --destdir "(path to d 78 checkarg --destdir "(path to directory)" "$#" "$2" '.\+' '^--'
79 LKMM_DESTDIR="$2" 79 LKMM_DESTDIR="$2"
80 mkdir $LKMM_DESTDIR > /dev/nul 80 mkdir $LKMM_DESTDIR > /dev/null 2>&1
81 if ! test -e "$LKMM_DESTDIR" 81 if ! test -e "$LKMM_DESTDIR"
82 then 82 then
83 echo "Cannot create di 83 echo "Cannot create directory --destdir '$LKMM_DESTDIR'"
84 usage 84 usage
85 fi 85 fi
86 if test -d "$LKMM_DESTDIR" -a 86 if test -d "$LKMM_DESTDIR" -a -x "$LKMM_DESTDIR"
87 then 87 then
88 : 88 :
89 else 89 else
90 echo "Directory --dest 90 echo "Directory --destdir '$LKMM_DESTDIR' insufficient permissions to create files"
91 usage 91 usage
92 fi 92 fi
93 shift 93 shift
94 ;; 94 ;;
95 --herdopts|--herdopt) 95 --herdopts|--herdopt)
96 checkarg --destdir "(herd7 opt 96 checkarg --destdir "(herd7 options)" "$#" "$2" '.*' '^--'
97 LKMM_HERD_OPTIONS="$2" 97 LKMM_HERD_OPTIONS="$2"
98 shift 98 shift
99 ;; 99 ;;
100 --hw) 100 --hw)
101 checkarg --hw "(.map file arch 101 checkarg --hw "(.map file architecture name)" "$#" "$2" '^[A-Za-z0-9_-]\+' '^--'
102 LKMM_HW_MAP_FILE="$2" 102 LKMM_HW_MAP_FILE="$2"
103 shift 103 shift
104 ;; 104 ;;
105 -j[1-9]*) 105 -j[1-9]*)
106 njobs="`echo $1 | sed -e 's/^- 106 njobs="`echo $1 | sed -e 's/^-j//'`"
107 trailchars="`echo $njobs | sed 107 trailchars="`echo $njobs | sed -e 's/[0-9]\+\(.*\)$/\1/'`"
108 if test -n "$trailchars" 108 if test -n "$trailchars"
109 then 109 then
110 echo $1 trailing chara 110 echo $1 trailing characters "'$trailchars'"
111 usagehelp 111 usagehelp
112 fi 112 fi
113 LKMM_JOBS="`echo $njobs | sed 113 LKMM_JOBS="`echo $njobs | sed -e 's/^\([0-9]\+\).*$/\1/'`"
114 ;; 114 ;;
115 --jobs|--job|-j) 115 --jobs|--job|-j)
116 checkarg --jobs "(number)" "$# 116 checkarg --jobs "(number)" "$#" "$2" '^[1-9][0-9]*$' '^--'
117 LKMM_JOBS="$2" 117 LKMM_JOBS="$2"
118 shift 118 shift
119 ;; 119 ;;
120 --procs|--proc) 120 --procs|--proc)
121 checkarg --procs "(number)" "$ 121 checkarg --procs "(number)" "$#" "$2" '^[0-9]\+$' '^--'
122 LKMM_PROCS="$2" 122 LKMM_PROCS="$2"
123 shift 123 shift
124 ;; 124 ;;
125 --timeout) 125 --timeout)
126 checkarg --timeout "(timeout s 126 checkarg --timeout "(timeout spec)" "$#" "$2" '^\([0-9]\+[smhd]\?\|\)$' '^--'
127 LKMM_TIMEOUT="$2" 127 LKMM_TIMEOUT="$2"
128 shift 128 shift
129 ;; 129 ;;
130 --) 130 --)
131 shift 131 shift
132 break 132 break
133 ;; 133 ;;
134 *) 134 *)
135 echo Unknown argument $1 135 echo Unknown argument $1
136 usage 136 usage
137 ;; 137 ;;
138 esac 138 esac
139 shift 139 shift
140 done 140 done
141 if test -z "$LKMM_TIMEOUT" 141 if test -z "$LKMM_TIMEOUT"
142 then 142 then
143 LKMM_TIMEOUT_CMD=""; export LKMM_TIMEO 143 LKMM_TIMEOUT_CMD=""; export LKMM_TIMEOUT_CMD
144 else 144 else
145 LKMM_TIMEOUT_CMD="timeout $LKMM_TIMEOU 145 LKMM_TIMEOUT_CMD="timeout $LKMM_TIMEOUT"; export LKMM_TIMEOUT_CMD
146 fi 146 fi
147 rm -rf $T 147 rm -rf $T
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.