Virtually eliminating router bugs

Eric Keller, Minlan Yu, Matthew Caesar, Jennifer L. Rexford

Research output: Chapter in Book/Report/Conference proceedingConference contribution

19 Scopus citations

Abstract

Software bugs in routers lead to network outages, security vulnerabilities, and other unexpected behavior. Rather than simply crashing the router, bugs can violate protocol semantics, rendering traditional failure detection and recovery techniques ineffective. Handling router bugs is an increasingly important problem as new applications demand higher availability, and networks become better at dealing with traditional failures. In this paper, we tailor software and data diversity (SDD) to the unique properties of routing protocols, so as to avoid buggy behavior at run time. Our bug-tolerant router executes multiple diverse instances of routing software, and uses voting to determine the output to publish to the forwarding table, or to advertise to neighbors. We design and implement a router hypervisor that makes this parallelism transparent to other routers, handles fault detection and booting of new router instances, and performs voting in the presence of routing-protocol dynamics, without needing to modify software of the diverse instances. Experiments with BGP message traces and open-source software running on our Linux-based router hypervisor demonstrate that our solution scales to large networks and efficiently masks buggy behavior.

Original languageEnglish (US)
Title of host publicationCoNEXT'09 - Proceedings of the 2009 ACM Conference on Emerging Networking Experiments and Technologies
Pages13-24
Number of pages12
DOIs
StatePublished - 2009
Event2009 ACM Conference on Emerging Networking Experiments and Technologies, CoNEXT'09 - Rome, Italy
Duration: Dec 1 2009Dec 4 2009

Publication series

NameCoNEXT'09 - Proceedings of the 2009 ACM Conference on Emerging Networking Experiments and Technologies

Other

Other2009 ACM Conference on Emerging Networking Experiments and Technologies, CoNEXT'09
CountryItaly
CityRome
Period12/1/0912/4/09

All Science Journal Classification (ASJC) codes

  • Computer Networks and Communications
  • Hardware and Architecture

Keywords

  • BGP
  • Bugs
  • Reliability
  • Routers

Fingerprint Dive into the research topics of 'Virtually eliminating router bugs'. Together they form a unique fingerprint.

  • Cite this

    Keller, E., Yu, M., Caesar, M., & Rexford, J. L. (2009). Virtually eliminating router bugs. In CoNEXT'09 - Proceedings of the 2009 ACM Conference on Emerging Networking Experiments and Technologies (pp. 13-24). (CoNEXT'09 - Proceedings of the 2009 ACM Conference on Emerging Networking Experiments and Technologies). https://doi.org/10.1145/1658939.1658942