teems/docker/repro

#!/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