Index

_

__init__() (config.experiment_config_lib.ControllerConfig method) (sts.control_flow.base.ControlFlow method) (sts.control_flow.base.RecordingSyncCallback method) (sts.control_flow.base.ReplaySyncCallback method) (sts.control_flow.base.StateChange method) (sts.control_flow.event_scheduler.DumbEventScheduler method) (sts.control_flow.event_scheduler.EventScheduler method) (sts.control_flow.event_scheduler.EventSchedulerBase method) (sts.control_flow.event_scheduler.EventSchedulerStats method) (sts.control_flow.fuzzer.Fuzzer method) (sts.control_flow.interactive.Interactive method) (sts.control_flow.interactive.STSCommand method) (sts.control_flow.interactive.STSCommandArg method) (sts.control_flow.interactive.STSConsole method) (sts.control_flow.interactive.STSRegisteredObject method) (sts.control_flow.mcs_finder.MCSFinder method) (sts.control_flow.mcs_finder.MCSLogTracker method) (sts.control_flow.mcs_finder.ReplayLogTracker method) (sts.control_flow.mcs_finder.RuntimeStats method) (sts.control_flow.peeker.Peeker method) (sts.control_flow.replayer.DataplaneChecker method) (sts.control_flow.replayer.DataplaneCheckerStats method) (sts.control_flow.replayer.Replayer method) (sts.controller_manager.ControllerManager method) (sts.dataplane_traces.trace.DataplaneEvent method) (sts.dataplane_traces.trace.Trace method) (sts.entities.AccessLink method) (sts.entities.BigSwitchController method) (sts.entities.Controller method) (sts.entities.DeferredOFConnection method) (sts.entities.FuzzSoftwareSwitch method) (sts.entities.Host method) (sts.entities.HostInterface method) (sts.entities.Link method) (sts.entities.NamespaceHost method) (sts.entities.POXController method) (sts.event_dag.AtomicInput method) (sts.event_dag.EventDag method) (sts.event_dag.EventDagView method) (sts.fingerprints.base.Fingerprint method) (sts.fingerprints.messages.DPFingerprint method) (sts.fingerprints.messages.OFFingerprint method) (sts.god_scheduler.GodScheduler method) (sts.god_scheduler.PendingMessage method) (sts.gui.entities.GuiLink method) (sts.gui.entities.GuiNode method) (sts.gui.launcher.GuiWindow method) (sts.gui.launcher.TopologyGui method) (sts.gui.launcher.TopologyWidget method) (sts.gui.view.STSSyncer method) (sts.gui.view.TopologyView method) (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) (sts.headerspace.config_parser.helper.node method) (sts.headerspace.config_parser.hp_switch_parser.HPSwitch method) (sts.headerspace.headerspace.hs.headerspace method) (sts.headerspace.headerspace.slice.Slice method) (sts.headerspace.headerspace.tf.TF method) (sts.headerspace.headerspace.wildcard_dictionary.wildcard_dictionary method) (sts.input_traces.input_logger.InputLogger method) (sts.invariant_checker.InvariantChecker method) (sts.replay_event.CheckInvariants method) (sts.replay_event.ControlChannelBlock method) (sts.replay_event.ControlChannelUnblock method) (sts.replay_event.ControlMessageBase method) (sts.replay_event.ControllerFailure method) (sts.replay_event.ControllerRecovery method) (sts.replay_event.ControllerStateChange method) (sts.replay_event.DataplaneDrop method) (sts.replay_event.DataplanePermit method) (sts.replay_event.DeterministicValue method) (sts.replay_event.Event method) (sts.replay_event.HostMigration method) (sts.replay_event.InputEvent method) (sts.replay_event.InternalEvent method) (sts.replay_event.InvariantViolation method) (sts.replay_event.LinkDiscovery method) (sts.replay_event.LinkFailure method) (sts.replay_event.LinkRecovery method) (sts.replay_event.PolicyChange method) (sts.replay_event.SwitchFailure method) (sts.replay_event.SwitchRecovery method) (sts.replay_event.TrafficInjection method) (sts.replay_event.WaitTime method) (sts.simulation_state.Simulation method) (sts.simulation_state.SimulationConfig method) (sts.snapshot.BigSwitchSnapshotService method) (sts.snapshot.FlexibleNOMDecoder method) (sts.snapshot.PoxSnapshotService method) (sts.snapshot.SnapshotService method) (sts.snapshot.SyncProtoSnapshotService method) (sts.syncproto.base.SyncIODelegate method) (sts.syncproto.base.SyncProtocolListener method) (sts.syncproto.base.SyncProtocolSpeaker method) (sts.syncproto.pox_syncer.POXIOMaster method) (sts.syncproto.pox_syncer.POXNomSnapshotter method) (sts.syncproto.pox_syncer.POXSyncConnection method) (sts.syncproto.pox_syncer.POXSyncMaster method) (sts.syncproto.pox_syncer.POXSyncProtocolSpeaker method) (sts.syncproto.sts_syncer.STSSyncConnection method) (sts.syncproto.sts_syncer.STSSyncConnectionManager method) (sts.syncproto.sts_syncer.STSSyncProtocolSpeaker method) (sts.topology.BufferedPatchPanel method) (sts.topology.FatTree method) (sts.topology.FatTree.FatTreeLinks method) (sts.topology.LinkTracker method) (sts.topology.MeshTopology method) (sts.topology.MeshTopology.FullyMeshedLinks method) (sts.topology.PatchPanel method) (sts.topology.Topology method) (sts.traffic_generator.TrafficGenerator method) (sts.util.console.Tee method) (sts.util.convenience.ExitCode method) (sts.util.deferred_io.DeferredIOWorker method) (sts.util.io_master.IOMaster method) (sts.util.io_master.STSIOWorker method) (sts.util.precompute_cache.PrecomputeCache method) (sts.util.precompute_cache.PrecomputePowerSetCache method) (sts.util.rpc_forker.Forker method) (sts.util.rpc_forker.RemoteForker method) (sts.util.rpc_forker.TaskRegistry method) (sts.util.socket_mux.base.MockSocket method) (sts.util.socket_mux.base.MultiplexedSelect method) (sts.util.socket_mux.base.SocketDemultiplexer method) (sts.util.socket_mux.server_socket_multiplexer.ServerMockSocket method) (sts.util.socket_mux.server_socket_multiplexer.ServerMultiplexedSelect method) (sts.util.socket_mux.server_socket_multiplexer.ServerSocketDemultiplexer method) (sts.util.socket_mux.sts_socket_multiplexer.STSSocketDemultiplexer method) (sts.util.tabular.Tabular method) (tests.unit.headerspace.applications_test.MockAccessLink method) (tests.unit.sts.event_dag_test.MockInternalEvent method) (tests.unit.sts.mcs_finder_test.MockEfficientMCSFinder method) (tests.unit.sts.mcs_finder_test.MockInputEvent method) (tests.unit.sts.mcs_finder_test.MockMCSFinder method) (tests.unit.sts.mcs_finder_test.MockMCSFinderBase method)

A

accept() (sts.util.socket_mux.server_socket_multiplexer.ServerMockSocket method) access_links (sts.topology.LinkTracker attribute) (sts.topology.Topology attribute) AccessLink (class in sts.entities) ack_pending_state_change() (sts.control_flow.base.ReplaySyncCallback method) ack_sync_notification() (sts.syncproto.base.SyncProtocolSpeaker method) (sts.syncproto.sts_syncer.STSSyncConnection method) acl_dictionary_entry_to_bytearray() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) acl_dictionary_entry_to_string() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter static method) activate_hash_table() (sts.headerspace.headerspace.tf.TF method) activate_lazy_eval() (sts.headerspace.headerspace.tf.TF method) add_access_link() (sts.gui.view.STSSyncer method) add_controller_info() (sts.entities.FuzzSoftwareSwitch method) add_custom_rule() (sts.headerspace.headerspace.tf.TF method) add_entry() (sts.headerspace.headerspace.wildcard_dictionary.wildcard_dictionary method) add_entry_to_table() (sts.headerspace.headerspace.wildcard_dictionary.wildcard_dictionary method) add_fwd_rule() (sts.headerspace.headerspace.tf.TF method) add_host() (sts.gui.view.STSSyncer method) add_hs() (sts.headerspace.headerspace.hs.headerspace method) add_hs_list() (sts.headerspace.headerspace.hs.headerspace method) add_inputs() (sts.event_dag.EventDagView method) add_lazy_tf_rule() (sts.headerspace.headerspace.hs.headerspace method) add_link_rule() (sts.headerspace.headerspace.tf.TF method) add_network_link() (sts.gui.view.STSSyncer method) add_new_socket() (sts.util.socket_mux.sts_socket_multiplexer.STSSocketDemultiplexer method) add_rewrite_rule() (sts.headerspace.headerspace.tf.TF method) add_switch() (sts.gui.view.STSSyncer method) addLink() (sts.gui.entities.GuiNode method) address2demuxer (sts.util.socket_mux.sts_socket_multiplexer.STSMockSocket attribute) adjust() (sts.gui.entities.GuiLink method) all() (tests.unit.sts.mcs_finder_test.MCSFinderTest method)

