Module Expr Str ImportFrom alias ImportFrom alias ImportFrom alias ImportFrom alias alias ImportFrom alias ImportFrom alias ImportFrom alias ImportFrom alias ImportFrom alias Import alias identifier ImportFrom alias ImportFrom alias alias ImportFrom alias ImportFrom alias ImportFrom alias Import alias Import alias Import alias Import alias Assign NameStore Call AttributeLoad NameLoad attr Str FunctionDef arguments args NameParam NameParam NameParam NameParam defaults NameLoad body Assign NameStore ListLoad For NameStore NameLoad body Assign NameStore Call AttributeLoad NameLoad attr NameLoad keyword NameLoad keyword NameLoad Expr Call AttributeLoad NameLoad attr keyword NameLoad Expr Call AttributeLoad NameLoad attr BinOpMod Str TupleLoad Call NameLoad AttributeLoad NameLoad attr Call AttributeLoad Str attr AttributeLoad NameLoad attr AttributeLoad NameLoad attr Expr Call AttributeLoad NameLoad attr NameLoad Return Call NameLoad NameLoad Expr Call NameLoad decorator_list FunctionDef arguments args defaults body If Call NameLoad NameLoad Str body Assign AttributeStore NameLoad attr AttributeLoad NameLoad attr decorator_list ClassDef bases NameLoad body Expr Str FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam NameParam NameParam NameParam NameParam NameParam NameParam NameParam NameParam defaults NameLoad NameLoad Str NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad body Expr Str If CompareIs NameLoad NameLoad body Assign NameStore ListLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad If CompareIs NameLoad NameLoad body Assign NameStore Call AttributeLoad NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad If AttributeLoad NameLoad attr body Assign AttributeStore NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam NameParam defaults NameLoad NameLoad body Expr Str If CompareIs NameLoad NameLoad body Assign NameStore Call NameLoad NameLoad FunctionDef arguments args defaults body Expr Str Assign NameStore Call NameLoad Expr Call AttributeLoad NameLoad attr Expr Call AttributeLoad NameLoad attr NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Assign NameStore NameLoad If UnaryOpNot AttributeLoad NameLoad attr body Return NameLoad Assign NameStore AttributeLoad NameLoad attr If CompareNotEq Call NameLoad NameLoad Num body Assign NameStore Call AttributeLoad NameLoad attr NameLoad For NameStore NameLoad body Expr Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr AttributeLoad NameLoad attr AttributeLoad NameLoad attr Return NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Str Expr Call AttributeLoad NameLoad attr Str Assign NameStore IfExp CompareEq AttributeLoad NameLoad attr Str Str Str Assign NameStore Call NameLoad BinOpMod Str TupleLoad AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Assign NameStore NameLoad Assign NameStore ListLoad If NameLoad body Expr Call AttributeLoad NameLoad attr Str Expr Call NameLoad Assign NameStore Call NameLoad For NameStore AttributeLoad NameLoad attr body Assign NameStore Call NameLoad keyword AttributeLoad NameLoad attr keyword AttributeLoad NameLoad attr Expr Call AttributeLoad NameLoad attr Num Assign NameStore Call AttributeLoad NameLoad attr NameLoad Assign NameStore Call NameLoad NameLoad AttributeLoad NameLoad attr Expr Call AttributeLoad NameLoad attr NameLoad Assign AttributeStore NameLoad attr AttributeLoad NameLoad attr Assign AttributeStore NameLoad attr AttributeLoad NameLoad attr Return TupleLoad NameLoad NameLoad decorator_list Expr Call NameLoad Assign NameStore Call NameLoad Assign NameStore Call NameLoad NameLoad NameLoad Assign NameStore Call NameLoad AttributeLoad NameLoad attr AttributeLoad NameLoad attr NameLoad keyword AttributeLoad NameLoad attr Assign NameStore Call NameLoad NameLoad AttributeLoad NameLoad attr Assign NameStore Call NameLoad AttributeLoad NameLoad attr Assign NameStore Call AttributeLoad NameLoad attr AttributeLoad NameLoad attr AttributeLoad NameLoad attr AttributeLoad NameLoad attr Assign NameStore Call NameLoad Assign NameStore NameLoad If CompareIsNot AttributeLoad NameLoad attr NameLoad body Assign NameStore Call NameLoad AttributeLoad NameLoad attr NameLoad If CompareIsNot AttributeLoad NameLoad attr NameLoad body Assign NameStore Call NameLoad AttributeLoad NameLoad attr orelse Assign NameStore Call NameLoad Assign TupleStore NameStore NameStore Call NameLoad AttributeLoad NameLoad attr NameLoad Assign NameStore Call NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad NameLoad AttributeLoad NameLoad attr If AttributeLoad NameLoad attr body Expr Call AttributeLoad NameLoad attr Assign AttributeStore NameLoad attr NameLoad Return NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body If CompareIs AttributeLoad NameLoad attr NameLoad body Assign AttributeStore NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Return BinOpMod Str TupleLoad Call NameLoad AttributeLoad NameLoad attr AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad NameLoad attr AttributeLoad AttributeLoad NameLoad attr attr Call NameLoad AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr Call NameLoad AttributeLoad NameLoad attr decorator_list decorator_list ClassDef bases NameLoad body Expr Str FunctionDef arguments args NameParam NameParam NameParam NameParam NameParam NameParam NameParam NameParam NameParam NameParam NameParam NameParam NameParam defaults body Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Expr Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr Num Assign AttributeStore NameLoad attr NameLoad Assign AttributeStore NameLoad attr CompareIsNot NameLoad NameLoad Assign AttributeStore NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam NameParam defaults body Assign AttributeStore NameLoad attr NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Str Expr Call AttributeLoad AttributeLoad NameLoad attr attr If Call NameLoad AttributeLoad NameLoad attr Str body Expr Call AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam defaults body Expr Str Assign NameStore ListLoad AugAssignAdd NameStore Call AttributeLoad AttributeLoad NameLoad attr attr If Call NameLoad AttributeLoad NameLoad attr Str body AugAssignAdd NameStore Call AttributeLoad AttributeLoad NameLoad attr attr Expr Call AttributeLoad NameLoad attr keyword Lambda arguments args NameParam defaults Call AttributeLoad AttributeLoad NameLoad attr attr Return NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Str If BoolOpAnd CompareIsNot AttributeLoad NameLoad attr NameLoad AttributeLoad NameLoad attr body Expr Call AttributeLoad AttributeLoad NameLoad attr attr If CompareIsNot AttributeLoad NameLoad attr NameLoad body For NameStore AttributeLoad AttributeLoad NameLoad attr attr body For NameStore AttributeLoad NameLoad attr body Expr Call AttributeLoad NameLoad attr If CompareIsNot AttributeLoad NameLoad attr NameLoad body Expr Call AttributeLoad AttributeLoad NameLoad attr attr Expr Call AttributeLoad NameLoad attr If CompareIsNot AttributeLoad NameLoad attr NameLoad body Expr Call AttributeLoad AttributeLoad NameLoad attr attr decorator_list FunctionDef arguments args NameParam defaults body Return AttributeLoad NameLoad attr decorator_list NameLoad FunctionDef arguments args NameParam NameParam NameParam NameParam defaults Num body Expr Str While CompareEq AttributeLoad NameLoad attr Str body Expr Call AttributeLoad NameLoad attr BinOpMod Str AttributeLoad NameLoad attr Expr Call AttributeLoad NameLoad attr Num If AttributeLoad NameLoad attr body Assign NameStore NameLoad orelse Assign NameStore AttributeLoad NameLoad attr Assign NameStore Call NameLoad AttributeLoad NameLoad attr AttributeLoad NameLoad attr keyword NameLoad keyword NameLoad Expr Call AttributeLoad NameLoad attr Num Assign NameStore Call NameLoad Call AttributeLoad AttributeLoad NameLoad attr attr NameLoad Assign NameStore Call NameLoad NameLoad AttributeLoad NameLoad attr AttributeLoad NameLoad attr AttributeLoad NameLoad attr Return NameLoad decorator_list FunctionDef arguments args NameParam defaults body Expr Str Expr Call AttributeLoad AttributeLoad NameLoad attr attr AttributeLoad AttributeLoad NameLoad attr attr keyword AttributeLoad NameLoad attr decorator_list FunctionDef arguments args NameParam NameParam defaults body Expr Str Assign NameStore Call NameLoad Lambda arguments args NameParam defaults CompareEq AttributeLoad NameLoad attr NameLoad AttributeLoad NameLoad attr If CompareIs NameLoad NameLoad body Return Call NameLoad BinOpMod Str NameLoad Return NameLoad decorator_list decorator_list
N/A N/A 
Encapsulates the state of the simulation, including:
  - The controllers
  - The topology
  - Dataplane forwarding
  - (Optionally) the dataplane trace
  - Metadata (e.g. # of failures)
 sts.util.io_master IOMaster sts.dataplane_traces.trace Trace entities DeferredOFConnection sts.controller_manager ControllerManager UserSpaceControllerPatchPanel sts.util.deferred_io DeferredIOWorker sts.openflow_buffer OpenFlowBuffer sts.topology * sts.invariant_checker ViolationTracker sts.syncproto.sts_syncer STSSyncConnectionManager N/A sts.snapshot snapshot sts.util.socket_mux.base MultiplexedSelect sts.util.socket_mux.sts_socket_multiplexer STSSocketDemultiplexer STSMockSocket sts.util.convenience find pox.lib.util connect_socket_with_backoff sts.control_flow.base ReplaySyncCallback N/A select N/A socket N/A logging N/A time N/A log N/A N/A logging getLogger simulation default_boot_controllers N/A N/A controller_configs snapshot_service sync_connection_manager multiplex_sockets N/A False N/A N/A controllers N/A N/A c controller_configs N/A N/A controller N/A N/A c controller_class c sync_connection_manager sync_connection_manager snapshot_service snapshot_service N/A N/A N/A controller start multiplex_sockets multiplex_sockets N/A N/A N/A log info N/A Launched controller %s: %s [PID %d] N/A N/A str N/A c cid N/A N/A join N/A c expanded_start_cmd N/A controller pid N/A N/A N/A controllers append controller N/A N/A ControllerManager controllers N/A N/A revert_select_monkeypatch N/A revert_select_monkeypatch N/A N/A N/A N/A N/A N/A hasattr select _old_select N/A N/A N/A select select N/A select _old_select N/A SimulationConfig N/A object N/A N/A 
  Maintains the configuration for:
    - The controllers: a list of ControllerConfig objects
    - The topology
    - Patch panel (dataplane forwarding)
    - (Optionally) the dataplane trace
    - Initialization parameters (switch_init_sleep_seconds)
   __init__ N/A N/A self controller_configs topology_class topology_params patch_panel_class controller_patch_panel_class dataplane_trace snapshot_service multiplex_sockets violation_persistence_threshold kill_controllers_on_exit interpose_on_controllers ignore_interposition N/A None FatTree BufferedPatchPanel UserSpaceControllerPatchPanel None None False None True False False N/A N/A 
    Constructor parameters:
      topology_class    => a sts.topology.Topology class (not object!)
                           defining the switches and links
      topology_params   => Comma-delimited list of arguments to pass into the FatTree
                           constructor, specified just as you would type them within
                           the parens.
      patch_panel_class => a sts.topology.PatchPanel class (not object!)
      dataplane_trace   => a path to a dataplane trace file
                           (e.g. dataplane_traces/ping_pong_same_subnet.trace)
      violation_persistence_threshold => number of logical time units to observe a
                                         violation before we declare that it is
                                         persistent
      interpose_on_controllers => if there are multiple controllers, whether to
                                  interpose on messages between them
      ignore_interposition => whether to configure all interposition points to immediately pass
                              through all events. (implies interpose_on_controllers=False)
                              Replayer and MCSFinder read this configuration
                              parameter, and remove all internal events from their
                              event dags if set to True.
     N/A N/A controller_configs None N/A N/A controller_configs N/A N/A N/A self controller_configs controller_configs N/A N/A self _topology_class topology_class N/A N/A self _topology_params topology_params N/A N/A self _patch_panel_class patch_panel_class N/A N/A self _dataplane_trace_path dataplane_trace N/A N/A self _violation_persistence_threshold violation_persistence_threshold N/A N/A self _kill_controllers_on_exit kill_controllers_on_exit N/A N/A snapshot_service None N/A N/A snapshot_service N/A N/A snapshot get_snapshotservice controller_configs N/A N/A self snapshot_service snapshot_service N/A N/A self current_simulation None N/A N/A self multiplex_sockets multiplex_sockets N/A N/A self controller_patch_panel_class controller_patch_panel_class N/A N/A self interpose_on_controllers interpose_on_controllers N/A N/A self ignore_interposition ignore_interposition N/A N/A self ignore_interposition N/A N/A N/A self interpose_on_controllers False N/A bootstrap N/A N/A self sync_callback boot_controllers N/A None default_boot_controllers N/A N/A Return a simulation object encapsulating the state of
       the system in its initial starting point:
       - boots controllers
       - connects switches to controllers

       May be invoked multiple times!
     N/A N/A sync_callback None N/A N/A sync_callback N/A ReplaySyncCallback None initialize_io_loop N/A N/A N/A N/A N/A  boot the IOLoop (needed for the controllers)  N/A _io_master N/A IOMaster N/A N/A N/A _io_master monkey_time_sleep N/A N/A N/A msg set_io_master _io_master N/A _io_master N/A wire_controller_patch_panel N/A N/A controller_manager create_io_worker N/A N/A N/A patch_panel None N/A N/A N/A self interpose_on_controllers N/A N/A patch_panel N/A remote_controllers N/A controller_manager remote_controllers N/A N/A N/A len remote_controllers 0 N/A N/A patch_panel N/A N/A self controller_patch_panel_class create_io_worker N/A c remote_controllers N/A N/A N/A N/A patch_panel register_controller N/A c cid N/A c guest_eth_addr N/A c host_device N/A patch_panel N/A instantiate_topology N/A N/A create_io_worker N/A N/A N/A construct a clean topology object from topology_class and
      topology_params N/A N/A N/A log info Creating topology... N/A comma N/A N/A N/A self _topology_params , N/A topology N/A eval N/A %s(%s%screate_io_worker=create_io_worker) N/A N/A N/A self _topology_class __name__ N/A self _topology_params comma N/A topology N/A monkeypatch_select N/A N/A multiplex_sockets controller_manager N/A N/A N/A mux_select None N/A demuxers N/A N/A multiplex_sockets N/A N/A N/A N/A log debug Monkeypatching STS select N/A N/A revert_select_monkeypatch N/A mux_select N/A MultiplexedSelect N/A c N/A controller_manager controller_configs N/A N/A true_socket N/A connect_socket_with_backoff address N/A c address port N/A c port N/A N/A N/A true_socket setblocking 0 N/A io_worker N/A N/A mux_select create_worker_for_socket true_socket N/A demux N/A STSSocketDemultiplexer io_worker N/A c server_info N/A N/A N/A demuxers append demux N/A N/A select _old_select N/A select select N/A N/A select select N/A mux_select select N/A N/A mux_select demuxers N/A N/A N/A revert_select_monkeypatch N/A io_master N/A initialize_io_loop N/A sync_connection_manager N/A STSSyncConnectionManager io_master sync_callback N/A controller_manager N/A boot_controllers N/A self controller_configs N/A self snapshot_service sync_connection_manager multiplex_sockets N/A self multiplex_sockets N/A controller_patch_panel N/A wire_controller_patch_panel controller_manager N/A io_master create_worker_for_socket N/A topology N/A instantiate_topology N/A io_master create_worker_for_socket N/A patch_panel N/A N/A self _patch_panel_class N/A topology switches N/A topology hosts N/A topology get_connected_port N/A openflow_buffer N/A OpenFlowBuffer N/A dataplane_trace None N/A N/A N/A self _dataplane_trace_path None N/A N/A dataplane_trace N/A Trace N/A self _dataplane_trace_path topology N/A N/A N/A self _violation_persistence_threshold None N/A N/A violation_tracker N/A ViolationTracker N/A self _violation_persistence_threshold N/A N/A violation_tracker N/A ViolationTracker N/A N/A mux_select demuxers N/A monkeypatch_select N/A self multiplex_sockets controller_manager N/A simulation N/A Simulation topology controller_manager dataplane_trace openflow_buffer io_master controller_patch_panel patch_panel sync_callback mux_select demuxers violation_tracker N/A self _kill_controllers_on_exit N/A N/A self ignore_interposition N/A N/A N/A N/A simulation set_pass_through N/A N/A self current_simulation simulation N/A simulation N/A set_dataplane_trace_path N/A N/A self path N/A N/A N/A N/A N/A self _dataplane_trace_path None N/A N/A N/A self _dataplane_trace_path path N/A __str__ N/A N/A self N/A N/A N/A N/A SimulationConfig(controller_configs=%s,
                 topology_class=%s,
                 topology_params="%s",
                 patch_panel_class=%s,
                 multiplex_sockets=%s,
                 ignore_interposition=%s,
                 kill_controllers_on_exit=%s) N/A N/A str N/A self controller_configs N/A N/A self _topology_class __name__ N/A self _topology_params N/A N/A self _patch_panel_class __name__ N/A str N/A self multiplex_sockets N/A str N/A self ignore_interposition N/A str N/A self _kill_controllers_on_exit N/A N/A Simulation N/A object N/A N/A 
  Encapsulates the running state of a single simulation:
    - Topology (network state)
    - Controller processes
    - OpenFlowBuffer (OpenFlow messages)
    - PatchPanel (Dataplane messages)
    - RecordingSyncCallback (controller state changes)
    - Dataplane Trace (pending dataplane messages)
   __init__ N/A N/A self topology controller_manager dataplane_trace openflow_buffer io_master controller_patch_panel patch_panel controller_sync_callback mux_select demuxers violation_tracker kill_controllers_on_exit N/A N/A N/A N/A self topology topology N/A N/A self controller_manager controller_manager N/A N/A N/A N/A self controller_manager set_simulation self N/A N/A self dataplane_trace dataplane_trace N/A N/A self openflow_buffer openflow_buffer N/A N/A self _io_master io_master N/A N/A self controller_patch_panel controller_patch_panel N/A N/A self patch_panel patch_panel N/A N/A self controller_sync_callback controller_sync_callback N/A N/A self violation_tracker violation_tracker N/A N/A self _kill_controllers_on_exit kill_controllers_on_exit N/A N/A self exit_code 0 N/A N/A self mux_select mux_select N/A N/A self multiplex_sockets N/A mux_select None N/A N/A self demuxers demuxers N/A set_exit_code N/A N/A self code N/A N/A N/A N/A self exit_code code N/A set_pass_through N/A N/A self N/A N/A N/A  Set to pass-through during bootstrap, so that switch initialization
    messages don't get buffered  N/A N/A N/A N/A self openflow_buffer set_pass_through N/A N/A hasattr N/A self controller_sync_callback set_pass_through N/A N/A N/A N/A N/A self controller_sync_callback set_pass_through N/A unset_pass_through N/A N/A self N/A N/A N/A  unset pass-through mode  N/A observed_events N/A N/A observed_events N/A N/A N/A self openflow_buffer unset_pass_through N/A N/A hasattr N/A self controller_sync_callback unset_pass_through N/A N/A observed_events N/A N/A N/A self controller_sync_callback unset_pass_through N/A N/A N/A observed_events sort key N/A N/A N/A e N/A N/A N/A N/A e time as_float N/A observed_events N/A clean_up N/A N/A self N/A N/A N/A Ensure that state from previous runs (old controller processes,
    sockets, IOLoop object) are cleaned before the next time we
    bootstrap N/A N/A N/A N/A self controller_manager None N/A self _kill_controllers_on_exit N/A N/A N/A N/A N/A self controller_manager kill_all N/A N/A N/A self topology None N/A N/A switch N/A N/A self topology switches N/A N/A connection N/A switch connections N/A N/A N/A N/A connection close N/A N/A N/A self controller_patch_panel None N/A N/A N/A N/A N/A self controller_patch_panel clean_up N/A N/A N/A msg unset_io_master N/A N/A N/A self _io_master None N/A N/A N/A N/A N/A self _io_master close_all N/A io_master N/A N/A self N/A N/A N/A N/A self _io_master N/A property create_connection N/A N/A self controller_info switch max_backoff_seconds N/A 1024 N/A N/A  Connect switches to controllers. May raise a TimeoutError  N/A N/A N/A controller_info address __address__ N/A N/A N/A N/A log debug N/A Waiting for controller address for %s... N/A controller_info label N/A N/A N/A time sleep 5 N/A N/A self multiplex_sockets N/A N/A socket_ctor STSMockSocket N/A N/A socket_ctor N/A socket socket N/A sock N/A connect_socket_with_backoff N/A controller_info address N/A controller_info port max_backoff_seconds max_backoff_seconds socket_ctor socket_ctor N/A N/A N/A sock setblocking 0 N/A io_worker N/A DeferredIOWorker N/A N/A N/A self io_master create_worker_for_socket sock N/A connection N/A DeferredOFConnection io_worker N/A controller_info cid N/A switch dpid N/A self openflow_buffer N/A connection N/A connect_to_controllers N/A N/A self N/A N/A N/A  Connect all switches to all controllers  N/A N/A N/A N/A self topology connect_to_controllers N/A N/A self controller_manager controller_configs create_connection N/A self create_connection N/A get_demuxer_for_server_info N/A N/A self server_info N/A N/A N/A 
    server_info is the address of the controller, either a tuple
    (address, port) or a path to a unix domain socket

    Raises a ValueError if there is no SocketDemultiplexer associated
    with the given server_info.
     N/A demuxer N/A find N/A N/A N/A d N/A N/A N/A d server_info server_info N/A self demuxers N/A N/A demuxer None N/A N/A N/A ValueError N/A server_info %s does not have a demuxer server_info N/A demuxer N/A N/A