1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
|
#!/bin/sh
# The runs of research 121 (docs/design/020's stage 1), from the repository's
# root, in steps, each under research/guard.py:
# runs.sh build NAME COMMIT pure-serve of COMMIT, with its pure-crypto.so,
# and bfs-run on its core, in ~/.cache/pure-036/NAME
# runs.sh core FIRST LAST bfs-run (100,000 nodes, 1,000,000 edges, 7
# searches) before (1d8c1f1, stage 1's criteria)
# and after, in turns
# runs.sh pairs FIRST LAST as 033's: TPC-C in RAM (W=1, 64 terminals,
# 20 s) and the bank's queries, in turns
# runs.sh counts the bank queries' instructions (025's count.py)
# runs.sh bfs NAME 033's bfs.py on that build (100,000 nodes,
# 1,000,000 edges, 5 searches, 3 rounds)
set -e
here=research/experiments/036-faster-loops
builds=$HOME/.cache/pure-036
day=$(date +%F)
case "$1" in
build)
rm -rf "$builds/src-$2"
git worktree add -f -q --detach "$builds/src-$2" "$3"
make -s -C "$builds/src-$2" build/pure-serve build/pure-crypto.so build/libpure.a
mkdir -p "$builds/$2"
cp "$builds/src-$2/build/pure-serve" "$builds/src-$2/build/pure-crypto.so" "$builds/$2/"
cc -O2 -g -std=c17 -I"$builds/src-$2/core" $here/bfs-run.c "$builds/src-$2/build/libpure.a" -lm -o "$builds/$2/bfs-run"
git worktree remove --force "$builds/src-$2"
../aup/build/aup build research/experiments/033-computing/graph.aup -o "$builds/graph.pmod" ;;
core)
for round in $(seq "$2" "$3"); do
first=before second=after
if [ $((round % 2)) = 0 ]; then first=after second=before; fi
for version in $first $second; do
until awk '{ exit !($1 < 1.5) }' /proc/loadavg; do sleep 10; done
printf '{"version":"%s","round":%s,"run":' $version $round >> "$here/$day-core.jsonl"
python3 research/guard.py --most 2048 -- "$builds/$version/bfs-run" "$builds/graph.pmod" 100000 1000000 7 \
| tail -1 | sed 's/$/}/' >> "$here/$day-core.jsonl"
done
done ;;
pairs)
for round in $(seq "$2" "$3"); do
first=before second=after
if [ $((round % 2)) = 0 ]; then first=after second=before; fi
for version in $first $second; do
until awk '{ exit !($1 < 1.5) }' /proc/loadavg; do sleep 10; done
echo "$round $version $(uptime)" >> "$here/$day-load.txt"
python3 research/guard.py -- python3 benchmarks/tpcc/run.py --serve "$builds/$version/pure-serve" --warehouses 1 \
--check 0 --terminals 64 --sqlite-threads '' --sqlite-group '' --seconds 20 \
> "$here/$day-tpcc-$version-$round.jsonl"
python3 research/guard.py -- python3 benchmarks/bank/queries.py --serve "$builds/$version/pure-serve" \
> "$here/$day-queries-$version-$round.jsonl"
done
done ;;
counts)
python3 research/guard.py -- python3 research/experiments/025-i64-cost/count.py "$builds/before/pure-serve" \
"$builds/after/pure-serve" "$builds/before/pure-serve" "$builds/after/pure-serve" > "$here/$day-counts.jsonl" ;;
bfs)
until awk '{ exit !($1 < 1.5) }' /proc/loadavg; do sleep 10; done
python3 research/guard.py --most 2048 -- python3 research/experiments/033-computing/bfs.py "$builds/$2/pure-serve" \
../aup/build/aup 100000 1000000 5 3 > "$here/$day-bfs-$2.jsonl" ;;
*) echo "runs.sh build NAME COMMIT | core FIRST LAST | pairs FIRST LAST | counts | bfs NAME" >&2
exit 2 ;;
esac
|