allow_message_receipt() (sts.entities.DeferredOFConnection method) allow_message_send() (sts.entities.DeferredOFConnection method) allow_timeouts() (sts.input_traces.input_logger.InputLogger method) already_done() (sts.util.precompute_cache.PrecomputeCache method) (sts.util.precompute_cache.PrecomputePowerSetCache method) ambiguous_counts (sts.control_flow.peeker.Peeker attribute) ambiguous_events (sts.control_flow.peeker.Peeker attribute) append_new_mock_socket() (sts.util.socket_mux.server_socket_multiplexer.ServerMockSocket method) append_read() (sts.util.socket_mux.base.MockSocket method) applications_test (class in tests.unit.headerspace.applications_test) apply_custom_rule() (sts.headerspace.headerspace.tf.TF method) apply_fwd_rule() (sts.headerspace.headerspace.tf.TF method) apply_inv_custom_rule() (sts.headerspace.headerspace.tf.TF method) apply_inv_fwd_rule() (sts.headerspace.headerspace.tf.TF method) apply_inv_link_rule() (sts.headerspace.headerspace.tf.TF method) apply_inv_rewrite_rule() (sts.headerspace.headerspace.tf.TF method) apply_lazy_tf_rule() (sts.headerspace.headerspace.hs.headerspace method) apply_link_rule() (sts.headerspace.headerspace.tf.TF method) apply_rewrite_rule() (sts.headerspace.headerspace.tf.TF method) arg() (sts.control_flow.interactive.STSCommand method) arg_help() (sts.control_flow.interactive.STSCommand method) (sts.control_flow.interactive.STSCommandArg method) as_float() (sts.syncproto.base.SyncTime method) assert_fields_exist() (in module sts.replay_event) async_notification() (sts.syncproto.base.SyncProtocolSpeaker method) (sts.syncproto.pox_syncer.POXSyncConnection method) atomic_input_events (sts.event_dag.EventDag attribute) (sts.event_dag.EventDagView attribute) atomic_input_subset() (sts.event_dag.EventDag method) (sts.event_dag.EventDagView method) AtomicInput (class in sts.event_dag) attach_host_to_switch() (sts.gui.view.STSSyncer method) autocomplete_matches() (sts.control_flow.interactive.STSConsole method)

B

B_BLACK (sts.util.console.msg attribute) B_BLUE (sts.util.console.color attribute) (sts.util.console.msg attribute) B_CRIMSON (sts.util.console.color attribute) (sts.util.console.msg attribute) B_CYAN (sts.util.console.color attribute) (sts.util.console.msg attribute) B_GRAY (sts.util.console.color attribute) (sts.util.console.msg attribute) B_GREEN (sts.util.console.color attribute) (sts.util.console.msg attribute) B_MAGENTA (sts.util.console.color attribute) (sts.util.console.msg attribute) B_RED (sts.util.console.color attribute) (sts.util.console.msg attribute) B_WHITE (sts.util.console.color attribute) B_YELLOW (sts.util.console.color attribute) (sts.util.console.msg attribute) backtick() (in module sts.experiments.lifecycle) bail_on_connectivity() (in module config.invariant_checks) basic() (tests.unit.sts.mcs_finder_test.MCSFinderTest method) basic_test() (tests.integration.sts.fuzzer_integration_test.FuzzerTest method) (tests.integration.sts.mcs_finder_integration_test.ReplayerTest method) (tests.integration.sts.replayer_integration_test.ReplayerTest method) BEGIN (sts.util.console.msg attribute) BigSwitchController (class in sts.entities) BigSwitchSnapshotService (class in sts.snapshot) bind() (sts.util.socket_mux.server_socket_multiplexer.ServerMockSocket method) block() (sts.util.deferred_io.DeferredIOWorker method) block_connection() (sts.topology.Topology method) blocked_controller_connections (sts.topology.Topology attribute) BLUE (sts.util.console.color attribute) (sts.util.console.msg attribute) bootstrap() (sts.simulation_state.SimulationConfig method) boundingRect() (sts.gui.entities.GuiLink method) (sts.gui.entities.GuiNode method)

BufferedPanelTest (class in tests.unit.sts.topology_test) BufferedPatchPanel (class in sts.topology) BufferedPatchPanelForTopology() (in module sts.topology) byte_array_and() (in module sts.headerspace.headerspace.hs) byte_array_complement() (in module sts.headerspace.headerspace.hs) byte_array_difference() (in module sts.headerspace.headerspace.hs) byte_array_equal() (in module sts.headerspace.headerspace.hs) byte_array_get_all_one() (in module sts.headerspace.headerspace.hs) byte_array_get_all_x() (in module sts.headerspace.headerspace.hs) byte_array_get_all_zero() (in module sts.headerspace.headerspace.hs) byte_array_get_bit() (in module sts.headerspace.headerspace.hs) byte_array_intersect() (in module sts.headerspace.headerspace.hs) byte_array_list_contained_in() (in module sts.headerspace.headerspace.hs) byte_array_not() (in module sts.headerspace.headerspace.hs) byte_array_or() (in module sts.headerspace.headerspace.hs) byte_array_set_bit() (in module sts.headerspace.headerspace.hs) byte_array_set_bytes() (in module sts.headerspace.headerspace.hs) byte_array_subset() (in module sts.headerspace.headerspace.hs) byte_array_to_hs_string() (in module sts.headerspace.headerspace.hs) byte_array_to_pretty_hs_string() (in module sts.headerspace.headerspace.hs) byte_has_no_x() (in module sts.headerspace.headerspace.hs) byte_to_int() (in module sts.headerspace.headerspace.hs) bytes_all_x() (in module sts.headerspace.headerspace.hs) bytes_to_int() (in module sts.headerspace.headerspace.hs)

C

call_later() (tests.unit.sts.deferred_io_worker_test.DeferredIOWorkerTest static method) center() (sts.gui.launcher.GuiWindow method) check_connectivity() (sts.invariant_checker.InvariantChecker static method) check_controller_processes_alive() (sts.controller_manager.ControllerManager method) check_controllers() (sts.control_flow.fuzzer.Fuzzer method) check_correspondence() (sts.invariant_checker.InvariantChecker static method) check_dataplane() (sts.control_flow.fuzzer.Fuzzer method) (sts.control_flow.replayer.DataplaneChecker method) check_for_loops_blackholes() (in module config.invariant_checks) check_for_loops_blackholes_or_connectivity() (in module config.invariant_checks) check_for_loops_or_connectivity() (in module config.invariant_checks) check_legacy_format() (in module sts.input_traces.log_parser) check_link_failures() (sts.control_flow.fuzzer.Fuzzer method) check_liveness() (sts.invariant_checker.InvariantChecker static method) check_migrations() (sts.control_flow.fuzzer.Fuzzer method) check_partitions() (in module sts.invariant_checker) check_pending_messages() (sts.control_flow.fuzzer.Fuzzer method) check_process_status() (sts.entities.BigSwitchController method) (sts.entities.Controller method) check_switch_crashes() (sts.control_flow.fuzzer.Fuzzer method) check_tcp_connections() (sts.control_flow.fuzzer.Fuzzer method) check_unique_label() (in module sts.input_traces.log_parser) CheckInvariants (class in sts.replay_event) cid (config.experiment_config_lib.ControllerConfig attribute) (sts.entities.Controller attribute) ciscoRouter (class in sts.headerspace.config_parser.cisco_router_parser) clean_up() (sts.headerspace.headerspace.hs.headerspace method) (sts.simulation_state.Simulation method) client_dict() (sts.control_flow.mcs_finder.RuntimeStats method) client_messages (tests.unit.sts.socket_multiplexer_test.MultiplexerTest attribute) clone() (sts.control_flow.mcs_finder.RuntimeStats method) close() (sts.input_traces.input_logger.InputLogger method) (sts.syncproto.base.SyncIODelegate method) (sts.syncproto.sts_syncer.STSSyncConnection method) (sts.util.console.Tee method) (sts.util.deferred_io.DeferredIOWorker method) (sts.util.io_master.STSIOWorker method) (sts.util.socket_mux.base.MockSocket method) close_all() (sts.util.io_master.IOMaster method) cmd() (sts.control_flow.interactive.STSConsole method) cmd_group() (sts.control_flow.interactive.STSConsole method) color (class in sts.util.console) complement() (sts.headerspace.headerspace.hs.headerspace method) compress() (sts.headerspace.headerspace.hs.headerspace method) compress_ip_list() (in module sts.headerspace.config_parser.helper) compute_controller_omega() (sts.invariant_checker.InvariantChecker static method) compute_interpolated_time() (sts.control_flow.replayer.Replayer method) compute_omega() (in module sts.headerspace.headerspace.applications) compute_physical_omega() (sts.invariant_checker.InvariantChecker static method) compute_remaining_input_events() (sts.event_dag.EventDag method) compute_single_omega() (in module sts.headerspace.headerspace.applications) config (module) config.experiment_config_lib (module) config.fuzzer_params (module) config.invariant_checks (module) config_parser_test (class in tests.unit.headerspace.config_parser_test)

connect() (sts.entities.FuzzSoftwareSwitch method) (sts.syncproto.sts_syncer.STSSyncConnection method) (sts.syncproto.sts_syncer.STSSyncConnectionManager method) (sts.util.socket_mux.sts_socket_multiplexer.STSMockSocket method) connect_to_controllers() (sts.simulation_state.Simulation method) (sts.topology.Topology method) ConnectToControllers (class in sts.replay_event) construct_tree() (sts.topology.FatTree method) consume_receive_buf() (sts.util.deferred_io.DeferredIOWorker method) ControlChannelBlock (class in sts.replay_event) ControlChannelUnblock (class in sts.replay_event) ControlFlow (class in sts.control_flow.base) Controller (class in sts.entities) controller_configs (sts.controller_manager.ControllerManager attribute) controller_id (sts.god_scheduler.PendingReceive attribute) (sts.god_scheduler.PendingSend attribute) ControllerConfig (class in config.experiment_config_lib) ControllerFailure (class in sts.replay_event) ControllerManager (class in sts.controller_manager) ControllerRecovery (class in sts.replay_event) controllers (sts.controller_manager.ControllerManager attribute) ControllerStateChange (class in sts.replay_event) ControlMessageBase (class in sts.replay_event) ControlMessageReceive (class in sts.replay_event) ControlMessageSend (class in sts.replay_event) convert() (in module sts.headerspace.headerspace.test_tf) copy() (sts.headerspace.headerspace.hs.headerspace method) copy_complement() (sts.headerspace.headerspace.hs.headerspace method) copy_intersect() (sts.headerspace.headerspace.hs.headerspace method) copy_minus() (sts.headerspace.headerspace.hs.headerspace method) correct_timestamps() (in module sts.control_flow.peeker) count() (sts.headerspace.headerspace.hs.headerspace method) count_dif() (sts.headerspace.headerspace.hs.headerspace method) count_overlapping_fingerprints() (in module sts.control_flow.peeker) crash_switch() (sts.topology.Topology method) create_access_link() (sts.topology.LinkTracker method) (sts.topology.Topology method) create_custom_rule() (sts.headerspace.headerspace.tf.TF static method) create_host() (in module sts.topology) (sts.topology.Topology method) create_multirewrite_rule() (sts.headerspace.headerspace.tf.TF static method) create_netns_host() (in module sts.topology) create_network_link() (sts.gui.view.STSSyncer method) (sts.topology.LinkTracker method) (sts.topology.Topology method) create_replay_logger_dir() (sts.control_flow.mcs_finder.ReplayLogTracker static method) create_standard_rule() (sts.headerspace.headerspace.tf.TF static method) create_switch() (in module sts.topology) (sts.gui.view.STSSyncer method) (sts.topology.Topology method) create_worker_for_socket() (sts.util.io_master.IOMaster method) CRIMSON (sts.util.console.color attribute) (sts.util.console.msg attribute) currently_blocked (sts.util.deferred_io.DeferredIOWorker attribute) cut_link() (sts.control_flow.interactive.Interactive method) cut_links (sts.topology.Topology attribute) CYAN (sts.util.console.color attribute) (sts.util.console.msg attribute)

