REAL: Emulating Control Plane at Simulator's Cost
Ze Xia, Hao Li, Jinyu Fu, Xin Wan, Yihan Dang, Danfeng Shan, Li Chen, Peng Zhang
Abstract
Validating control plane behavior and ensuring policy compliance in modern, large-scale networks is a critical challenge. Simulation-based approaches offer low computational and memory costs, but their level of abstraction fails to capture vendor-specific device behaviors, limiting their accuracy for real-world validation. In contrast, control plane emulation provides high fidelity by using unmodified router containers that preserve these vendor-specific details, but its excessive computational and memory requirements make it impractical for large networks. In this paper, we present REAL, a lightweight runtime that emulates control planes using unmodified router containers but at the cost of simulation-based approaches. REAL achieves this by simulating a lightweight data plane to accelerate boot-up, employing a two-phase scheduling policy to minimize cache inefficiencies during convergence, and enabling iterative convergence to reduce peak memory usage by partitioning the network. Our evaluation shows that REAL emulates a 1,000-node network 3× faster than state-ofthe-art simulation while preserving vendor-specific behaviors, and can scale to 4,500 nodes on four commodity servers by shaving 8.3× memory.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Your agent calls
Luneget_paper_fulltext
Free to start. No credit card required.
Terminal
Install the CLIlune papers fulltext efb2d928-af7a-4234-9e3c-5ae99a593ee3Builds on10
- Plankton: Scalable network configuration verification through model checkingSanthosh Prabhu, Kuan-Yen Chou, Ali Kheradmand, Brighten Godfrey et al.NSDI 2020 · 130 citations
- APKeep: Realtime Verification for Real NetworksPeng Zhang, Xu Liu, Hongkun Yang, Ning Kang et al.NSDI 2020 · 99 citations
- A Deterministic Algorithm for Balanced Cut with Applications to Dynamic Connectivity, Flows, and BeyondJulia Chuzhoy, Yu Gao, Jason Li, Danupon Nanongkai et al.FOCS 2020 · 76 citations
- Accuracy, Scalability, Coverage: A Practical Configuration Verifier on a Global WANFangdan Ye, Da Yu, Ennan Zhai, Hongqiang Harry Liu et al.SIGCOMM 2020 · 55 citations
- Lessons from the evolution of the Batfish configuration analysis toolMatt Brown, Ari Fogel, Daniel Halperin, Victor Heorhiadi et al.SIGCOMM 2023 · 37 citations
Related papers
- A Composable Emulation Framework for Whitebox SwitchesCongcong Miao, Xianneng Zou, Chuwen Zhang, Shiping Yang et al.NSDI 2026
- Nextmini: A New Research Testbed for Network Emulation and ExperimentationXindan Zhang, Shengwen Chang, Baochun LiINFOCOM 2026 · 1 citation
- MimicNet: fast performance estimates for data center networks with machine learningQizhen Zhang, Kelvin K. W. Ng, Charles W. Kazer, Shen Yan et al.SIGCOMM 2021 · 63 citations
- Abstract interpretation of distributed network control planesRyan Beckett, Aarti Gupta, Ratul Mahajan, David WalkerPOPL 2020 · 46 citations
- Nüwa: A Generative Control Plane for AI Network SimulationWenkai Li, Ran Shu, Peng Zhang, Yiren Zhao et al.SIGCOMM 2026
