skip to main content
10.1145/2342356.2342375acmconferencesArticle/Chapter ViewAbstractPublication PagescommConference Proceedingsconference-collections
demonstration
Free access

Route shepherd: stability hints for the control plane

Published: 13 August 2012 Publication History

Abstract

The Route Shepherd tool demonstrates applications of choosing between routing protocol configurations on the basis of rigorously-supported theory. Splitting the configuration space into equivalence classes allows the identification of which parameter combinations lead to protocol stability, and which do not. This ahead-of-time analysis generates a predicate, in the form of a combination of linear integer inequalities, which can be used in several complementary ways by downstream applications. Examples presented include warning operators about errors in advance, recovery from protocol oscillation, plotting a series of safe parameter changes, and understanding the dynamics of the routing system.

References

[1]
B. Duterte and L. de Moura. A fast linear arithmetic solver for DPLL(T)?. In Proc. Conference on Computer Aided Verification, 2006.
[2]
P. François, M. Shand, and O. Bonaventure. Disruption-free topology reconfiguration in OSPF networks. In Proceedings of IEEE INFOCOM, 2007.
[3]
T. Griffin and G. Huston. RFC 4264: BGP wedgies, 2005.
[4]
A. J. T. Gurney, L. Jia, A. Wang, and B. T. Loo. Partial specification of routing configurations. In Workshop on Rigorous Protocol Engineering (WRiPE), 2012.
[5]
A. M. C. A. Koster and X. Muñoz, editors. Graphs and algorithms in communication networks. Springer, 2010.
[6]
B. Quoitin and S. Uhlig. Modeling the routing of an Autonomous System with C-BGP. IEEE Network, 19(6), 2005.
[7]
S. Raza, Y. Zhu, and C.-N. Chuah. Graceful network state migrations. IEEE/ACM Transactions on Networking, 19(4), 2011.
[8]
L. Vanbever, S. Vissicchio, C. Pelsser, P. François, and O. Bonaventure. Seamless network-wide IGP migrations. In Proceedings of ACM SIGCOMM, 2011.

Cited By

View all
  • (2018)NetcompleteProceedings of the 15th USENIX Conference on Networked Systems Design and Implementation10.5555/3307441.3307491(579-594)Online publication date: 9-Apr-2018

Index Terms

  1. Route shepherd: stability hints for the control plane

      Recommendations

      Comments

      Information & Contributors

      Information

      Published In

      cover image ACM Conferences
      SIGCOMM '12: Proceedings of the ACM SIGCOMM 2012 conference on Applications, technologies, architectures, and protocols for computer communication
      August 2012
      474 pages
      ISBN:9781450314190
      DOI:10.1145/2342356

      Sponsors

      Publisher

      Association for Computing Machinery

      New York, NY, United States

      Publication History

      Published: 13 August 2012

      Permissions

      Request permissions for this article.

      Check for updates

      Author Tags

      1. border gateway protocol
      2. partial specification
      3. routing policy
      4. stable path problems

      Qualifiers

      • Demonstration

      Conference

      SIGCOMM '12
      Sponsor:
      SIGCOMM '12: ACM SIGCOMM 2012 Conference
      August 13 - 17, 2012
      Helsinki, Finland

      Acceptance Rates

      Overall Acceptance Rate 462 of 3,389 submissions, 14%

      Contributors

      Other Metrics

      Bibliometrics & Citations

      Bibliometrics

      Article Metrics

      • Downloads (Last 12 months)42
      • Downloads (Last 6 weeks)16
      Reflects downloads up to 16 Feb 2025

      Other Metrics

      Citations

      Cited By

      View all
      • (2018)NetcompleteProceedings of the 15th USENIX Conference on Networked Systems Design and Implementation10.5555/3307441.3307491(579-594)Online publication date: 9-Apr-2018

      View Options

      View options

      PDF

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader

      Login options

      Figures

      Tables

      Media

      Share

      Share

      Share this Publication link

      Share on social media