A safe, efficient update protocol for OpenFlow networks

HotSDN'12 - Proceedings of the 1st ACM International Workshop on Hot Topics in Software Defined Networks

Volumn , Issue , 2012, Pages 61-66

  McGeer, Rick ^a  

^a HEWLETT PACKARD LABORATORIES   (United States)

Author keywords

logic synthesis; openflow; reliable update

Indexed keywords

CONSISTENCY CONDITIONS; LOGIC SYNTHESIS; NEW PROTOCOL; OPENFLOW; RELIABLE UPDATE; SET OF RULES; UPDATE PROTOCOL; WEAK FORM;

COMPUTER NETWORKS; INFORMATION SYSTEMS;

BOOLEAN FUNCTIONS;

EID: 84866513117     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2342441.2342454     Document Type: Conference Paper

References (19)

1. R. K. Brayton, R. L. Rudell, A. L. Sangiovanni-Vincentelli, and A. R. Wang. Mis: A multiple-level logic optimization system. IEEE Trans. on CAD of Integrated Circuits and Systems, 6(6):1062-1081, 1987.
2. M. Casado, M. J. Freedman, J. Pettit, J. Luo, N. Gude, N. McKeown, and S. Shenker. Rethinking enterprise network control. Transactions on Networking (ToN), 17(4):1270-1283, August 2009.
3. M. Casado, M. J. Freedman, J. Pettit, J. Luo, N. McKeown, and S. Shenker. Ethane: Taking control of the enterprise. In Proceedings of ACM SIGCOMM, August 2007.
4. M. Casado, T. Garfinkel, A. Akella, M. Freedman, D. Boneh, N. McKeown, and S. Shenker. Sane: A protection architecture for enterprise networks. In Usenix Security, 2006.
5. M. Casado, T. Koponen, R. Ramanathan, and S. Shenker. Virtualizing the network forwarding plane. In PRESTO, 2010.
6. N. Gude, T. Koponen, J. Pettit, B. Pfaff, M. Casado, N. McKeown, and S. Shenker. Nox: Towards an operating system for networks. ACM SIGCOMM CCR, 38(3):105-110, 2008.
7. B. Heller, S. Seetharaman, P. Mahadevan, Y. Yiakoumis, P. Sharma, S. Banerjee, and N. McKeown. Elastictree: Saving energy in data center networks. In Proceedings of the Usenix Conference on Network Design and Implementation, April 2010.
8. P. Kazemian, G. Varghese, and N. McKeown. Header space analysis: Static checking for networks. In Proceedings of the Usenix Conference on Network Design and Implementation, April 2012.
9. T. Koponen, M. Casado, N. Gude, J. Stribling, L. Poutievski, M. Zhu, R. Ramanathan, Y. Iwata, H. Inoue, T. Hama, and S. Shenker. Onix: A distributed control platform for large-scale production networks. In Operating Systems Design and Implementation (OSDI), 2010.
10. A. X. Liu, C. R. Meiners, and E. Torng. Tcam razor: a systematic approach towards minimizing packet classifiers in tcams. IEEE/ACM Trans. Netw., 18(2):490-500, Apr. 2010.
11. R. McGeer. Verification of switching network properties using satisfiability. In Proceedings of ICC WSDN, June 2012.
12. R. McGeer and P. Yalagandula. Minimizing rulesets for tcam implementation. In Proceedings IEEE Infocom, 2009.
13. N. McKeown, T. Anderson, H. Balakrishnan, G. Parulkar, L. Peterson, J. Rexford, S. Shenker, and J. Turner. Openow: Enabling innovation in campus networks. ACM SIGCOMM CCR, 38(2):69âǍŞ74, 2008.
14. M. Reitblatt, N. Foster, J. Rexford, and D. Walker. Software updates in openow networks: Change you can believe in. In Proceedings of HotNets, 2011.
15. R. Sherwood, G. Gibb, and M. Kobayashi. Carving research slices out of your production networks with openow. ACM SIGCOMM CCR, 40(1):129-130, January 2010.
16. R. Sherwood, G. Gibb, K.-K. Yap, G. Appenzeller, M. Casado, N. McKeown, and G. Parulkar. Can the production network be the testbed? In Operating Systems Design and Implementation (OSDI), 2010.
17. A. Tavakoli, M. Casado, T. Koponen, and S. Shenker. Applying nox to the data center. In Proceededings of ACM HotNets, 2009.
18. The openow switch specification. http://OpenFlowSwitch.org.
19. M. Yu, J. Rexford, M. J. Freedman, and J. Wang. Scalable ow-based networking with difane. In SIGCOMM, 2010.