Guaranteeing BGP Stability with a Few Extra Paths

Policy autonomy exercised by Autonomous Systems (ASes) on the Internet can result in persistent oscillations in Border Gateway Protocol, the Internet's inter-domain routing protocol. Current solutions either rely on globally consistent policy assignments, or require significant deviations from locally assigned policies, resulting in significant loss of autonomy of ASes. In this paper, we take a different approach that guarantees stability with less restrictive policies. Namely, we propose multipath routing to find a better trade-off between AS policy autonomy and system stability. We design an algorithm, Stable Path(s) Assignment (SPA), that provably detects persistent oscillations and eliminates these oscillations by assigning multiple paths to some ASes in the network. Such an assignment allows each AS to use its most-preferred available path, while requiring very few ASes to carry transit traffic along additional paths in order to break oscillations. We design a distributed protocol for SPA and present tight bounds on the number of paths assigned to the ASes in the network. Using simulations on the AS graph, we show that in presence of oscillations, SPA assigns at most two paths to any AS in the network (in 99.9% of the instances), with an extremely small fraction of ASes assigned the extra path.

[1]  Eric C. Rosen,et al.  Multiprotocol Label Switching Architecture" RFC 3031 , 2001 .

[2]  Jennifer Rexford,et al.  Don't Secure Routing Protocols, Secure Data Delivery , 2006, HotNets.

[3]  Scott Shenker,et al.  Resolving inter-domain policy disputes , 2007, SIGCOMM '07.

[4]  João L. Sobrinho,et al.  An algebraic theory of dynamic network routing , 2005, IEEE/ACM Transactions on Networking.

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

[6]  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).

[7]  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).

[8]  Brighten Godfrey,et al.  Stable Path ( s ) Assignment for Inter-domain Routing , 2009 .

[9]  Jennifer Rexford,et al.  MIRO: multi-path interdomain routing , 2006, SIGCOMM.

[10]  Jennifer Rexford,et al.  Toward internet-wide multipath routing , 2008, IEEE Network.

[11]  Christos H. Papadimitriou,et al.  The complexity of game dynamics: BGP oscillations, sink equilibria, and beyond , 2008, SODA '08.

[12]  Yi Wang,et al.  Neighbor-specific BGP: more flexible routing policies while improving global stability , 2009, SIGMETRICS '09.

[13]  Nick Feamster,et al.  Implications of Autonomy for the Expressiveness of Policy Routing , 2005, IEEE/ACM Transactions on Networking.

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

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

[16]  Noga Alon,et al.  Edge-disjoint cycles in regular directed graphs , 1996, J. Graph Theory.

[17]  Gordon T. Wilfong,et al.  A fractional model of the border gateway protocol (BGP) , 2008, SODA '08.

[18]  Rajmohan Rajaraman,et al.  Reducibility among Fractional Stability Problems , 2009, 2009 50th Annual IEEE Symposium on Foundations of Computer Science.

[19]  Eric C. Rosen,et al.  Multiprotocol Label Switching Architecture , 2001, RFC.

[20]  Mohamed G. Gouda,et al.  A Stabilizing Solution to the Stable Path Problem , 2003, Self-Stabilizing Systems.

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

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

[23]  Vijay Ramachandran,et al.  Design principles of policy languages for path vector protocols , 2003, SIGCOMM '03.