bench: start a benching run

opencompl · May 6, 2024 · cab211b · cab211b
1 parent 6639fae
commit cab211b
Show file tree

Hide file tree

Showing 5 changed files with 144 additions and 254 deletions.
diff --git a/1-runs/1-SKELETON/run-lean-stage-bench-worker.sh b/1-runs/1-SKELETON/run-lean-stage-bench-worker.sh
diff --git a/1-runs/1-SKELETON/run-lean-stage-bench-wrapper.sh b/1-runs/1-SKELETON/run-lean-stage-bench-wrapper.sh
diff --git a/1-runs/1-SKELETON/speedcenter-worker.sh b/1-runs/1-SKELETON/speedcenter-worker.sh
@@ -111,14 +111,15 @@ run_temci_for_kind() {
     elan toolchain link "$LEAN_TOOLCHAIN" "$EXPERIMENTDIR/builds-speedcenter/$kind/build/release/stage2"
     cd "$EXPERIMENTDIR/builds-speedcenter/$kind/tests/bench/" || exit 1
     elan override set "$LEAN_TOOLCHAIN" # set override for temci
-    temci exec --config speedcenter.yaml --out "$outfile_temp" --included_blocks suite # run temci
+    # taskset is preserved across child PIDs: https://stackoverflow.com/a/42941343
+    taskset -c0  temci exec --config speedcenter.yaml --out "$outfile_temp" --included_blocks suite # run temci
     mkdir -p "$EXPERIMENTDIR/outputs/"
     mv "$outfile_temp" "$outfile"
   fi
   local temci_report_outfile="$EXPERIMENTDIR/outputs/temci-report.txt"
   if [ ! -f "${temci_report_outfile}" ]; then
-    temci report "$EXPERIMENTDIR/outputs${KINDS[0]}.speedcenter.bench.yaml" \
-      "$EXPERIMENTDIR/outputs${KINDS[1]}.speedcenter.bench.yaml" > "$temci_report_outfile"
+    temci report "$EXPERIMENTDIR/outputs/${KINDS[0]}.speedcenter.bench.yaml" \
+      "$EXPERIMENTDIR/outputs/${KINDS[1]}.speedcenter.bench.yaml" > "$temci_report_outfile"
   fi
 }