Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Programming Abstractions for Software-Defined Networks.

Slides:



Advertisements
Similar presentations
Towards Software Defined Cellular Networks
Advertisements

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*
SDX: A Software-Defined Internet Exchange
Nanxi Kang Princeton University
Jennifer Rexford Princeton University
Modular SDN Programming w/ Pyretic
Incremental Consistent Updates Naga Praveen Katta Jennifer Rexford, David Walker Princeton University.
Jennifer Rexford Princeton University Future of SDN.
OpenFlow-Based Server Load Balancing GoneWild
Programming Abstractions for Software-Defined Networks Jennifer Rexford Princeton University.
David Walker Princeton University Joint work with Nate Foster, Michael J. Freedman, Rob Harrison, Christopher Monsanto, Mark Reitblatt, Jennifer Rexford,
Software-Defined Networking
Software Defined Networking By: Widhi Yahya. Introduction.
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
Scalable Server Load Balancing Inside Data Centers Dana Butnariu Princeton University Computer Science Department July – September 2010 Joint work with.
Software Defined Networking
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
OpenFlow-Based Server Load Balancing GoneWild Author : Richard Wang, Dana Butnariu, Jennifer Rexford Publisher : Hot-ICE'11 Proceedings of the 11th USENIX.
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.
Higher-Level Abstractions for Software-Defined Networks Jennifer Rexford Princeton University.
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.
SDN based Network Security Monitoring in Dynamic Cloud Networks Xiuzhen CHEN School of Information Security Engineering Shanghai Jiao Tong University,
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.
Software Defined Networking Kathryn Abbett. Definition □Origins from Berkley and Stanford, around 2008 □Software-Defined Networking (SDNs) allows applications.
Programming Abstractions for Software-Defined Networks Jennifer Rexford Princeton University
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.
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
Pyretic Programming.
SDX: A Software-Defined Internet eXchange 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
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.
The Internet: An Exciting Time
SDN challenges Deployment challenges
Discovering Your Research Taste
Jennifer Rexford Princeton University
Martin Casado, Nate Foster, and Arjun Guha CACM, October 2014
Programming the Networks of the Future
Programmable Networks
Composing Software-Defined Networks
Enabling Innovation Inside the Network
Languages for Software-Defined Networks
Programming Languages for Programmable Networks
Programmable Networks
Administrivia Paper assignments for reviews 2 and 3 are out
Frenetic: Programming Software Defined Networks
Control-Data Plane Separation
Presentation transcript:

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Programming Abstractions for Software-Defined Networks Jennifer Rexford, Princeton University

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution SDN Makes it Possible to Program the Network Network virtualization User mobility and VM migration Server load balancing Dynamic access control Using multiple wireless access points Energy-efficient networking Adaptive traffic monitoring Denial-of-Service attack detection

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution But, SDN Doesn’t Make it Easy The Good –Network-wide visibility –Direct control over the switches –Simple data-plane abstraction The Bad – Low-level programming interface – Functionality tied to hardware – Explicit resource control The Ugly –Non-modular, non-compositional –Cannot easily combine multiple apps

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Network Control Loop Read state OpenFlow Switches Write policy Compute Policy

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Frenetic Language Abstractions Query languag e OpenFlow Switches Consistent updates Module Composition

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Combining Many Networking Tasks Controller Platform Monitor + Route + FW + LB Monolithic application Hard to program, test, debug, reuse, port, …

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Modular Controller Applications Controller Platform LB Route Monitor FW Easier to program, test, and debug A module for each task

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Beyond Multi-Tenancy Controller Platform Slice 1 Slice 2 Slice n... Each module controls a different portion of the traffic Relatively easy to partition rule space, link bandwidth, and network events across modules

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Modules Affect the Same Traffic Controller Platform LB Route Monitor FW How to combine into a complete application? Each module partially specifies the handling of the traffic

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Parallel Composition Controller Platform Route on destination Monitor on source + dstip =  fwd(1) dstip =  fwd(2 ) srcip =  count srcip = , dstip =  fwd(1), count srcip = , dstip =  fwd(2 ), count srcip =  count dstip =  fwd(1) dstip =  fwd(2)

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Spread client traffic over server replicas –Public IP address for the service –Split traffic based on client IP –Rewrite the server IP address Then, route to the replica Example: Server Load Balancer clients load balancer server replicas

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Sequential Composition Controller Platform Routing Load Balancer >> dstip =  fwd(1) dstip =  fwd(2 ) srcip = 0*, dstip=  dstip= srcip = 1*, dstip=  dstip= srcip = 0*, dstip =  dstip = , fwd(1) srcip = 1*, dstip =  dstip = , fwd(2 )

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Dividing the Traffic Over Modules Predicates –Specify which traffic traverses which modules –Based on input port and packet-header fields Routing Load Balancer Monitor Routing dstport != 80 dstport = 80 >> +

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Topology Abstraction Present an abstract topology –Information hiding: limit what a module sees –Protection: limit what a module does –Abstraction: present a familiar interface 14 Real network Abstract view

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution High-Level Architecture Controller Platform M1 M2 M3 Main Program Main Program

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Reading State: Query Language Applications read state – Traffic counters in switches – Packets sent to the controller Minimize controller overhead – Filter using high-level patterns – Limit the amount of data Controller platform – Installs rules – Reads counters – Handles packets Select(bytes) Where(inport:2) GroupBy([dstmac]) Every(60) Select(packets) GroupBy([srcmac]) SplitWhen([inport]) Limit(1) Learning Host Location Traffic Monitoring

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Writing Policies: Consistent Updates Transition from policy P 1 to P 2 – Security: new access control lists – Routing: new shortest paths Transient policy violations – Packets in flight during policy change – Loops, blackholes, unauthorized traffic Consistent update semantics – Packets experience either P 1 or P 2 – … but never a mixture of the two CHANGE We Can Believe In

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Frenetic Language-Based Abstractions Query languag e OpenFlow Switches Consistent updates Module Composition

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Frenetic Software: Try it Out! Pyretic –Python-based language and run-time system –Software on github under a BSD-style license – –Software development led by Princeton –Used in SDN MOOC, and the PyResonance and SDX projects Frenetic-OCaml –OCaml-based language and run-time system –Software on github under GNU general public license version 3 – –Software development led by Cornell and UMass-Amherst

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Conclusions SDN enables exciting applications –Network-wide visibility –Direct control via an open API But doesn’t make it easy –Low-level interface –Not modular Frenetic raises the level of abstraction –Compose independently-written modules –Query network state and consistently update the switches

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution Frenetic Project Programming languages meets networking –Cornell: Nate Foster, Arjun Guha (now UMass), Gun Sirer, Mark Reitblatt, Alec Story, Robert Soule, Shrutarshi Basu –Princeton: Dave Walker, Jen Rexford, Josh Reich, Cole Schlesinger, Rob Harrison, Chris Monsanto, Naga Katta, Srinivas Narayana, Laurent Vanbever, Xin Jin

Copyright 2013 Open Networking User Group. All Rights Reserved Confidential Not For Distribution To Learn More Project surveys – – Main research papers – Recent SDN research at Princeton –Optimizing rule placement: –Integrating with end hosts: –Cellular core networks: –Internet exchange points: defined-networking/sdx/ defined-networking/sdx/