research-article

Diagnosing Distributed Routing Configurations Using Sequential Program Analysis

Authors:

Linghe KongAuthors Info & Claims

APNet '23: Proceedings of the 7th Asia-Pacific Workshop on Networking

Pages 34 - 40

https://doi.org/10.1145/3600061.3600065

Published: 05 September 2023 Publication History

Abstract

In this paper, we show that by capturing the causal relationship among the computation of routers, one can transform the distributed program composed of routing processes into a sequential program, which allows the use of various sequential program analysis theories and tools for diagnosing and repairing routing configuration errors. This insight sheds light on future research on automatic network configuration diagnosis and repair. To demonstrate its feasibility and generality, we give the preliminary design of two methods for routing configuration error diagnosis: (1) data flow analysis using minimal unsatisfiable core and error invariants; and (2) control flow analysis using selective symbolic execution. Using real-world topologies and synthetic configurations, we show that both methods can effectively find errors in routing configurations while incurring reasonable overhead.

References

[1]

Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella. 2020. Aed: Incrementally Synthesizing Policy-compliant and Manageable Configurations. In CoNEXT’20. ACM, 482–495.

Digital Library

[2]

Anubhavnidhi Abhashkumar, Aaron Gember-Jacobson, and Aditya Akella. 2020. Tiramisu: Fast Multilayer Network Verification. In NSDI’20. USENIX, 201–219.

[3]

Ryan Beckett, Aarti Gupta, Ratul Mahajan, and David Walker. 2017. A General Approach to Network Configuration Verification. In SIGCOMM’17. ACM, 155–168.

[4]

Ryan Beckett, Aarti Gupta, Ratul Mahajan, and David Walker. 2018. Control Plane Compression. In SIGCOMM’18. ACM, 476–489.

[5]

Ryan Beckett, Aarti Gupta, Ratul Mahajan, and David Walker. 2019. Abstract Interpretation of Distributed Network Control Planes. In POPL’19. ACM, 1–27.

[6]

Ang Chen, Chen Chen, Lay Kuan Loh, Yang Wu, Andreas Haeberlen, Limin Jia, Boon Thau Loo, and Wenchao Zhou. 2018. Data Center Diagnostics with Network Provenance.IEEE Data Engineering Bulletin 41, 1, 74–85.

[7]

Vitaly Chipounov, Vlad Georgescu, Cristian Zamfir, and George Candea. 2009. Selective Symbolic Execution. In HotDep’09. IEEE.

[8]

William Craig. 1957. Three Uses of the Herbrand-Gentzen Theorem in Relating Model Theory and Proof Theory. The Journal of Symbolic Logic 22, 3, 269–285.

[9]

Ahmed El-Hassany, Petar Tsankov, Laurent Vanbever, and Martin Vechev. 2018. NetComplete: Practical Network-Wide Configuration Synthesis with Autocompletion. In NSDI’18 (Renton, WA, USA). USENIX, 579–594.

[10]

Evren Ermis, Martin Schäf, and Thomas Wies. 2012. Error Invariants. In FM’12. FME, 187–201.

[11]

Seyed K Fayaz, Tushar Sharma, Ari Fogel, Ratul Mahajan, Todd Millstein, Vyas Sekar, and George Varghese. 2016. Efficient Network Reachability Analysis Using a Succinct Control Plane Representation. In OSDI’16. USENIX, 217–232.

[12]

Nick Feamster and Hari Balakrishnan. 2005. Detecting BGP Configuration Faults with Static Analysis. In NSDI’05. USENIX, 43–56.

[13]

Ari Fogel, Stanley Fung, Luis Pedrosa, Meg Walraed-Sullivan, Ramesh Govindan, Ratul Mahajan, and Todd Millstein. 2015. A General Approach to Network Configuration Analysis. In NSDI’15. USENIX, 469–483.

[14]

Aaron Gember-Jacobson, Aditya Akella, Ratul Mahajan, and Hongqiang Harry Liu. 2017. Automatically Repairing Network Control Planes Using An Abstract Representation. In SOSP’17. ACM, 359–373.

[15]

