Tempus: Probabilistic Network Latency Verification

This repository provides the instructions and files required to run the experiments in our paper. We used Julia to implement Tempus and ran our experiments on Ubuntu machines (version: 18.04) so all the commands in this repository are for Ubuntu. To run the experiments, you should follow the following steps:

• Step 1: Installing Julia (~ 10 minutes)
• Step 2: Cloning the repository (~ 5 minutes)
• Step 3: Installing the dependencies (~ 5 minutes)
• Step 4: Running the experiments (This step can take from a few hours to a few days depending on the experiments that you run)

Step 1: Installing Julia

For our experiments, we use Julia version 1.7.3. To install it, run the following commands:

wget https://julialang-s3.julialang.org/bin/linux/x64/1.7/julia-1.7.3-linux-x86_64.tar.gz
tar zxvf julia-1.7.3-linux-x86_64.tar.gz

For the next line, we are assuming that you have extracted Julia in $HOME. If this is not true, replace $HOME with the path you have extracted the Julia files to.

echo "export PATH=$HOME/julia-1.7.3/bin:\$PATH" >> ~/.bashrc
source ~/.bashrc

To verify that Julia is installed, run julia --version. Expected output:

julia version 1.7.3

Step 2: Cloning the repository

To clone the repository, run the following script:

git clone https://github.com/hopnets/Tempus.git

Step 3: Installing the dependencies

We provide a shell script (install_pkg.sh) for installing the dependencies. To run the script, please execute the following command:

bash install_pkg.sh

Step 4: Running the experiments

We run script files for running different groups of experiments. Below, you can find the name of these files and their corresponding group:

• Running Tempus on fat-tree topologies under various optimization settings
  • fattree_tcp_base_100G_run.sh
  • fattree_tcp_ecs_100G_run.sh
  • fattree_tcp_paths_100G_run.sh
  • fattree_tcp_optimal_100G_run.sh
• Running Tempus on WAN topologies under different optimization settings
  • wan_tcp_base_100G_run.sh
  • wan_tcp_ecs_100G_run.sh
  • wan_tcp_paths_100G_run.sh
  • wan_tcp_optimal_100G_run.sh
• Running Tempus with TCP and DCTCP under various latency thresholds
  • fattree16_dctcp_optimal_100G_latencythresh.sh
• Running Tempus with analytical latency distributions
  • fattree_tcp_optimal_100G_run_uniform.sh
  • wan_tcp_optimal_100G_run_uniform.sh
• Measuring the memory footprint of various optimization schemes
  • fattree32_tcp_optimal_100G_mem_footprint.sh
• Measuring the runtime of Tempus under distinct δ values
  • fattree16_tcp_optimal_100G_funcacc.sh

To run an experiment, execute bash XXX.sh and replace "XXX" with the name of the experiment file. These experiments generate output files in the ./tempus_out directory.