D

dataplane_delay() (sts.control_flow.interactive.Interactive method) dataplane_drop() (sts.control_flow.interactive.Interactive method) dataplane_forward() (sts.control_flow.interactive.Interactive method) dataplane_trace_feed() (sts.control_flow.interactive.Interactive method) DataplaneChecker (class in sts.control_flow.replayer) DataplaneCheckerStats (class in sts.control_flow.replayer) DataplaneDrop (class in sts.replay_event) DataplaneEvent (class in sts.dataplane_traces.trace) DataplanePermit (class in sts.replay_event) deactivate_hash_table() (sts.headerspace.headerspace.tf.TF method) deactivate_lazy_eval() (sts.headerspace.headerspace.tf.TF method) debug() (sts.gui.view.STSSyncer method) decide_drop() (sts.control_flow.replayer.DataplaneChecker method) decode() (sts.snapshot.FlexibleNOMDecoder method) decode_action() (sts.snapshot.FlexibleNOMDecoder method) decode_entry() (sts.snapshot.FlexibleNOMDecoder method) decode_flow_table() (sts.snapshot.FlexibleNOMDecoder method) decode_match() (sts.snapshot.FlexibleNOMDecoder method) decode_switch() (sts.snapshot.FlexibleNOMDecoder method) default_command (sts.control_flow.interactive.STSConsole attribute) default_command() (sts.control_flow.interactive.Interactive method) default_display() (in module sts.headerspace.config_parser.openflow_parser) DeferredIOWorker (class in sts.util.deferred_io) DeferredIOWorkerTest (class in tests.unit.sts.deferred_io_worker_test)

DeferredOFConnection (class in sts.entities) deliver_packet() (sts.topology.PatchPanel method) deserialize_host() (sts.gui.view.STSSyncer method) deserialize_network_link() (sts.gui.view.STSSyncer method) deserialize_switch() (sts.gui.view.STSSyncer method) detect_loop() (in module sts.headerspace.headerspace.applications) DeterministicValue (class in sts.replay_event) dictify_fingerprint() (in module sts.replay_event) diff_hs() (sts.headerspace.headerspace.hs.headerspace method) diff_hs_list() (sts.headerspace.headerspace.hs.headerspace method) disallow_timeouts() (sts.input_traces.input_logger.InputLogger method) (sts.replay_event.InternalEvent method) disconnect() (sts.syncproto.sts_syncer.STSSyncConnection method) dotted_ip_to_int() (in module sts.headerspace.config_parser.helper) dotted_subnet_to_int() (in module sts.headerspace.config_parser.helper) down_controllers (sts.controller_manager.ControllerManager attribute) DPFingerprint (class in sts.fingerprints.messages) dpid (sts.entities.Host attribute) (sts.god_scheduler.PendingReceive attribute) (sts.god_scheduler.PendingSend attribute) dpids (sts.gui.view.STSSyncer attribute) drop_dp_event() (sts.topology.BufferedPatchPanel method) DumbEventScheduler (class in sts.control_flow.event_scheduler) dump_buffered_events() (sts.input_traces.input_logger.InputLogger method) dump_mcs_trace() (sts.control_flow.mcs_finder.MCSLogTracker method) dump_metadata() (in module sts.experiments.lifecycle) dump_runtime_stats() (sts.control_flow.mcs_finder.MCSLogTracker method)

E

EfficientMCSFinder (class in sts.control_flow.mcs_finder) END (sts.util.console.msg attribute) ETH_P_ALL (sts.entities.NamespaceHost attribute) ethernet_display() (in module sts.headerspace.config_parser.openflow_parser) Event (class in sts.replay_event) event() (sts.util.console.msg static method) event_dag_test (class in tests.unit.sts.event_dag_test) event_matched() (sts.control_flow.event_scheduler.EventSchedulerStats method) event_success() (sts.util.console.msg static method) event_timed_out() (sts.control_flow.event_scheduler.EventSchedulerStats method) event_timeout() (sts.util.console.msg static method)

EventDag (class in sts.event_dag) EventDagView (class in sts.event_dag) events (sts.event_dag.EventDag attribute) (sts.event_dag.EventDagView attribute) EventScheduler (class in sts.control_flow.event_scheduler) EventSchedulerBase (class in sts.control_flow.event_scheduler) EventSchedulerStats (class in sts.control_flow.event_scheduler) ExitCode (class in sts.util.convenience) expanded_kill_cmd (config.experiment_config_lib.ControllerConfig attribute) expanded_start_cmd (config.experiment_config_lib.ControllerConfig attribute) extract_base_fields() (in module sts.replay_event) extract_label_time() (in module sts.replay_event)

F

fail() (sts.entities.FuzzSoftwareSwitch method) (sts.util.console.msg static method) FatTree (class in sts.topology) FatTree.FatTreeLinks (class in sts.topology) fetchSnapshot() (sts.snapshot.BigSwitchSnapshotService method) (sts.snapshot.PoxSnapshotService method) (sts.snapshot.SnapshotService method) (sts.snapshot.SyncProtoSnapshotService method) field_info (class in sts.headerspace.config_parser.openflow_parser) fields (sts.fingerprints.messages.DPFingerprint attribute) fileno() (sts.util.deferred_io.DeferredIOWorker method) (sts.util.io_master.STSIOWorker method) (sts.util.socket_mux.base.MockSocket method) fileno2ready_to_read (sts.util.socket_mux.base.MultiplexedSelect attribute) filter_unsupported_input_types() (sts.event_dag.EventDag method) find() (in module sts.experiments.lifecycle) (in module sts.util.convenience) find_blackholes() (in module sts.headerspace.headerspace.applications) find_entry() (sts.headerspace.headerspace.wildcard_dictionary.wildcard_dictionary method) find_entry_in_table() (sts.headerspace.headerspace.wildcard_dictionary.wildcard_dictionary method) find_git_dir() (in module sts.experiments.lifecycle) find_index() (in module sts.util.convenience) find_influences() (sts.headerspace.headerspace.tf.TF method) find_internal_events() (sts.control_flow.peeker.Peeker method) find_loop_original_header() (in module sts.headerspace.headerspace.applications) find_num_mask_bits_left_mak() (in module sts.headerspace.config_parser.helper) find_num_mask_bits_right_mak() (in module sts.headerspace.config_parser.helper) find_port() (in module sts.util.convenience)

find_ports() (in module sts.util.convenience) find_reachability() (in module sts.headerspace.headerspace.applications) find_unused_interface() (sts.topology.LinkTracker method) find_unused_port() (sts.topology.LinkTracker method) Fingerprint (class in sts.fingerprints.base) fingerprint (sts.god_scheduler.PendingReceive attribute) (sts.god_scheduler.PendingSend attribute) (sts.replay_event.ControlChannelBlock attribute) (sts.replay_event.ControlChannelUnblock attribute) (sts.replay_event.ControlMessageBase attribute) (sts.replay_event.ControllerFailure attribute) (sts.replay_event.ControllerRecovery attribute) (sts.replay_event.ControllerStateChange attribute) (sts.replay_event.DataplaneDrop attribute) (sts.replay_event.DataplanePermit attribute) (sts.replay_event.Event attribute) (sts.replay_event.HostMigration attribute) (sts.replay_event.LinkDiscovery attribute) (sts.replay_event.LinkFailure attribute) (sts.replay_event.LinkRecovery attribute) (sts.replay_event.SwitchFailure attribute) (sts.replay_event.SwitchRecovery attribute) (sts.replay_event.TrafficInjection attribute) (tests.unit.sts.event_dag_test.MockInternalEvent attribute) (tests.unit.sts.mcs_finder_test.MockInputEvent attribute) FlexibleNOMDecoder (class in sts.snapshot) flow_mod_commands (sts.fingerprints.messages.OFFingerprint attribute) flush() (sts.control_flow.base.ReplaySyncCallback method) (sts.god_scheduler.GodScheduler method) fork() (sts.util.rpc_forker.Forker method) (sts.util.rpc_forker.LocalForker method) (sts.util.rpc_forker.RemoteForker method) Forker (class in sts.util.rpc_forker) format_time() (in module sts.control_flow.event_scheduler) forward_packet() (sts.topology.PatchPanel method) from_json() (sts.dataplane_traces.trace.DataplaneEvent static method) (sts.entities.HostInterface static method) (sts.replay_event.CheckInvariants static method) (sts.replay_event.ConnectToControllers static method) (sts.replay_event.ControlChannelBlock static method) (sts.replay_event.ControlChannelUnblock static method) (sts.replay_event.ControlMessageReceive static method) (sts.replay_event.ControlMessageSend static method) (sts.replay_event.ControllerFailure static method) (sts.replay_event.ControllerRecovery static method) (sts.replay_event.ControllerStateChange static method) (sts.replay_event.DataplaneDrop static method) (sts.replay_event.DataplanePermit static method) (sts.replay_event.DeterministicValue static method) (sts.replay_event.HostMigration static method) (sts.replay_event.InvariantViolation static method) (sts.replay_event.LinkDiscovery static method) (sts.replay_event.LinkFailure static method) (sts.replay_event.LinkRecovery static method) (sts.replay_event.PolicyChange static method) (sts.replay_event.SwitchFailure static method) (sts.replay_event.SwitchRecovery static method) (sts.replay_event.TrafficInjection static method) (sts.replay_event.WaitTime static method) from_pending_state_change() (sts.replay_event.ControllerStateChange static method) from_pkt() (sts.fingerprints.messages.DPFingerprint static method) (sts.fingerprints.messages.OFFingerprint static method) FullyMeshedLinkTest (class in tests.unit.sts.topology_test) fuzz_traffic() (sts.control_flow.fuzzer.Fuzzer method) Fuzzer (class in sts.control_flow.fuzzer) FuzzerTest (class in tests.integration.sts.fuzzer_integration_test) FuzzSoftwareSwitch (class in sts.entities)

