diff options
Diffstat (limited to 'benchmark.sh')
-rwxr-xr-x | benchmark.sh | 25 |
1 files changed, 0 insertions, 25 deletions
diff --git a/benchmark.sh b/benchmark.sh deleted file mode 100755 index cf7491a..0000000 --- a/benchmark.sh +++ /dev/null @@ -1,25 +0,0 @@ -#!/bin/bash - -set -euo pipefail - -chunkdir="$1" -bin="$2" - -cleanup() -{ - echo "emptying $chunkdir" 1>&2 - find "$chunkdir" -mindepth 1 -delete -} - -cleanup - -echo "running benchmarks for various sizes" -for n in 1 10 100 1000 10000 100000 1000000 -do - echo "size $n" 1>&2 - for prog in benchmark-null benchmark-index benchmark-store benchmark-indexedstore - do - /usr/bin/time --format "$prog $n %e" "$bin/$prog" "$chunkdir" "$n" 2>&1 - cleanup - done -done | awk '{ printf "%-30s %10s %10s\n", $1, $2, $3 }' |