An analysis of BGP convergence properties

The Border Gateway Protocol (BGP) is the de facto inter-domain routing protocol used to exchange reachability information between Autonomous Systems in the global Internet. BGP is a path-vector protocol that allows each Autonomous System to override distance-based metrics with policy-based metrics when choosing best routes. Varadhan et al. [18] have shown that it is possible for a group of Autonomous Systems to independently define BGP policies that together lead to BGP protocol oscillations that never converge on a stable routing. One approach to addressing this problem is based on static analysis of routing policies to determine if they are safe. We explore the worst-case complexity for convergence-oriented static analysis of BGP routing policies. We present an abstract model of BGP and use it to define several global sanity conditions on routing policies that are related to BGP convergence/divergence. For each condition we show that the complexity of statically checking it is either NP-complete or NP-hard.

[1]  Deborah Estrin,et al.  Persistent route oscillations in inter-domain routing , 2000, Comput. Networks.

[2]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[3]  V. Paxson.  End-to-end routing behavior in the internet , 2006, CCRV.

[4]  Dimitri P. Bertsekas,et al.  Data Networks , 1986 .

[5]  Bassam Halabi,et al.  Internet Routing Architectures , 1997 .

[6]  Ramesh Govindan,et al.  BGP Route Flap Damping , 1998, RFC.

[7]  Yakov Rekhter,et al.  A Border Gateway Protocol 4 (BGP-4) , 1994, RFC.

[8]  David S. Johnson,et al.  The NP-Completeness Column: An Ongoing Guide , 1982, J. Algorithms.

[9]  John W. Stewart,et al.  BGP4 : inter-domain routing in the Internet , 1998 .

[10]  Radia Perlman.  Interconnections: Bridges and Routers , 1992 .

[11]  David S. Johnson,et al.  The NP-Completeness Column: An Ongoing Guide , 1982, J. Algorithms.

[12]  Ramesh Govindan,et al.  An analysis of Internet inter-domain topology and route stability , 1997, Proceedings of INFOCOM '97.

[13]  Farnam Jahanian,et al.  Internet routing instability , 1997, SIGCOMM '97.

[14]  Farnam Jahanian,et al.  Origins of Internet routing instability , 1999, IEEE INFOCOM '99. Conference on Computer Communications. Proceedings. Eighteenth Annual Joint Conference of the IEEE Computer and Communications Societies. The Future is Now (Cat. No.99CH36320).

[15]  Charles L. Hedrick,et al.  Routing Information Protocol , 1988, RFC.

[16]  Cengiz Alaettinoglu,et al.  Routing Policy Specification Language (RPSL) , 1998, RFC.

[17]  Christian Huitema,et al.  Routing in the Internet , 1995 .

[18]  Ramesh Govindan,et al.  An architecture for stable, analyzable Internet routing , 1999, IEEE Netw..