G

generate_config_file() (config.experiment_config_lib.ControllerConfig method) generate_example_trace() (in module sts.dataplane_traces.trace_generator) generate_example_trace_fat_tree() (in module sts.dataplane_traces.trace_generator) generate_example_trace_same_subnet() (in module sts.dataplane_traces.trace_generator) generate_next_id() (sts.headerspace.headerspace.tf.TF method) generate_NTF() (in module sts.headerspace.topology_loader.topology_loader) generate_port_ids() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) generate_tf_pairs() (in module sts.headerspace.topology_loader.topology_loader) generate_transfer_function() (in module sts.headerspace.config_parser.openflow_parser) (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) generate_TTF() (in module sts.headerspace.topology_loader.topology_loader) generateAndInject() (sts.traffic_generator.TrafficGenerator method) get_all_x() (in module sts.headerspace.headerspace.applications) get_buffered_dp_event() (sts.topology.BufferedPatchPanel method) get_connected_port() (sts.topology.PatchPanel method) get_connection() (sts.entities.FuzzSoftwareSwitch method) get_controller() (sts.controller_manager.ControllerManager method) get_controller_by_label() (sts.controller_manager.ControllerManager method) get_controller_id() (sts.entities.DeferredOFConnection method) get_deterministic_value() (sts.control_flow.base.RecordingSyncCallback method) (sts.control_flow.base.ReplaySyncCallback method) (sts.syncproto.sts_syncer.STSSyncCallback method) get_eth_address_for_interface() (sts.entities.NamespaceHost static method) get_ethernet_port_name() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter static method) get_expected_internal_events() (in module sts.control_flow.peeker) get_help() (sts.control_flow.interactive.STSCommand method) (sts.control_flow.interactive.STSRegisteredObject method) get_host() (sts.topology.Topology method) get_interpolated_time() (sts.control_flow.replayer.Replayer method) get_kw_for_field_match() (in module sts.headerspace.config_parser.openflow_parser) get_link() (in module sts.replay_event) (sts.topology.Topology method) get_nom_snapshot() (sts.syncproto.sts_syncer.STSSyncConnection method) get_on_message_received() (sts.syncproto.base.SyncIODelegate method) get_original_index_for_event() (sts.event_dag.EventDag method) (sts.event_dag.EventDagView method) get_port_id() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method)

get_port_reservation() (sts.headerspace.headerspace.slice.Slice method) get_protocol_number() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter static method) get_replay_logger_dir() (sts.control_flow.mcs_finder.ReplayLogTracker method) get_snapshot() (sts.syncproto.pox_syncer.POXNomSnapshotter method) get_snapshotservice() (in module sts.snapshot) get_sts_host() (sts.gui.view.STSSyncer method) get_sts_switch() (sts.gui.view.STSSyncer method) get_switch() (sts.topology.Topology method) get_switch_id() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) get_switchs_host_port() (in module sts.topology) get_sync_callback() (sts.control_flow.base.ControlFlow method) get_task() (sts.util.rpc_forker.TaskRegistry method) get_tcp_port_number() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter static method) get_time() (sts.syncproto.pox_syncer.POXSyncMaster method) get_transport_port_number() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter static method) get_udp_port_number() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter static method) get_uniq_port_id() (in module sts.headerspace.config_parser.openflow_parser) get_wait_time_seconds() (sts.control_flow.peeker.Peeker method) getpeername() (sts.util.socket_mux.base.MockSocket method) (sts.util.socket_mux.sts_socket_multiplexer.STSMockSocket method) git_has_uncommitted_files() (in module sts.experiments.lifecycle) global_io_master (sts.util.console.msg attribute) GodScheduler (class in sts.god_scheduler) grab_workers_rwe() (sts.util.io_master.IOMaster method) (sts.util.socket_mux.server_socket_multiplexer.ServerMultiplexedSelect method) GRAY (sts.util.console.color attribute) (sts.util.console.msg attribute) GREEN (sts.util.console.color attribute) (sts.util.console.msg attribute) guess_config_name() (in module sts.experiments.lifecycle) GuiHost (class in sts.gui.entities) GuiLink (class in sts.gui.entities) GuiNode (class in sts.gui.entities) GuiSwitch (class in sts.gui.entities) GuiWindow (class in sts.gui.launcher)

H

handle_DpPacketOut() (sts.topology.PatchPanel method) handle_int() (in module tests.unit.sts.control_flow.peeker_test) (in module tests.unit.sts.control_flow_test) handle_socks_rwe() (sts.util.socket_mux.base.MultiplexedSelect method) (sts.util.socket_mux.server_socket_multiplexer.ServerMultiplexedSelect method) handle_UpEvent() (sts.syncproto.pox_syncer.POXSyncMaster method) handle_workers_rwe() (sts.util.io_master.IOMaster method) headerspace (class in sts.headerspace.headerspace.hs) hids (sts.gui.view.STSSyncer attribute) Host (class in sts.entities) HostInterface (class in sts.entities)

HostMigration (class in sts.replay_event) hosts (sts.gui.view.STSSyncer attribute) (sts.topology.Topology attribute) hoverLeaveEvent() (sts.gui.entities.GuiNode method) HPSwitch (class in sts.headerspace.config_parser.hp_switch_parser) HS_FORMAT() (in module sts.headerspace.config_parser.openflow_parser) (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter static method) hs_string() (sts.headerspace.headerspace.tf.TF method) hs_string_to_byte_array() (in module sts.headerspace.headerspace.hs) hsa_bit_to_normal_bit() (in module sts.headerspace.headerspace.hs) human_str() (sts.fingerprints.messages.OFFingerprint method)

I

icmp_ping() (sts.traffic_generator.TrafficGenerator method) increment_round() (sts.control_flow.replayer.Replayer method) infer_policy_violations() (sts.invariant_checker.InvariantChecker static method) init_results() (sts.control_flow.base.ControlFlow method) (sts.control_flow.fuzzer.Fuzzer method) (sts.control_flow.interactive.Interactive method) (sts.control_flow.mcs_finder.MCSFinder method) inject_input() (sts.control_flow.event_scheduler.EventScheduler method) inject_trace_event() (sts.dataplane_traces.trace.Trace method) input_complement() (sts.event_dag.EventDag method) (sts.event_dag.EventDagView method) input_events (sts.event_dag.EventDag attribute) (sts.event_dag.EventDagView attribute) input_subset() (sts.event_dag.EventDag method) (sts.event_dag.EventDagView method) InputEvent (class in sts.replay_event) InputLogger (class in sts.input_traces.input_logger) insert_atomic_inputs() (sts.event_dag.EventDag method) (sts.event_dag.EventDagView method) insert_pending_receipt() (sts.entities.DeferredOFConnection method) (sts.god_scheduler.GodScheduler method) insert_pending_send() (sts.god_scheduler.GodScheduler method) install_default_routes() (sts.topology.FatTree method) install_portland_routes() (sts.topology.FatTree method) int_to_byte_array() (in module sts.headerspace.headerspace.hs) int_to_dotted_ip() (in module sts.headerspace.config_parser.helper) Interactive (class in sts.control_flow.interactive) interactive() (sts.util.console.msg static method)

InternalEvent (class in sts.replay_event) intersect() (sts.headerspace.headerspace.hs.headerspace method) (sts.headerspace.headerspace.slice.Slice method) inv_to_string() (sts.headerspace.headerspace.tf.TF method) invariant_check() (sts.control_flow.interactive.Interactive method) InvariantChecker (class in sts.invariant_checker) InvariantViolation (class in sts.replay_event) invoke_hassel_c() (in module sts.headerspace.headerspace.applications) io_master (sts.simulation_state.Simulation attribute) io_worker_receive_handler() (sts.util.deferred_io.DeferredIOWorker method) IOMaster (class in sts.util.io_master) ip_display() (in module sts.headerspace.config_parser.openflow_parser) is_ip_address() (in module sts.headerspace.config_parser.helper) is_ip_subnet() (in module sts.headerspace.config_parser.helper) is_leaf() (sts.headerspace.config_parser.helper.node method) is_mocked() (in module sts.util.socket_mux.base) is_qualified_for_lazy_eval() (sts.headerspace.headerspace.tf.TF method) is_sorted() (in module sts.util.convenience) is_strictly_sorted() (in module sts.util.convenience) is_subset_of() (sts.headerspace.headerspace.hs.headerspace method) itemChange() (sts.gui.entities.GuiNode method)

K

kill() (sts.entities.BigSwitchController method) (sts.entities.Controller method) kill_all() (sts.controller_manager.ControllerManager method) (sts.util.rpc_forker.LocalForker static method) kill_controller() (sts.control_flow.interactive.Interactive method) (sts.controller_manager.ControllerManager static method)

