Snowcap: Synthesizing Network-Wide Configuration Updates
OPEN ACCESS
Loading...
Author / Producer
Date
2021-08
Publication Type
Conference Paper
ETH Bibliography
yes
Citations
Altmetric
OPEN ACCESS
Data
Rights / License
Abstract
Large-scale reconfiguration campaigns tend to be nerve-racking for network operators as they can lead to significant network downtimes, decreased performance, and policy violations. Unfortunately, existing reconfiguration frameworks often fall short in practice as they either only support a small set of reconfiguration scenarios or simply do not scale. We address these problems with Snowcap, the first network reconfiguration framework which can synthesize configuration updates that comply with arbitrary hard and soft specifications, and involve arbitrary routing protocols. Our key contribution is an efficient search procedure which leverages counter-examples to efficiently navigate the space of configuration updates. Given a reconfiguration ordering which violates the desired specifications, our algorithm automatically identifies the problematic commands so that it can avoid this particular order in the next iteration. We fully implemented Snowcap and extensively evaluated its scalability and effectiveness on real-world topologies and typical, large-scale reconfiguration scenarios. Even for large topologies, Snowcap finds a valid reconfiguration ordering with minimal side-effects (i.e., traffic shifts) within a few seconds at most.
Permanent link
Publication status
published
External links
Editor
Book title
Proceedings of the 2021 ACM SIGCOMM Conference
Journal / series
Volume
Pages / Article No.
33 - 49
Publisher
Association for Computing Machinery
Event
ACM SIGCOMM 2021 Conference
Edition / version
Methods
Software
Geographic location
Date collected
Date created
Subject
Network analysis; Configuration; Migration
Organisational unit
09477 - Vanbever, Laurent / Vanbever, Laurent
Notes
Funding
851809 - From Network Verification to Synthesis: Breaking New Ground in Network Automation (EC)