Abstract
Internet routing is the process of selecting paths across the Internet to connect the communicating hosts, it is unique in that path selection is jointly determined by a network of independently operated networks, known as domains or Autonomous Systems (ASes), that interconnect to form the Internet. In fact, the present routing infrastructure takes such an extreme position that it favors local autonomy—an AS can use arbitrary path preference to override the default shortest path policy, at the expense of potential global oscillation—a collection of AS preferences (policies) can fail to converge on a stable path, a path that is also the most preferred possible for every AS along the path. In this paper, we examine the route oscillation problem with non-monotonic reasoning. We observe that, in the absence of any AS specific policies, Internet routing degenerates into the monotonic computation of shortest path—a preferred (shorter) (super)path always extends another preferred (sub)path; But fully autonomous AS policies are non-monotonic—a path favored by one AS can be an extension of a less preferred path of a neighbor, to which an “upgrade” to a better path can cause this AS to downgrade to a less preferred path previously discarded. Based on this insight, we present an Answer Set Programming (ASP) formulation that allows for automatic oscillation detection. Our evaluation using the clingo ASP solver is promising: on realistic Internet topology and representative policies, clingo can detect anomalies within 35 s.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Notes
- 1.
The original Bellman-Ford equation addresses computation of the cost of the shortest path. We presented a modified version for the shortest path—a list of nodes that constitute the path.
References
The clingo system. https://potassco.org/
Brewka, G., Eiter, T., Truszczyński, M.: Answer set programming at a glance. Commun. ACM 54(12), 92–103 (2011)
Gebser, M., Kaufmann, B., Kaminski, R., Ostrowski, M., Schaub, T., Schneider, M.: Potassco: the Potsdam answer set solving collection. Ai Commun. 24(2), 107–124 (2011)
Griffin, T.G., Shepherd, F.B., Wilfong, G.: The stable paths problem and interdomain routing. IEEE Trans. Netw. 10, 232–243 (2002)
Griffin, T.G., Wilfong, G.: An analysis of BGP convergence properties. In: SIGCOMM (1999)
Griffin, T.G., Wilfong, G.: A safe path vector protocol. In: INFOCOM (2000)
McPherson, D., Gill, V., Walton, D., Retana, A.: Border Gateway Protocol (BGP) persistent route oscillation condition (2002)
Modeling Topology of Large Internetworks. http://www.cc.gatech.edu/projects/gtitm/
Rekhter, Y., Li, T., Hares, S.: A Border Gateway Protocol 4 (BGP-4) (2006)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Wang, A., Chen, Z. (2019). Internet Routing and Non-monotonic Reasoning. In: Balduccini, M., Lierler, Y., Woltran, S. (eds) Logic Programming and Nonmonotonic Reasoning. LPNMR 2019. Lecture Notes in Computer Science(), vol 11481. Springer, Cham. https://doi.org/10.1007/978-3-030-20528-7_5
Download citation
DOI: https://doi.org/10.1007/978-3-030-20528-7_5
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-20527-0
Online ISBN: 978-3-030-20528-7
eBook Packages: Computer ScienceComputer Science (R0)