Deterministic Replay: A Survey
文献类型:期刊论文
作者 | Chen, Yunji; Zhang, Shijin; Guo, Qi; Li, Ling; Wu, Ruiyang; Chen, Tianshi |
刊名 | ACM COMPUTING SURVEYS
![]() |
出版日期 | 2015-11-01 |
卷号 | 48期号:2页码:47 |
关键词 | Design Reliability Performance Security Deterministic replay debugging distributed system operating system System-on-Chip chip multiprocessor parallel system order data race |
ISSN号 | 0360-0300 |
DOI | 10.1145/2790077 |
英文摘要 | 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. |
资助项目 | NSF of China[61133004] ; NSF of China[61222204] ; NSF of China[61221062] ; NSF of China[61303158] ; NSF of China[61432016] ; NSF of China[61472396] ; NSF of China[61473275] ; NSF of China[61522211] ; 973 Program of China[2015CB358800] ; Strategic Priority Research Program of the CAS[XDA06010403] ; Strategic Priority Research Program of the CAS[XDB02040009] ; International Collaboration Key Program of the CAS[171111KYSB20130002] ; 10000 talent program |
WOS研究方向 | Computer Science |
语种 | 英语 |
WOS记录号 | WOS:000368081600001 |
出版者 | ASSOC COMPUTING MACHINERY |
源URL | [http://119.78.100.204/handle/2XEOYT63/8949] ![]() |
专题 | 中国科学院计算技术研究所期刊论文_英文 |
通讯作者 | Chen, Tianshi |
作者单位 | Chinese Acad Sci, Inst Comp Technol, SKL Comp Architecture, Beijing 100190, Peoples R China |
推荐引用方式 GB/T 7714 | Chen, Yunji,Zhang, Shijin,Guo, Qi,et al. Deterministic Replay: A Survey[J]. ACM COMPUTING SURVEYS,2015,48(2):47. |
APA | Chen, Yunji,Zhang, Shijin,Guo, Qi,Li, Ling,Wu, Ruiyang,&Chen, Tianshi.(2015).Deterministic Replay: A Survey.ACM COMPUTING SURVEYS,48(2),47. |
MLA | Chen, Yunji,et al."Deterministic Replay: A Survey".ACM COMPUTING SURVEYS 48.2(2015):47. |
入库方式: OAI收割
来源:计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。