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