DeLorean: Recording and deterministically replaying shared-memory multiprocessor execution efficiently

Pablo Montesinos, Luis Ceze, Josep Torrellas

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

Abstract

Support for deterministic replay of multithreaded execution can greatly help in finding concurrency bugs. For highest effectiveness, replay schemes should (i) record at production-run speed, (ii) keep their logging requirements minute, and (iii) replay at a speed similar to that of the initial execution. In this paper, we propose a new substrate for deterministic replay that provides substantial advances along these axes. In our proposal, processors execute blocks of instructions atomic-ally, as in transactional memory or speculative multithreading, and the system only needs to record the commit order of these blocks. We call our scheme DeLorean. Our results show that DeLorean records execution at a speed similar to that of Release Consistency (RC) execution, and replays at about 82% of its speed. In contrast, most current schemes only record at the speed of Sequential Consistency (SC) execution. Moreover, DeLorean only needs 7.5% of the log size needed by a state-of-the-art scheme. Finally, DeLorean can be configured to need only 0.6% of the log size of the state-of-the-art scheme at the cost of recording at 86% of RC's execution speed - still faster than SC. In this configuration, the log of an 8-processor 5-GHz machine is estimated to be only about 20GB per day.

Original languageEnglish (US)
Title of host publicationISCA 2008, Proceedings - 35th International Symposium on Computer Architecture
Pages289-300
Number of pages12
DOIs
StatePublished - Oct 1 2008
EventISCA 2008, 35th International Symposium on Computer Architecture - Beijing, China
Duration: Jun 21 2008Jun 25 2008

Publication series

NameProceedings - International Symposium on Computer Architecture
ISSN (Print)1063-6897

Other

OtherISCA 2008, 35th International Symposium on Computer Architecture
CountryChina
CityBeijing
Period6/21/086/25/08

    Fingerprint

ASJC Scopus subject areas

  • Hardware and Architecture

Cite this

Montesinos, P., Ceze, L., & Torrellas, J. (2008). DeLorean: Recording and deterministically replaying shared-memory multiprocessor execution efficiently. In ISCA 2008, Proceedings - 35th International Symposium on Computer Architecture (pp. 289-300). [4556734] (Proceedings - International Symposium on Computer Architecture). https://doi.org/10.1109/ISCA.2008.36