APF: fast network all-pair reachability calculation
Authors: 
Jinghan Zhou, Danyang Li, Xiaohe Hu, Yan Sun, Shui Cao, Wei Xu, Jun LiAuthors Info & Claims
Jinghan Zhou, Danyang Li, Xiaohe Hu, Yan Sun, Shui Cao, Wei Xu, Jun LiAuthors Info & ClaimsPages 172 - 173
Abstract
Network verification, which is mainly about checking network states against network invariants or operator beliefs, has been a popular research thesis recently. Fast calculation of all-pair reachability of the network beforehand for further query or overall analysis can be a huge assistance to network verification. In this paper, we propose a new fast all-pair reachability calculation algorithm Atomic Predicates Flooding(APF). Experiments on real-life datasets show that the new algorithm based on network atomization is about three to four orders of magnitude faster than existing algorithms without network atomization. On most kinds of datasets, APF is even 2 to 5 times faster than the Warshall based all pair reachability algorithm with atomization. We believe that our method is essential for developing more practical and more efficient network and verification tools.
References
[1]
The Internet Topology Zoo. http://www.topology-zoo.org/dataset.html.
[2]
Nikolaj Bjørner, Garvit Juniwal, Ratul Mahajan, Sanjit A. Seshia, and George Varghese. 2016. ddNF: An Efficient Data Structure for Header Spaces. In Haifa Verification Conference.
[3]
Thomas H Cormen, Charles E Leiserson, and Ronald L Rivest. 1990. The floyd-warshall algorithm. Introduction to Algorithms (1990), 558--565.
[4]
Peyman Kazemian, George Varghese, and NickMcKeown. 2012. Header Space Analysis: Static Checking for Networks. In NSDI.
[5]
Ahmed Khurshid, Wenxuan Zhou, Matthew Caesar, and Brighten Godfrey. 2012. VeriFlow: verifying network-wide invariants in real time. Computer Communication Review 42 (2012), 467--472.
[6]
Nuno P. Lopes, Nikolaj Bjørner, Patrice Godefroid, Karthick Jayaraman, and George Varghese. 2015. Checking Beliefs in Dynamic Networks. In NSDI.
[7]
Hongkun Yang and Simon S. Lam. 2013. Real-Time Verification of Network Properties Using Atomic Predicates. 2013 21st IEEE International Conference on Network Protocols (ICNP) (2013), 1--11.
[8]
Hongyi Zeng, Peyman Kazemian, George Varghese, and Nick McKeown. 2012. Automatic Test Packet Generation. IEEE/ACM Transactions on Networking 22 (2012), 554--566.
Recommendations
DBVS-APF-RRT*: A global path planning algorithm with ultra-high speed generation of initial paths and high optimal path quality
AbstractDuring the last decade, RRT* algorithm has been widely concerned by researchers because of its asymptotic optimality. However, the slow convergence rate of the RRT* algorithm leads to poor quality of the optimal paths at small number of ...
Highlights- A DBVS sampling strategy is proposed to find the initial path with ultra-high speed.
- Global random sampling and key region sampling are added to improve path quality.
- APF algorithm is combined to improve obstacle avoidance ability ...
Transition predicate abstraction and fair termination
POPL '05: Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languagesPredicate abstraction is the basis of many program verification tools. Until now, the only known way to overcome the inherent limitation of predicate abstraction to safety properties was to manually annotate the finite-state abstraction of a program. We ...
Analysis and effective controller design for the cascaded H-bridge multilevel APF with adaptive signal processing algorithms
The cascaded H-bridge (CHB) multilevel inverter is being recognized as the most suitable topology for high-power medium-voltage power quality conditioning applications. This paper presents mathematical modeling and effective controller design ...
Comments
Information & Contributors
Information
Published In
July 2018
181 pages
Copyright © 2018 Owner/Author.
Permission to make digital or hard copies of part or all 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 third-party components of this work must be honored. For all other uses, contact the Owner/Author.
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 23 July 2018
Check for updates
Qualifiers
- Poster
Conference
ANCS '18: Symposium on Architectures for Networking and Communications Systems
July 23 - 24, 2018
New York, Ithaca
Acceptance Rates
Overall Acceptance Rate 88 of 314 submissions, 28%
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 92Total Downloads
- Downloads (Last 12 months)3
- Downloads (Last 6 weeks)0
Reflects downloads up to 26 Jul 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in