Fast Configuration Change Impact Analysis for Network Overlay Data Center Networks
네트워크 오버레이 데이터 센터 네트워크에 대한 빠른 구성 변경 영향 분석
Análisis de impacto de cambio de configuración rápido para redes de centros de datos de superposición de red
Analyse rapide de l'impact des changements de configuration pour les réseaux de centres de données superposés
Быстрый анализ влияния изменения конфигурации для сетей центров обработки данных наложенных сетей
Lizhao You 游理钊 ¹, Jiahua Zhang ², Yili Jin ² ³, Hao Tang ², Xiao Li ²
¹ School of Informatics, Xiamen University, Xiamen 361005, China
中国 厦门 厦门大学信息学院
² Huawei Technologies Company Ltd., Shenzhen 518129, China
中国 深圳 华为技术有限公司
³ The Chinese University of Hong Kong (Shenzhen), Shenzhen 518172, China
中国 深圳 香港中文大学(深圳)
IEEE/ACM Transactions on Networking, 1 October 2021

This paper presents the first network configuration verifier that provides fast all-pair reachability analysis of incremental configuration changes for network overlay data center networks (DCNs). Network overlay DCNs leverage distributed routing protocol on edge leaf switches to disseminate overlay routes and establish overlay tunnels. In addition, network overlay DCNs use access control lists, microsegmentation policy, policy-based routing and firewall policy to control east-west and north-south traffic. Although some incremental verification approaches have been proposed, they either do not support certain forwarding features of the network, or are not efficient.

Our configuration verifier addresses these issues through the following components: 1) a port predicate based forwarding model that is general to support all features; 2) fine-grained association technique to index possibly affected reachable pairs by changed interfaces in the original network; and 3) required waypoint path computation that finds all reachable pairs related to changed interfaces in the new network. Based on these components, our verifier presents two incremental verification algorithms that are specially designed for different service update cases.

Experiment results show that our incremental verification algorithms are accurate and fast. For all-pair reachability, our verifier performs change-impact analysis within 15s for networks with 200 leafs (4000 subnets and 16 million pairs), outperforming existing approaches by up to 10x.
IEEE/ACM Transactions on Networking_1
IEEE/ACM Transactions on Networking_2
IEEE/ACM Transactions on Networking_3
Reviews and Discussions
An overview on the principle of inkjet printing technique and its application in micro-display for augmented/virtual realities
Nonlinear optics with structured light
Femtosecond laser-induced periodic structures: mechanisms, techniques, and applications
Giant and light modifiable third-order optical nonlinearity in a free-standing h-BN film
New approach for the digital reconstruction of complex mine faults and its application in mining
p62/SQSTM1 Participates in the Innate Immune Response of Macrophages Against Candida albicans Infection
Configurable topological beam splitting via antichiral gyromagnetic photonic crystal
Single-molecule optoelectronic devices: physical mechanism and beyond
Functional nonlinear optical nanoparticles synthesized by laser ablation
The m6A methylation regulates gonadal sex differentiation in chicken embryo
A new species in the genus Synanthedon (Lepidoptera: Sesiidae) from China
A review on the forward osmosis applications and fouling control strategies for wastewater treatment

Previous Article                                Next Article
Copyright © Hot Paper