@@ -0,0 +1,930 @@
+#!/usr/bin/env python%0A%0A%0Adevices = %5B%0A        (%22hdd%22, %22/dev/sdc1%22),%0A        (%22ssd-sam%22, %22/dev/sdb1%22),%0A        (%22sdd-intel%22, %22/dev/sdd2%22),%0A        (%22ram%22, %22/dev/loop0%22),%0A        %5D%0A%0Abenches = %5B%0A    (%22smallfile%22, %22./smallfile /tmp/ft%22),%0A    (%22smallsync%22, %22./smallsync /tmp/ft%22),%0A    (%22largefile%22, %22./largefile /tmp/ft%22),%0A    (%22mailbench%22, %22./mailbench.sh /home/alex/sv6 /tmp/ft%22),%0A    (%22app-bench%22, %22./app-bench.sh /home/alex/xv6 /tmp/ft%22),%0A    (%22sqlite%22,    %22./sqlitebench.sh /tmp/ft%22),%0A%5D%0A%0Abenches = %5Bx for x in benches if x%5B0%5D == %22mailbench%22%5D%0A%0Aimport os%0Aimport sys%0A%0Afor d, dev in devices:%0A    for b, bench in benches:%0A        for i in range(1, 6):%0A            name = %22%7B%7D-%7B%7D-%7B%7D%22.format(b, d, i)%0A            cmd = %22perflock ./run-bench.sh %7B0%7D '%7B1%7D' '%7B2%7D' %3E %7B1%7D.log%22.format(dev, name, bench)%0A            print(cmd)%0A            status = os.system(cmd)%0A            if status != 0:%0A                print(%22failed:%22, cmd, file=sys.stderr)%0A%0A%0A

Add script to run benchmarks for paper