Files in this item



application/pdfdefined_tech_report.pdf (755kB)
(no description provided)PDF


Title:DEFINED: Deterministic Execution for Interactive Control-Plane Debugging
Author(s):Lin, Chia-Chi; Jalaparti, Virajith; Caesar, Matthew; Van der Merwe, Jacobus
Subject(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.
Issue Date:2013
Citation Info:C.-C. Lin, V. Jalaparti, M. Caesar, and J. Van der Merwe. DEFINED: Deterministic Execution for Interactive Control-Plane Debugging. In USENIX ATC, 2013.
Series/Report:Proceedings of the 2013 USENIX Annual Technical Conference
Genre:Technical Report
Publication Status:published or submitted for publication
Peer Reviewed:is peer reviewed
Sponsor:NSF CNS-10-40391
Date Available in IDEALS:2013-06-26

This item appears in the following Collection(s)

Item Statistics