skip to main content
10.1145/1851182.1851210acmconferencesArticle/Chapter ViewAbstractPublication PagescommConference Proceedingsconference-collections
research-article
Free Access

Theory and new primitives for safely connecting routing protocol instances

Published:30 August 2010Publication History

ABSTRACT

Recent studies have shown that the current primitives for connecting multiple routing protocol instances (OSPF 1, OSPF 2, EIGRP 10, etc.) are pervasively deployed in enterprise networks and the Internet. Furthermore, these primitives are extremely vulnerable to routing anomalies (route oscillations, forwarding loops, etc.) and at the same time too rigid to support some of today's operational objectives. In this paper, we propose a new theory to reason about routing properties across multiple routing instances. The theory directly applies to both link-state and vector routing protocols. Each routing protocol still makes independent routing decisions and may consider a combination of routing metrics, including bandwidth, delay, cost, and reliability. While the theory permits a range of solutions, we focus on a design that requires no changes to existing routing protocols. Guided by the theory, we derive a new set of connecting primitives, which are not only provably safe but also more expressive than the current version. We have implemented and validated the new primitives using XORP. The results confirm that our design can support a large range of desirable operational goals, including those not achievable today, safely and with little manual configuration.

References

  1. 100x100 Clean Slate Project. www.100x100network.org.Google ScholarGoogle Scholar
  2. 4D Project. www.cs.cmu.edu/_4D.Google ScholarGoogle Scholar
  3. XORP: eXtensible Open source Routing Platform. www.xorp.org.Google ScholarGoogle Scholar
  4. A. Basu and J. G. Riecke. Stability Issues in OSPF Routing. In ACM SIGCOMM, 2001. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. T. Benson, A. Akella, and D. Maltz. Unraveling the Complexity of Network Management. In USENIX NSDI, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. J. N. Billings and T. G. Griffin. A Model of Internet Routing Using Semi-modules. In International Conference on Relational Methods in Computer Science, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. B. Carré. Graphs and Networks. Oxford University Press, 1979.Google ScholarGoogle Scholar
  8. Cisco. OSPF Redistribution Among Different OSPF Processes, 2006.Google ScholarGoogle Scholar
  9. Cisco. What Is Administrative Distance?, March 2006.Google ScholarGoogle Scholar
  10. N. Feamster, H. Balakrishnan, and J. Rexford. Some Foundational Problems in Interdomain Routing. In HotNets, 2004.Google ScholarGoogle Scholar
  11. N. Feamster, R. Johari, and H. Balakrishnan. Implications of Autonomy for the Expressiveness of Policy Routing. In ACM SIGCOMM, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  12. B. Fortz, J. Rexford, and M. Thorup. Traffic Engineering With Traditional IP Routing Protocols. In IEEE Communication Magazine, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. M. Gondran and M. Minoux. Graphs and Algorithms. Wiley, 1984. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. M. Gondran and M. Minoux. Graphs, Dioids, and Semirings : New Models and Algorithms. Springer, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. M. G. Gouda and M. Schneider. Maximizable Routing Metrics. In IEEE ICNP, 1998.Google ScholarGoogle ScholarCross RefCross Ref
  16. T. G. Griffin, A. D. Jaggard, and V. Ramachandran. Design Principles of Policy Languages for Path Vector Protocols. In ACM SIGCOMM, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. T. G. Griffin and J. L. Sobrinho. Metarouting. In ACM SIGCOMM, 2005. Google ScholarGoogle ScholarDigital LibraryDigital Library
  18. A. Gurney and T. G. Griffin. Lexicographic Products in Metarouting. In ICNP, 2007.Google ScholarGoogle ScholarCross RefCross Ref
  19. A. D. Jaggard and V. Ramachandran. Robustness of Class-Based Path-Vector Systems. In IEEE ICNP, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  20. F. Le and G. Xie. On Guidelines for Safe Route Redistributions. In ACM INM Workshop, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  21. F. Le, G. Xie, D. Pei, J. Wang, and H. Zhang. Shedding Light on the Glue Logic of the Internet Routing Architecture. In ACM SIGCOMM, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  22. F. Le, G. Xie, and H. Zhang. Understanding Route Redistribution. In IEEE ICNP, 2007.Google ScholarGoogle ScholarCross RefCross Ref
  23. F. Le, G. Xie, and H. Zhang. Instability Free Routing: Beyond One Protocol Instance. In ACM CoNEXT, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  24. D. Maltz, G. Xie, J. Zhan, H. Zhang, G. Hjalmtysson, and A. Greenberg. Routing Design in Operational Networks: A Look from the Inside. In ACM SIGCOMM, 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  25. D. Mills and H. Braun. The NSFNET Backbone Network. In ACM SIGCOMM, 1987. Google ScholarGoogle ScholarDigital LibraryDigital Library
  26. B. Quoitin, C. Pelsser, L. Swinnen, O. Bonaventure, and S. Uhlig. Interdomain Traffic Engineering with BGP. In IEEE Communication Magazine, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  27. A. Shaikh, C. Isett, A. Greenberg, M. Roughan, and J. Gottlieb. A Case Study of OSPF Behavior in a Large Enterprise Network. In IMW, 2002. Google ScholarGoogle ScholarDigital LibraryDigital Library
  28. J. Sobrinho. Algebra and Algorithms for QoS Path Computation and Hop-by-Hop Routing in the Internet. In IEEE INFOCOM, 2001.Google ScholarGoogle ScholarCross RefCross Ref
  29. J. L. Sobrinho. Network Routing With Path Vector Protocols: Theory and Applications. In ACM SIGCOMM, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  30. J. L. Sobrinho and T. G. Griffin. Routing in Equilibrium. In Mathematical Theory of Networks and System, 2010.Google ScholarGoogle Scholar

Index Terms

  1. Theory and new primitives for safely connecting routing protocol instances

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image ACM Conferences
        SIGCOMM '10: Proceedings of the ACM SIGCOMM 2010 conference
        August 2010
        500 pages
        ISBN:9781450302012
        DOI:10.1145/1851182
        • cover image ACM SIGCOMM Computer Communication Review
          ACM SIGCOMM Computer Communication Review  Volume 40, Issue 4
          SIGCOMM '10
          October 2010
          481 pages
          ISSN:0146-4833
          DOI:10.1145/1851275
          Issue’s Table of Contents

        Copyright © 2010 ACM

        Permission to make digital or hard copies of all or part 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 components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 30 August 2010

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • research-article

        Acceptance Rates

        Overall Acceptance Rate554of3,547submissions,16%

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader