DEFINED: Deterministic Execution for Interactive Control-Plane Debugging

Lin, Chia-Chi; Jalaparti, Virajith; Caesar, Matthew; Van der Merwe, Jacobus

Permalink

https://hdl.handle.net/2142/45099 Copy

Description

Title

DEFINED: Deterministic Execution for Interactive Control-Plane Debugging

Author(s)

• Lin, Chia-Chi
• Jalaparti, Virajith
• Caesar, Matthew
• Van der Merwe, Jacobus

Issue Date

2013

Keyword(s)

• Distributed Deterministic Execution
• Interactive Debugging
• Control-Plane Debugging
• Speculative Execution

Abstract

Large-scale networks are among the most complex software infrastructures in existence. Unfortunately, the extreme complexity of their basis, the control-plane software, leads to a rich variety of nondeterministic failure modes and anomalies. Research on debugging modern control-plane software has focused on designing comprehensive record and replay systems, but the large volumes of recordings often hinder the scalability of these designs. Here, we argue for a different approach. Namely, we take the position that deterministic network execution would vastly simplify the control-plane debugging process. This paper presents the design and implementation of DEFINED, a user-space substrate for interactive debugging that provides deterministic execution of networks in highly distributed and dynamic environments. We demonstrate our system's advantages by reproducing discovery of known ordering and timing bugs in popular software routing platforms, XORP and Quagga. Using Rocketfuel topologies and routing data from a Tier-1 backbone, we show DEFINED is practical and scalable for interactive fault diagnosis in large networks.

Publisher

USENIX

Series/Report Name or Number

Proceedings of the 2013 USENIX Annual Technical Conference

Type of Resource

text

Language

en

Permalink

http://hdl.handle.net/2142/45099

Sponsor(s)/Grant Number(s)

• NSF CNS-10-40391
• DARPA MRC

Owning Collections