def compute_controller_omega(controller_snapshot, live_switches,
live_links, edge_links):
name_tf_pairs = hsa_topo.tf_pairs_from_snapshot(
controller_snapshot, live_switches)
# Frenetic doesn't store any link or host information.
# No virtualization though, so we can assume the same TTF. TODO(cs): for now...
TTF = hsa_topo.generate_TTF(live_links)
return hsa.compute_omega(name_tf_pairs, TTF, edge_links)
def compute_controller_omega(controller_snapshot, live_switches, live_links, edge_links): name_tf_pairs = hsa_topo.tf_pairs_from_snapshot(controller_snapshot, live_switches) # Frenetic doesn't store any link or host information. # No virtualization though, so we can assume the same TTF. TODO(cs): for now... TTF = hsa_topo.generate_TTF(live_links) return hsa.compute_omega(name_tf_pairs, TTF, edge_links)
def compute_physical_omega(live_switches, live_links, edge_links): (name_tf_pairs, TTF) = InvariantChecker._get_transfer_functions(live_switches, live_links) physical_omega = hsa.compute_omega(name_tf_pairs, TTF, edge_links) return physical_omega
def compute_physical_omega(live_switches, live_links, edge_links):
(name_tf_pairs, TTF) = InvariantChecker._get_transfer_functions(
live_switches, live_links)
physical_omega = hsa.compute_omega(name_tf_pairs, TTF, edge_links)
return physical_omega