kill_procs() (in module sts.util.procutils) kill_switch() (sts.control_flow.interactive.Interactive method) kwargs (sts.control_flow.event_scheduler.DumbEventScheduler attribute) (sts.control_flow.event_scheduler.EventScheduler attribute)

L

label (sts.entities.Controller attribute) (sts.event_dag.AtomicInput attribute) launch() (in module sts.syncproto.pox_syncer) (in module sts.util.socket_mux.pox_monkeypatcher) (sts.gui.launcher.TopologyGui method) length (sts.headerspace.config_parser.openflow_parser.field_info attribute) Link (class in sts.entities) LinkDiscovery (class in sts.replay_event) LinkFailure (class in sts.replay_event) LinkRecovery (class in sts.replay_event) links (sts.gui.view.STSSyncer attribute) links() (sts.gui.entities.GuiNode method) LinkTracker (class in sts.topology) list_controllers() (sts.control_flow.interactive.Interactive method) list_hosts() (sts.control_flow.interactive.Interactive method) list_switches() (sts.control_flow.interactive.Interactive method) listen() (sts.syncproto.pox_syncer.POXSyncConnection method) (sts.util.socket_mux.server_socket_multiplexer.ServerMockSocket method)

live_controllers (sts.controller_manager.ControllerManager attribute) live_edge_switches (sts.topology.Topology attribute) live_links (sts.topology.LinkTracker attribute) (sts.topology.Topology attribute) live_switches (sts.topology.Topology attribute) load_object_from_file() (sts.headerspace.headerspace.tf.TF method) load_state() (sts.gui.view.STSSyncer method) LocalForker (class in sts.util.rpc_forker) log() (sts.control_flow.mcs_finder.MCSFinder method) (tests.unit.sts.mcs_finder_test.MockMCSFinderBase method) log_input_event() (sts.input_traces.input_logger.InputLogger method) log_no_violation() (sts.control_flow.mcs_finder.MCSFinder method) log_violation() (sts.control_flow.mcs_finder.MCSFinder method) loop() (sts.control_flow.fuzzer.Fuzzer method) loop_path_to_str() (in module sts.headerspace.headerspace.applications)

M

MAGENTA (sts.util.console.color attribute) (sts.util.console.msg attribute) make_acl_dictionary_entry() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter static method) mark_invalid_input_sequences() (sts.event_dag.EventDag method) match_and_filter() (sts.control_flow.peeker.Peeker method) match_fingerprints() (in module sts.control_flow.peeker) MatchFingerPrintTest (class in tests.unit.sts.control_flow.peeker_test) maybe_check_invariant() (sts.control_flow.fuzzer.Fuzzer method) maybe_dump_intermediate_mcs() (sts.control_flow.mcs_finder.MCSLogTracker method) maybe_inject_trace_event() (sts.control_flow.fuzzer.Fuzzer method) mcs_event() (sts.util.console.msg static method) MCSFinder (class in sts.control_flow.mcs_finder) MCSFinderTest (class in tests.unit.sts.mcs_finder_test) MCSLogTracker (class in sts.control_flow.mcs_finder) merge_client_dict() (sts.control_flow.mcs_finder.RuntimeStats method) MeshTopology (class in sts.topology) MeshTopology.FullyMeshedLinks (class in sts.topology) message_receipt_waiting() (sts.god_scheduler.GodScheduler method) message_send_waiting() (sts.god_scheduler.GodScheduler method) message_with_xid() (sts.syncproto.base.SyncProtocolSpeaker method)

migrate_host() (sts.control_flow.interactive.Interactive method) (sts.topology.LinkTracker method) (sts.topology.Topology method) migrations_per_host() (in module sts.event_dag) minus() (sts.headerspace.headerspace.hs.headerspace method) mkdir_p() (in module sts.util.convenience) MockAccessLink (class in tests.unit.headerspace.applications_test) MockEfficientMCSFinder (class in tests.unit.sts.mcs_finder_test) MockEvent (class in tests.unit.sts.event_dag_test) MockInputEvent (class in tests.unit.sts.event_dag_test) (class in tests.unit.sts.mcs_finder_test) MockInternalEvent (class in tests.unit.sts.event_dag_test) MockMCSFinder (class in tests.unit.sts.mcs_finder_test) MockMCSFinderBase (class in tests.unit.sts.mcs_finder_test) MockSocket (class in sts.util.socket_mux.base) monkey_time_sleep() (sts.util.io_master.IOMaster method) mouseDoubleClickEvent() (sts.gui.entities.GuiNode method) mousePressEvent() (sts.gui.entities.GuiNode method) mouseReleaseEvent() (sts.gui.entities.GuiHost method) (sts.gui.entities.GuiSwitch method) (sts.gui.view.TopologyView method) msg (class in sts.util.console) MultiplexedSelect (class in sts.util.socket_mux.base) MultiplexerTest (class in tests.unit.sts.socket_multiplexer_test)

N

NamespaceHost (class in sts.entities) network_links (sts.topology.LinkTracker attribute) (sts.topology.Topology attribute) new_location (sts.replay_event.HostMigration attribute) new_socket() (sts.util.socket_mux.server_socket_multiplexer.ServerSocketDemultiplexer method) next_state_change() (sts.event_dag.EventDag method) (sts.event_dag.EventDagView method)

next_step() (sts.control_flow.interactive.Interactive method) node (class in sts.headerspace.config_parser.helper) NORMAL (sts.util.console.color attribute) now() (sts.syncproto.base.SyncTime static method)

O

OFFingerprint (class in sts.fingerprints.messages) ofp_actions_to_hsa_rewrite() (in module sts.headerspace.config_parser.openflow_parser) ofp_actions_to_output_ports() (in module sts.headerspace.config_parser.openflow_parser) ofp_match_to_hsa_match() (in module sts.headerspace.config_parser.openflow_parser) ofp_match_to_input_ports() (in module sts.headerspace.config_parser.openflow_parser) ok_to_send() (sts.topology.Topology method) old_location (sts.replay_event.HostMigration attribute) on_disconnect() (sts.syncproto.sts_syncer.STSSyncConnection method)

on_message_received (sts.syncproto.base.SyncIODelegate attribute) on_message_received() (sts.syncproto.base.SyncProtocolListener method) open() (sts.input_traces.input_logger.InputLogger method) open_simple_superlog() (tests.unit.log_parsing.superlog_parser_test.superlog_parser_test method) optimize() (sts.headerspace.config_parser.helper.node method) optimize_forwarding_table() (in module sts.headerspace.config_parser.openflow_parser) (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) output_compressed() (sts.headerspace.config_parser.helper.node method)

P

paint() (sts.gui.entities.GuiHost method) (sts.gui.entities.GuiLink method) (sts.gui.entities.GuiSwitch method) parse() (in module sts.input_traces.log_parser) parse_access_list_entry() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) parse_path() (in module sts.input_traces.log_parser) patch_functions() (sts.syncproto.pox_syncer.POXSyncMaster method) PatchPanel (class in sts.topology) peek() (sts.control_flow.peeker.Peeker method) peek_receive_buf() (sts.util.deferred_io.DeferredIOWorker method) Peeker (class in sts.control_flow.peeker) PeekerTest (class in tests.unit.sts.control_flow.peeker_test) pending_deterministic_value_request() (sts.control_flow.base.ReplaySyncCallback method) pending_receive (sts.replay_event.ControlMessageReceive attribute) pending_receives() (sts.god_scheduler.GodScheduler method) pending_send (sts.replay_event.ControlMessageSend attribute) pending_sends() (sts.god_scheduler.GodScheduler method) pending_state_change (sts.replay_event.ControllerStateChange attribute) pending_state_changes() (sts.control_flow.base.ReplaySyncCallback method) pending_state_changes_with_counts() (sts.control_flow.base.ReplaySyncCallback method) PendingMessage (class in sts.god_scheduler) PendingReceive (class in sts.god_scheduler) PendingSend (class in sts.god_scheduler) PendingStateChange (class in sts.replay_event) permit_dp_event() (sts.topology.BufferedPatchPanel method) pid (sts.entities.Controller attribute) pkt_type_to_fields (sts.fingerprints.messages.OFFingerprint attribute) PolicyChange (class in sts.replay_event) poll() (sts.util.io_master.IOMaster method) pop_applied_tf_rule() (sts.headerspace.headerspace.hs.headerspace method) popen_filtered() (in module sts.util.procutils) populate_from_topology() (sts.topology.Topology static method) popupnode_detailsMenu() (sts.gui.entities.GuiNode method) port_connected() (sts.topology.LinkTracker method)

