annotate CbC-examples/quicksort/benchmark.sh @ 92:689bf9141c8c

add conv1/benchmark.sh
author Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
date Wed, 04 Jan 2012 02:15:01 +0900
parents 607e6dc322e5
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
43
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 #!/usr/bin/env zsh
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 time=/usr/bin/time
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4 QS=./quicksort_cbc
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 size=10000000
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 seed=123456789
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 num=10
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10 max=0
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 min=99999
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 count=0
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 amount=0
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 echo "size of array = $size"
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 while [[ $count -lt $num ]]; do
92
689bf9141c8c add conv1/benchmark.sh
Nobuyasu Oshiro <dimolto@cr.ie.u-ryukyu.ac.jp>
parents: 43
diff changeset
17 echo "$time -p $QS -n $size -s $seed 2>&1 >& - |grep '^user'|tr -s \" \"|cut -f2 -d\" \" "
43
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 usertime=$( $time -p $QS -n $size -s $seed 2>&1 >& - |grep '^user'|tr -s " "|cut -f2 -d" ")
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 #usertime=$(printf "%d" $usertime)
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 echo $usertime
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 amount=$(($usertime+$amount))
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 if [[ $usertime -lt $min ]]; then
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 min=$usertime
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25 fi
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 if [[ $usertime -gt $max ]]; then
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 max=$usertime
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 fi
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 #seed=$seed[1,-2]
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 seed=$(($seed+10))
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 count=$(($count+1))
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 done
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 echo "amount time = $amount"
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 echo "maxtime = $max"
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 echo "mintime = $min"
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 amount=$(($amount - $max - $min))
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 echo "amount time - mintime - maxtime = $amount"
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 count=$(($count-2))
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 echo "count = $count"
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 averagetime=$(($amount/($count)))
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 echo "average time = $averagetime"
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44
607e6dc322e5 modify quicksort.
kent <kent@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
45