Building bug-tolerant routers with virtualization

SIGCOMM 2008 Conference and the Co-located Workshops - PRESTO'08: Proceedings of the ACM Workshop on Programmable Routers for Extensible Services of Tomorrow

Volumn , Issue , 2008, Pages 51-56

  Caesar, Matthew ^a   Rexford, Jennifer ^a  

^a PRINCETON UNIVERSITY   (United States)

Author keywords

Internet routing; Protocols

Indexed keywords

CORE ROUTERS; CRITICAL PROBLEMS; DESIGN DECISIONS; IN BUILDINGS; INTERNET ROUTING; LIVE NETWORKS; MISCONFIGURATION; PACKET FORWARDING; PROTOCOLS; ROUTER SOFTWARES; ROUTING MESSAGES; VIRTUALIZATION;

INTERNET; INTERNET PROTOCOLS; ROUTING PROTOCOLS; TECHNICAL PRESENTATIONS; WIDE AREA NETWORKS;

ROUTERS;

EID: 63749095205     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1397718.1397730     Document Type: Conference Paper

References (37)

1. T. Akin, "Cisco router forensics," in Blackhat Briefings, July 2002.www.blackhat.com/presentations/bh-usa-02/bh-us-02-akin- cisco/bh-us-02-akin-cisco.ppt.
2. J. Evers, "Trio of Cisco flaws may threaten networks," in CNET News, January 2007.
3. B. Brenner, "Cisco IOS flaw prompts Symantec to raise threat level," in Information Security Magazine, September 2005.
4. W. Knight, "Router bug threatens 'Internet backbone'," in New Scientist Magazine, July 2003.
5. J. Duffy, "BGP bug bites Jumper software," in Network World, December 2007.
6. P. Roberts, "Cisco tries to quash vulnerability talk at Black Hat," in eWEEK(Ziff Davis Inc.), July 2005.
7. "Cisco opening up IOS," in Network World, December 2007.
8. "Juniper networks delivers industry-first platform for customer and partner application development on carrier-class network operating system," in Juniper Networks, Inc. (press release), December 2007.
9. R. Tongia, "Connectivity and the digital divide: Technology, policy, and design tradeoffs for developing regions," in Telecommunications Policy Research Conference, September 2006.
10. A. Kuatse, R. Teixeira, and M. Meulle, "Characterizing network events and their impact on routing," in Proc. CoNEXT, December 2007.
11. "Quagga software routing suite," www.quagga.net.
12. M. Handley, E. Kohler, A. Ghosh, O. Hodson, and P. Radoslavov, "Designing extensible IP router software," in Proc. NSDI, May 2005.
13. "Cisco 7200 simulator," (software to run Cisco IOS images on desktop PCs) www.ipf low.utc.fr/index.php/Cisco-7200-Simulator.
14. "Olive," (software to run Juniper OS images on desktop PCs) juniper.cluepon.net/index.php/Olive.
15. L. Chen and A. Avizienis, "N-version programming: A fault tolerance approach to reliability of software operation," in Proc. Fault-Tolerant Computing Symposium, June 1978.
16. E. Berger and B. Zorn, "DieHard: Probabilistic memory safety for unsafe languages," in Proc. Programming Languages Design and Implementation, June 2006.
17. R. Rodrigues, M. Castro, and B. Liskov, "Base: Using abstraction to improve fault tolerance," in Proc. ACM SOSP, October 2001.
18. Y. Zhou, D. Marinov, W. Sanders, C. Zilles, M. d'Amorim, S. Lauterburg, and R. Lefever, "Delta execution for software reliability," in Proc. Hot Topics in Dependibility, June 2007.
19. T. Li, B. Cole, P. Morton, and D. Li, "Cisco hot standby router protocol (HSRP)." RFC 2281, March 1998.
20. R. Hinden, "Virtual router redundancy protocol (VRRP)." RFC 3768, April 2004.
21. A. Bavier, N. Feamster, M. Huang, L. Peterson, and J. Rexford, "In VINI veritas: Realistic and controlled network experimentation," in Proc. ACM SIGCOMM, August 2006.
22. Y. Wang, J. van der Merwe, and J. Rexford, "VROOM: Virtual ROuters On the Move," in Proc. HotNets, November 2007.
23. N. Feamster, L. Gao, and J. Rexford, "How to lease the Internet in your spare time," in ACM Computer Communication Review, January 2007.
24. D. McPherson, C. Parker, R. Hartani, D. Ward, P. Agarwal, S. Poretsky, and D. O'Leary, "Panel abstract: Core network design and vendor prophecies," February 2006.
25. M. Kolon, "Intelligent logical router service," in White Paper (Juniper Networks, Inc.), October 2004.
26. "Xen," (hypervisor software), www.xen.org/.
27. "Openbgpd," www.openbgpd.org.
28. E. Köhler, R. Morris, B. Chen, J. Jannotti, and M. Kaashoek, "The Click modular router," in ACM Trans. Comp. Sys., August 2000.
29. R. Alimi, Y. Wang, and Y. R. Yang, "Shadow configuration as a network management primitive," in Proc. ACM SIGCOMM, August 2008.
30. K. Asanovic, R. Bodik, B. Catanzaro, J. Gebis, P. Husbands, K. Keutzer, D. Patterson, W. Plishker, J. Shalf, S. Williams, and K. Yelick, "The landscape of parallel computing research: A view from Berkeley," Tech. Rep. EECS-2006-183, UC Berkeley, December 2006.
31. J. Moy, "OSPF Version 2." RFC 2328, April 1998.
32. N. Feamster and J. Rexford, "Network-wide prediction of BGP routes," in IEEE/ACM Trans. Networking, April 2007.
33. N. Feamster and H. Balakrishnan, "Detecting BGP configuration faults with static analysis," in Proc. NSDI, May 2005.
34. H. Kaplan, "NSR non-stop routing technology (whitepaper, avici systems)," 2002. http://www.avici.com/technology/whitepapers/reliability- series/NSRTechnology.pdf.
35. M. Sipser in Introduction to the Theory of Computation, Section 4.1 (The Halting Problem), PWS Publishing, 1997.
36. "The virtualization API." libvirt.org/.
37. "IETF forwarding and control element separation (ForCES)," (software) www.ietf.org/html.charters/forces-charter.html.