コード例 #1
0
    def setUp(self):
        '''
        topology:
        box1: 1,2,3
        box2: 4,5,10
        box3: 6,7,11
        box4: 8,9,12
        2<-->4
        3<-->6
        5<-->8
        7<-->9
        box1:
        (1010xxxx,1) --> (1010xxxx,2)
        (10001xxx,1) --> (10000xxx,2)
        (10xxxxxx,[1,2]) --> (10xxxxxx,3)
        box2:
        (1011xxxx,4) --> (10101xxx,5)
        (10xxxxxx,4) --> (111xxxxx,5)
        box 3:
        (101xxxxx,[6,11]) --> (101xx111,7)
        box 4:
        (xxx010xx,8) --> (xxx010xx,12)

        '''
        self.N = NetPlumber(1)
        self.rule_ids = []
        self.N.add_link(2,4)
        self.N.add_link(4, 2)
        self.N.add_link(3, 6)
        self.N.add_link(6, 3)
        self.N.add_link(5, 8)
        self.N.add_link(8, 5)
        self.N.add_link(7, 9)
        self.N.add_link(9, 7)
        self.rule_ids.append(self.N.add_rule("B1", -1, [1], [2], \
                   wildcard_create_from_string("1010xxxx"), \
                   None, \
                   None))
        self.rule_ids.append(self.N.add_rule("B1", -1, [1], [2], \
                   wildcard_create_from_string("10001xxx"), \
                   None, \
                   None))
        self.rule_ids.append(self.N.add_rule("B1", -1, [1,2], [3], \
                    wildcard_create_from_string("10xxxxxx"), \
                    None, \
                    None))
        self.rule_ids.append(self.N.add_rule("B2", -1, [4], [5], \
                   wildcard_create_from_string("1011xxxx"), \
                   wildcard_create_from_string("11100111"), \
                   wildcard_create_from_string("00001000")))
        self.rule_ids.append(self.N.add_rule("B2", -1, [4], [5], \
                   wildcard_create_from_string("10xxxxxx"), \
                   wildcard_create_from_string("10011111"), \
                   wildcard_create_from_string("01100000")))
        self.rule_ids.append(self.N.add_rule("B3", -1, [6,11], [7], \
                   wildcard_create_from_string("101xxxxx"), \
                   wildcard_create_from_string("11111000"), \
                   wildcard_create_from_string("00000111")))
        self.rule_ids.append(self.N.add_rule("B4", -1, [8], [12], \
                   wildcard_create_from_string("xxx010xx"), \
                   None, \
                   None))
