|
Authors: | Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, Martin Vechev |
Group: | Networked Systems |
Type: | Inproceedings |
Title: | NetComplete: Practical Network Wide Configuration Synthesis with Autocompletion |
Year: | 2018 |
Month: | April |
Book Titel: | Proceedings 15th USENIX Symposium on Networked Systems Design and Implementation (NSDI 18) |
Publisher: | USNIX |
Abstract: | Network operators often need to adapt their network con- figurations to comply with changing routing policies. Evolving existing configurations, however, is a complex task as local changes can have unforeseen global effects. Not surprisingly, this often leads to mistakes that result in network downtimes. We present NetComplete, a new system that assists network operators in modifying existing network-wide configurations to comply with new routing policies. NetComplete takes as input an existing configuration with “holes” that identify the parameters to be completed and "autocompletes" these with concrete values. The use of a partial configuration addresses two important challenges inherent to existing synthesis solutions: (i) it allows expressing intent on how the configuration should be changed, and (ii) it leverages the exist- ing configuration to gain performance and scalability. To scale, NetComplete relies powerful techniques such as counter-example guided inductive synthesis (to link-state protocols) and partial evaluation (to path-vector protocols). NetComplete can autocomplete partial configurations using static routes, OSPF, and BGP. NetComplete also scales to realistic networks and complex routing policies – it is able to synthesize configurations for networks with up to 200 routers in few minutes. |
Location: | RENTON, WA, USA |
Resources: | [BibTeX] |