Aaron Gember-Jacobson, Ruchit Shrestha, and Xiaolin Sun. 2022. Localizing Router Configuration Errors Using Minimal Correction Sets. arXiv:2204.10785. Retrieved from https://arxiv.org/abs/2204.10785.

[16]

Aaron Gember-Jacobson, Raajay Viswanathan, Aditya Akella, and Ratul Mahajan. 2016. Fast Control Plane Analysis Using an Abstract Representation. In SIGCOMM’16. ACM, 300–313.

[17]

Nick Giannarakis, Ryan Beckett, Ratul Mahajan, and David Walker. 2019. Efficient Verification of Network Fault Tolerance Via Counterexample-guided Refinement. In CAV’19. Springer, 305–323.

[18]

Simon Knight, Hung X Nguyen, Nickolas Falkner, Rhys Bowden, and Matthew Roughan. 2011. The Internet Topology Zoo. IEEE Journal on Selected Areas in Communications 29, 9, 1765–1775.

[19]

Mark H Liffiton, Alessandro Previti, Ammar Malik, and Joao Marques-Silva. 2016. Fast, Flexible MUS Enumeration. Constraints 21, 2, 223–250.

Digital Library

[20]

Hongqiang Harry Liu, Yibo Zhu, Jitu Padhye, Jiaxin Cao, Sri Tallapragada, Nuno P Lopes, Andrey Rybalchenko, Guohan Lu, and Lihua Yuan. 2017. Crystalnet: Faithfully Emulating Large Production Networks. In SOSP’17. ACM, 599–613.

Digital Library

[21]

Boon Thau Loo, Tyson Condie, Minos Garofalakis, David E Gay, Joseph M Hellerstein, Petros Maniatis, Raghu Ramakrishnan, Timothy Roscoe, and Ion Stoica. 2009. Declarative Networking. Commun. ACM 52, 11, 87–95.

Digital Library

[22]

Nuno P Lopes and Andrey Rybalchenko. 2019. Fast Bgp Simulation of Large Datacenters. In VMCAI’19. Springer, 386–408.

[23]

Vijayaraghavan Murali, Nishant Sinha, Emina Torlak, and Satish Chandra. 2014. What Gives? A Hybrid Algorithm for Error Trace Explanation. In VSTTE’14. Springer, 270–286.

[24]

Bruno Quoitin and Steve Uhlig. 2005. Modeling the Routing of an Autonomous System with C-BGP. IEEE network 19, 6, 12–19.

[25]

Alan Tang, Siva Kesava Reddy Kakarla, Ryan Beckett, Ennan Zhai, Matt Brown, Todd Millstein, Yuval Tamir, and George Varghese. 2021. Campion: Debugging Router Configuration Differences. In SIGCOMM’21. ACM, 748–761.

[26]

W Eric Wong, Ruizhi Gao, Yihao Li, Rui Abreu, and Franz Wotawa. 2016. A Survey on Software Fault Localization. IEEE Transactions on Software Engineering 42, 8, 707–740.

Digital Library

[27]

Yang Wu, Ang Chen, Andreas Haeberlen, Wenchao Zhou, and Boon Thau Loo. 2017. Automated Bug Removal for Software-Defined Networks. In NSDI’17. USENIX, 719–733.

[28]

Yang Wu, Mingchen Zhao, Andreas Haeberlen, Wenchao Zhou, and Boon Thau Loo. 2014. Diagnosing Missing Events in Distributed Systems with Negative Provenance. ACM SIGCOMM Computer Communication Review 44, 4, 383–394.

Digital Library

[29]

Fangdan Ye, Da Yu, Ennan Zhai, Hongqiang Harry Liu, Bingchuan Tian, Qiaobo Ye, Chunsheng Wang, Xin Wu, Tianchen Guo, Cheng Jin, 2020. Accuracy, Scalability, Coverage: A Practical Configuration Verifier on a Global WAN. In SIGCOMM’20. ACM, 599–614.

[30]

Peng Zhang, Aaron Gember-Jacobson, Yueshang Zuo, Yuhao Huang, Xu Liu, and Hao Li. 2022. Differential Network Analysis. In NSDI’22. USENIX, 601–615.

