Practical Time Travel of Multiprocessor Systems

Montesinos Ortego, Pablo

Permalink

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

Description

Title

Practical Time Travel of Multiprocessor Systems

Author(s)

Montesinos Ortego, Pablo

Issue Date

2009-08-06

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

King, Samuel T.

Doctoral Committee Chair(s)

Torrellas, Josep

Committee Member(s)

• Snir, Marc
• Hwu, Wen-Mei W.
• Zhou, Yuanyuan
• Von Praun, Christoph

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 Replay
• Determinism
• Time Travel
• Multiprocessors
• Debuggability
• Programmability
• Chunk-based Execution and Replay

Language

en

Abstract

With the arrival of multicore chips as the commodity architecture for a wide range of platforms, there is a growing pressure to make parallel programming the norm. Unfortunately, most current programmers find parallel programming too complex. Therefore, we need tools, models, and architectures that make multiprocessors more programmable. One compelling way to improve programmability is to enable back-and-forth time travel of multiprocessor execution. Such ability simplifies parallel code debugging, and is possible using a technique called Deterministic Replay of Execution. This thesis presents DeLorean, a novel hardware substrate for deterministic replay of multiprocessor systems. DeLorean advances the state of the art in that it enables high-speed recording and replay of parallel execution and in that its space requirements are orders of magnitude smaller than those of current schemes. To be practical, DeLorean and other hardware replay systems need to support an environment with multiple parallel jobs running concurrently — some being recorded, others being replayed and possibly many others running without recording or replay. To address this issue, this thesis presents Capo, a novel software-hardware interface for practical high-speed multiprocessor replay. It also introduces the novel abstraction of Replay Sphere to separate the responsibilities of the hardware and software components of a replay system. Finally, this thesis describes CapoOne, a prototype of a deterministic multiprocessor replay system that implements Capo using Linux running on simulated DeLorean hardware.

Type of Resource

text

Permalink

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

Copyright and License Information

Copyright 2009 Pablo Montesinos Ortego

Owning Collections