Higher-Level Abstractions for Software-Defined Networks Jennifer Rexford Princeton University.

Slides:



Advertisements
Similar presentations
Mapping Service Templates to Concrete Network Semantics Some Ideas.
Advertisements

Towards Software Defined Cellular Networks
Incremental Update for a Compositional SDN Hypervisor Xin Jin Jennifer Rexford, David Walker.
SDN Applications Jennifer Rexford Princeton University.
Frenetic: A High-Level Language for OpenFlow Networks Nate Foster, Rob Harrison, Matthew L. Meola, Michael J. Freedman, Jennifer Rexford, David Walker.
Composing Software Defined Networks
Jennifer Rexford Princeton University MW 11:00am-12:20pm Network Virtualization COS 597E: Software Defined Networking.
Composing Software-Defined Networks Princeton*Cornell^ Chris Monsanto*, Joshua Reich* Nate Foster^, Jen Rexford*, David Walker*
Jennifer Rexford Princeton University
Making Cellular Networks Scalable and Flexible Li Erran Li Bell Labs, Alcatel-Lucent Joint work with collaborators at university of Michigan, Princeton,
VeriCon: Towards Verifying Controller Programs in SDNs (PLDI 2014) Thomas Ball, Nikolaj Bjorner, Aaron Gember, Shachar Itzhaky, Aleksandr Karbyshev, Mooly.
Jennifer Rexford Princeton University Future of SDN.
Programming Abstractions for Software-Defined Networks Jennifer Rexford Princeton University.
Software-Defined Networking
Data Plane Verification. Background: What are network policies Alice can talk to Bob Skype traffic must go through a VoIP transcoder All traffic must.
1© Copyright 2015 EMC Corporation. All rights reserved. SDN INTELLIGENT NETWORKING IMPLICATIONS FOR END-TO-END INTERNETWORKING Simone Mangiante Senior.
Jennifer Rexford Princeton University MW 11:00am-12:20pm Data-Center Traffic Management COS 597E: Software Defined Networking.
Enabling Innovation Inside the Network Jennifer Rexford Princeton University
Languages for Software-Defined Networks Nate Foster, Arjun Guha, Mark Reitblatt, and Alec Story, Cornell University Michael J. Freedman, Naga Praveen Katta,
Enabling Innovation Inside the Network Jennifer Rexford Princeton University
Cellular Core Network Architecture
Enabling Innovation Inside the Network Jennifer Rexford Princeton University
Composing Software Defined Networks Jennifer Rexford Princeton University With Joshua Reich, Chris Monsanto, Nate Foster, and.
Enabling Innovation Inside the Network Jennifer Rexford Princeton University
Serval: Software Defined Service-Centric Networking Jen Rexford Erik Nordstrom, David Shue, Prem Gopalan, Rob Kiefer, Mat Arye, Steven Ko, Mike Freedman.
Frenetic: A Programming Language for Software Defined Networks Jennifer Rexford Princeton University Joint work with Nate.
Software-Defined Networks Jennifer Rexford Princeton University.
VeriFlow: Verifying Network-Wide Invariants in Real Time
Languages for Software-Defined Networks Nate Foster, Michael J. Freedman, Arjun Guha, Rob Harrison, Naga Praveen Katta, Christopher Monsanto, Joshua Reich,
Professor Yashar Ganjali Department of Computer Science University of Toronto Some slides courtesy.
Frenetic: Programming Software Defined Networks Jennifer Rexford Princeton University Joint with Nate Foster, David Walker,
Jennifer Rexford Fall 2014 (TTh 3:00-4:20 in CS 105) COS 561: Advanced Computer Networks TCP.
Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Programming Abstractions for Software-Defined Networks.
Programming Abstractions for Software-Defined Networks Jennifer Rexford Princeton University
Extending SDN to Handle Dynamic Middlebox Actions via FlowTags (Full version to appear in NSDI’14) Seyed K. Fayazbakhsh, Luis Chiang, Vyas Sekar, Minlan.
SDX: A Software-Defined Internet eXchange Jennifer Rexford Princeton University
Programming Languages for Software Defined Networks Jennifer Rexford and David Walker Princeton University Joint work with the.
Evolving Toward a Self-Managing Network Jennifer Rexford Princeton University
High-Level Abstractions for Programming Software Defined Networks Joint with Nate Foster, David Walker, Arjun Guha, Rob Harrison, Chris Monsanto, Joshua.
1 | © 2015 Infinera Open SDN in Metro P-OTS Networks Sten Nordell CTO Metro Business Group
Programming Abstractions for Software-Defined Networks Jennifer Rexford Princeton University.
Enabling Innovation Inside the Network Joint with Nate Foster, David Walker, Rob Harrison, Chris Monsanto, Cole Schlesinger, Mike Freedman, Mark Reitblatt,
CellSDN: Software-Defined Cellular Core networks Xin Jin Princeton University Joint work with Li Erran Li, Laurent Vanbever, and Jennifer Rexford.
Evolving Toward a Self-Managing Network Jennifer Rexford Princeton University
Enabling Innovation Inside the Network Jennifer Rexford Princeton University
Jennifer Rexford Princeton University MW 11:00am-12:20pm SDN Programming Languages COS 597E: Software Defined Networking.
Enabling Innovation Inside the Network Jennifer Rexford Princeton University
Measurement Query Languages for Software-Defined Networks Jennifer Rexford Princeton University Joint work with Srinivas.
CSci8211: SDN Controller Design 1 Overview of SDN Controller Design  SDN Re-cap  SDN Controller Design: Case Studies  NOX Next Week:  ONIX  ONOS 
Jennifer Rexford Princeton University MW 11:00am-12:20pm Data-Plane Verification COS 597E: Software Defined Networking.
Jennifer Rexford Princeton University MW 11:00am-12:20pm Testing and Debugging COS 597E: Software Defined Networking.
Header Space Analysis: Static Checking for Networks Broadband Network Technology Integrated M.S. and Ph.D. Eun-Do Kim Network Standards Research Section.
Software Defined Networking BY RAVI NAMBOORI. Overview  Origins of SDN.  What is SDN ?  Original Definition of SDN.  What = Why We need SDN ?  Conclusion.
Xin Li, Chen Qian University of Kentucky
SDN challenges Deployment challenges
Discovering Your Research Taste
A Survey of Network Function Placement
Jennifer Rexford Princeton University
The DPIaaS Controller Prototype
Martin Casado, Nate Foster, and Arjun Guha CACM, October 2014
of Dynamic NFV-Policies
Programming the Networks of the Future
Programmable Networks
Software Defined Networking (SDN)
Enabling Innovation Inside the Network
Languages for Software-Defined Networks
Programmable Networks
Lecture 10, Computer Networks (198:552)
Frenetic: Programming Software Defined Networks
Control-Data Plane Separation
Presentation transcript:

