Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation
Fuente:
arXiv
Salvato in:
| Autori principali: | , , , , , , , , , , , |
|---|---|
| Natura: | Preprint |
| Pubblicazione: |
2024
|
| Soggetti: | |
| Accesso online: | |
| Tags: |
Aggiungi Tag
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
| _version_ | 1866908870875545600 |
|---|---|
| author | Yang, Rulan Han, Gao Shao, Hanyang Zheng, Xiaoqiang Fang, Xing Wang, Ziyi You, Lizhao Zhou, Ruiting Kong, Linghe Zhai, Ennan Xiang, Qiao Shu, Jiwu |
| author_facet | Yang, Rulan Han, Gao Shao, Hanyang Zheng, Xiaoqiang Fang, Xing Wang, Ziyi You, Lizhao Zhou, Ruiting Kong, Linghe Zhai, Ennan Xiang, Qiao Shu, Jiwu |
| contents | Although substantial progress has been made in automatically verifying whether distributed routing configurations conform to certain requirements, diagnosing and repairing configuration errors remains manual and time-consuming. To fill this gap, we propose S^2Sim, a novel system for automatic routing configuration diagnosis and repair. Our key insight is that by selectively simulating variants of the given configuration in a symbolic way, we can find an intent-compliant variant, whose differences between the given configuration reveal the errors in the given configuration and suggest the patches. Building on this insight, we also design techniques to support complex scenarios (e.g., multiple protocol networks) and requirements (e.g., k-link failure tolerance). We implement a prototype of S^2Sim and evaluate its performance using networks of size O(10) ~ O(1000) with synthetic real-world configurations. Results show that S^2Sim diagnoses and repairs errors for 1) all WAN configurations within 10 s and 2) all DCN configurations within 20 minutes. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2409_20306 |
| institution | arXiv |
| publishDate | 2024 |
| record_format | arxiv |
| spellingShingle | Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation Yang, Rulan Han, Gao Shao, Hanyang Zheng, Xiaoqiang Fang, Xing Wang, Ziyi You, Lizhao Zhou, Ruiting Kong, Linghe Zhai, Ennan Xiang, Qiao Shu, Jiwu Networking and Internet Architecture Although substantial progress has been made in automatically verifying whether distributed routing configurations conform to certain requirements, diagnosing and repairing configuration errors remains manual and time-consuming. To fill this gap, we propose S^2Sim, a novel system for automatic routing configuration diagnosis and repair. Our key insight is that by selectively simulating variants of the given configuration in a symbolic way, we can find an intent-compliant variant, whose differences between the given configuration reveal the errors in the given configuration and suggest the patches. Building on this insight, we also design techniques to support complex scenarios (e.g., multiple protocol networks) and requirements (e.g., k-link failure tolerance). We implement a prototype of S^2Sim and evaluate its performance using networks of size O(10) ~ O(1000) with synthetic real-world configurations. Results show that S^2Sim diagnoses and repairs errors for 1) all WAN configurations within 10 s and 2) all DCN configurations within 20 minutes. |
| title | Diagnosing and Repairing Distributed Routing Configurations Using Selective Symbolic Simulation |
| topic | Networking and Internet Architecture |
| url | https://arxiv.org/abs/2409.20306 |