annotate example/Miller_Rabin/time.sh @ 1716:c12df61ded45 draft

fix gpu profile. not work yet
author Yuhi TOMARI <yuhi@cr.ie.u-ryukyu.ac.jp>
date Tue, 15 Oct 2013 17:21:10 +0900
parents 64e15fee0397
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1274
64e15fee0397 add shell script that measure time
Daichi Toma <toma@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 #!/bin/zsh
64e15fee0397 add shell script that measure time
Daichi Toma <toma@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
64e15fee0397 add shell script that measure time
Daichi Toma <toma@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 ./run.sh $* |& awk '{cpu[$2]+=$12; total[$2]++;} END {for(i in cpu){ ans=cpu[i]/total[i]; print "CPU" i "\t" ans }}'
64e15fee0397 add shell script that measure time
Daichi Toma <toma@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4