Enabling Innovation Inside the Network Jennifer Rexford Princeton University

Slides:



Advertisements
Similar presentations
Towards Software Defined Cellular Networks
Advertisements

Incremental Update for a Compositional SDN Hypervisor Xin Jin Jennifer Rexford, David Walker.
Logically Centralized Control Class 2. Types of Networks ISP Networks – Entity only owns the switches – Throughput: 100GB-10TB – Heterogeneous devices:
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
Composing Software-Defined Networks Princeton*Cornell^ Chris Monsanto*, Joshua Reich* Nate Foster^, Jen Rexford*, David Walker*
Nanxi Kang Princeton University
Jennifer Rexford Princeton University
Slick: A control plane for middleboxes Bilal Anwer, Theophilus Benson, Dave Levin, Nick Feamster, Jennifer Rexford Supported by DARPA through the U.S.
OpenFlow-Based Server Load Balancing GoneWild
Programming Abstractions for Software-Defined Networks Jennifer Rexford Princeton University.
SDN and Openflow.
Scalable Flow-Based Networking with DIFANE 1 Minlan Yu Princeton University Joint work with Mike Freedman, Jennifer Rexford and Jia Wang.
A Routing Control Platform for Managing IP 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.
The Future of the Internet Jennifer Rexford ’91 Computer Science Department Princeton University
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
Enabling Innovation Inside the Network Jennifer Rexford Princeton University
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.
OpenFlow-Based Server Load Balancing GoneWild Author : Richard Wang, Dana Butnariu, Jennifer Rexford Publisher : Hot-ICE'11 Proceedings of the 11th USENIX.
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.
Reasoning about Software Defined Networks Mooly Sagiv Tel Aviv University Thursday (Physics 105) Monday Schrieber.
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 Mike Freedman COS 461: Computer Networks
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
SDX: A Software-Defined Internet eXchange Jennifer Rexford Princeton University
SDN AND OPENFLOW SPECIFICATION SPEAKER: HSUAN-LING WENG DATE: 2014/11/18.
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.
SDN Management Layer DESIGN REQUIREMENTS AND FUTURE DIRECTION NO OF SLIDES : 26 1.
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,
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
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.
SDN and Beyond Ghufran Baig Mubashir Adnan Qureshi.
Data Center Networks and Software-defined Networking
SDN challenges Deployment challenges
Discovering Your Research Taste
Jennifer Rexford Princeton University
6.829 Lecture 13: Software Defined Networking
Software Defined Networking
Programming the Networks of the Future
Programmable Networks
Software Defined Networking (SDN)
Software Defined Networking
Enabling Innovation Inside the Network
Programming Languages for Programmable Networks
Programmable Networks
Administrivia Paper assignments for reviews 2 and 3 are out
Lecture 10, Computer Networks (198:552)
Frenetic: Programming Software Defined Networks
Enabling Innovation Inside the Network
Control-Data Plane Separation
Chapter 4: outline 4.1 Overview of Network layer data plane
Presentation transcript:

Enabling Innovation Inside the Network Jennifer Rexford Princeton University

The Internet: A Remarkable Story Tremendous success –From research experiment to global infrastructure Brilliance of under-specifying –Network: best-effort packet delivery –Hosts: arbitrary applications Enables innovation –Apps: Web, P2P, VoIP, social networks, … –Links: Ethernet, fiber optics, WiFi, cellular, … 2

Inside the ‘Net: A Different Story… Closed equipment –Software bundled with hardware –Vendor-specific interfaces Over specified –Slow protocol standardization Few people can innovate –Equipment vendors write the code –Long delays to introduce new features 3

Do We Need Innovation Inside? Many boxes (routers, switches, firewalls, …), with different interfaces.

Networks are Hard to Manage Operating a network is expensive –More than half the cost of a network –Yet, operator error causes most outages Buggy software in the equipment –Routers with 20+ million lines of code –Cascading failures, vulnerabilities, etc. The network is “in the way” –Especially a problem in data centers –… and home networks 5

Software Defined Networks 6 control plane: distributed algorithms data plane: packet processing

decouple control and data planes Software Defined Networks 7

decouple control and data planes by providing open standard API Software Defined Networks 8

(Logically) Centralized Controller Controller Platform 9

Protocols  Applications Controller Platform 10 Controller Application

Benefits of SDN Faster pace of innovation –Less dependence on vendors and standards Easier interoperability –Compatibility only in the “wire” protocol Simpler management –Network-wide visibility, and direct control Simpler, cheaper equipment –Minimal software, simple forwarding hardware 11