PORT_ID_MULTIPLIER (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter attribute) port_no (sts.entities.HostInterface attribute) port_to_hex() (in module sts.headerspace.headerspace.tf) PORT_TYPE_MULTIPLIER (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter attribute) port_used() (in module sts.util.convenience) ports_to_hex() (in module sts.headerspace.headerspace.tf) position (sts.headerspace.config_parser.openflow_parser.field_info attribute) POXController (class in sts.entities) POXIOMaster (class in sts.syncproto.pox_syncer) POXNomSnapshotter (class in sts.syncproto.pox_syncer) PoxSnapshotService (class in sts.snapshot) POXSyncConnection (class in sts.syncproto.pox_syncer) POXSyncMaster (class in sts.syncproto.pox_syncer) POXSyncProtocolSpeaker (class in sts.syncproto.pox_syncer) precompute_cache_test (class in tests.unit.sts.util.precompute_cache_test) PrecomputeCache (class in sts.util.precompute_cache) PrecomputePowerSetCache (class in sts.util.precompute_cache) prepare_hassel_c() (in module sts.headerspace.headerspace.applications) print_influences() (sts.headerspace.headerspace.tf.TF method) print_loops() (in module sts.headerspace.headerspace.applications) print_p_node() (in module sts.headerspace.headerspace.applications) print_reachability() (in module sts.headerspace.headerspace.applications) printSelf() (sts.headerspace.config_parser.helper.node method) proceed() (sts.replay_event.CheckInvariants method) (sts.replay_event.ConnectToControllers method) (sts.replay_event.ControlChannelBlock method) (sts.replay_event.ControlChannelUnblock method) (sts.replay_event.ControlMessageReceive method) (sts.replay_event.ControlMessageSend method) (sts.replay_event.ControllerFailure method) (sts.replay_event.ControllerRecovery method) (sts.replay_event.ControllerStateChange method) (sts.replay_event.DataplaneDrop method) (sts.replay_event.DataplanePermit method) (sts.replay_event.DeterministicValue method) (sts.replay_event.Event method) (sts.replay_event.HostMigration method) (sts.replay_event.InternalEvent method) (sts.replay_event.LinkDiscovery method) (sts.replay_event.LinkFailure method) (sts.replay_event.LinkRecovery method) (sts.replay_event.PolicyChange method) (sts.replay_event.SpecialEvent method) (sts.replay_event.SwitchFailure method) (sts.replay_event.SwitchRecovery method) (sts.replay_event.TrafficInjection method) (sts.replay_event.WaitTime method) (tests.unit.sts.event_dag_test.MockEvent method) (tests.unit.sts.event_dag_test.MockInputEvent method) (tests.unit.sts.event_dag_test.MockInternalEvent method) (tests.unit.sts.mcs_finder_test.MockInputEvent method) process_actions() (in module sts.fingerprints.messages) process_data() (in module sts.fingerprints.messages) publish_prepare() (in module sts.experiments.lifecycle) publish_results() (in module sts.experiments.lifecycle) push_applied_tf_rule() (sts.headerspace.headerspace.hs.headerspace method) python_check_blackholes() (sts.invariant_checker.InvariantChecker static method) python_check_connectivity() (sts.invariant_checker.InvariantChecker static method) python_check_loops() (sts.invariant_checker.InvariantChecker static method)

Q

queued_dataplane_events (sts.topology.BufferedPatchPanel attribute)

quit() (sts.control_flow.interactive.Interactive method)

R

range_to_wildcard() (in module sts.headerspace.config_parser.helper) raw_input() (sts.util.console.msg static method) (sts.util.io_master.IOMaster method) read_arp_table_file() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) read_config_file() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) (sts.headerspace.config_parser.hp_switch_parser.HPSwitch method) read_mac_table_file() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) read_route_file() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) read_spanning_tree_file() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) ready_to_read() (sts.util.socket_mux.base.MockSocket method) (sts.util.socket_mux.base.MultiplexedSelect method) (sts.util.socket_mux.server_socket_multiplexer.ServerMockSocket method) (sts.util.socket_mux.server_socket_multiplexer.ServerMultiplexedSelect method) reboot_controller() (sts.controller_manager.ControllerManager static method) receive() (sts.entities.Host method) (sts.entities.NamespaceHost method) record_drop() (sts.control_flow.replayer.DataplaneCheckerStats method) record_early_internal_events() (sts.control_flow.mcs_finder.RuntimeStats method) record_global_stats() (sts.control_flow.mcs_finder.RuntimeStats method) record_iteration_size() (sts.control_flow.mcs_finder.RuntimeStats method) record_matched_events() (sts.control_flow.mcs_finder.RuntimeStats method) record_new_internal_events() (sts.control_flow.mcs_finder.RuntimeStats method) record_prune_end() (sts.control_flow.mcs_finder.RuntimeStats method) record_prune_start() (sts.control_flow.mcs_finder.RuntimeStats method) record_replay_end() (sts.control_flow.mcs_finder.RuntimeStats method) record_replay_start() (sts.control_flow.mcs_finder.RuntimeStats method) record_timed_out_events() (sts.control_flow.mcs_finder.RuntimeStats method) record_violation_found() (sts.control_flow.mcs_finder.RuntimeStats method) RecordingSyncCallback (class in sts.control_flow.base) recover() (sts.entities.FuzzSoftwareSwitch method) recover_switch() (sts.topology.Topology method)

recv() (sts.util.socket_mux.base.MockSocket method) RED (sts.util.console.color attribute) (sts.util.console.msg attribute) register_obj() (sts.control_flow.interactive.STSConsole method) register_task() (sts.util.rpc_forker.Forker method) (sts.util.rpc_forker.LocalForker method) (sts.util.rpc_forker.RemoteForker method) (sts.util.rpc_forker.TaskRegistry method) RemoteForker (class in sts.util.rpc_forker) remove_access_link() (sts.topology.LinkTracker method) (sts.topology.Topology method) remove_connection() (sts.syncproto.sts_syncer.STSSyncConnectionManager method) remove_host() (sts.gui.view.STSSyncer method) (sts.topology.Topology method) remove_network_link() (sts.gui.view.STSSyncer method) (sts.topology.LinkTracker method) (sts.topology.Topology method) remove_switch() (sts.gui.view.STSSyncer method) (sts.topology.Topology method) repair_link() (sts.control_flow.interactive.Interactive method) (sts.topology.LinkTracker method) (sts.topology.Topology method) replace_migration() (in module sts.event_dag) replay() (sts.control_flow.mcs_finder.MCSFinder method) (tests.unit.sts.mcs_finder_test.MockMCSFinderBase method) Replayer (class in sts.control_flow.replayer) ReplayerTest (class in tests.integration.sts.mcs_finder_integration_test) (class in tests.integration.sts.replayer_integration_test) (class in tests.unit.sts.control_flow_test) ReplayLogTracker (class in sts.control_flow.mcs_finder) ReplaySyncCallback (class in sts.control_flow.base) request() (sts.syncproto.pox_syncer.POXSyncConnection method) reset() (sts.gui.view.STSSyncer method) (sts.topology.Topology method) restart() (sts.entities.Controller method) reversed_link() (sts.entities.Link method) run() (sts.control_flow.interactive.STSConsole method) (sts.syncproto.pox_syncer.POXIOMaster method) run_simulation_forward() (sts.control_flow.replayer.Replayer method) RuntimeStats (class in sts.control_flow.mcs_finder)

S

sanity_check_external_input_event() (in module sts.input_traces.log_parser) sanity_check_internal_event() (in module sts.input_traces.log_parser) save_object_to_file() (sts.headerspace.headerspace.tf.TF method) save_state() (sts.gui.view.STSSyncer method) schedule() (sts.control_flow.event_scheduler.DumbEventScheduler method) (sts.control_flow.event_scheduler.EventScheduler method) (sts.god_scheduler.GodScheduler method) select() (sts.util.io_master.IOMaster method) (sts.util.socket_mux.base.MultiplexedSelect method) self_diff() (sts.headerspace.headerspace.hs.headerspace method) self_print() (sts.headerspace.headerspace.wildcard_dictionary.wildcard_dictionary method) self_print_table() (sts.headerspace.headerspace.wildcard_dictionary.wildcard_dictionary method) send() (sts.entities.DeferredOFConnection method) (sts.entities.FuzzSoftwareSwitch method) (sts.entities.Host method) (sts.entities.NamespaceHost method) (sts.syncproto.base.SyncIODelegate method) (sts.syncproto.base.SyncProtocolSpeaker method) (sts.util.deferred_io.DeferredIOWorker method) (sts.util.io_master.STSIOWorker method) (sts.util.socket_mux.base.MockSocket method) send_deterministic_value() (sts.control_flow.base.ReplaySyncCallback method) (sts.syncproto.sts_syncer.STSSyncConnection method) send_link_notification() (sts.syncproto.sts_syncer.STSSyncConnection method) sequence_id (sts.util.precompute_cache.PrecomputePowerSetCache attribute) serialize() (sts.entities.FuzzSoftwareSwitch method) serialize_host() (sts.gui.view.STSSyncer method) serialize_network_link() (sts.gui.view.STSSyncer method) serialize_switch() (sts.gui.view.STSSyncer method) server_info (config.experiment_config_lib.ControllerConfig attribute) ServerMockSocket (class in sts.util.socket_mux.server_socket_multiplexer) ServerMultiplexedSelect (class in sts.util.socket_mux.server_socket_multiplexer) ServerSocketDemultiplexer (class in sts.util.socket_mux.server_socket_multiplexer) set_config() (sts.control_flow.mcs_finder.RuntimeStats method) set_dag_stats() (sts.control_flow.mcs_finder.RuntimeStats method) set_dataplane_trace_path() (sts.simulation_state.SimulationConfig method) set_exit_code() (sts.simulation_state.Simulation method) set_fast_lookup_pointers() (sts.headerspace.headerspace.tf.TF method) set_field() (in module sts.headerspace.config_parser.openflow_parser) (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) set_hosts() (sts.traffic_generator.TrafficGenerator method) set_hs_format() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) set_hs_reservation() (sts.headerspace.headerspace.slice.Slice method) set_initial_verification_runs_needed() (sts.control_flow.mcs_finder.RuntimeStats method) set_input_logger() (sts.control_flow.event_scheduler.EventSchedulerBase method) set_io_master() (sts.util.console.msg static method) set_lazy_evaluate() (sts.headerspace.headerspace.tf.TF method) set_message_handler() (sts.entities.DeferredOFConnection method) set_on_message_received() (sts.syncproto.base.SyncIODelegate method) set_pass_through() (sts.control_flow.base.ReplaySyncCallback method) (sts.god_scheduler.GodScheduler method) (sts.simulation_state.Simulation method) set_peeker() (sts.control_flow.mcs_finder.RuntimeStats method) set_prefix_id() (sts.headerspace.headerspace.tf.TF method) set_receive_handler() (sts.util.deferred_io.DeferredIOWorker method) set_replaced_vlan() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) set_send_on_receiving_port() (sts.headerspace.headerspace.tf.TF method) set_true_io_worker() (sts.util.socket_mux.base.MultiplexedSelect method) set_true_listen_socket() (sts.util.socket_mux.server_socket_multiplexer.ServerMultiplexedSelect method) set_witch_id() (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) setblocking() (sts.util.socket_mux.base.MockSocket method) setsockopt() (sts.util.socket_mux.base.MockSocket method) setUp() (tests.unit.sts.control_flow.peeker_test.PeekerTest method) (tests.unit.sts.topology_test.BufferedPanelTest method) (tests.unit.sts.topology_test.FullyMeshedLinkTest method) (tests.unit.sts.topology_test.TopologyUnitTest method) setup_client() (tests.unit.sts.socket_multiplexer_test.MultiplexerTest method) setup_controller_simulation() (tests.unit.sts.control_flow_test.ReplayerTest method) setup_dataplane_simulation() (tests.unit.sts.control_flow_test.ReplayerTest method) setup_experiment() (in module sts.experiments.setup) setup_migration_simulation() (tests.unit.sts.control_flow_test.ReplayerTest method) setup_server() (tests.unit.sts.socket_multiplexer_test.MultiplexerTest method) setup_simple_simulation() (tests.unit.sts.control_flow_test.ReplayerTest method) sever_link() (sts.topology.LinkTracker method) (sts.topology.Topology method) shape() (sts.gui.entities.GuiNode method) show() (sts.util.tabular.Tabular method) show_flow_table() (sts.control_flow.interactive.Interactive method) show_help() (sts.control_flow.interactive.STSConsole method) show_queued_events() (sts.control_flow.interactive.Interactive method) simulate() (sts.control_flow.base.ControlFlow method) (sts.control_flow.fuzzer.Fuzzer method) (sts.control_flow.interactive.Interactive method) (sts.control_flow.mcs_finder.MCSFinder method) (sts.control_flow.replayer.Replayer method) Simulation (class in sts.simulation_state) SimulationConfig (class in sts.simulation_state) sleep() (sts.util.io_master.IOMaster method) Slice (class in sts.headerspace.headerspace.slice) Snapshot (class in sts.snapshot) SnapshotService (class in sts.snapshot) socket (sts.util.deferred_io.DeferredIOWorker attribute) SocketDemultiplexer (class in sts.util.socket_mux.base) sort_sockets() (in module sts.util.socket_mux.base) sorted_match_counts() (sts.control_flow.event_scheduler.EventSchedulerStats method) sorted_timeout_counts() (sts.control_flow.event_scheduler.EventSchedulerStats method) special_fields (sts.fingerprints.messages.OFFingerprint attribute) SpecialEvent (class in sts.replay_event) split_list() (in module sts.event_dag) split_up() (in module sts.util.procutils) standard_rule_to_string() (sts.headerspace.headerspace.tf.TF static method) start() (sts.entities.BigSwitchController method) (sts.entities.Controller method) (sts.entities.POXController method) (sts.syncproto.pox_syncer.POXSyncMaster method) start_controller() (sts.control_flow.interactive.Interactive method) start_replay() (sts.control_flow.event_scheduler.EventSchedulerStats method) start_switch() (sts.control_flow.interactive.Interactive method) state_change() (sts.control_flow.base.RecordingSyncCallback method) (sts.control_flow.base.ReplaySyncCallback method) (sts.syncproto.pox_syncer.POXSyncMaster method) (sts.syncproto.sts_syncer.STSSyncCallback method) state_change_pending() (sts.control_flow.base.ReplaySyncCallback method) StateChange (class in sts.control_flow.base) straddle() (tests.unit.sts.mcs_finder_test.MCSFinderTest method) sts.control_flow (module) sts.control_flow.base (module) sts.control_flow.event_scheduler (module) sts.control_flow.fuzzer (module) sts.control_flow.interactive (module) sts.control_flow.mcs_finder (module)

