README.md

   1 # Load image:
   2 docker image load -i tsan11-tsan11rec-image.tar.gz
   3
   4 # Create the container:
   5 docker create -it --name tsan11-tsan11rec-container tsan11-tsan11rec-image:asplos
   6
   7 # Start the container
   8 docker start -ia tsan11-tsan11rec-container
   9
  10 # To find the IP address of the container:
  11 $ docker inspect tsan11-tsan11rec-container
  12
  13 # Then use scp to copy the scripts directory in the tsan11-tsan11rec-docker repository to the container (replace 172.17.0.2 by the container’s IP address):
  14 $ scp -i insecure\_key -r scripts root@172.17.0.2:/data
  15
  16 # Logging into the container as root (replace 172.17.0.2 by the container’s IP address):
  17 $ ssh -i insecure\_key root@172.17.0.2