home *** CD-ROM | disk | FTP | other *** search
- # $Header: BSDtime.awk,v 3.4 87/06/22 14:27:07 kjmcdonell Beta $
- /real/ { if (!fail) {
- real+=$1; r2+=$1*$1; user+=$3; sys+=$5; c=$3+$5; c2+=c*c
- ok++
- }
- iter++; fail=0; next
- }
- { print "** Iteration ",iter+1," Failed: ",$0; fail=1 }
- END {
- if (fail) iter++
- if (ok != iter) {
- printf "For %d successful iterations from %d attempts ...\n",ok,iter
- iter=ok
- }
- if (iter > 0) {
- printf "Elapsed Time: %.2f seconds",real/iter
- if (iter > 1) printf " (variance %.3f)",(r2-2*real*real/iter+real*real/iter)/(iter-1)
- cpu=sys+user
- printf "\nCPU Time: %.2f seconds [ %.2fu + %.2fs ]",cpu/iter,user/iter,sys/iter
- if (iter > 1) printf " (variance %.3f)",(c2-2*cpu*cpu/iter+cpu*cpu/iter)/(iter-1)
- print
- } else {
- print "Elapsed Time: -- no measured results!!"
- print "CPU Time: -- no measured results!!"
- }
- }
-