sts.control_flow.peeker (module) sts.control_flow.replayer (module) sts.controller_manager (module) sts.dataplane_traces (module) sts.dataplane_traces.trace (module) sts.dataplane_traces.trace_generator (module) sts.entities (module) sts.event_dag (module) sts.experiments (module) sts.experiments.lifecycle (module) sts.experiments.setup (module) sts.fingerprints (module) sts.fingerprints.base (module) sts.fingerprints.messages (module) sts.god_scheduler (module) sts.gui (module) sts.gui.entities (module) sts.gui.launcher (module) sts.gui.view (module) sts.headerspace.config_parser.cisco_router_parser (module) sts.headerspace.config_parser.helper (module) sts.headerspace.config_parser.hp_switch_parser (module) sts.headerspace.config_parser.openflow_parser (module) sts.headerspace.config_parser.test_parser (module) sts.headerspace.config_parser.test_parser_gen (module) sts.headerspace.headerspace.applications (module) sts.headerspace.headerspace.hs (module) sts.headerspace.headerspace.slice (module) sts.headerspace.headerspace.test_hs (module) sts.headerspace.headerspace.test_ip_compress (module) sts.headerspace.headerspace.test_ip_tf (module) sts.headerspace.headerspace.test_tf (module) sts.headerspace.headerspace.tf (module) sts.headerspace.headerspace.wildcard_dictionary (module) sts.headerspace.topology_loader.topology_loader (module) sts.input_traces (module) sts.input_traces.input_logger (module) sts.input_traces.log_parser (module) sts.invariant_checker (module) sts.replay_event (module) sts.simulation_state (module) sts.snapshot (module) sts.syncproto (module) sts.syncproto.base (module) sts.syncproto.pox_syncer (module) sts.syncproto.sts_syncer (module) sts.topology (module) sts.traffic_generator (module) sts.util (module) sts.util.console (module) sts.util.convenience (module) sts.util.deferred_io (module) sts.util.io_master (module) sts.util.precompute_cache (module) sts.util.procutils (module) sts.util.rpc_forker (module) sts.util.socket_mux (module) sts.util.socket_mux.base (module) sts.util.socket_mux.pox_monkeypatcher (module) sts.util.socket_mux.server_socket_multiplexer (module) sts.util.socket_mux.sts_socket_multiplexer (module) sts.util.tabular (module) STSCommand (class in sts.control_flow.interactive) STSCommandArg (class in sts.control_flow.interactive) STSConsole (class in sts.control_flow.interactive) STSIOWorker (class in sts.util.io_master) STSMockSocket (class in sts.util.socket_mux.sts_socket_multiplexer) STSRegisteredObject (class in sts.control_flow.interactive) STSSocketDemultiplexer (class in sts.util.socket_mux.sts_socket_multiplexer) STSSyncCallback (class in sts.syncproto.sts_syncer) STSSyncConnection (class in sts.syncproto.sts_syncer) STSSyncConnectionManager (class in sts.syncproto.sts_syncer) STSSyncer (class in sts.gui.view) STSSyncProtocolSpeaker (class in sts.syncproto.sts_syncer) success() (sts.util.console.msg static method) superlog_parser_test (class in tests.unit.log_parsing.superlog_parser_test) SWITCH_ID_MULTIPLIER (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter attribute) switches (sts.gui.view.STSSyncer attribute) (sts.topology.Topology attribute) SwitchFailure (class in sts.replay_event) SwitchRecovery (class in sts.replay_event) sync_notification() (sts.syncproto.base.SyncProtocolSpeaker method) (sts.syncproto.pox_syncer.POXSyncConnection method) sync_request() (sts.syncproto.base.SyncProtocolSpeaker method) sync_with_sts() (sts.gui.view.STSSyncer method) synced_with_sts() (sts.gui.view.STSSyncer method) SyncIODelegate (class in sts.syncproto.base) SyncMessage (class in sts.syncproto.base) SyncProtocolListener (class in sts.syncproto.base) SyncProtocolSpeaker (class in sts.syncproto.base) SyncProtoSnapshotService (class in sts.snapshot) SyncTime (class in sts.syncproto.base) system() (in module sts.experiments.lifecycle)

T

