Incremental Network Configuration Verification
Incremental Network Configuration Verification
复制标题
DOI：
10.1145/3422604.3425936
复制
发表时间：
2020-11
期刊：
影响因子：
--
通讯作者：
Peng Zhang;Yuhao Huang;Aaron Gember;Wenbo Shi;Xu Liu;Hongkun Yang;Zhiqiang Zuo
中科院分区：
文献类型：
--
作者：
Peng Zhang;Yuhao Huang;Aaron Gember;Wenbo Shi;Xu Liu;Hongkun Yang;Zhiqiang Zuo
网络配置在不断变化，每次变化都带来灾难性网络中断的风险。因此，网络社区在开发和优化配置验证器方面投入了大量精力。然而，我们发现现有的配置验证器仍然存在一个重大缺陷：它们没有针对配置变化进行优化。也就是说，它们总是从头开始检查网络配置的快照，尽管自上次验证以来配置往往只有轻微变化。在本文中，我们展示了增量式网络配置验证（INCV）的优势、机遇和挑战。我们还通过介绍RealConfig证明了INCV的可行性，RealConfig是一种能够在一秒内检查配置变化的增量式配置验证器。
Network configurations are constantly changing, and each change poses a risk of catastrophic network outages. Consequently, the networking community has put significant effort into developing and optimizing configuration verifiers. However, we observe existing configuration verifiers still have a significant drawback: they are not optimized for configuration changes. That is, they always check a snapshot of network configuration from scratch, even though the configuration often changes slightly since the last verification. In this paper, we demonstrate the benefits, opportunities, and challenges of incremental network configuration verification (INCV). We also demonstrate the feasibility of INCV by introducing RealConfig, an incremental configuration verifier that can check configuration changes within one second.