On the correctness of IBGP configuration

The Border Gateway Protocol (BGP) has two distinct modes of operation. External BGP (EBGP) exchanges reachability information between autonomous systems, while Internal BGP (IBGP) exchanges external reachability information within an autonomous system. We study several routing anomalies that are unique to IBGP because, unlike EBGP, forwarding paths and signaling paths are not always symmetric. In particular, we focus on anomalies that can cause the protocol to diverge, and those that can cause a router's chosen forwarding path to an egress point to be deflected by another router on that path. Deflections can greatly complicate the debugging of routing problems, and in the worst case multiple deflections can combine to form persistent forwarding loops. We define a correct IBGP configuration to be one that is anomaly free for every possible set of routes sent by neighboring autonomous systems. We show that determination of IBGP configuration correctness is NP-hard. However, we give simple sufficient conditions on network configurations that guarantee correctness.

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

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

[3]  Paul Traina.  Autonomous System Confederations for BGP , 1996, RFC.

[4]  Ravishanker Chandra,et al.  BGP Route Reflection An alternative to full mesh IBGP , 1996, RFC.

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

[6]  Rohit Dube,et al.  A comparison of scaling techniques for BGP , 1999, CCRV.

[7]  John G. Scudder,et al.  BGP scaling techniques revisited , 1999, CCRV.

[8]  Gordon T. Wilfong,et al.  An analysis of BGP convergence properties , 1999, SIGCOMM '99.

[9]  Gordon T. Wilfong,et al.  Policy disputes in path-vector protocols , 1999, Proceedings. Seventh International Conference on Network Protocols.

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

[11]  Danny McPherson,et al.  Internet Routing Architectures, Second Edition , 2000 .

[12]  Lixin Gao,et al.  Stable Internet routing without global coordination , 2000, SIGMETRICS '00.

[13]  Gordon T. Wilfong,et al.  A safe path vector protocol , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[14]  Bill St. Arnaud,et al.  Optical BGP (OBGP): InterAS lightpath provisioning , 2001 .

[15]  Daniel Walton,et al.  BGP Persistent Route Oscillation Condition , 2001 .

[16]  Jennifer Rexford,et al.  Inherently safe backup routing with BGP , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[17]  F. Bruce Shepherd,et al.  Route oscillations in I-BGP with route reflection , 2002, SIGCOMM 2002.

[18]  Gordon T. Wilfong,et al.  The stable paths problem and interdomain routing , 2002, TNET.

[19]  Matthew B. Squire,et al.  Telephony Routing over IP (TRIP) , 2002, RFC.

[20]  Gordon T. Wilfong,et al.  Analysis of the MED oscillation problem in BGP , 2002, 10th IEEE International Conference on Network Protocols, 2002. Proceedings..

[21]  Ratul Mahajan,et al.  Understanding BGP misconfiguration , 2002, SIGCOMM 2002.