T() (sts.headerspace.headerspace.tf.TF method) T_inv() (sts.headerspace.headerspace.tf.TF method) T_inv_rule() (sts.headerspace.headerspace.tf.TF method) T_rule() (sts.headerspace.headerspace.tf.TF method) Tabular (class in sts.util.tabular) TaskRegistry (class in sts.util.rpc_forker) Tee (class in sts.util.console) tee_src() (sts.util.console.Tee method) tee_stderr() (sts.util.console.Tee method) tee_stdout() (sts.util.console.Tee method) test_all() (tests.unit.sts.mcs_finder_test.MCSFinderTest method) test_all_efficient() (tests.unit.sts.mcs_finder_test.MCSFinderTest method) test_basic() (tests.unit.headerspace.config_parser_test.config_parser_test method) (tests.unit.log_parsing.superlog_parser_test.superlog_parser_test method) (tests.unit.sts.control_flow_test.ReplayerTest method) (tests.unit.sts.mcs_finder_test.MCSFinderTest method) (tests.unit.sts.socket_multiplexer_test.MultiplexerTest method) test_basic_efficient() (tests.unit.sts.mcs_finder_test.MCSFinderTest method) test_basic_no_prune() (tests.unit.sts.control_flow.peeker_test.PeekerTest method) test_basic_noop() (tests.unit.sts.control_flow.peeker_test.PeekerTest method) test_basic_prune() (tests.unit.sts.control_flow.peeker_test.PeekerTest method) test_blackhole() (tests.unit.headerspace.applications_test.applications_test method) test_buffering() (tests.unit.sts.topology_test.BufferedPanelTest method) test_connected_ports() (tests.unit.sts.topology_test.FullyMeshedLinkTest method) test_controller_crash() (tests.unit.sts.control_flow_test.ReplayerTest method) test_create_meshes() (tests.unit.sts.topology_test.topology_test method) test_create_switch() (tests.unit.sts.topology_test.topology_test method) test_dataplane_injection() (tests.unit.sts.control_flow_test.ReplayerTest method) test_drop() (tests.unit.headerspace.config_parser_test.config_parser_test method) (tests.unit.sts.topology_test.BufferedPanelTest method) test_eth_display() (tests.unit.headerspace.config_parser_test.config_parser_test method) test_event_dag() (tests.unit.sts.event_dag_test.event_dag_test method) test_event_dag_complement() (tests.unit.sts.event_dag_test.event_dag_test method) test_event_dag_subset() (tests.unit.sts.event_dag_test.event_dag_test method) test_field_display() (tests.unit.headerspace.config_parser_test.config_parser_test method) test_hs_simple() (in module sts.headerspace.headerspace.test_hs) test_ip_display() (tests.unit.headerspace.config_parser_test.config_parser_test method) test_match_fingerprints_duplicate_expected() (tests.unit.sts.control_flow.peeker_test.MatchFingerPrintTest method) test_match_fingerprints_duplicate_inferred() (tests.unit.sts.control_flow.peeker_test.MatchFingerPrintTest method) test_match_fingerprints_empty() (tests.unit.sts.control_flow.peeker_test.MatchFingerPrintTest method) test_match_fingerprints_simple() (tests.unit.sts.control_flow.peeker_test.MatchFingerPrintTest method) test_migration() (tests.unit.sts.control_flow_test.ReplayerTest method) test_migration_prune_1() (tests.unit.sts.event_dag_test.event_dag_test method) test_migration_prune_2() (tests.unit.sts.event_dag_test.event_dag_test method) test_migration_prune_last() (tests.unit.sts.event_dag_test.event_dag_test method) test_migration_simple() (tests.unit.sts.event_dag_test.event_dag_test method) test_no_blackhole() (tests.unit.headerspace.applications_test.applications_test method) test_not_received_until_permitted() (tests.unit.sts.deferred_io_worker_test.DeferredIOWorkerTest method) test_not_sent_until_permitted() (tests.unit.sts.deferred_io_worker_test.DeferredIOWorkerTest method) test_power() (tests.unit.sts.util.precompute_cache_test.precompute_cache_test method) test_receive_consume() (tests.unit.sts.deferred_io_worker_test.DeferredIOWorkerTest method) test_serialize_request() (in module sts.util.rpc_forker) test_serialize_response() (in module sts.util.rpc_forker) test_simple() (tests.unit.sts.util.precompute_cache_test.precompute_cache_test method) test_split_basic() (tests.unit.sts.event_dag_test.event_dag_test method) test_split_odd() (tests.unit.sts.event_dag_test.event_dag_test method) test_split_single() (tests.unit.sts.event_dag_test.event_dag_test method) test_split_zero() (tests.unit.sts.event_dag_test.event_dag_test method) test_straddle() (tests.unit.sts.mcs_finder_test.MCSFinderTest method) test_straddle_efficient() (tests.unit.sts.mcs_finder_test.MCSFinderTest method) test_tf_simple() (in module sts.headerspace.headerspace.test_tf) test_three_incoming() (tests.unit.sts.socket_multiplexer_test.MultiplexerTest method)

tests (module) tests.integration (module) tests.integration.sts (module) tests.integration.sts.fuzzer_integration_test (module) tests.integration.sts.mcs_finder_integration_test (module) tests.integration.sts.replayer_integration_test (module) tests.unit (module) tests.unit.headerspace (module) tests.unit.headerspace.applications_test (module) tests.unit.headerspace.config_parser_test (module) tests.unit.log_parsing (module) tests.unit.log_parsing.superlog_parser_test (module) tests.unit.sts (module) tests.unit.sts.control_flow (module) tests.unit.sts.control_flow.peeker_test (module) tests.unit.sts.control_flow_test (module) tests.unit.sts.deferred_io_worker_test (module) tests.unit.sts.event_dag_test (module) tests.unit.sts.mcs_finder_test (module) tests.unit.sts.socket_multiplexer_test (module) tests.unit.sts.topology_test (module) tests.unit.sts.util (module) tests.unit.sts.util.precompute_cache_test (module) TF (class in sts.headerspace.headerspace.tf) tf_from_switch() (in module sts.headerspace.config_parser.openflow_parser) tf_pairs_from_snapshot() (in module sts.headerspace.topology_loader.topology_loader) time() (sts.control_flow.event_scheduler.EventSchedulerStats method) time_epsilon_microseconds (sts.control_flow.replayer.Replayer attribute) timestamp_string() (in module sts.util.convenience) tmp_basic_superlog (tests.unit.sts.control_flow_test.ReplayerTest attribute) tmp_controller_superlog (tests.unit.sts.control_flow_test.ReplayerTest attribute) tmp_dataplane_superlog (tests.unit.sts.control_flow_test.ReplayerTest attribute) tmp_migration_superlog (tests.unit.sts.control_flow_test.ReplayerTest attribute) tmpcfg (tests.integration.sts.fuzzer_integration_test.FuzzerTest attribute) (tests.integration.sts.mcs_finder_integration_test.ReplayerTest attribute) (tests.integration.sts.replayer_integration_test.ReplayerTest attribute) tmpcfgmodule (tests.integration.sts.fuzzer_integration_test.FuzzerTest attribute) (tests.integration.sts.mcs_finder_integration_test.ReplayerTest attribute) (tests.integration.sts.replayer_integration_test.ReplayerTest attribute) tmpcfgpyc (tests.integration.sts.fuzzer_integration_test.FuzzerTest attribute) (tests.integration.sts.mcs_finder_integration_test.ReplayerTest attribute) (tests.integration.sts.replayer_integration_test.ReplayerTest attribute) tmpfile (tests.unit.log_parsing.superlog_parser_test.superlog_parser_test attribute) tmpparamsfile (tests.integration.sts.fuzzer_integration_test.FuzzerTest attribute) tmpsuperlog (tests.integration.sts.mcs_finder_integration_test.ReplayerTest attribute) (tests.integration.sts.replayer_integration_test.ReplayerTest attribute) to_dict() (sts.fingerprints.base.Fingerprint method) to_json() (sts.dataplane_traces.trace.DataplaneEvent method) (sts.entities.HostInterface method) (sts.replay_event.CheckInvariants method) (sts.replay_event.DataplaneDrop method) (sts.replay_event.DataplanePermit method) (sts.replay_event.Event method) (sts.replay_event.TrafficInjection method) to_string() (sts.headerspace.headerspace.hs.headerspace method) (sts.headerspace.headerspace.tf.TF method) toggle_debug_messages() (sts.gui.view.STSSyncer method) Topology (class in sts.topology) topology_test (class in tests.unit.sts.topology_test) TopologyGui (class in sts.gui.launcher) TopologyUnitTest (class in tests.unit.sts.topology_test) TopologyView (class in sts.gui.view) TopologyWidget (class in sts.gui.launcher) total_inputs_replayed (sts.control_flow.replayer.Replayer attribute) total_replays (sts.control_flow.replayer.Replayer attribute) Trace (class in sts.dataplane_traces.trace) trace_hs_back() (in module sts.headerspace.headerspace.applications) TrafficGenerator (class in sts.traffic_generator) TrafficInjection (class in sts.replay_event) translate_ports() (in module sts.headerspace.headerspace.applications) trigger_events() (sts.control_flow.fuzzer.Fuzzer method)

U

unblock() (sts.util.deferred_io.DeferredIOWorker method) unblock_connection() (sts.topology.Topology method) unblocked_controller_connections (sts.topology.Topology attribute) unpatched_time() (in module sts.syncproto.base) unset_io_master() (sts.util.console.msg static method)

unset_pass_through() (sts.control_flow.base.ReplaySyncCallback method) (sts.god_scheduler.GodScheduler method) (sts.simulation_state.Simulation method) update() (sts.util.precompute_cache.PrecomputeCache method) (sts.util.precompute_cache.PrecomputePowerSetCache method) update_event_time() (sts.control_flow.event_scheduler.EventScheduler method) update_migrations() (sts.event_dag.EventDag method) update_window() (sts.control_flow.replayer.DataplaneChecker method)

V

values() (sts.control_flow.interactive.STSCommandArg method)

W

wait_for_connect() (sts.syncproto.pox_syncer.POXSyncConnection method) wait_for_internal() (sts.control_flow.event_scheduler.EventScheduler method) wait_for_message() (sts.syncproto.base.SyncIODelegate method) wait_for_next_accept() (tests.unit.sts.socket_multiplexer_test.MultiplexerTest method) wait_for_xaction() (sts.syncproto.base.SyncProtocolListener method) wait_time() (sts.control_flow.event_scheduler.EventScheduler method) WaitTime (class in sts.replay_event) walk_dirs_up() (in module sts.experiments.lifecycle) wc_to_parsed_string() (in module sts.headerspace.config_parser.openflow_parser) (sts.headerspace.config_parser.cisco_router_parser.ciscoRouter method) WHITE (sts.util.console.color attribute) (sts.util.console.msg attribute)

wildcard_dictionary (class in sts.headerspace.headerspace.wildcard_dictionary) wire_tree() (sts.topology.FatTree method) write_controller_crash_superlog() (tests.unit.sts.control_flow_test.ReplayerTest method) write_dataplane_trace_superlog() (tests.unit.sts.control_flow_test.ReplayerTest method) write_migration_superlog() (tests.unit.sts.control_flow_test.ReplayerTest method) write_params() (tests.integration.sts.fuzzer_integration_test.FuzzerTest method) write_runtime_stats() (sts.control_flow.mcs_finder.RuntimeStats method) write_simple_cfg() (tests.integration.sts.fuzzer_integration_test.FuzzerTest method) (tests.integration.sts.mcs_finder_integration_test.ReplayerTest method) (tests.integration.sts.replayer_integration_test.ReplayerTest method) write_simple_superlog() (tests.integration.sts.mcs_finder_integration_test.ReplayerTest method) (tests.integration.sts.replayer_integration_test.ReplayerTest method) (tests.unit.sts.control_flow_test.ReplayerTest method) write_trace_log() (in module sts.dataplane_traces.trace_generator)

X

xxx_marked_as_broken_generakted_topology() (tests.unit.sts.topology_test.TopologyUnitTest method)

Y

YELLOW (sts.util.console.color attribute) (sts.util.console.msg attribute)