1. Cherie Wasous CSS548 – Introduction to Compilers Autumn 2012

7. those with Big Networks, and Huge Data Centers

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

10. Decouple the Control and Data Planes

11.  Eliminate Control Plan from Network Devices

12. 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

13. 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

14.  low-level SDN framework  single pattern per rule

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

17. http://www.lightreading.com/d ocument.asp?doc_id=227138

18. a Policy – from NetCore level

19. a Policy – to OpenFlow level

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

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

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

23.  Open Source compiler development effort  https://github.com/frenetic-lang/netcore https://github.com/frenetic-lang/netcore  coding in Haskell – Functional language  Open Source SDN network simulator, and more  http://www.sdncentral.com/comprehensive- list-of-open-source-sdn-projects/ http://www.sdncentral.com/comprehensive- list-of-open-source-sdn-projects/

24. 1. The Open Networking Foundation. https://www.opennetworking.orghttps://www.opennetworking.org 2. “Software-Defined Networking: The New Norm for Networks.” Whitepaper. https://www.opennetworking.org/images/stories/downloads/white-papers/wp- sdn-newnorm.pdf https://www.opennetworking.org/images/stories/downloads/white-papers/wp- 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, http://dl.acm.org/citation.cfm?id=2103685http://dl.acm.org/citation.cfm?id=2103685