Network configuration synthesis with abstract topologies

Ryan Beckett, Ratul Mahajan, Todd Millstein, Jitendra Padhye, David Walker

Research output: Chapter in Book/Report/Conference proceedingConference contribution

13 Scopus citations

Abstract

We develop Propane/AT, a system to synthesize provablycorrect 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 on new abstractions for capturing parameterized network topologies and their evolution, and algorithms to analyze the impact of topology and routing policy on fault tolerance. Our algorithms operate entirely on abstract topologies. We prove that the properties established by our analyses hold for every concrete instantiation of the given abstract topology. Propane/AT also guarantees that only incremental changes to existing device configurations are required when the network evolves to add or remove devices and links. Our experiments with real-world topologies and policies show that our abstractions and algorithms are effective, and that, for large networks, Propane/AT synthesizes configurations two orders of magnitude faster than systems that operate on concrete topologies. Copyright is held by the owner/author(s).

Original languageEnglish (US)
Title of host publicationPLDI 2017 - Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation
EditorsAlbert Cohen, Martin Vechev
PublisherAssociation for Computing Machinery
Pages437-451
Number of pages15
ISBN (Electronic)9781450349888
DOIs
StatePublished - Jun 14 2017
Event38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017 - Barcelona, Spain
Duration: Jun 18 2017Jun 23 2017

Publication series

NameProceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
VolumePart F128414

Other

Other38th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2017
CountrySpain
CityBarcelona
Period6/18/176/23/17

All Science Journal Classification (ASJC) codes

  • Software

Keywords

  • BGP
  • Compilation
  • Domain-specific Language
  • Fault tolerance
  • Network management
  • Propane/AT

Fingerprint Dive into the research topics of 'Network configuration synthesis with abstract topologies'. Together they form a unique fingerprint.

Cite this