'''forwarding.capabilities_manager ''' '''sts.util.socket_mux.pox_monkeypatcher --snapshot_address=/tmp/snapshot_socket ''' '''openflow.of_01 --address=__address__ --port=__port__''', label='c1', address='127.0.0.1', cwd='pox', snapshot_address="/tmp/snapshot_socket") ], topology_class=MeshTopology, topology_params="num_switches=2", patch_panel_class=BufferedPatchPanel, multiplex_sockets=True, kill_controllers_on_exit=True) peeker = SnapshotPeeker(simulation_config, default_dp_permit=True, pass_through_whitelisted_messages=True) control_flow = EfficientMCSFinder( simulation_config, "experiments/trigger_priority_mismatch_small/events.trace", wait_on_deterministic_values=False, allow_unexpected_messages=True, expected_message_round_window=9999, default_dp_permit=True, pass_through_whitelisted_messages=True, delay_flow_mods=False, invariant_check_name='check_for_flow_entry', bug_signature="", transform_dag=peeker.peek)
restart_cmd= 'ssh onosdev1 "cd ONOS; ./start-onos.sh start"; echo "restarted"; sleep 20' ), ControllerConfig( start_cmd='echo "DUMMY COMMAND"; sleep 1', label='c2', address='192.168.56.12', cwd='/mnt/ahassany/vagrant_onosdev', controller_type='onos', kill_cmd= ' ssh onosdev2 "cd ONOS; ./start-onos.sh stop"; echo "killed"; sleep 5', restart_cmd= 'ssh onosdev2 "cd ONOS; ./start-onos.sh start"; echo "restarted"; sleep 20' ) ], topology_class=MeshTopology, topology_params="num_switches=2", patch_panel_class=BufferedPatchPanel, multiplex_sockets=False, kill_controllers_on_exit=False) control_flow = EfficientMCSFinder( simulation_config, "experiments/db_lock_2014_01_31_10_46_33/events.trace", wait_on_deterministic_values=False, default_dp_permit=False, pass_through_whitelisted_messages=False, delay_flow_mods=False, invariant_check_name='InvariantChecker.check_liveness', bug_signature="")
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ ControllerConfig( start_cmd='./pyretic.py -m p0 -v high pyretic.modules.hub', label='c1', address='127.0.0.1', cwd='../pyretic', kill_cmd= 'ps aux | grep -e pox -e pyretic | grep -v simulator | cut -c 9-15 | xargs kill -9' ) ], topology_class=MeshTopology, topology_params="num_switches=3", patch_panel_class=BufferedPatchPanel, multiplex_sockets=False, kill_controllers_on_exit=True) control_flow = EfficientMCSFinder( simulation_config, "experiments/fuzz_pyretic_mesh_flood_check_loop_with_linkfailure/events.trace", wait_on_deterministic_values=False, delay_flow_mods=True, invariant_check_name='InvariantChecker.python_check_loops', bug_signature="")
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ ControllerConfig( cmdline= './pox.py --verbose openflow.discovery forwarding.l2_multi openflow.of_01 --address=__address__ --port=__port__', address='127.0.0.1', port=6633, cwd='betta') ], topology_class=MeshTopology, topology_params="num_switches=2", patch_panel_class=BufferedPatchPanel, dataplane_trace= "exp/betta_run/dataplane.trace", multiplex_sockets=False) control_flow = EfficientMCSFinder(simulation_config, "exp/betta_run/events.trace", wait_on_deterministic_values=False)
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ControllerConfig(cmdline='./pox.py --verbose --no-cli openflow.of_01 --address=__address__ --port=__port__ sts.syncproto.pox_syncer samples.topo forwarding.l2_multi messenger.messenger samples.nommessenger', address='127.0.0.1', port=6633, cwd='pox', sync='tcp:localhost:18899')], topology_class=MeshTopology, topology_params="num_switches=4", dataplane_trace="dataplane_traces/ping_pong_same_subnet_4_switches.trace") control_flow = EfficientMCSFinder(simulation_config, "input_traces/eugene_epsilon.trace", invariant_check=InvariantChecker.check_liveness, mcs_trace_path="input_traces/eugene_epsilon_mcs_final.trace", extra_log=open("mcs_log.out", "w"), epsilon_seconds=0.25)
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ ControllerConfig( start_cmd= './pox.py --verbose --unthreaded-sh misc.ip_loadbalancer --ip=123.123.1.3 --servers=123.123.2.3,123.123.1.3 sts.util.socket_mux.pox_monkeypatcher openflow.discovery openflow.of_01 --address=__address__ --port=__port__', label='c1', address='127.0.0.1', cwd='dart_pox') ], topology_class=MeshTopology, topology_params="num_switches=3", patch_panel_class=BufferedPatchPanel, multiplex_sockets=True, kill_controllers_on_exit=True) control_flow = EfficientMCSFinder( simulation_config, "experiments/load_balancer_fuzzer/events.trace", wait_on_deterministic_values=False, default_dp_permit=False, pass_through_whitelisted_messages=False, delay_flow_mods=False, invariant_check_name='check_for_ofp_error', bug_signature="")
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd=' onos stop; zk stop ; cassandra stop; echo "sleeping for 5sec"; sleep 5; /mnt/ahassany/vagrant_onosdev/scripts/conf_setup.sh 2 ; zk start ; cassandra start; echo "sleeping for 10sec"; sleep 10 ; onos start ; echo "sleeping for 40 secs"; sleep 40 ; onos stop; sleep 10; cassandra cleandb; onos start; sleep 40', label='c1', address='192.168.56.11', cwd='/mnt/ahassany/vagrant_onosdev', controller_type='onos', kill_cmd=' ssh onosdev1 "cd ONOS; ./start-onos.sh stop"; echo "killed"; sleep 5', restart_cmd='ssh onosdev1 "cd ONOS; ./start-onos.sh start"; echo "restarted"; sleep 20'), ControllerConfig(start_cmd='echo "DUMMY COMMAND"; sleep 1', label='c2', address='192.168.56.12', cwd='/mnt/ahassany/vagrant_onosdev', controller_type='onos', kill_cmd=' ssh onosdev2 "cd ONOS; ./start-onos.sh stop"; echo "killed"; sleep 5', restart_cmd='ssh onosdev2 "cd ONOS; ./start-onos.sh start"; echo "restarted"; sleep 20')], topology_class=MeshTopology, topology_params="num_switches=2", patch_panel_class=BufferedPatchPanel, multiplex_sockets=False, kill_controllers_on_exit=False) control_flow = EfficientMCSFinder(simulation_config, "experiments/distributed_onos_2014_01_31_01_23_34/events.trace", wait_on_deterministic_values=False, default_dp_permit=True, pass_through_whitelisted_messages=False, max_replays_per_subsequence=5, delay_flow_mods=False, invariant_check_name='InvariantChecker.check_liveness', bug_signature="")
from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ ControllerConfig( start_cmd= './pox.py --verbose openflow.discovery forwarding.l2_multi forwarding.capabilities_manager sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=__port__', label='c1', address='127.0.0.1', cwd='pox') ], topology_class=MeshTopology, topology_params="num_switches=2", patch_panel_class=BufferedPatchPanel, multiplex_sockets=True, kill_controllers_on_exit=True, ignore_interposition=True) control_flow = EfficientMCSFinder( simulation_config, "experiments/trigger_priority_mismatch_small/events.trace", wait_on_deterministic_values=False, default_dp_permit=True, pass_through_whitelisted_messages=False, delay_flow_mods=False, invariant_check_name='check_for_flow_entry', max_replays_per_subsequence=5, bug_signature="")
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ ControllerConfig( cmdline= './pox.py --verbose --no-cli sts.syncproto.pox_syncer openflow.discovery openflow.spanning_tree forwarding.l2_multi sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=../sts_socket_pipe', address='sts_socket_pipe', cwd='pox', sync='tcp:localhost:18900') ], topology_class=FatTree, topology_params="", patch_panel_class=BufferedPatchPanel, dataplane_trace= "exp/fuzz_pox_fattree/dataplane.trace", multiplex_sockets=True) control_flow = EfficientMCSFinder(simulation_config, "exp/fuzz_pox_fattree/events.trace", wait_on_deterministic_values=False)
from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ ControllerConfig( start_cmd='./pyretic.py -m p0 -v high pyretic.modules.hub', label='c1', address='127.0.0.1', cwd='../pyretic', kill_cmd= 'ps aux | grep -e pox -e pyretic | grep -v simulator | cut -c 9-15 | xargs kill -9' ) ], topology_class=MeshTopology, topology_params="num_switches=3", patch_panel_class=BufferedPatchPanel, multiplex_sockets=False, kill_controllers_on_exit=True) control_flow = EfficientMCSFinder( simulation_config, "experiments/new_pyretic_loop/events.trace", wait_on_deterministic_values=False, default_dp_permit=True, pass_through_whitelisted_messages=False, delay_flow_mods=False, max_replays_per_subsequence=2, invariant_check_name='InvariantChecker.python_check_loops', bug_signature="")
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ ControllerConfig( start_cmd= './pox.py --verbose openflow.discovery forwarding.l2_multi_broken_floyd sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=7777', label='c1', address='127.0.0.1', cwd='pox') ], topology_class=MeshTopology, topology_params="num_switches=3", patch_panel_class=BufferedPatchPanel, multiplex_sockets=True, kill_controllers_on_exit=True) control_flow = EfficientMCSFinder( simulation_config, "experiments/pox_broken_floyd/events.trace", wait_on_deterministic_values=False, delay_flow_mods=False, invariant_check_name='InvariantChecker.check_loops', bug_signature="")
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig from orig_config import check_stale_entries simulation_config = SimulationConfig( controller_configs=[ ControllerConfig( cmdline= './pox.py --verbose --no-cli sts.syncproto.pox_syncer openflow.discovery openflow.spanning_tree forwarding.l2_multi sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=__port__', address='127.0.0.1', port=6632, cwd='pox', sync='tcp:localhost:18901') ], topology_class=MeshTopology, topology_params="num_switches=4", patch_panel_class=BufferedPatchPanel, dataplane_trace="exp/fuzz_pox_4mesh_blackhole/dataplane.trace", multiplex_sockets=True) control_flow = EfficientMCSFinder(simulation_config, "exp/fuzz_pox_4mesh_blackhole/events.trace", invariant_check=check_stale_entries, wait_on_deterministic_values=False)
'''sts.util.socket_mux.pox_monkeypatcher --snapshot_address=/tmp/snapshot_socket ''' '''openflow.of_01 --address=__address__ --port=7777''', label='c1', address='127.0.0.1', cwd='pox', port=7777, snapshot_address="/tmp/snapshot_socket") ], topology_class=MeshTopology, topology_params="num_switches=3", patch_panel_class=BufferedPatchPanel, multiplex_sockets=True, kill_controllers_on_exit=True) peeker = SnapshotPeeker(simulation_config, default_dp_permit=True, pass_through_whitelisted_messages=True) control_flow = EfficientMCSFinder( simulation_config, "experiments/pox_broken_floyd/events.trace", wait_on_deterministic_values=False, allow_unexpected_messages=True, expected_message_round_window=9999, default_dp_permit=True, pass_through_whitelisted_messages=True, delay_flow_mods=False, invariant_check_name='InvariantChecker.check_loops', bug_signature="", transform_dag=peeker.peek)
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ ControllerConfig(start_cmd='./nox_core -v -i ptcp:6635 routing', address='127.0.0.1', port=6635, cwd='nox_classic/build/src') ], topology_class=MeshTopology, topology_params="num_switches=4", patch_panel_class=BufferedPatchPanel, multiplex_sockets=False) control_flow = EfficientMCSFinder( simulation_config, "experiments/nox_mesh_4_loop/events.trace", wait_on_deterministic_values=False, no_violation_verification_runs=3, invariant_check_name='check_for_loops_or_connectivity')
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ ControllerConfig( cmdline= './pox.py --verbose openflow.discovery openflow.spanning_tree forwarding.l2_multi openflow.of_01 --address=__address__ --port=__port__', address='127.0.0.1', port=6633, cwd='betta') ], topology_class=MeshTopology, topology_params="num_switches=4", patch_panel_class=BufferedPatchPanel, dataplane_trace= "exp/loop_4_switches_betta/dataplane.trace", multiplex_sockets=False) control_flow = EfficientMCSFinder(simulation_config, "exp/loop_4_switches_betta/events.trace", wait_on_deterministic_values=False)
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ ControllerConfig( start_cmd= './pox.py --verbose openflow.discovery forwarding.l2_multi_synthetic_link_failure_crash sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=__port__', label='c1', address='127.0.0.1', cwd='pox') ], topology_class=MeshTopology, topology_params="num_switches=3", patch_panel_class=BufferedPatchPanel, multiplex_sockets=True, kill_controllers_on_exit=True) control_flow = EfficientMCSFinder( simulation_config, "experiments/snapshot_demo_synthetic_link_failure/events.trace", wait_on_deterministic_values=False, delay_flow_mods=True, invariant_check_name='InvariantChecker.check_liveness', bug_signature="")
controller_configs=[ ControllerConfig(cmdline='./nox_core -v -i ptcp:6635 routing', address='127.0.0.1', port=6635, cwd='nox_classic/build/src') ], topology_class=MeshTopology, topology_params="num_switches=4", patch_panel_class=BufferedPatchPanel, dataplane_trace="exp/head_nox_4_mesh_loop/dataplane.trace", multiplex_sockets=False) def fast_die_invariant_check(simulation): from sts.invariant_checker import InvariantChecker result = InvariantChecker.check_loops(simulation) if result: return result result = InvariantChecker.python_check_connectivity(simulation) if not result: print "Connectivity established - bailing out" import sys sys.exit(0) return [] control_flow = EfficientMCSFinder(simulation_config, "exp/head_nox_4_mesh_loop/events.trace", wait_on_deterministic_values=False, invariant_check=fast_die_invariant_check)
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ControllerConfig(cmdline='./pox.py --verbose --no-cli sts.syncproto.pox_syncer openflow.discovery openflow.spanning_tree forwarding.l2_multi sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=__port__', address='127.0.0.1', port=6632, cwd='pox', sync='tcp:localhost:18901')], topology_class=FatTree, topology_params="num_pods=10", patch_panel_class=BufferedPatchPanel, dataplane_trace="experiments/pox_fattree_migration_2013_03_19_15_07_27/dataplane.trace", multiplex_sockets=True) control_flow = EfficientMCSFinder(simulation_config, "experiments/pox_fattree_migration_2013_03_19_15_07_27/events.trace", wait_on_deterministic_values=False, invariant_check_name='check_stale_entries')
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd='./pox.py --verbose openflow.discovery forwarding.topo_proactive openflow.of_01 --address=__address__ --port=__port__', label='c1', address='127.0.0.1', cwd='dart_pox')], topology_class=FatTree, topology_params="num_pods=3", patch_panel_class=BufferedPatchPanel, multiplex_sockets=False, kill_controllers_on_exit=True) control_flow = EfficientMCSFinder(simulation_config, "experiments/fuzz_pox_proactive/events.trace", wait_on_deterministic_values=False, delay_flow_mods=False, default_dp_permit=True, invariant_check_name='check_for_invalid_ports', bug_signature="")
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig from orig_config import my_funky_invariant_check simulation_config = SimulationConfig( controller_configs=[ ControllerConfig( cmdline= './pox.py --verbose sts.syncproto.pox_syncer --blocking=False openflow.discovery forwarding.l2_multi sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=__port__', address='127.0.0.1', port=6633, cwd='pox', sync='tcp:localhost:18899') ], topology_class=MeshTopology, topology_params="num_switches=2", patch_panel_class=BufferedPatchPanel, dataplane_trace="dataplane_traces/ping_pong_same_subnet.trace", multiplex_sockets=True) control_flow = EfficientMCSFinder(simulation_config, "exp/debug_branch_loop/events.trace", invariant_check=my_funky_invariant_check, wait_on_deterministic_values=False)
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ ControllerConfig( start_cmd= './pox.py --verbose sts.syncproto.pox_syncer --blocking=False openflow.discovery forwarding.l2_multi sts.util.socket_mux.pox_monkeypatcher openflow.of_01 --address=__address__ --port=__port__', address='127.0.0.1', port=6633, cwd='pox', sync='tcp:localhost:18899') ], topology_class=MeshTopology, topology_params="num_switches=2", patch_panel_class=BufferedPatchPanel, multiplex_sockets=True) control_flow = EfficientMCSFinder( simulation_config, "experiments/updated_debug_branch_loop/events.trace", wait_on_deterministic_values=False, invariant_check_name='check_for_loops_or_connectivity')
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd='./pyretic.py -m p0 pyretic.examples.firewall_for_sts_no_close', label='c1', address='127.0.0.1', cwd='../pyretic', kill_cmd='ps aux | grep -e pox -e pyretic | grep -v simulator | cut -c 9-15 | xargs kill -9')], topology_class=MeshTopology, topology_params="num_switches=3", patch_panel_class=BufferedPatchPanel, multiplex_sockets=False, kill_controllers_on_exit=True) control_flow = EfficientMCSFinder(simulation_config, "experiments/fuzz_pyretic_mesh_proactive_firewall_no_close_check_loop/events.trace", wait_on_deterministic_values=False, delay_flow_mods=False, invariant_check_name='InvariantChecker.python_check_loops')
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig(controller_configs=[ControllerConfig(start_cmd='./pox.py --verbose openflow.of_01 --address=__address__ --port=__port__ openflow.discovery forwarding.l2_multi_syn_mem_corruption', label='c1', address='127.0.0.1', cwd='pox')], topology_class=MeshTopology, topology_params="num_switches=4", patch_panel_class=BufferedPatchPanel, multiplex_sockets=False, kill_controllers_on_exit=True, ignore_interposition=True) control_flow = EfficientMCSFinder(simulation_config, "experiments/syn_mem_corruption_3switch_fuzzer/events.trace", wait_on_deterministic_values=False, default_dp_permit=False, pass_through_whitelisted_messages=False, delay_flow_mods=False, invariant_check_name='InvariantChecker.check_liveness', bug_signature="")
from config.experiment_config_lib import ControllerConfig from sts.topology import * from sts.control_flow import EfficientMCSFinder from sts.invariant_checker import InvariantChecker from sts.simulation_state import SimulationConfig simulation_config = SimulationConfig( controller_configs=[ ControllerConfig( cmdline= './pox.py --verbose --random-seed=1 openflow.discovery forwarding.l2_multi openflow.of_01 --address=__address__ --port=__port__', address='127.0.0.1', port=6633, cwd='betta') ], topology_class=MeshTopology, topology_params="num_switches=2", patch_panel_class=BufferedPatchPanel, dataplane_trace="dataplane_traces/ping_pong_same_subnet.trace", multiplex_sockets=False) control_flow = EfficientMCSFinder( simulation_config, "exp/fuzz_pox_mesh/events.trace", invariant_check=InvariantChecker.check_liveness, wait_on_deterministic_values=False)