Small scripting cleanups

- Add a unified runner script for DIS
- Remove explicit case study termination script
  (do `kill ${cat pids.txt}` instead)
- Auto-create bin directories for TACLe
- Add the python cache directory to the gitignore
- Tweak input path representation in benchmark name files

1 files changed, 64 insertions, 0 deletions

diff --git a/run_all_dis.sh b/run_all_dis.sh
new file mode 100755
index 0000000..588538d
--- /dev/null
+++ b/run_all_dis.sh
@@ -0,0 +1,64 @@
+#!/bin/bash
+# Copyright 2020 Joshua Bakita
+# Runs DIS in every configuration needed
+# for the paper and schedulability studies
+
+maxJobs=$1
+runID=$2
+
+if [ $# -lt 2 ]; then
+    echo "Usage $0 <number of iterations> <run ID>"
+    exit
+fi
+if [[ "$EUID" != 0 ]]; then
+    echo "You need to be root to enable spatial isolation!"
+    exit
+fi
+date
+
+# Run the pairs baseline and some comparisons to examine the effect of less cache
+echo "Building benchmarks in unpaired configuration..."
+cd dis
+make baseline -j30 > /dev/null # Suppress noisy output
+echo "Done. Running experiments..."
+# Full L3, full L2 - xi is the baseline for the pairs
+baseXI=dis/$(date +"%b%d-%H")-c-xi-$runID.txt
+echo "" | ../run_bench.sh -m base -p 15 -l $maxJobs -b dis2MbInNames.txt -B -I xi $runID
+# Half L3, full L2 - i3 sees effect of half L3
+baseI3=dis/$(date +"%b%d-%H")-c-i3-$runID.txt
+echo "" | ../run_bench.sh -m base -p 15 -l $maxJobs -b dis2MbInNames.txt -B -I i3 $runID
+# Half L3, half L2 - additional effect of half L2
+baseI=dis/$(date +"%b%d-%H")-c-i-$runID.txt
+echo "" | ../run_bench.sh -m base -p 15 -l $maxJobs -b dis2MbInNames.txt -B -I i $runID
+date
+
+# Run the Level-C pairs
+pairC=dis/$(date +"%b%d-%H")-c-xi-async-$runID.txt
+echo "" | ../run_bench.sh -m pair -p 15 -P 31 -l $maxJobs -b dis2MbInNames.txt -B -I xi -A $runID
+date
+
+# Run the Level-A/-B pairs
+echo "Building benchmarks in paired configuration..."
+make pairs -j30 > /dev/null # Suppress noisy output
+echo "Done. Continuing experiments..."
+# No cache isolation
+pairXI=dis/$(date +"%b%d-%H")-c-xi-$runID"-A.txt and -B.txt"
+echo "" | ../run_bench.sh -m pair -p 15 -P 31 -l $maxJobs -b disPairs2MbInNames.txt -B -I xi $runID
+# Shared L2, split L3
+pairI3=dis/$(date +"%b%d-%H")-c-i3-$runID"-A.txt and -B.txt"
+echo "" | ../run_bench.sh -m pair -p 15 -P 31 -l $maxJobs -b disPairs2MbInNames.txt -B -I i3 $runID
+# Split L2, split L3
+pairI=dis/$(date +"%b%d-%H")-c-i-$runID"-A.txt and -B.txt"
+echo "" | ../run_bench.sh -m pair -p 15 -P 31 -l $maxJobs -b disPairs2MbInNames.txt -B -I i $runID
+date
+
+echo "==== DONE ===="
+echo "Results are in:"
+echo "- $baseXI"
+echo "- $baseI3"
+echo "- $baseI"
+echo "- $pairXI"
+echo "- $pairI3"
+echo "- $pairI"
+echo "- $pairC"
+