view paper/quicksort_for_ppc/mc/benchmark.sh @ 10:3d9addf62d0b

organized repository.
author kent <kent@cr.ie.u-ryukyu.ac.jp>
date Tue, 16 Feb 2010 14:35:36 +0900
parents
children
line wrap: on
line source

#!/usr/bin/env zsh

time=/usr/bin/time
QS=./quicksort_cbc
size=10000000
seed=123456789
num=10


max=0
min=99999
count=0
amount=0

echo "size of array = $size"
while [[ $count -lt $num ]]; do
	usertime=$( $time -p $QS -n $size -s $seed 2>&1 >& - |grep '^user'|tr -s " "|cut -f2 -d" ")
	#usertime=$(printf "%d" $usertime)
	echo $usertime

	amount=$(($usertime+$amount))
	if [[ $usertime -lt $min ]]; then
	    min=$usertime
	fi
	if [[ $usertime -gt $max ]]; then
	    max=$usertime
	fi
	#seed=$seed[1,-2]
	seed=$(($seed+10))
	count=$(($count+1))
done

echo "amount time = $amount"
echo "maxtime = $max"
echo "mintime = $min"

amount=$(($amount - $max - $min))
echo "amount time - mintime - maxtime = $amount"
count=$(($count-2))
echo "count = $count"
averagetime=$(($amount/($count)))
echo "average time = $averagetime"