arrow
Return

Deterministic Replay: A Survey

delete2015-09-24
delete68
PRE
AI
Y
Yunji Chen
S
Shijin Zhang
Q
Qi Guo
李玲 (Ling Li)
R
Ruiyang Wu
T
Tianshi Chen *
DOI:10.1145/2790077delete
deleteOriginal
deleteOriginal request for help
deleteShare
deleteSave
Abstract

Abstract

En 中文
Deterministic replay is a type of emerging technique dedicated to providing deterministic executions of computer programs in the presence of nondeterministic factors. The application scopes of deterministic replay are very broad, making it an important research topic in domains such as computer architecture, operating systems, parallel computing, distributed computing, programming languages, verification, and hardware testing. In this survey, we comprehensively review existing studies on deterministic replay by introducing a taxonomy. Basically, existing deterministic replay schemes can be classified into two categories, single-processor (SP) schemes and multiprocessor (MP) schemes. By reviewing the details of these two categories of schemes respectively, we summarize and compare how existing schemes address technical issues such as log size, record slowdown, replay slowdown, implementation cost, and probe effect, which may shed some light on future studies on deterministic replay.
Keywords:
Design
Reliability
Performance
Security
Deterministic replay
debugging
distributed system
operating system
System-on-Chip
chip multiprocessor
parallel system
order
data race
AI Summary

AI Summary

Key information extracted from the uploaded paper, including a brief overview, abstract, background, key highlights, visual analysis, and future outlook.

Journal

ACM Computing Surveys cover
ACM Computing Surveys
IF:
28
Papers:
2.4K
Citations:
3.5W

Organization

C
chinese academy of sciences
Scholars:
56.0W
Papers: 44.8W
Citations: 704