checkpoint

experiments/Makefile

@@ -88,6 +88,7 @@ EXP_NCP := \
     qemu-corundum-bm-pair \
     qemu-corundum-bm-switched-1 \
     qemu-i40e-bm-mtcp \
+    qemu-ns3-nopaxos \
 
 
 # all experiments in repo

experiments/common-functions.sh

@@ -231,6 +231,10 @@ run_ns3_sequencer() {
         epath="`readlink -f $OUTDIR/eth.$p`"
         ports="$ports --ServerPort=$epath"
     done
+    for p in $4; do
+        epath="`readlink -f $OUTDIR/eth.$p`"
+        ports="$ports --EndhostSequencerPort=$epath"
+    done
 
     $NS3_BASE/cosim-run.sh sequencer sequencer-single-switch-example \
         $ports $4 &>$OUTDIR/ns3_sequencer.$1.log &

experiments/experiments/qemu-ns3-nopaxos-endhost-sequencer.sh

+#!/bin/bash
+
+source common-functions.sh
+
+init_out qemu-ns3-nopaxos $1
+run_corundum_bm c0
+run_corundum_bm r0
+run_corundum_bm r1
+run_corundum_bm r2
+run_corundum_bm es
+sleep 0.5
+run_ns3_sequencer nopaxos "c0" "r0 r1 r2" "es"
+run_qemu es es build/qemu-nopaxos-endhost-sequencer.tar nopaxos
+run_qemu r0 r0 build/qemu-nopaxos-replica-0.tar nopaxos
+sleep 1
+run_qemu r1 r1 build/qemu-nopaxos-replica-1.tar nopaxos
+run_qemu r2 r2 build/qemu-nopaxos-replica-2.tar nopaxos
+sleep 1
+run_qemu c0 c0 build/qemu-nopaxos-client.tar nopaxos
+client_pid=$!
+wait $client_pid
+cleanup

experiments/guests/qemu-nopaxos-endhost-sequencer/run.sh

+#!/bin/bash
+insmod mqnic.ko
+ip link set dev eth0 up
+ip addr add 10.1.0.100/24 dev eth0
+/root/nopaxos/sequencer/sequencer -c /root/sequencer.config
+poweroff

images/nopaxos.json

@@ -53,9 +53,15 @@
       "destination": "/tmp/nopaxos.config",
       "direction": "upload"
     },
+    {
+      "type": "file",
+      "source": "sequencer.config",
+      "destination": "/tmp/nopaxos.config",
+      "direction": "upload"
+    },
     {
       "type": "shell",
-      "inline": ["sudo mv /tmp/nopaxos.config /root/nopaxos.config"]
+      "inline": ["sudo mv /tmp/nopaxos.config /root/nopaxos.config; sudo mv /tmp/sequencer.config /root/sequencer.config"]
     }
   ],
   "variables": {

images/sequencer.config

+interface eth0
+groupaddr 10.1.0.255:12345