MMM
YYYY
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
Abstract

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
https://www.hotpaper.io/index.html
Eco-friendly quantum-dot light-emitting diode display technologies: prospects and challenges
Operando monitoring of state of health for lithium battery via fiber optic ultrasound imaging system
Observation of polaronic state assisted sub-bandgap saturable absorption
Three-dimensional measurement enabled by single-layer all-in-one transmitting-receipting optical metasystem
Fast-zoom and high-resolution sparse compound-eye camera based on dual-end collaborative optimization
Cascaded metasurfaces for adaptive aberration correction
Embedded solar adaptive optics telescope: achieving compact integration for high-efficiency solar observations
Spectrally extended line field optical coherence tomography angiography
Wearable photonic smart wristband for cardiorespiratory function assessment and biometric identification
Integrated photonic polarizers with 2D reduced graphene oxide
Tip-enhanced Raman scattering of glucose molecules
Structural color: an emerging nanophotonic strategy for multicolor and functionalized applications



Previous Article                                Next Article
About
|
Contact
|
Copyright © Hot Paper