Use of deterministic execution in testing and debugging of distributed software

Lin, Chia-Chi

Permalink

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

Description

Title

Use of deterministic execution in testing and debugging of distributed software

Author(s)

Lin, Chia-Chi

Issue Date

2014-01-16T18:01:35Z

Director of Research (if dissertation) or Advisor (if thesis)

Caesar, Matthew C.

Doctoral Committee Chair(s)

Caesar, Matthew C.

Committee Member(s)

• Torrellas, Josep
• Hu, Yih-Chun
• Ceze, Luis

Department of Study

Computer Science

Discipline

Computer Science

Degree Granting Institution

University of Illinois at Urbana-Champaign

Degree Name

Ph.D.

Degree Level

Dissertation

Keyword(s)

• Deterministic Execution
• Distributed Testing
• Distributed Debugging
• Speculative Execution
• Synchronized Clocks
• Single-Step
• Breakpoint
• Backtrace

Abstract

Large-scale networks are among the most complex software infrastructures in existence. Unfortunately, the increasing complexity of its software requirements leads to a rich variety of nondeterministic failure modes and anomalies. Research on testing and debugging modern distributed software has focused on designing comprehensive record and replay systems, but the large volumes of recordings often hinder the efficiency and scalability of these designs. Here, we argue for a different approach. Namely, we take the position that deterministic network execution would vastly simplify the distributed software testing and debugging process. This thesis presents the design and implementation of a network architecture for interactive testing and debugging that provides deterministic network execution of distributed software in highly distributed and dynamic environments. We design efficient and scalable algorithms for both control and data traffics in modern wide-area networks. In addition, we further describe several interactive primitives to reduce the time and effort on testing and debugging of large-scale distributed software. We demonstrate our system's advantages by analyzing nondeterministic ordering and timing bugs in popular real-world distributed software, XORP, Quagga, and lighttpd. Using Rocketfuel topologies and traffic data from a Tier-1 backbone, we show that our design is practical and scalable for interactive fault diagnosis in large networks.

Graduation Semester

2013-12

Permalink

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

Copyright and License Information

Copyright 2013 Chia-Chi Lin

Owning Collections