コード例 #2
0
class Test(unittest.TestCase):


    def setUp(self):
        '''
        topology:
        box1: 1,2,3
        box2: 4,5,10
        box3: 6,7,11
        box4: 8,9,12
        2<-->4
        3<-->6
        5<-->8
        7<-->9
        box1:
        (1010xxxx,1) --> (1010xxxx,2)
        (10001xxx,1) --> (10000xxx,2)
        (10xxxxxx,[1,2]) --> (10xxxxxx,3)
        box2:
        (1011xxxx,4) --> (10101xxx,5)
        (10xxxxxx,4) --> (111xxxxx,5)
        box 3:
        (101xxxxx,[6,11]) --> (101xx111,7)
        box 4:
        (xxx010xx,8) --> (xxx010xx,12)

        '''
        self.N = NetPlumber(1)
        self.rule_ids = []
        self.N.add_link(2,4)
        self.N.add_link(4, 2)
        self.N.add_link(3, 6)
        self.N.add_link(6, 3)
        self.N.add_link(5, 8)
        self.N.add_link(8, 5)
        self.N.add_link(7, 9)
        self.N.add_link(9, 7)
        self.rule_ids.append(self.N.add_rule("B1", -1, [1], [2], \
                   wildcard_create_from_string("1010xxxx"), \
                   None, \
                   None))
        self.rule_ids.append(self.N.add_rule("B1", -1, [1], [2], \
                   wildcard_create_from_string("10001xxx"), \
                   None, \
                   None))
        self.rule_ids.append(self.N.add_rule("B1", -1, [1,2], [3], \
                    wildcard_create_from_string("10xxxxxx"), \
                    None, \
                    None))
        self.rule_ids.append(self.N.add_rule("B2", -1, [4], [5], \
                   wildcard_create_from_string("1011xxxx"), \
                   wildcard_create_from_string("11100111"), \
                   wildcard_create_from_string("00001000")))
        self.rule_ids.append(self.N.add_rule("B2", -1, [4], [5], \
                   wildcard_create_from_string("10xxxxxx"), \
                   wildcard_create_from_string("10011111"), \
                   wildcard_create_from_string("01100000")))
        self.rule_ids.append(self.N.add_rule("B3", -1, [6,11], [7], \
                   wildcard_create_from_string("101xxxxx"), \
                   wildcard_create_from_string("11111000"), \
                   wildcard_create_from_string("00000111")))
        self.rule_ids.append(self.N.add_rule("B4", -1, [8], [12], \
                   wildcard_create_from_string("xxx010xx"), \
                   None, \
                   None))


    def tearDown(self):
        pass


    def _checkPipelines(self,pipelines):
        for i in range(len(self.rule_ids)):
            r = self.N.node_by_id[self.rule_ids[i]]
            self.assertEqual(len(r.next_in_pipeline),pipelines[i][0])
            self.assertEqual(len(r.previous_in_pipeline),pipelines[i][1])

    def _checkInfluencedBy(self,dependencies):
        for i in range(len(self.rule_ids)):
            r = self.N.node_by_id[self.rule_ids[i]]
            self.assertEqual(len(r.affected_by),dependencies[i])

    def _checkSourceFlow(self,source_flows):
        for i in range(len(self.rule_ids)):
            r = self.N.node_by_id[self.rule_ids[i]]
            d_count = 0
            i_count = 0
            for s_flow in r.source_flow:
                i_count += s_flow[0].count()
                d_count += s_flow[0].count_diff()
            self.assertEqual(i_count,source_flows[i][0])
            self.assertEqual(d_count,source_flows[i][1])

    def testSetupPlumbing(self):
        dependencies = [0,0,2,0,1,0,0]
        pipelines = [(1,0),(1,0),(1,0),(1,0),(1,2),(0,1),(0,2)]
        source_flows = [(0,0),(0,0),(0,0),(0,0),(0,0),(0,0),(0,0)]
        self._checkInfluencedBy(dependencies)
        self._checkPipelines(pipelines)
        self._checkSourceFlow(source_flows)
        #self.N.print_pluming_network()

    def testRemoveRuleFromPlumbing(self):
        dependencies = [0,0,2,0,0,0]
        pipelines = [(0,0),(0,0),(1,0),(1,0),(0,1),(0,1)]
        self.N.remove_rule(self.rule_ids[4])
        self.rule_ids.remove(self.rule_ids[4])
        self._checkInfluencedBy(dependencies)
        self._checkPipelines(pipelines)

    def testAddSource(self):
        self.N.add_link(1, 100)
        self.N.add_link(100, 1)
        s = headerspace(1)
        s.add_hs(wildcard_create_from_string("1xxxxxxx"))
        self.N.add_source("client", s, [100])
        source_flows = [(1,0),(1,0),(1,2),(0,0),(2,0),(1,1),(2,0)]
        pipelines = [(1,1),(1,1),(1,1),(1,0),(1,2),(0,1),(0,2)]
        self._checkPipelines(pipelines)
        self._checkSourceFlow(source_flows)
        #self.N.print_pluming_network(True)

    def testRemoveSource(self):
        self.testAddSource()
        self.N.remove_source("client")
        #self.N.print_pluming_network(True)
        self.testSetupPlumbing()

    def testAddRemoveRule(self):
        # remove rule 4 and add a source and verify everything is correct
        self.N.remove_rule(self.rule_ids[4])
        self.rule_ids.remove(self.rule_ids[4])
        self.N.add_link(1, 100)
        self.N.add_link(100, 1)
        s = headerspace(1)
        s.add_hs(wildcard_create_from_string("1xxxxxxx"))
        self.N.add_source("client", s, [100])
        source_flows = [(1,0),(1,0),(1,2),(0,0),(1,1),(0,0)]
        pipelines = [(0,1),(0,1),(1,1),(1,0),(0,1),(0,1)]
        self._checkPipelines(pipelines)
        self._checkSourceFlow(source_flows)
        # Now adding back the same rule, verify things are correct
        self.rule_ids.append(self.N.add_rule("B2", -1, [4], [5], \
                   wildcard_create_from_string("10xxxxxx"), \
                   wildcard_create_from_string("10011111"), \
                   wildcard_create_from_string("01100000")))
        source_flows = [(1,0),(1,0),(1,2),(0,0),(1,1),(2,0),(2,0)]
        pipelines = [(1,1),(1,1),(1,1),(1,0),(0,1),(0,2),(1,2)]
        self._checkPipelines(pipelines)
        self._checkSourceFlow(source_flows)

    def testAddRemoveLink(self):
        # test removing a link
        self.testAddSource()
        self.N.remove_link(2, 4)
        source_flows = [(1,0),(1,0),(1,2),(0,0),(0,0),(1,1),(0,0)]
        pipelines = [(0,1),(0,1),(1,1),(1,0),(1,0),(0,1),(0,2)]
        self.N.print_pluming_network(True)
        self._checkPipelines(pipelines)
        self._checkSourceFlow(source_flows)
        # test adding the link back
        self.N.add_link(2, 4)
        source_flows = [(1,0),(1,0),(1,2),(0,0),(2,0),(1,1),(2,0)]
        pipelines = [(1,1),(1,1),(1,1),(1,0),(1,2),(0,1),(0,2)]
        self.N.print_pluming_network(True)
        self._checkPipelines(pipelines)
        self._checkSourceFlow(source_flows)

    def testSourceReachabilityProbe(self):
        self.N.add_link(1, 100)
        self.N.add_link(100, 1)
        s = headerspace(1)
        s.add_hs(wildcard_create_from_string("1xxxxxxx"))
        self.N.add_source("client", s, [100])
        self.N.add_link(12, 200)
        self.N.add_link(200,12)
        self.N.add_source_reachability_probe("no-flow-from-client", [1], [200],\
                                        wildcard_create_from_string("xxxxxxxx"))
        probe_state = self.N.get_source_probe_state("no-flow-from-client")
        self.assertEqual(len(probe_state),2)
        #self.N.print_pluming_network(True)
        self.N.remove_source_reachability_probe("no-flow-from-client")
        self.N.remove_source("client")
        self.testSetupPlumbing()
