repro 1.8 KB

1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950
  1. #!/bin/bash
  2. # cd into the directory containing this script (from the bash faq 028)
  3. if [[ $BASH_SOURCE = */* ]]; then
  4. cd -- "${BASH_SOURCE%/*}/" || exit
  5. fi
  6. DOCKER_ENV="env"
  7. if [ "$OVERLOAD_CORES" != "" ]; then
  8. DOCKER_ENV="$DOCKER_ENV OVERLOAD_CORES=$OVERLOAD_CORES"
  9. fi
  10. if [ "$SHRINK_TO_MEM" != "" ]; then
  11. DOCKER_ENV="$DOCKER_ENV SHRINK_TO_MEM=$SHRINK_TO_MEM"
  12. fi
  13. ./start-docker
  14. docker exec -it ${TEEMS_DOCKER_PREFIX}teems $DOCKER_ENV ./run_all_experiments.py
  15. docker exec -it ${TEEMS_DOCKER_PREFIX}teems ./logs_to_csv.py Experiments/ID Experiments/id-channel.csv
  16. docker exec -it ${TEEMS_DOCKER_PREFIX}teems ./logs_to_csv.py Experiments/Token Experiments/token-channel.csv
  17. docker cp ${TEEMS_DOCKER_PREFIX}teems:/root/teems/Experiments/id-channel.csv id-channel.csv
  18. docker cp ${TEEMS_DOCKER_PREFIX}teems:/root/teems/Experiments/token-channel.csv token-channel.csv
  19. echo
  20. echo "=== Figure 7 ID channel ==="
  21. echo
  22. ( head -1 id-channel.csv ; grep ,4,4,256 id-channel.csv | sort -t, -n -k1,1 ) | cut -d, -f1-7
  23. echo
  24. echo "=== Figure 7 Token channel ==="
  25. echo
  26. ( head -1 token-channel.csv ; grep ,4,4,256 token-channel.csv | sort -t, -n -k1,1 ) | cut -d, -f1-7
  27. echo
  28. echo "=== Figure 8 ID channel ==="
  29. echo
  30. ( head -1 id-channel.csv ; grep ,1,256 id-channel.csv | sort -t, -n -k2,2 ) | cut -d, -f1-7
  31. echo
  32. echo "=== Figure 8 Token channel ==="
  33. echo
  34. ( head -1 token-channel.csv ; grep ,1,256 token-channel.csv | sort -t, -n -k2,2 ) | cut -d, -f1-7
  35. echo
  36. if [ "$OVERLOAD_CORES" == "1" ]; then
  37. echo "*** Reminder: OVERLOAD_CORES is set to 1; performance may be lowered"
  38. echo "*** as compared to the values reported in the paper"
  39. echo
  40. fi
  41. if [ "$SHRINK_TO_MEM" != "" ]; then
  42. echo "*** Reminder: SHRINK_TO_MEM is set to 1; experiments may be smaller"
  43. echo "*** than the ones reported in the paper"
  44. echo
  45. fi
  46. ./stop-docker >/dev/null