Programmable Networks with Synthesis
|
|
- Samuel Flynn
- 5 years ago
- Views:
Transcription
1 Programmable Networks with Synthesis Ahmed ElHassany Petar Tsankov Laurent Vanbever Martin Vechev
2 Network Misconfigurations are Common
3 What Example Makes Network Configuration Hard? Low-level, local router configurations High-level, global routing B requirements C Network N2 Network N1 A D Network N3
4 Example OSPF + Static routes B C Network N2 Network N1 A D Network N3 R1: Packets from N1 to N2 must follow the path A D R2: Packets from N1 to N3 must follow the path A B C D
5 Example OSPF link cost B C Network N1 A D Network N2 Network N3 R1: Packets from N1 to N2 must follow the path A D R2: Packets from N1 to N3 must follow the path A B C D
6 Example B C Network N1 A Packets to N3 not forwarded correctly D Network N2 Network N3 R1: Packets from N1 to N2 must follow the path A D R2: Packets from N1 to N3 must follow the path A B C D
7 Example Static routes table Network NextHop N3 B B C Add a static route to A configuration Network N1 A D Configure A to prefer static routes over OSPF Network N2 Network N3 R1: Packets from N1 to N2 must follow the path A D R2: Packets from N1 to N3 must follow the path A B C D
8 Example B non-deterministically forwards packets for N3 to either A or C Static routes table Network NextHop N3 B B C Network N1 A D Network N2 Network N3 R1: Packets from N1 to N2 must follow the path A D R2: Packets from N1 to N3 must follow the path A B C D
9 Example Lower cost to 5 Static routes table Network NextHop N3 B B 5 C Network N1 A D Network N2 Network N3 R1: Packets from N1 to N2 must follow the path A D R2: Packets from N1 to N3 must follow the path A B C D
10 Example Static routes table 5 Network NextHop N3 B B Lower cost to 5 Router configurations must be such that: Network N2 1. A prefers static routes over OSPF 2. A has a static route to B for N3 3. A D N2 must A be lowest cost D from A to N2 Network 4. N1 B C D N3 must be lowest cost from B to N3 Network N3 C R1: Packets from N1 to N2 must follow the path A D R2: Packets from N1 to N3 must follow the path A B C D
11 Current Practice Initially not configured Network topology Routing requirements Operators manually configure each router All routers are configured
12 Current Practice Initially not configured Network topology Routing requirements Problems and Challenges Operators manually configure each router Diversity in protocol expressiveness Protocol dependencies No correctness guarantees All routers are configured
13 Wanted: Programmable Networks with Synthesis Network topology Routing requirements Operators manually configure each router
14 Wanted: Programmable Networks with Synthesis Network topology Routing requirements Operators Automatically manually configure configure routers with each synthesis router
15 Wanted: Programmable Networks with Synthesis Network topology Routing requirements How is the behavior of routers captured? Operators Automatically manually configure configure routers with each synthesis router How to find a configuration that conforms to the requirements? All routers are configured
16 Programmable Networks with Synthesis: Dimensions Deployment scenarios Datacenter Incremental ISP Enterprise Routing protocols Deterministic OSPF BGP Static routes MPLS Probabilistic ECMP Gossip Requirements Paths Isolation Reachability Waypointing Failures Congestion Synthesis Techniques Enumerative learning Probabilistic Symbolic execution (SyNET*) CEGIS Constraint solving *SyNET:
17 Capturing Network Behavior Key idea: Express routing protocols, along with their dependencies, in stratified Datalog
18 Datalog (Graph Reachability) Input link(n1, a) link(a, b) Program path(x, Y) link(x, Y) path X, Y link X, Z, path(z, Y) N1 B A C D N2 N3 Query path(n1, n2)? Can we capture the network s forwarding plane?
19 Datalog (Shortest-path Routing) Input Add OSPF cost to links link(nn 4, a, ) Program path Router, Net, Net, Cost link Router, Net, Cost path Router, Net, NextHop, C 4 + C B link Router, NextHop, C 4, path NextHop, Net, X, C B sp Router, Net, NextHop, min C path Router, Net, NextHop, C fwd Router, Net, NextHop sp Router, Net, NextHop, C Query fwd(a, a, n B,? ) Captures the router configuration Checks a property on the forwarding plane N1 Captures how routers compute their forwarding entries using routing protocols B A 5 C D N2 N3
20 Routing Requirements Paths Packets for traffic class TC must follow the path fwd r 4, tc, r B fwd r KN4, tc, r K r 4 r K
21 Routing Requirements Paths Packets for traffic class TC must follow the path r 4 r K fwd r 4, tc, r B fwd r KN4, tc, r K Traffic isolation The paths for two distinct traffic classes tc 4 and tc B do not share links in the same direction R 4, R B. fwd R 4, tc 4, R B fwd R 4, tc B, R B
22 Routing Requirements Paths Packets for traffic class TC must follow the path r 4 r K fwd r 4, tc, r B fwd r KN4, tc, r K Traffic isolation The paths for two distinct traffic classes tc 4 and tc B do not share links in the same direction R 4, R B. fwd R 4, tc 4, R B fwd R 4, tc B, R B Reachability Packets for traffic class tc can reach router r B from router r 4 reach(r 4, tc, r B )
23 Routing Requirements Paths Packets for traffic class TC must follow the path r 4 r K fwd r 4, tc, r B fwd r KN4, tc, r K Traffic isolation The paths for two distinct traffic classes tc 4 and tc B do not share links in the same direction R 4, R B. fwd R 4, tc 4, R B fwd R 4, tc B, R B Reachability Packets for traffic class tc can reach router r B from router r 4 reach(r 4, tc, r B ) Loop-freeness The forwarding plane has no loops TC, R. reach(r, TC, R)
24 Network-wide Configuration Synthesis
25 Network-wide Configuration Synthesis Network specification N (OSPF, BGP, MPLS, ) Routing requirements R (isolation, reachability, reliability) Datalog program P Datalog query Q Synthesis problem: Find a configuration C such that N configured with C satisfies R (Input) Synthesis problem: Find an input I such that P, I Q Network-wide configuration C (protocol configurations for routers) Datalog input I
26 Network-wide Configuration Synthesis Network specification N (OSPF, BGP, MPLS, ) Routing requirements R (isolation, reachability, reliability) Datalog program P Datalog query Q Problems: Synthesis problem: No input synthesis tools (Input) for Datalog Synthesis problem: Find a configuration C such that N Problem is undecidablefind an input I such that P, I Q configured with C satisfies R Network-wide configuration C (protocol configurations for routers) Datalog input I
27 Input Synthesis for Datalog Key idea: Reduce to solving logical constraints
28 Input Synthesis for Datalog (via Constraint Solving) Datalog program P Datalog query Q path X, Y link X, Y path X, Y link X, Z, path(z, Y) X, Y. path 4 X, Y link X, Y X, Y. path B X, Y path B a, c link a, c Generate constraints path a, c link a, c link X, Y Z. (link X, Z path 4 Z, Y Constraint solving Bounded unrolling for recursive rules Constraints ψ link a, b, link b, c, path 4 a, b, path 4 b, c path B a, b, path B b, c, path B a, c link a, b, link b, c Derive input Model M ψ Datalog input I
29 Input Synthesis for Datalog (via Constraint Solving) Datalog program P path X, Y link X, Y path X, Y link X, Z, path(z, Y) X, Y. path 4 X, Y link X, Y X, Y. path B X, Y link a, b, link b, c Datalog query Q path a, c link a, c link X, Y Z. (link X, Z path 4 Z, Y path B a, c link a, c Theorem: M ψ if Constraint and only solving if P, I Q link a, b, link b, c, path 4 a, b, path 4 b, c path B a, b, path B b, c, path B a, c Generate constraints Derive input Bounded unrolling for recursive rules Constraints ψ Model M ψ Datalog input I
30 Generating Constraints link(n1, A,? ) path Router, Net, Net, Cost link Router, Net, Cost path Router, Net, NextHop, C 4 + C B link Router, NextHop, C 4, path NextHop, Net, X, C B X, Y. path 4 X, Y link X, Y X, Y. path B X, Y link X, Y Z. (link X, Z path 4 Z, Y path B a, c link a, c sp Router, Net, NextHop, min C path Router, Net, NextHop, C fwd Router, Net, NextHop sp Router, Net, NextHop, C fwd a, n B, d ^ fwd a, n`, b ^ 3030
31 Generating Constraints link(n1, A,? ) path Router, Net, Net, Cost link Router, Net, Cost path Router, Net, NextHop, C 4 + C B link Router, NextHop, C 4, path NextHop, Net, X, C B Input Box 1 sp Router, Net, NextHop, min C path Router, Net, NextHop, C Box 2 fwd Router, Net, NextHop sp Router, Net, NextHop, C Box 3 fwd a, n B, d ^ fwd a, n`, b ^ Requirements 31
32 Synthesis Algorithm (Naïve Approach) Input I 1 Box 1 (ψ 1 ) I 2 Box 2 (ψ 2 ) I 3 Box 3 (ψ 3 ) M 1 ψ 1 ^ I 2 M 2 ψ 2 ^ I 3 M 3 ψ 3 ^ Reqs Requirements 32
33 Synthesis Algorithm (Naïve Approach) Box 1 Naïve Box 2 approach Box 3 does NOT Box 4 work Box 5 1. Not all valid SMT models are valid network configurations. 2. The search space of valid inputs is huge. M box5 ψ 33
34 Synthesis Algorithm (Our Approach) Input Constraints Ensure the synthesized configurations are valid Ex. OSPF Link costs are positive numbers 34
35 Synthesis Algorithm (Our Approach) Input Constraints Ensure the synthesized configurations are valid Ex. OSPF Link costs are positive numbers Domain specific constraints Reduce the search space Ex. Routers only forward to neighbours 35
36 Synthesis Algorithm (Our Approach) Input Constraints Ensure the synthesized configurations are valid Ex. OSPF Link costs are positive numbers Domain specific constraints Reduce the search space Learn from mistakes Don t reuse the same invalid input Ex. Routers only forward to neighbours M boxi ψ ^ I i+1 ^ I`i 29
37 Synthesis Algorithm (Our Approach) Input Constraints Ensure the synthesized configurations are valid Ex. OSPF Link costs are positive numbers Domain specific constraints Reduce the search space Learn from mistakes Don t reuse the same invalid input Ex. Routers only forward to neighbours M boxi ψ ^ I i+1 ^ I`i Partial evaluation Don t compute already known values 30
38 Network-wide Configuration Synthesis Network topology Constraints on the forwarding plane computed by the routers Routing requirements Encode as a Datalog program Automatically configure routers with synthesis Via reduction to input synthesis for Datalog Datalog input identifies correct configuration
39 Implementation
40 Implementation The SyNET system ( Written in Python ( 4K lines of code) Protocols encoded in stratified Datalog ( 0 rules) Uses the Z3 constraint solver Outputs CISCO configurations Supports BGP, OSPF, and static routes! A snippet from router A interface f0/1 ip address ip ospf cost description "To B" interface f0/0 ip address ip ospf cost description "To C" interface f1/0 ip address ip ospf cost description "To D"! CISCO configuration output by SyNET
41 Experiments
42 Experiment US-based network connecting major universities and research institutes Protocols / # Traffic classes 1 class 5 classes classes Static 1.3s 2.0s 4.0s Static + OSPF 9.0s 21.3s 49.3s Static + OSPF + BGP 13.3s 22.7s 1m19.7s Synthesis Times
43 Scalability Experiment Grid topologies with up to 64 routers Requirements for traffic classes Synthesis Time [s] < 24h for Static + OSPF Static Static + OSPF Static + OSPF + BGP < 1h for static routes # of routers 36
44 Summary: Programmable Networks with Synthesis High-level, global routing requirements B Low-level, local router configurations Global requirements vs local configurations Network-wide configuration synthesis Approach scales to realistic problems
NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. Ahmed El-Hassany Petar Tsankov Laurent Vanbever Martin Vechev
NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion Ahmed El-Hassany Petar Tsankov Laurent Vanbever Martin Vechev I shouldn t be the one giving this talk Third year PhD student
More informationFOUNDATIONS OF INTENT- BASED NETWORKING
FOUNDATIONS OF INTENT- BASED NETWORKING Loris D Antoni Aditya Akella Aaron Gember Jacobson Network Policies Enterprise Network Cloud Network Enterprise Network 2 3 Tenant Network Policies Enterprise Network
More informationNetwork-wide Configuration Synthesis
Network-wide Configuration Synthesis Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, and Martin Vechev ETH Zürich Abstract. Computer networks are hard to manage. Given a set of highlevel requirements
More informationIntroduction to Segment Routing
Segment Routing (SR) is a flexible, scalable way of doing source routing. Overview of Segment Routing, page 1 How Segment Routing Works, page 2 Examples for Segment Routing, page 3 Benefits of Segment
More informationBTEC Level 3 Extended Diploma
BTEC Level 3 Extended Diploma Unit 9 Computer Network Routing and Routing Protocols BTEC Level 3 Extended Diploma Introduction to Routing Routing is the process that a router uses to forward packets toward
More informationFrom Routing to Traffic Engineering
1 From Routing to Traffic Engineering Robert Soulé Advanced Networking Fall 2016 2 In the beginning B Goal: pair-wise connectivity (get packets from A to B) Approach: configure static rules in routers
More informationMPLS, THE BASICS CSE 6067, UIU. Multiprotocol Label Switching
MPLS, THE BASICS CSE 6067, UIU Multiprotocol Label Switching Basic Concepts of MPLS 2 Contents Drawbacks of Traditional IP Forwarding Basic MPLS Concepts MPLS versus IP over ATM Traffic Engineering with
More informationEnforcing Customizable Consistency Properties in Software-Defined Networks. Wenxuan Zhou, Dong Jin, Jason Croft, Matthew Caesar, Brighten Godfrey
Enforcing Customizable Consistency Properties in Software-Defined Networks Wenxuan Zhou, Dong Jin, Jason Croft, Matthew Caesar, Brighten Godfrey 1 Network changes control applications, changes in traffic
More informationLecture 4: Intradomain Routing. CS 598: Advanced Internetworking Matthew Caesar February 1, 2011
Lecture 4: Intradomain Routing CS 598: Advanced Internetworking Matthew Caesar February 1, 011 1 Robert. How can routers find paths? Robert s local DNS server 10.1.8.7 A 10.1.0.0/16 10.1.0.1 Routing Table
More informationDistance Vector Routing
ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE Routing in General Distance Vector Routing Jean Yves Le Boudec Fall 22 Contents. Routing in General 2. Distance vector: theory. Distance vector: practice 4. Dynamic
More informationTowards a Logic for Wide-Area Internet Routing
Towards a Logic for Wide-Area Internet Routing Nick Feamster and Hari Balakrishnan M.I.T. Computer Science and Artificial Intelligence Laboratory {feamster,hari}@lcs.mit.edu ; #, $. ', - -, * - ' * 4 *
More informationSegment Routing. Jérôme DURAND Consulting Systems Engineer - FRNOG #21 20 septembre 2013
Segment Routing Jérôme DURAND Consulting Systems Engineer jerduran@cisco.com - http://reseauxblog.cisco.fr FRNOG #21 20 septembre 2013 2011 Cisco and/or its affiliates. All rights reserved. 1 Simplicity
More informationInternet Routing Protocols Lecture 01 & 02
Internet Routing Protocols Lecture 01 & 02 Advanced Systems Topics Lent Term, 2010 Timothy G. Griffin Computer Lab Cambridge UK Internet Routing Outline Lecture 1 : Inter-domain routing architecture, the
More informationCOMP211 Chapter 5 Network Layer: The Control Plane
COMP211 Chapter 5 Network Layer: The Control Plane All material copyright 1996-2016 J.F Kurose and K.W. Ross, All Rights Reserved Computer Networking: A Top Down Approach 7 th edition Jim Kurose, Keith
More informationRavi Chandra cisco Systems Cisco Systems Confidential
BGP4 1 Ravi Chandra cisco Systems 0799_04F7_c2 Cisco Systems Confidential 2 Border Gateway Protocol (BGP) Introduction to BGP BGP Peer Relationship BGP Attributes Applying Policy with BGP Putting it all
More informationBW Protection. 2002, Cisco Systems, Inc. All rights reserved.
BW Protection 2002, Cisco Systems, Inc. All rights reserved. 1 Cisco MPLS - Traffic Engineering for VPNs Amrit Hanspal Sr. Product Manager MPLS & QoS Internet Technologies Division 2 Agenda MPLS Fundamentals
More informationETSF10 Internet Protocols Routing on the Internet
ETSF10 Internet Protocols Routing on the Internet 2012, Part 2, Lecture 1.2 Kaan Bür, Jens Andersson Routing on the Internet Unicast routing protocols (part 2) [ed.4 ch.22.4] [ed.5 ch.20.3] Forwarding
More informationHow to destroy networks for fun (and profit)
HotNets 205 How to destroy networks for fun (and profit) Nick Shelly Joint work with: Brendan Tschaen, Klaus-Tycho Förster, Michael Chang, Theophilus Benson, Laurent Vanbever The network has become more
More informationImproving the Internet
Improving the Internet From Fragility to Resilience Laurent Vanbever D-ITET ETH Zürich December, 1st 2015 80 000 80 000 estimated # of Internet hosts in 1990 2.8 billion estimated* # of Internet hosts
More informationImplement Static Routes for IPv6 Configuration Example
Implement Static Routes for IPv6 Configuration Example Document ID: 113361 Contents Introduction Prerequisites Components Used Conventions Configure Network Diagram Configurations Verify Related Information
More informationInformation, Gravity, and Traffic Matrices
Information, Gravity, and Traffic Matrices Yin Zhang, Matthew Roughan, Albert Greenberg, Nick Duffield, David Donoho 1 Problem Have link traffic measurements Want to know demands from source to destination
More informationInter-Autonomous-System Routing: Border Gateway Protocol
Inter-Autonomous-System Routing: Border Gateway Protocol Antonio Carzaniga Faculty of Informatics University of Lugano June 14, 2005 Outline Hierarchical routing BGP Routing Routing Goal: each router u
More informationDynamics of Hot-Potato Routing in IP Networks
Dynamics of Hot-Potato Routing in IP Networks Jennifer Rexford AT&T Labs Research http://www.research.att.com/~jrex Joint work with Renata Teixeira (UCSD), Aman Shaikh (AT&T), and Timothy Griffin (Intel)
More informationSweet Little Lies: Fake Topologies for Flexible Routing
Sweet Little Lies: Fake Topologies for Flexible Routing Stefano Vissicchio University of Louvain HotNets 27th October 2014 Joint work with Laurent Vanbever (Princeton) and Jennifer Rexford (Princeton)
More informationNetwork Verification: Reflections from Electronic Design Automation (EDA)
Network Verification: Reflections from Electronic Design Automation (EDA) Sharad Malik Princeton University MSR Faculty Summit: 7/8/2015 $4 Billion EDA industry EDA Consortium $350 Billion Semiconductor
More informationRouting Basics ISP/IXP Workshops
Routing Basics ISP/IXP Workshops 1 Routing Concepts IPv4 Routing Forwarding Some definitions Policy options Routing Protocols 2 IPv4 Internet uses IPv4 addresses are 32 bits long range from 1.0.0.0 to
More informationCMSC 417. Computer Networks Prof. Ashok K Agrawala Ashok Agrawala October 9, 2018 (a) October 18 October 9,
CMSC 417 Computer Networks Prof. Ashok K Agrawala 2018 Ashok Agrawala October 9, 2018 (a) October 18 October 9, 2018 1 host Message, Segment, Packet, and Frame host HTTP HTTP message HTTP TCP TCP segment
More informationBGP Routing and BGP Policy. BGP Routing. Agenda. BGP Routing Information Base. L47 - BGP Routing. L47 - BGP Routing
BGP Routing and BGP Policy BGP Routing The BGP Routing Principles and Route Decisions based on AS-Path in a simple topology of AS s routing policy is reduced to a minimal function demonstrated in example
More informationRouting Concepts. IPv4 Routing Forwarding Some definitions Policy options Routing Protocols
Routing Basics 1 Routing Concepts IPv4 Routing Forwarding Some definitions Policy options Routing Protocols 2 IPv4 Internet uses IPv4 Addresses are 32 bits long Range from 1.0.0.0 to 223.255.255.255 0.0.0.0
More informationTop-Down Network Design, Ch. 7: Selecting Switching and Routing Protocols. Top-Down Network Design. Selecting Switching and Routing Protocols
Top-Down Network Design Chapter Seven Selecting Switching and Routing Protocols Copyright 2010 Cisco Press & Priscilla Oppenheimer 1 Switching 2 Page 1 Objectives MAC address table Describe the features
More informationRouting Basics ISP/IXP Workshops
Routing Basics ISP/IXP Workshops 1 Routing Concepts IPv4 Routing Forwarding Some definitions Policy options Routing Protocols 2 IPv4 Internet uses IPv4 addresses are 32 bits long range from 1.0.0.0 to
More informationModule 6 Implementing BGP
Module 6 Implementing BGP Lesson 1 Explaining BGP Concepts and Terminology BGP Border Gateway Protocol Using BGP to Connect to the Internet If only one ISP, do not need BGP. If multiple ISPs, use BGP,
More informationLink State Routing & Inter-Domain Routing
Link State Routing & Inter-Domain Routing CS640, 2015-02-26 Announcements Assignment #2 is due Tuesday Overview Link state routing Internet structure Border Gateway Protocol (BGP) Path vector routing Inter
More informationSDN-enabled Internet Exchange Point
SDN-enabled Internet Exchange Point Muhammad Shahbaz Georgia Tech Internet2 Innovation Award Joint collaboration with: Arpit Gupta, Laurent Vanbever, Hyojoon Kim, Sean Donovan, Russ Clark, Nick Feamster,
More informationRouting Basics. Campus Network Design & Operations Workshop
Routing Basics Campus Network Design & Operations Workshop These materials are licensed under the Creative Commons Attribution-NonCommercial 4.0 International license (http://creativecommons.org/licenses/by-nc/4.0/)
More informationExercise 1 Datalog and Network Reliability
Exercise 1 atalog and Reliability Program Analysis for System Security and Reliability 2018 ETH Zurich March 6, 2018 LogicBlox LogicBlox is a popular atalog engine. You can write and query atalog programs
More informationIPv6 Switching: Provider Edge Router over MPLS
Multiprotocol Label Switching (MPLS) is deployed by many service providers in their IPv4 networks. Service providers want to introduce IPv6 services to their customers, but changes to their existing IPv4
More informationOverview. Problem: Find lowest cost path between two nodes Factors static: topology dynamic: load
Dynamic Routing Overview Forwarding vs Routing forwarding: to select an output port based on destination address and routing table routing: process by which routing table is built Network as a Graph C
More informationIP & DCN Planning for Microwave Networks
IP & DCN Planning for Microwave Networks 2016 IP & DCN Planning for Microwave Networks To equip trainees with in-depth understandings and practical knowledge of IP / MPLS & DCN Planning and its Implementation
More informationMPLS Ping and Traceroute for BGP and IGP Prefix-SID
MPLS Ping and Traceroute for BGP and IGP Prefix-SID MPLS Ping and Traceroute operations for Prefix SID are supported for various BGP and IGP scenarios, for example: Within an IS-IS level or OSPF area Across
More informationTheophilus Benson Aditya Akella David A Maltz
Theophilus Benson (tbenson@cs.wisc.edu) Aditya Akella (akella@cs.wisc.edu) David A Maltz (dmaltz@microsoft.com) Intricate logical and physical topologies Diverse network devices Operating on different
More informationOperation Manual MCE H3C S3610&S5510 Series Ethernet Switches. Table of Contents
Table of Contents Table of Contents Chapter 1 MCE Overview... 1-1 1.1 MCE Overview... 1-1 1.1.1 Introduction to BGP/MPLS VPN... 1-1 1.1.2 BGP/MPLS VPN Concepts... 1-2 1.1.3 Introduction to MCE... 1-5 1.1.4
More informationA Routing Infrastructure for XIA
A Routing Infrastructure for XIA Aditya Akella and Peter Steenkiste Dave Andersen, John Byers, David Eckhardt, Sara Kiesler, Jon Peha, Adrian Perrig, Srini Seshan, Marvin Sirbu, Hui Zhang FIA PI Meeting,
More informationExamination. IP routning på Internet och andra sammansatta nät, DD2491 IP routing in the Internet and other complex networks, DD2491
Examination IP routning på Internet och andra sammansatta nät, DD2491 IP routing in the Internet and other complex networks, DD2491 Date: October 21st 2008 10:00 13:00 a) No help material is allowed You
More informationRouting Basics. Routing Concepts. IPv4. IPv4 address format. A day in a life of a router. What does a router do? IPv4 Routing
Routing Concepts IPv4 Routing Routing Basics ISP/IXP Workshops Forwarding Some definitions Policy options Routing Protocols 1 2 IPv4 IPv4 address format Internet uses IPv4 addresses are 32 bits long range
More informationSpirent TestCenter Segment Routing AppNote
Spirent TestCenter Segment Routing AppNote Table of contents Executive Summary....................................................................2 Overview of Segment Routing..............................................................2
More informationBGP Attributes and Path Selection
BGP Attributes and Path Selection ISP Training Workshops 1 BGP Attributes The tools available for the job 2 What Is an Attribute?... Next Hop AS Path MED...... Part of a BGP Update Describes the characteristics
More informationAPT Incremental Deployment
APT Incremental Deployment Dan Jen, Michael Meisel, Daniel Massey, Lan Wang, Beichuan Zhang, Lixia Zhang http://www.cs.ucla.edu/~meisel/draft-apt-incremental-00.txt 1 Why This Talk Incrememtal deployability
More informationCOM-208: Computer Networks - Homework 6
COM-208: Computer Networks - Homework 6. (P22) Suppose you are interested in detecting the number of hosts behind a NAT. You observe that the IP layer stamps an identification number sequentially on each
More informationThe Case for Separating Routing from Routers
The Case for Separating Routing from Routers Nick Feamster, Hari Balakrishnan M.I.T. Computer Science and Artificial Intelligence Laboratory Jennifer Rexford, Aman Shaikh, Kobus van der Merwe AT&T Labs
More informationConfigure Segment Routing for BGP
Border Gateway Protocol (BGP) is an Exterior Gateway Protocol (EGP) that allows you to create loop-free inter-domain routing between autonomous systems. An autonomous system is a set of routers under a
More informationHow BGP Routers Use the Multi Exit Discriminator for Best Path Selection
How BGP Routers Use the Multi Exit Discriminator for Best Path Selection Document ID: 13759 Contents Introduction Prerequisites Requirements Components Used Conventions The MED Attribute Example The bgp
More informationUsing Segment Routing OAM
Segment Routing Operations, Administration, and Maintenance (OAM) helps service providers to monitor label-switched paths (LSPs) and quickly isolate forwarding problems to assist with fault detection and
More informationVLANs. LAN Switching and Wireless Chapter 3. Version Cisco Systems, Inc. All rights reserved. Cisco Public 1
VLANs LAN Switching and Wireless Chapter 3 Version 4.0 2006 Cisco Systems, Inc. All rights reserved. Cisco Public 1 Objectives Explain the role of VLANs in a converged network. Explain the role of trunking
More informationDeploy MPLS L3 VPN. APNIC Technical Workshop October 23 to 25, Selangor, Malaysia Hosted by:
Deploy MPLS L3 VPN APNIC Technical Workshop October 23 to 25, 2017. Selangor, Malaysia Hosted by: Issue Date: [201609] Revision: [01] Acknowledgement Cisco Systems Course Outline MPLS L3 VPN Models L3
More informationIPv6 Switching: Provider Edge Router over MPLS
Multiprotocol Label Switching (MPLS) is deployed by many service providers in their IPv4 networks. Service providers want to introduce IPv6 services to their customers, but changes to their existing IPv4
More informationOPEN CONTRAIL ARCHITECTURE GEORGIA TECH SDN EVENT
OPEN CONTRAIL ARCHITECTURE GEORGIA TECH SDN EVENT sdn-and-nfv-technical---georgia-tech---sep-2013---v2 Bruno Rijsman, Distinguished Engineer 24 September 2013 Use Cases 2 Copyright 2013 Juniper Networks,
More informationInter-AS routing and BGP. Network Layer 4-1
Inter-AS routing and BGP Network Layer 4-1 Review: intra-as routing v Also known as interior gateway protocols (IGP) v Most common intra-as routing protocols: RIP: Routing Information Protocol, distance
More informationMigrating from OSPF to IS-IS
Migrating from OSPF to IS-IS Philip Smith philip@nsrc.org SAFNOG 2 7 th -8 th April 2015 Mbabane Last updated 27 March 2014 1 Presentation slides p Available at: n http://bgp4all.com/ftp/seminars/safnog2-
More informationDistributed Route Aggregation (DRAGON)
Distributed Route Aggregation on the GlObal Network (DRAGON) João Luís Sobrinho 1 Laurent Vanbever 2, Franck Le 3, Jennifer Rexford 4 ACM CoNEXT 2014, Sydney 1 Instituto de Telecomunicações, 1 IST Universidade
More informationLearning Programs from Noisy Data
Learning Programs from Noisy Data Veselin Raychev Pavol Bielik Martin Vechev Andreas Krause ETH Zurich Why learn programs from examples? Input/output examples often easier to provide examples than specification
More informationIntroduction to IS-IS
Introduction to IS-IS ISP Workshops Last updated 28 November 2013 1 IS-IS p Intermediate System to Intermediate System p ISO 10589 specifies OSI IS-IS routing protocol for CLNS traffic n A Link State protocol
More informationRouting Basics. ISP Workshops. Last updated 10 th December 2015
Routing Basics ISP Workshops Last updated 10 th December 2015 1 Routing Concepts p IPv4 & IPv6 p Routing p Forwarding p Some definitions p Policy options p Routing Protocols 2 IPv4 p Internet still uses
More informationSoftware-Defined Networking (SDN) Overview
Reti di Telecomunicazione a.y. 2015-2016 Software-Defined Networking (SDN) Overview Ing. Luca Davoli Ph.D. Student Network Security (NetSec) Laboratory davoli@ce.unipr.it Luca Davoli davoli@ce.unipr.it
More informationIS-IS for ISPs. ISP Workshops. Last updated 25 th August 2015
IS-IS for ISPs ISP Workshops Last updated 25 th August 2015 1 Configuring IS-IS in Cisco IOS p Starting IS-IS in Cisco IOS router isis [name] n Where the optional name can specify the name of the ISIS
More informationChapter 5 Network Layer: The Control Plane
Chapter 5 Network Layer: The Control Plane A note on the use of these Powerpoint slides: We re making these slides freely available to all (faculty, students, readers). They re in PowerPoint form so you
More informationHEADER SPACE ANALYSIS
HEADER SPACE ANALYSIS Peyman Kazemian (Stanford University) George Varghese (UCSD, Yahoo Labs) Nick McKeown (Stanford University) 1 July 17 th, 2012 Joint Techs 2012 TODAY A typical network is a complex
More informationBGP Attributes and Policy Control
BGP Attributes and Policy Control ISP/IXP `2005, Cisco Systems, Inc. All rights reserved. 1 Agenda BGP Attributes BGP Path Selection Applying Policy 2 BGP Attributes The tools available for the job `2005,
More informationIntroduction to IP Routing. Geoff Huston
Introduction to IP Routing Geoff Huston Routing How do packets get from A to B in the Internet? A Internet B Connectionless Forwarding Each router (switch) makes a LOCAL decision to forward the packet
More informationIntroduction to OSPF
Introduction to OSPF 1 OSPF Open Shortest Path First Link state or SPF technology Developed by OSPF working group of IETF (RFC 1247) OSPFv2 standard described in RFC2328 Designed for: TCP/IP environment
More informationCisco Implementing Cisco IP Routing v2.0 (ROUTE)
Course Overview ROUTE v2.0, a five-day ILT course, includes major updates and follows an updated blueprint. (However, note that this course does not cover all items listed on the blueprint.) Some older
More informationSeamless Network-Wide IGP Migrations
Seamless Network-Wide IGP Migrations Laurent Vanbever, Stefano Vissicchio, Cristel Pelsser, Pierre Francois, and Olivier Bonaventure laurent.vanbever@uclouvain.be SIGCOMM August 8, 20 It is not the strongest
More informationOutline Computer Networking. Inter and Intra-Domain Routing. Internet s Area Hierarchy Routing hierarchy. Internet structure
Outline 15-441 15-441 Computer Networking 15-641 Lecture 10: Inter-Domain outing Border Gateway Protocol -BGP Peter Steenkiste Fall 2016 www.cs.cmu.edu/~prs/15-441-f16 outing hierarchy Internet structure
More informationUNIVERSITY OF CAGLIARI
UNIVERSITY OF CAGLIARI DIEE - Department of Electrical and Electronic Engineering Infrastrutture ed Applicazioni Avanzate nell Internet SDN: Control Plane ACK: content taken from Foundations of Modern
More informationNetwork Layer: The Control Plane
Network Layer: The Control Plane 7 th Edition, Global Edition Jim Kurose, Keith Ross Pearson April 06 5- Software defined networking (SDN) Internet network layer: historically has been implemented via
More informationModule 6 ibgp and Basic ebgp
ISP Workshop Lab Module 6 ibgp and Basic ebgp Objective: Simulate four different interconnected ISP backbones using a combination of OSPF, internal BGP, and external BGP. Prerequisites: Module 1 Topology
More informationNetwork Policy Enforcement
CHAPTER 6 Baseline network policy enforcement is primarily concerned with ensuring that traffic entering a network conforms to the network policy, including the IP address range and traffic types. Anomalous
More informationCMPE 151 Routing. Marc Mosko
CMPE 151 Routing Marc Mosko Talk Outline Routing basics Why segment networks? IP address/subnet mask The gateway decision based on dest IP address default gateway and static routing gateway discovery (DHCP,
More informationSDX: A Software Defined Internet Exchange
SDX: A Software Defined Internet Exchange @SIGCOMM 2014 Laurent Vanbever Princeton University FGRE Workshop (Ghent, iminds) July, 8 2014 The Internet is a network of networks, referred to as Autonomous
More informationSmall additions by Dr. Enis Karaarslan, Purdue - Aaron Jarvis (Network Engineer)
Routing Basics 1 Small additions by Dr. Enis Karaarslan, 2014 Purdue - Aaron Jarvis (Network Engineer) Routing Concepts IPv4 Routing Forwarding Some definitions Policy options Routing Protocols 3 IPv4
More informationBGP Attributes and Policy Control
BGP Attributes and Policy Control ISP/IXP Workshops 1 Agenda BGP Attributes BGP Path Selection Applying Policy 2 BGP Attributes The tools available for the job 3 What Is an Attribute?... Next Hop......
More informationRouting Protocols. Autonomous System (AS)
Routing Protocols Two classes of protocols: 1. Interior Routing Information Protocol (RIP) Open Shortest Path First (OSPF) 2. Exterior Border Gateway Protocol (BGP) Autonomous System (AS) What is an AS?
More informationLecture 19: Network Layer Routing in the Internet
Lecture 19: Network Layer Routing in the Internet COMP 332, Spring 2018 Victoria Manfredi Acknowledgements: materials adapted from Computer Networking: A Top Down Approach 7 th edition: 1996-2016, J.F
More informationOpen Source Routing. OSPF Testplan. Revision Date Author Comment Martin Winter Initial draft
Open Source Routing Revision Date Author Comment 2012-02-04 Martin Winter Initial draft Revision: February 4, 2012 23:47:46 by Martin Winter Page 1 of 17 1. INTRODUCTION... 3 1.1. WHAT THESE TESTS DON
More informationImplementing Cisco IP Routing E-Learning
Implementing Cisco IP Routing E-Learning Duration: 1 Day Course Code: E-ROUTE Overview: In this course, administrators of medium-to-large network sites will learn to use advanced routing to provide scalability
More informationModule: Routing Security. Professor Patrick McDaniel Spring CMPSC443 - Introduction to Computer and Network Security
CMPSC443 - Introduction to Computer and Network Security Module: Routing Security Professor Patrick McDaniel Spring 2009 1 Routing 101 Network routing exists to provide hosts desirable paths from the source
More informationPfRv3 Zero SLA Support
The Performance Routing v3 (PfRv3) Zero SLA Support feature enables users to reduce probing frequency on various ISP links, such as 3G, 4G, and LTE When the Zero SLA (0-SLA) feature is configured on an
More informationAPNIC elearning: BGP Basics. 30 September :00 PM AEST Brisbane (UTC+10) Revision: 2.0
APNIC elearning: BGP Basics 30 September 2015 1:00 PM AEST Brisbane (UTC+10) Issue Date: 07 July 2015 Revision: 2.0 Presenter Nurul Islam (Roman) Senior Training Specialist, APNIC Nurul maintains the APNIC
More informationBGP/MPLS VPN Technical White Paper
V300R001C10 BGP/MPLS VPN Technical White Paper Issue 01 Date 2013-12-10 HUAWEI TECHNOLOGIES CO., LTD. 2013. All rights reserved. No part of this document may be reproduced or transmitted in any form or
More informationWhy dynamic route? (1)
Routing Why dynamic route? (1) Static route is ok only when Network is small There is a single connection point to other network No redundant route 2 Why dynamic route? (2) Dynamic Routing Routers update
More informationInter-Autonomous-System Routing: Border Gateway Protocol
Inter-Autonomous-System Routing: Border Gateway Protocol Antonio Carzaniga Faculty of Informatics University of Lugano December 10, 2014 Outline Hierarchical routing BGP Routing 2005 2007 Antonio Carzaniga
More informationOutline. EL736 Communications Networks II: Design and Algorithms. Class3: Network Design Modelling Yong Liu 09/19/2006
EL736 Communications Networks II: Design and Algorithms Class3: Network Design Modelling Yong Liu 09/19/2006 1 Outline Examples Basic Problems Routing Restriction 2 1 Example: Intra-Domain Traffic Engineering
More informationBoon Thau Loo University of Pennsylvania
Summary of Networked Systems Breakout Boon Thau Loo University of Pennsylvania Networked Systems Breakout Series of 15-20 minute talks: Challenges in safe routing (Alex Gurney) Compositional network services
More informationAdvanced Topics in Routing
Advanced Topics in Routing EE122 Fall 2012 Scott Shenker http://inst.eecs.berkeley.edu/~ee122/ Materials with thanks to Jennifer Rexford, Ion Stoica, Vern Paxson and other colleagues at Princeton and UC
More informationIntroduction to Segment Routing Santiago Álvarez, Distinguished Technical Marketing Engineer BRKRST-2124
Introduction to Segment Routing Santiago Álvarez, Distinguished Technical Marketing Engineer BRKRST-2124 Agenda Technology Overview Use Cases A Closer Look to Control and Data Plane Traffic Protection
More informationModule 11a MPLS VPWS Configuration Lab (LDP)
APNIC MPLS Workshop Lab Module 11a MPLS VPWS Configuration Lab (LDP) Objective: All the routers are pre-configured with basic interface, OSPF, BGP, MPLS Label Distribution Protocol (LDP) configuration
More informationConnecting to a Service Provider Using External BGP
Connecting to a Service Provider Using External BGP First Published: May 2, 2005 Last Updated: August 21, 2007 This module describes configuration tasks that will enable your Border Gateway Protocol (BGP)
More informationModule 11b MPLS VPLS Configuration Lab (LDP Manual)
APNIC MPLS Workshop Lab Module 11b MPLS VPLS Configuration Lab (LDP Manual) Objective: All the routers are pre-configured with basic interface, OSPF, BGP, MPLS Label Distribution Protocol (LDP) configuration
More informationÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE. Link State Routing. Jean Yves Le Boudec 2015
ÉCOLE POLYTECHNIQUE FÉDÉRALE DE LAUSANNE Link State Routing Jean Yves Le Boudec 2015 1 Contents 1. Link state 2. OSPF and Hierarchical routing with areas 3. Dynamic metrics and Braess paradox 2 1. Link
More informationBorder Gateway Protocol
39 CHAPTER Chapter Goals Understand the purpose of the. Explain BGP attributes and their use in route selection. Examine the BGP route selection process. Introduction The (BGP) is an interautonomous system
More information