8 TIME=${TIME:-/usr/bin/time}
10 FORMATS=${FORMATS:-png svg eps}
12 NAMES=${NAMES:-`echo ./micro/*.d | xargs -n1 sh -c 'basename $0 .d'` dil}
14 CPUS=${CPUS:-`grep '^processor' /proc/cpuinfo | wc -l`}
16 PLOTONLY=${PLOTONLY:-0}
24 stats_file=/tmp/stats.csv
28 # conservative=1:fork=0:early_collect=0:eager_alloc=0 \
29 # conservative=0:fork=0:early_collect=0:eager_alloc=0 \
30 # conservative=0:fork=1:early_collect=0:eager_alloc=0 \
31 # conservative=0:fork=1:early_collect=1:eager_alloc=0 \
32 # conservative=0:fork=1:early_collect=0:eager_alloc=1 \
33 # conservative=0:fork=1:early_collect=1:eager_alloc=1
34 for min_free in 0 5 10 15 20 25 30 35 40 45 50
37 if [ "$opts" = "basic" ]
42 export D_GC_OPTS="min_free=$min_free" #:collect_stats_file=$stats_file"
43 opts="-min_free=$min_free"
45 #make -srj4 micro-gc-build dil-gc-build GC=$gc
48 prog="./build/$gc/bin/$name"
49 dst="./results/min_free-timemem-$name-$gc${opts}-${CPUS}cpu"
51 eval "args=\"\$args_$name\""
53 test ${#args} -gt 40 &&
54 pa="`echo $args | cut -b1-40`..."
57 echo -n " RUN $name $pa > $dst: "
58 echo "Run time (sec),Memory usage (KiB)" > $dst
61 test $(($i % 5)) -eq 0 &&
65 $TIME -f'%e,%M' -a -o $dst \
66 $prog $args > /dev/null
67 #mv $stats_file $dst-$i.csv