Main repro script

docker/repro

@@ -0,0 +1,40 @@
+#!/bin/bash
+
+# cd into the directory containing this script (from the bash faq 028)
+if [[ $BASH_SOURCE = */* ]]; then
+  cd -- "${BASH_SOURCE%/*}/" || exit
+fi
+
+DOCKER_ENV="env"
+if [ "$OVERLOAD_CORES" != "" ]; then
+    DOCKER_ENV="$DOCKER_ENV OVERLOAD_CORES=$OVERLOAD_CORES"
+fi
+if [ "$SHRINK_TO_MEM" != "" ]; then
+    DOCKER_ENV="$DOCKER_ENV SHRINK_TO_MEM=$SHRINK_TO_MEM"
+fi
+
+./start-docker
+docker exec -it ${TEEMS_DOCKER_PREFIX}teems $DOCKER_ENV ./run_all_experiments.py
+docker exec -it ${TEEMS_DOCKER_PREFIX}teems ./logs_to_csv.py Experiments/Public Experiments/public.csv
+docker exec -it ${TEEMS_DOCKER_PREFIX}teems ./logs_to_csv.py Experiments/Private Experiments/private.csv
+docker cp ${TEEMS_DOCKER_PREFIX}teems:/root/teems/Experiments/public.csv public.csv
+docker cp ${TEEMS_DOCKER_PREFIX}teems:/root/teems/Experiments/private.csv private.csv
+echo
+echo "=== Figure 5 Public channel ==="
+echo
+( head -1 public.csv ; grep ,4,4,256 public.csv | sort -t, -n -k1,1 ) | cut -d, -f1-7
+echo
+echo "=== Figure 5 Private channel ==="
+echo
+( head -1 private.csv ; grep ,4,4,256 private.csv | sort -t, -n -k1,1 ) | cut -d, -f1-7
+echo
+echo "=== Figure 6 Public channel ==="
+echo
+( head -1 public.csv ; grep ^1048576 public.csv | grep ,1,256 | sort -t, -n -k2,2 ) | cut -d, -f1-7
+echo
+echo "=== Figure 6 Private channel ==="
+echo
+( head -1 private.csv ; grep ^1048576 private.csv | grep ,1,256 | sort -t, -n -k2,2 ) | cut -d, -f1-7
+echo
+
+./stop-docker >/dev/null