skip to main content
research-article
Public Access

Synthesis of Fault-Tolerant Distributed Router Configurations

Published:03 April 2018Publication History
Skip Abstract Section

Abstract

Operators of modern networks require support for diverse and complex end-to-end policies, such as, middlebox traversals, isolation, and traffic engineering. While Software-defined Networking (SDN) provides centralized custom routing functionality in networks to realize these policies, many networks still deploy "legacy" control planes running distributed routing protocols like OSPF and BGP because these protocols are scalable and robust to failures. However, realization of policies by distributed control plane configurations is manual and error-prone. We present Zeppelin, a system for automatically generating policy-compliant control planes that also behave well under majority of small network failures. Zeppelin differs from existing approaches in that it uses policy-compliant paths to guide the synthesis process instead of directly generating policy-compliant configurations. We show that Zeppelin synthesizes highly resilient and policy-compliant configurations for real topologies with up to 80 routers.

References

  1. Aditya Akella and Arvind Krishnamurthy. 2014. A Highly Available Software Defined Fabric. In HotNets. Google ScholarGoogle ScholarDigital LibraryDigital Library
  2. Mohammad Al-Fares, Alexander Loukissas, and Amin Vahdat. 2008. A scalable, commodity data center network architecture ACM SIGCOMM Computer Communication Review, Vol. Vol. 38. ACM, 63--74. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. Carolyn Jane Anderson, Nate Foster, Arjun Guha, Jean-Baptiste Jeannin, Dexter Kozen, Cole Schlesinger, and David Walker. 2014. NetKAT: Semantic Foundations for Networks. In Proceedings of the 41st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL '14). ACM, New York, NY, USA, 113--126. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitu Padhye, and David Walker. 2016. Don't Mind the Gap: Bridging Network-wide Objectives and Device-level Configurations. In Proceedings of the ACM SIGCOMM 2016 Conference on SIGCOMM (SIGCOMM '16). Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitendra Padhye, and David Walker. 2017. Network configuration synthesis with abstract topologies Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM, 437--451. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. Theophilus Benson, Aditya Akella, and David Maltz. 2009. Unraveling the Complexity of Network Management. In Proceedings of the 6th USENIX Symposium on Networked Systems Design and Implementation (NSDI'09). USENIX Association, Berkeley, CA, USA, 335--348. deftempurl%http://dl.acm.org/citation.cfm?id=1558977.1559000 tempurl Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. Theophilus Benson, Aditya Akella, and Aman Shaikh. 2011. Demystifying Configuration Challenges and Trade-offs in Network-based ISP Services. In Proceedings of the ACM SIGCOMM 2011 Conference (SIGCOMM '11). ACM, New York, NY, USA, 302--313. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. Peter Broström and Kaj Holmberg. 2009. Compatible weights and valid cycles in non-spanning OSPF routing patterns. Algorithmic Operations Research Vol. 4, 1 (2009), 19--35.Google ScholarGoogle Scholar
  9. Matthew Caesar, Donald Caldwell, Nick Feamster, Jennifer Rexford, Aman Shaikh, and Jacobus van der Merwe. 2005. Design and Implementation of a Routing Control Platform Proceedings of the 2Nd Conference on Symposium on Networked Systems Design & Implementation - Volume 2 (NSDI'05). USENIX Association, Berkeley, CA, USA, 15--28. deftempurl%http://dl.acm.org/citation.cfm?id=1251203.1251205 tempurl Google ScholarGoogle ScholarDigital LibraryDigital Library
  10. John W Chinneck. 2007. Feasibility and Infeasibility in Optimization:: Algorithms and Computational Methods. Vol. Vol. 118. Springer Science & Business Media. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. Cisco. 2013. What Is Administrative Distance. http://www.cisco.com/c/en/us/support/docs/ip/border-gateway-protocol-bgp/15986-admin-distance.html. (2013).Google ScholarGoogle Scholar
  12. Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, and Martin Vechev. 2017. Network-wide Configuration Synthesis. In 29th International Conference on Computer Aided Verification, Heidelberg, Germany, 2017 (CAV'17).Google ScholarGoogle Scholar
  13. Bernard Fortz and Mikkel Thorup. 2000. Internet traffic engineering by optimizing OSPF weights INFOCOM 2000. Nineteenth annual joint conference of the IEEE computer and communications societies. Proceedings. IEEE, Vol. Vol. 2. IEEE, 519--528.Google ScholarGoogle Scholar
  14. Aaron Gember-Jacobson, Raajay Viswanathan, Chaithan Prakash, Robert Grandl, Junaid Khalid, Sourav Das, and Aditya Akella. 2014. OpenNF: Enabling Innovation in Network Function Control Proceedings of the 2014 ACM Conference on SIGCOMM (SIGCOMM '14). ACM, New York, NY, USA, 163--174. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. Aaron Gember-Jacobson, Wenfei Wu, Xiujun Li, Aditya Akella, and Ratul Mahajan. 2015. Management Plane Analytics. In IMC. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. Phillipa Gill, Navendu Jain, and Nachiappan Nagappan. 2011. Understanding Network Failures in Data Centers: Measurement, Analysis, and Implications. In Proceedings of the ACM SIGCOMM 2011 Conference (SIGCOMM '11). ACM, New York, NY, USA, 350--361. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. Gurobi. 2017. Gurobi Optimization. http://www.gurobi.com/. (2017).Google ScholarGoogle Scholar
  18. Victor Heorhiadi, Michael K Reiter, and Vyas Sekar. 2016. Simplifying software-defined network optimization using SOL 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI 16). 223--237. Google ScholarGoogle ScholarDigital LibraryDigital Library
  19. Ratul Mahajan, David Wetherall, and Thomas E. Anderson. 2002. Understanding BGP misconfiguration. In SIGCOMM. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. David A. Maltz, Geoffrey Xie, Jibin Zhan, Hui Zhang, G'ısli Hjálmtýsson, and Albert Greenberg. 2004. Routing Design in Operational Networks: A Look from the Inside Proceedings of the 2004 Conference on Applications, Technologies, Architectures, and Protocols for Computer Communications (SIGCOMM '04). ACM, New York, NY, USA, 27--40. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. Nick McKeown, Tom Anderson, Hari Balakrishnan, Guru Parulkar, Larry Peterson, Jennifer Rexford, Scott Shenker, and Jonathan Turner. 2008. OpenFlow: Enabling Innovation in Campus Networks. SIGCOMM Comput. Commun. Rev. Vol. 38, 2 (March. 2008), 69--74. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. H. Zeng, P. Kazemian, G. Varghese, and N. McKeown. 2012. A Survey on Network Troubleshooting. Technical Report TR12-HPNG-061012. Stanford University.Google ScholarGoogle Scholar

Index Terms

  1. Synthesis of Fault-Tolerant Distributed Router Configurations

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in

      Full Access

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader
      About Cookies On This Site

      We use cookies to ensure that we give you the best experience on our website.

      Learn more

      Got it!