コード例 #3
0
ファイル: testing.py プロジェクト: nishsab/cs219_hsa
from headerspace.hs import headerspace
from time import time
from random import choice


def generate_random_wc():
    r = ["1", "0", "x"]
    result = ""
    for i in range(8):
        sym = choice(r)
        result += sym
    return result


if __name__ == '__main__':
    N = NetPlumber(1)
    rule_ids = []
    N.add_link(2, 4)
    N.add_link(4, 2)
    N.add_link(3, 6)
    N.add_link(6, 3)
    N.add_link(5, 8)
    N.add_link(8, 5)
    N.add_link(7, 9)
    N.add_link(9, 7)
    N.add_link(1, 100)
    N.add_link(100, 1)
    s = headerspace(1)
    s.add_hs(wildcard_create_from_string("1xxxxxxx"))
    N.add_source("client", s, [100])
    st = time()
コード例 #4
0
ファイル: demo.py プロジェクト: nishsab/cs219_hsa
    cisco_router.SWITCH_ID_MULTIPLIER,
    "port_type_multiplier":
    cisco_router.PORT_TYPE_MULTIPLIER,
    "mid_port_type_const":
    cisco_router.INTERMEDIATE_PORT_TYPE_CONST,
}

loader = net_loader(settings)
(map, inv_map) = loader.load_port_map()

#topology
f = TF(1)
f.load_object_from_file("%s/topology.tf" % settings["input_path"])

#net plumber instance
N = NetPlumber(f.length)

#adding links
for rule in f.rules:
    input_ports = rule["in_ports"]
    output_ports = rule["out_ports"]
    for input_port in input_ports:
        for output_port in output_ports:
            N.add_link(input_port, output_port)

# add links for intermediate port
f = open("%s/port_map.txt" % settings["input_path"], 'r')
for line in f:
    if (not line.startswith("$")) and line != "":
        tokens = line.strip().split(":")
        port = int(tokens[1]) + settings["port_type_multiplier"] * \
コード例 #5
0
ファイル: testing.py プロジェクト: alem0lars/hassel
from utils.wildcard import *
from net_plumbing.net_plumber import NetPlumber
from headerspace.hs import headerspace
from time import time
from random import choice

def generate_random_wc():
  r = ["1","0","x"]
  result = ""
  for i in range(8):
    sym = choice(r)
    result += sym
  return result

if __name__ == '__main__':
  N = NetPlumber(1)
  rule_ids = []
  N.add_link(2,4)
  N.add_link(4, 2)
  N.add_link(3, 6)
  N.add_link(6, 3)
  N.add_link(5, 8)
  N.add_link(8, 5)
  N.add_link(7, 9)
  N.add_link(9, 7)
  N.add_link(1, 100)
  N.add_link(100, 1)
  s = headerspace(1)
  s.add_hs(wildcard_create_from_string("1xxxxxxx"))
  N.add_source("client", s, [100])
  st = time()
コード例 #6
0
ファイル: demo.py プロジェクト: 0xdyu/VeriExodus
             ],
            "input_path":"../examples/stanford/tf_stanford_backbone",
            "switch_id_multiplier":cisco_router.SWITCH_ID_MULTIPLIER,
            "port_type_multiplier":cisco_router.PORT_TYPE_MULTIPLIER,
            "mid_port_type_const":cisco_router.INTERMEDIATE_PORT_TYPE_CONST,
            }

loader = net_loader(settings)
(map,inv_map) = loader.load_port_map()

#topology
f = TF(1)
f.load_object_from_file("%s/topology.tf"%settings["input_path"])

#net plumber instance
N = NetPlumber(f.length)

#adding links
for rule in f.rules:
    input_ports = rule["in_ports"]
    output_ports = rule["out_ports"]
    for input_port in input_ports:
        for output_port in output_ports:
            N.add_link(input_port, output_port)

# add links for intermediate port
f = open("%s/port_map.txt"%settings["input_path"],'r')
for line in f:
    if (not line.startswith("$")) and line != "":
        tokens = line.strip().split(":")
        port = int(tokens[1]) + settings["port_type_multiplier"] * \