^ Top

NANOG Meeting Presentation Abstract

Virtually Eliminating Router Bugs
Meeting: NANOG46
Date / Time: 2009-06-16 3:00pm - 3:30pm
Room: Regency Ballroom, 2nd FL Mezz
Presenters: Speakers:

Eric Keller, Princeton University

Eric Keller is a 4th year Ph.D. student in the Electrical Engineering department at Princeton University. He is actively working on network virtualization under the guidance of Jennifer Rexford in the Computer Science department. Prior to Princeton, Eric worked at Xilinx, a semiconductor company that makes FPGAs.
Minlan Yu, Princeton University.

Jennifer Rexford, Princeton University

Jennifer Rexford is a Professor in the Computer Science department at Princeton University. From 1996-2004, she was a member of the Network Management and Performance department at AT&T Labs-Research. She received her BSE degree in electrical engineering from Princeton University in 1991, and her MSE and PhD degrees in computer science and electrical engineering from the University of Michigan in 1993 and 1996, respectively.
Matt Caesar, UIUC.
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. Further demonstrating the importance is a string of recent high profile outages, including a very recent incident where a single prefix announcement to a single provider caused a huge increase in the global update rate and instability due to two bugs in routers from two different vendors. In this paper, we tailor software and data diversity (SDD) to the unique properties of routing protocols, 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 need to modify software of the diverse instances. Experiments with BGP message traces and the XORP and Quagga open-source software running on our Linux-based router hypervisor demonstrate that our solution scales to large networks and efficiently masks buggy behavior.
Files: pdfEric Keller Presentation(PDF)
Sponsors: None.

Back to NANOG46 agenda.

NANOG46 Abstracts

  • Track: IPv6
    Moderators:
    Nina Bargisen, TDC; Speakers:
    John Jason Brzozowski, Comcast; Andy Davidson, LONAP/NetSumo; Tom Coffeen, Limelight Networks; Randy Bush, IIJ; Dave Temkin, Netflix;
  • Track: ISP Security
    Moderators:
    Danny McPherson, Arbor Networks; Speakers:
    Warren Kumari, Google; Paul Vixie, Internet Systems Consortium; Randy Bush, IIJ; Chris MorrowGoogle; .
  • Track: ISP Security
    Moderators:
    Danny McPherson, Arbor Networks; Speakers:
    Warren Kumari, Google; Paul Vixie, Internet Systems Consortium; Randy Bush, IIJ; Chris MorrowGoogle; .
  • Track: IPv6
    Moderators:
    Nina Bargisen, TDC; Speakers:
    John Jason Brzozowski, Comcast; Andy Davidson, LONAP/NetSumo; Tom Coffeen, Limelight Networks; Randy Bush, IIJ; Dave Temkin, Netflix;
  • Track: ISP Security
    Moderators:
    Danny McPherson, Arbor Networks; Speakers:
    Warren Kumari, Google; Paul Vixie, Internet Systems Consortium; Randy Bush, IIJ; Chris MorrowGoogle; .
  • Track: IPv6
    Moderators:
    Nina Bargisen, TDC; Speakers:
    John Jason Brzozowski, Comcast; Andy Davidson, LONAP/NetSumo; Tom Coffeen, Limelight Networks; Randy Bush, IIJ; Dave Temkin, Netflix;
  • Track: IPv6
    Moderators:
    Nina Bargisen, TDC; Speakers:
    John Jason Brzozowski, Comcast; Andy Davidson, LONAP/NetSumo; Tom Coffeen, Limelight Networks; Randy Bush, IIJ; Dave Temkin, Netflix;
  • Track: IPv6
    Moderators:
    Nina Bargisen, TDC; Speakers:
    John Jason Brzozowski, Comcast; Andy Davidson, LONAP/NetSumo; Tom Coffeen, Limelight Networks; Randy Bush, IIJ; Dave Temkin, Netflix;
  • Track: IPv6
    Moderators:
    Nina Bargisen, TDC; Speakers:
    John Jason Brzozowski, Comcast; Andy Davidson, LONAP/NetSumo; Tom Coffeen, Limelight Networks; Randy Bush, IIJ; Dave Temkin, Netflix;
  • Track: ISP Security
    Moderators:
    Danny McPherson, Arbor Networks; Speakers:
    Warren Kumari, Google; Paul Vixie, Internet Systems Consortium; Randy Bush, IIJ; Chris MorrowGoogle; .
  • Track: ISP Security
    Moderators:
    Danny McPherson, Arbor Networks; Speakers:
    Warren Kumari, Google; Paul Vixie, Internet Systems Consortium; Randy Bush, IIJ; Chris MorrowGoogle; .
  • Virtually Eliminating Router Bugs
    Speakers:
    Eric Keller, Princeton University; Minlan YuPrinceton University; .
    Jennifer Rexford, Princeton University; Matt CaesarUIUC; .
  • Virtually Eliminating Router Bugs
    Speakers:
    Eric Keller, Princeton University; Minlan YuPrinceton University; .
    Jennifer Rexford, Princeton University; Matt CaesarUIUC; .
  • Virtually Eliminating Router Bugs
    Speakers:
    Eric Keller, Princeton University; Minlan YuPrinceton University; .
    Jennifer Rexford, Princeton University; Matt CaesarUIUC; .
  • Virtually Eliminating Router Bugs
    Speakers:
    Eric Keller, Princeton University; Minlan YuPrinceton University; .
    Jennifer Rexford, Princeton University; Matt CaesarUIUC; .
  • Peering
    Speakers:
    Ryan Donnelly, VeriSign;

 
^ Back to Top