| 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. |
