Cherie Wasous CSS548 – Introduction to Compilers Autumn 2012

those with Big Networks, and Huge Data Centers

those with Big Networks, and Huge Data Centers Google, Verizon, Microsoft, Yahoo!, Deutsche Telekom, …

Decouple the Control and Data Planes

 Eliminate Control Plan from Network Devices

Decouple the Control and Data Planes  Eliminate Control Plan from Network Devices  use separate general purpose machine (“Controller”) to Program and Query the Data Planes of the cheap commodity switches

Decouple the Control and Data Planes  Eliminate Control Plan from Network Devices  use separate general purpose machine (“Controller”) to Program and Query the Data Planes of the cheap commodity switches OpenFlow: switch-controller protocol

 low-level SDN framework  single pattern per rule

 high-level Declarative language  Expressing packet-forwarding policies on SDNs  Expressive: intuitively readable constructs  Compositional  Formal Semantics

ocument.asp?doc_id=227138

a Policy – from NetCore level

a Policy – to OpenFlow level

a Policy – from NetCore level a Policy – to OpenFlow level Policy 2 – from NetCore levelanother Policy – from NetCore level

a Policy – from NetCore level a Policy – to OpenFlow level another Policy – to OpenFlow level another Policy – from NetCore level

combined Policy – from NetCore level combined Policy – to OpenFlow level

 Open Source compiler development effort   coding in Haskell – Functional language  Open Source SDN network simulator, and more  list-of-open-source-sdn-projects/ list-of-open-source-sdn-projects/

1. The Open Networking Foundation “Software-Defined Networking: The New Norm for Networks.” Whitepaper. sdn-newnorm.pdf sdn-newnorm.pdf 3. “A Compiler and Run-time System for Network Programming Languages “, 1/2012, ACM/POPL, Christopher Monsanto, Nate Foster, Rob Harrison, David Walker,