Deterministic Replay: A Survey

doi:10.1145/2790077

	Deterministic Replay: A Survey
	Chen, Yunji; Zhang, Shijin; Guo, Qi; Li, Ling; Wu, Ruiyang; Chen, Tianshi
	2015-11-01
发表期刊	ACM COMPUTING SURVEYS
ISSN	0360-0300
卷号	48 期号:2 页码:47
摘要	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.
关键词	Design Reliability Performance Security Deterministic replay debugging distributed system operating system System-on-Chip chip multiprocessor parallel system order data race
DOI	10.1145/2790077
收录类别	SCI
语种	英语
资助项目	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类目	Computer Science, Theory & Methods
WOS记录号	WOS:000368081600001
出版者	ASSOC COMPUTING MACHINERY
引用统计	被引频次：65[WOS] [WOS记录] [WOS相关记录]
文献类型	期刊论文
条目标识符	http://119.78.100.204/handle/2XEOYT63/8950
专题	中国科学院计算技术研究所期刊论文_英文
通讯作者	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.