Practical Time Travel of Multiprocessor Systems

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.

Name thesis:degree_name

Ph.D.

Level thesis:degree_level

Dissertation

Discipline thesis:degree_discipline

Computer Science

Grantor

University of Illinois at Urbana-Champaign

Year dc:date

2009

Author dc:creator

• Montesinos Ortego, Pablo

Contributors dc:contributor

• King, Samuel T.
• Torrellas, Josep
• Snir, Marc
• Hwu, Wen-Mei W.
• Zhou, Yuanyuan
• Von Praun, Christoph

• Deterministic Replay
• Determinism
• Time Travel
• Multiprocessors
• Debuggability
• Programmability
• Chunk-based Execution and Replay

Statement dc:rights

• Copyright 2009 Pablo Montesinos Ortego

Language dc:language

en

Handle dc:identifier

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

OAI identifier oai:identifier

oai:www.ideals.illinois.edu:2142/13395