[31]

Peng Zhang, Dan Wang, and Aaron Gember-Jacobson. 2022. Symbolic Router Execution. In SIGCOMM’22. ACM, 336–349.

[32]

Wenchao Zhou, Micah Sherr, Tao Tao, Xiaozhou Li, Boon Thau Loo, and Yun Mao. 2010. Efficient Querying and Maintenance of Network Provenance at Internet-scale. In SIGMOD’10. ACM, 615–626.

Cited By

Xiang QLin YFang MHuang BHuang SWen RLe FKong LShu J(2023)Toward Reproducing Network Research Results Using Large Language ModelsProceedings of the 22nd ACM Workshop on Hot Topics in Networks10.1145/3626111.3628189(56-62)Online publication date: 28-Nov-2023
https://dl.acm.org/doi/10.1145/3626111.3628189
Xu HQin QFang XXiang QShu J(2023)Toward Privacy-Preserving Interdomain Configuration Verification via Multi-Party ComputationProceedings of the 7th Asia-Pacific Workshop on Networking10.1145/3600061.3600064(28-33)Online publication date: 29-Jun-2023
https://dl.acm.org/doi/10.1145/3600061.3600064

Index Terms

Diagnosing Distributed Routing Configurations Using Sequential Program Analysis
1. Networks
  1. Network properties
    1. Network reliability
  2. Network protocols
    1. Network layer protocols
      1. Routing protocols

Recommendations

Toward Privacy-Preserving Interdomain Configuration Verification via Multi-Party Computation
APNet '23: Proceedings of the 7th Asia-Pacific Workshop on Networking

Interdomain network configuration errors can lead to disastrous financial and social consequences. Although substantial progress has been made in using formal methods to verify whether network configurations conform to certain properties, current tools ...
Path-Preserving Anonymization for Inter-domain Routing Policies
Risks and Security of Internet and Systems
Abstract
The Internet consists of tens of thousands of autonomous systems (ASes), which exchange routing information through policy-based routing protocols, such as Border Gateway Protocol (BGP). BGP allows network administrators/operators to configure ...
Diagnosing network disruptions with network-wide analysis
SIGMETRICS '07 Conference Proceedings

To maintain high availability in the face of changing network conditions, network operators must quickly detect, identify, and react to events that cause network disruptions. One way to accomplish this goal is to monitor routing dynamics, by analyzing ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

APNet '23: Proceedings of the 7th Asia-Pacific Workshop on Networking

June 2023

229 pages

ISBN:9798400707827

DOI:10.1145/3600061

Copyright © 2023 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than the author(s) must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected].

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 05 September 2023

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed limited

Funding Sources

National Key R&D Program of China
NSF-Fujian-China
Future Network Innovation Research Award of Ministry of Education of China
Open Research Projects of Zhejiang Lab
NSFC Award

Conference

APNET 2023

APNET 2023: 7th Asia-Pacific Workshop on Networking

June 29 - 30, 2023

Hong Kong, China

Acceptance Rates

Overall Acceptance Rate 50 of 118 submissions, 42%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
72
Total Downloads

Downloads (Last 12 months)53
Downloads (Last 6 weeks)4

Reflects downloads up to 27 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Xiang QLin YFang MHuang BHuang SWen RLe FKong LShu J(2023)Toward Reproducing Network Research Results Using Large Language ModelsProceedings of the 22nd ACM Workshop on Hot Topics in Networks10.1145/3626111.3628189(56-62)Online publication date: 28-Nov-2023
https://dl.acm.org/doi/10.1145/3626111.3628189
Xu HQin QFang XXiang QShu J(2023)Toward Privacy-Preserving Interdomain Configuration Verification via Multi-Party ComputationProceedings of the 7th Asia-Pacific Workshop on Networking10.1145/3600061.3600064(28-33)Online publication date: 29-Jun-2023
https://dl.acm.org/doi/10.1145/3600061.3600064

View Options

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

HTML Format

View this article in HTML Format.

Media

Figures

Other

Tables

View Table of Contents