Higher-Level Abstractions for Software-Defined Networks Jennifer Rexford Princeton University

Software-Defined Networking Can program the network –Network-wide visibility –Direct control over the switches –Simple data-plane abstraction But, does not make it easy –Low-level programming interface –Explicit resource control –Non-modular 2 Controller

Better Programming Abstractions Simplify service creation –Enable innovation –Reduce cost and time-to-market Prevent bugs –Prevent outages and inefficiencies –Avoid security vulnerabilities –Leverage verification and debugging Enable software ecosystem –Third-party and home-grown apps 3

Data-Plane Policy as a Function Located packet –Packet-header fields (e.g., srcip, dstmac,..) –Current location (e.g., switch and port) Policy function –From a located packet –… to set of located packets Enabler for –Verifying network invariants (HSA, Veriflow, …) –Functional composition of policies (Frenetic) 4

Slicing Multiple tenants share the network Isolation between slices –Separate portions of the traffic (packets, events) –Separate resources (rule space, bandwidth) 5 Controller Platform Slice 1 Slice 2 Slice n

Composition Modular controller software Composition operators –Parallel: Monitor + Route –Sequential: LB >> Route –Override: TenantRoute |> ProviderRoute 6 Controller Platform LB Route Monitor FW

Topology Abstraction Applications see a virtual topology –Information hiding: limit what they see –Protection: limit what they can do Examples 7 Firewall, Load balancer Route AS A AS B AS C AS D Exchange Point

Query Interfaces Monitoring network state –Traffic statistics –Topology Declarative –What to monitor, not how Efficient –Leverage switch hardware 8 Select(bytes) * Where(in:2 & srcport:80) * GroupBy([dstmac]) * Every(60) Traffic Monitoring Select(packets) * GroupBy([srcmac]) * SplitWhen([inport]) * Limit(1) Learning Host Location Select(packets) Where ((sw = 1) ^ (sw != FW)* ^ (sw = 2)) Packets Evading Firewall

Network Information Base Network data model Distributed key-value store –Read, write, and register for notifications –Consistent state replication (e.g., Paxos, DHT) 9 Network Information Base Controller 1 Controller 2 Controller 3

Consistent Updates Transition from policy P 1 to P 2 –New access control, new paths, … Preserve invariants –No loops, blackholes, congestion, … –Only need to do verification on P 1 and P 2 Controller schedules the rule updates –Perform update in multiple stages –Tag packets with version # of policy 10

Service Chain Network Functions Virtualization (NFV) –Middleboxes as virtualized functions Chaining abstraction –Web traffic: ParentalControl, ProxyCache –Video traffic: Firewall, Transcoder Controller optimizes –Sizing –Placement –Steering –Routing 11 FW1 FW2 T1

Identifying New Abstractions Can’t create abstractions in a vacuum –Abstractions should be useful Use cases should drive abstractions –Experience pain points first hand –Step back to identify reusable abstractions AT&T can help (and be helped!) here –Identify important, concrete use cases –Ensure controllers have the right features 12

Conclusion SDN is an enabler –New services –Easier network management –Better performance, reliability, security,... Better network software is the key –Good, high-level abstractions paired with –… efficient underlying mechanisms Let’s identify some good use cases! 13