From: Bart Van Assche Date: Thu, 29 May 2008 08:34:27 +0000 (+0000) Subject: Added to repository. X-Git-Tag: svn/VALGRIND_3_4_0~543 X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=1d9c8f92d5873d1b3ef0465c5d7e0fca4a9e63d5;p=thirdparty%2Fvalgrind.git Added to repository. git-svn-id: svn://svn.valgrind.org/valgrind/trunk@8141 --- diff --git a/exp-drd/scripts/run-splash2 b/exp-drd/scripts/run-splash2 new file mode 100755 index 0000000000..cdfc3993b7 --- /dev/null +++ b/exp-drd/scripts/run-splash2 @@ -0,0 +1,70 @@ +#!/bin/bash + +######################## +# Function definitions # +######################## + +# Read a stream of numbers from stdin (one per line), and print the average +# and standard deviation. +function avgstddev { + awk '{n++;sum+=$1;sumsq+=$1*$1}END{print sum/n,sqrt(sumsq/n-sum*sum/n/n)}' +} + +function run_test { + local tmp avg1=1 stddev1=1 avg2=1 stddev2=1 + + tmp="/tmp/test-timing.$$" + echo "$@" + for ((i=0;i<3;i++)) + do + /usr/bin/time --format="%e" "$@" 2>&1 | tail -n 1 + done | avgstddev > "$tmp" + read avg1 stddev1 < "$tmp" + echo "Average time: ${avg1} +/- ${stddev1} seconds" + + echo "$VG --tool=exp-drd $@" + for ((i=0;i<3;i++)) + do + /usr/bin/time --format="%e" $VG --tool=exp-drd "$@" 2>&1 | tail -n 1 + done | avgstddev > "$tmp" + read avg2 stddev2 < "$tmp" + echo "Average time: ${avg2} +/- ${stddev2} seconds" + + awk "END{print "'"'"Ratio ="'"'", ${avg2}/${avg1}, "'"'"+/-"'"'", ${avg2}/${avg1}*(${stddev1}/${avg1}+${stddev2}/${avg2})}"