Entire backbone runs on SDN A Major Trend in Networking Bought for $1.2 x 10 9 (mostly cash) 12

Creating Foundation for Networking Today: a domain, not a discipline –Alphabet soup of protocols –Header formats and bit twiddling –Preoccupation with existing artifacts Tomorrow: from practice, to principles –Intellectual foundation for networking –Identify the key abstractions –… and support them efficiently To build networks worthy of society’s trust 13

OpenFlow 14

Data Plane: Packet Processing Simple packet-handling rules –Pattern: match packet header bits –Actions: drop, forward, modify, send to controller –Priority: disambiguate overlapping patterns –Counters: #bytes and #packets 15 1.src=1.2.*.*, dest=3.4.5.*  drop 2.src = *.*.*.*, dest=3.4.*.*  forward(2) 3. src= , dest=*.*.*.*  send to controller 1.src=1.2.*.*, dest=3.4.5.*  drop 2.src = *.*.*.*, dest=3.4.*.*  forward(2) 3. src= , dest=*.*.*.*  send to controller

Control Plane: Programmability 16 Events from switches Topology changes, Traffic statistics, Arriving packets Commands to switches (Un)install rules, Query statistics, Send packets Controller Platform Controller Application

Seamless Mobility/Migration See host sending traffic at new location Modify rules to reroute the traffic 17

Server Load Balancing Pre-install load-balancing policy Split traffic based on source IP src=0* src=1*

Example SDN Applications Seamless mobility/migration Server load balancing Dynamic access control Using multiple wireless access points Energy-efficient networking Adaptive traffic monitoring Denial-of-Service attack detection Network virtualization 19 See

Programming SDNs 20

Programming SDNs 21 Images by Billy Perkins 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 –Programmer faced with challenging distributed programming problem

Network Control Loop 22 Read state OpenFlow Switches Write policy Compute Policy

Language-Based Abstractions 23 SQL-like query languag e OpenFlow Switches Consistent updates Module Composition

Combining Many Networking Tasks 24 Controller Platform Monitor + Route + FW + LB Monolithic application Hard to program, test, debug, reuse, port, …

Modular Controller Applications 25 Controller Platform LB Route Monitor FW Easier to program, test, and debug Greater reusability and portability A module for each task

Beyond Multi-Tenancy 26 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

Modules Affect the Same Traffic 27 Controller Platform LB Route Monitor FW How to combine modules into a complete application? Each module partially specifies the handling of the traffic

Parallel Composition 28 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)

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

Sequential Composition 30 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 )

Dividing the Traffic Over Modules Predicates –Specify which traffic traverses which modules –Based on input port and packet-header fields 31 Routing Load Balancer Monitor Routing dstport != 80 dstport = 80 >> +

Partially Specifying Functionality A module should not specify everything –Leave some flexibility to other modules –Avoid tying the module to a specific setting Example: load balancer plus routing –Load balancer spreads traffic over replicas –… without regard to the network paths 32 Load Balancer Routing >>

Topology Abstraction Present an abstract topology –Information hiding: limit what a module sees –Protection: limit what a module does –Abstraction: present a familiar interface 33 Real networkAbstract view

High-Level Architecture 34 Controller Platform M1 M2 M3 Main Program Main Program

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, handle packets 35 Select(bytes) * Where(inport:2) * GroupBy([dstmac]) * Every(60) Select(packets) * GroupBy([srcmac]) * SplitWhen([inport]) * Limit(1) Learning Host Location Traffic Monitoring

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 36 CHANGE We Can Believe In

Language-Based Abstractions 37 SQL-like query languag e OpenFlow Switches Consistent updates Module Composition

Many Challenging Questions Remain Maturing the technology –Measuring and controlling end hosts –Heterogeneous switch hardware –Distributed and replicated controllers –Multiple administrative domains Applying SDN in new settings –Enterprise networks –Cellular core and radio access networks –Internet eXchange Points and transit networks 38

Conclusion SDN is exciting –Enables innovation –Simplifies management –Rethinks networking SDN is happening –Practice: useful APIs and good industry traction –Principles: start of higher-level abstractions Great opportunity –Practical impact on future networks –Placing networking on a strong foundation 39

Learn More SDN and OpenFlow – – – –conferences.sigcomm.org/sigcomm/2012/hotsdn.phpconferences.sigcomm.org/sigcomm/2012/hotsdn.php Frenetic language – – –github.com/frenetic-langgithub.com/frenetic-lang 40