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.
- Aditya Akella and Arvind Krishnamurthy. 2014. A Highly Available Software Defined Fabric. In HotNets. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
- 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 Scholar
Digital Library
- John W Chinneck. 2007. Feasibility and Infeasibility in Optimization:: Algorithms and Computational Methods. Vol. Vol. 118. Springer Science & Business Media. Google Scholar
Digital Library
- 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 Scholar
- 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 Scholar
- 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 Scholar
- 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 Scholar
Digital Library
- Aaron Gember-Jacobson, Wenfei Wu, Xiujun Li, Aditya Akella, and Ratul Mahajan. 2015. Management Plane Analytics. In IMC. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- Gurobi. 2017. Gurobi Optimization. http://www.gurobi.com/. (2017).Google Scholar
- 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 Scholar
Digital Library
- Ratul Mahajan, David Wetherall, and Thomas E. Anderson. 2002. Understanding BGP misconfiguration. In SIGCOMM. Google Scholar
Digital Library
- 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 Scholar
Digital Library
- 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 Scholar
Digital Library
- H. Zeng, P. Kazemian, G. Varghese, and N. McKeown. 2012. A Survey on Network Troubleshooting. Technical Report TR12-HPNG-061012. Stanford University.Google Scholar
Index Terms
Synthesis of Fault-Tolerant Distributed Router Configurations
Recommendations
Network configuration synthesis with abstract topologies
PLDI 2017: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and ImplementationWe develop Propane/AT, a system to synthesize provably-correct BGP (border gateway protocol) configurations for large, evolving networks from high-level specifications of topology, routing policy, and fault-tolerance requirements. Propane/AT is based ...
Synthesis of Fault-Tolerant Distributed Router Configurations
SIGMETRICS '18: Abstracts of the 2018 ACM International Conference on Measurement and Modeling of Computer SystemsOperators 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 ...
Synthesis of Fault-Tolerant Distributed Router Configurations
SIGMETRICS '18Operators 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 ...






Comments