FastCAT: A framework for fast routing table calculation incorporating multiple protocols-Reference-Cited by-同舟云学术

FastCAT: A framework for fast routing table calculation incorporating multiple protocols

Published:2023 Issue:9 Volume:20 Page:16528-16550
ISSN:1551-0018
Container-title:Mathematical Biosciences and Engineering
language:
Short-container-title:MBE

Author:

Cai Jianfei¹²,Yang Guozheng¹²,Liu Jingju¹²,Xie Yi¹²

Affiliation:

1. College of Electronic Engineering, National University of Defense Technology, Hefei 230037, China

2. Anhui Province Key Laboratory of Cyberspace Security Situation Awareness and Evaluation, China

Abstract

<abstract> <p>Currently, most network outages occur because of manual configuration errors. Therefore, it is essential to verify the correctness of network configurations before deployment. Computing the network control plane is a key technology for network configuration verification. We can verify the correctness of network configurations for fault tolerance by generating routing tables, as well as connectivity. However, existing routing table calculation tools have disadvantages such as lack of user-friendliness, limited expressiveness, and slower speed of routing table generation. In this paper, we present FastCAT, a framework for computing routing tables incorporating multiple protocols. FastCAT can simulate the interaction of multiple routing protocols and quickly generate routing tables based on configuration files and topology information. The key to FastCAT's performance is that FastCAT focuses only on the final stable state of the OSPF and IS-IS protocols, disregarding the transient states during protocol convergence. For RIPv2 and BGP, FastCAT computes the current protocol routing tables based on the protocol's previous state, retaining only the most recent protocol routing tables in the latest state. Experimental evaluations have shown that FastCAT generates routing tables more quickly and accurately than the state-of-the-art routing simulation tool, in a general network of around 200 routers.</p> </abstract>

Publisher

American Institute of Mathematical Sciences (AIMS)

Subject

Applied Mathematics,Computational Mathematics,General Agricultural and Biological Sciences,Modeling and Simulation,General Medicine

Reference43 articles.

1. A. Fogel, S. Fung, L. Pedrosa, M. Walraed-Sullivan, R. Govindan, R. Mahajan, et al., A general approach to network configuration analysis, in 12th USENIX Symposium on Networked Systems Design and Implementation (NSDI 15), (2015), 469−483. Available from: http://web.cs.ucla.edu/~todd/research/nsdi15_batfish.pdf.

2. N. P. Lopes, A. Rybalchenko, Fast BGP simulation of large datacenters, in Verification, Model Checking, and Abstract Interpretation, 11388 (2019), 386−408. https://doi.org/10.1007/978-3-030-11245-5_18

3. E. Al-Shaer, W. Marrero, A. El-Atawy, K. Elbadawi, Network configuration in a box: towards end-to-end verification of network reachability and security, in 2009 17th IEEE International Conference on Network Protocols, (2009), 123−132. https://doi.org/10.1109/ICNP.2009.5339690

4. H. Mai, A. Khurshid, R. Agarwal, M. Caesar, P. B. Godfrey, S. T. King, Debugging the data plane with anteater, ACM SIGCOMM Comput. Commun. Rev., 41 (2011), 290−301. https://doi.org/10.1145/2043164.2018470

5. P. Kazemian, G., Varghese, N. McKeown, Header space analysis: static checking for networks, in Proceedings of the 9th USENIX conference on Networked Systems Design and Implementation, (2012), 113−126.