Capo: A software-hardware interface for practical deterministic multiprocessor replay

Pablo Montesinos, Matthew Hicks, Samuel T. King, Josep Torrellas

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

While deterministic replay of parallel programs is a powerful technique, current proposals have shortcomings. Specifically, software-based replay systems have high overheads on multiprocessors, while hardware-based proposals focus only on basic hardware-level mechanisms, ignoring the overall replay system. To be practical, hardware-based replay systems need to support an environment with multiple parallel jobs running concurrently - some being recorded, others being replayed and even others running without recording or replay. They also need to manage limited-size log buffers. This paper addresses these shortcomings by introducing, for the first time, a set of abstractions and a softwarehardware interface for practical hardware-assisted replay of multiprocessor systems. The approach, called Capo, introduces the novel abstraction of the Replay Sphere to separate the responsibilities of the hardware and software components of the replay system. In this paper, we also design and build CapoOne, a prototype of a deterministic multiprocessor replay system that implements Capo using Linux and simulated DeLorean hardware. Our evaluation of 4- processor executions shows that CapoOne largely records with the efficiency of hardware-based schemes and the flexibility of software-based schemes.

Original languageEnglish (US)
Title of host publicationProceedings of the 14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS-14
PublisherAssociation for Computing Machinery
Pages73-84
Number of pages12
ISBN (Print)9781605584065
DOIs
StatePublished - 2009
Event14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS-14 - Washington, DC, United States
Duration: Mar 7 2009Mar 11 2009

Publication series

NameInternational Conference on Architectural Support for Programming Languages and Operating Systems - ASPLOS

Other

Other14th International Conference on Architectural Support for Programming Languages and Operating Systems, ASPLOS-14
CountryUnited States
CityWashington, DC
Period3/7/093/11/09

Keywords

  • Capo
  • CapoOne
  • Deterministic replay
  • Replay sphere

ASJC Scopus subject areas

  • Software
  • Information Systems
  • Hardware and Architecture

Fingerprint Dive into the research topics of 'Capo: A software-hardware interface for practical deterministic multiprocessor replay'. Together they form a unique fingerprint.

Cite this