#!/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/ID Experiments/id-channel.csv docker exec -it ${TEEMS_DOCKER_PREFIX}teems ./logs_to_csv.py Experiments/Token Experiments/token-channel.csv docker cp ${TEEMS_DOCKER_PREFIX}teems:/root/teems/Experiments/id-channel.csv id-channel.csv docker cp ${TEEMS_DOCKER_PREFIX}teems:/root/teems/Experiments/token-channel.csv token-channel.csv echo echo "=== Figure 7 ID channel ===" echo ( head -1 id-channel.csv ; grep ,4,4,256 id-channel.csv | sort -t, -n -k1,1 ) | cut -d, -f1-7 echo echo "=== Figure 7 Token channel ===" echo ( head -1 token-channel.csv ; grep ,4,4,256 token-channel.csv | sort -t, -n -k1,1 ) | cut -d, -f1-7 echo echo "=== Figure 8 ID channel ===" echo ( head -1 id-channel.csv ; grep ,1,256 id-channel.csv | sort -t, -n -k2,2 ) | cut -d, -f1-7 echo echo "=== Figure 8 Token channel ===" echo ( head -1 token-channel.csv ; grep ,1,256 token-channel.csv | sort -t, -n -k2,2 ) | cut -d, -f1-7 echo if [ "$OVERLOAD_CORES" == "1" ]; then echo "*** Reminder: OVERLOAD_CORES is set to 1; performance may be lowered" echo "*** as compared to the values reported in the paper" echo fi if [ "$SHRINK_TO_MEM" != "" ]; then echo "*** Reminder: SHRINK_TO_MEM is set to 1; experiments may be smaller" echo "*** than the ones reported in the paper" echo fi ./stop-docker >/dev/null