气候变化领域集成服务门户(CCPortal): Using Local Clocks to Reproduce Concurrency Bugs

CCPortal

DOI	10.1109/TSE.2017.2752158
	Using Local Clocks to Reproduce Concurrency Bugs
	Wang, Zhe; Wu, Chenggang; Yuan, Xiang; Wang, Zhenjiang; Li, Jianjun; Yew, Pen-Chung; Huang, Jeff; Feng, Xiaobing; Lan, Yanyan; Chen, Yunji; Lai, Yuanming; Guan, Yong
发表日期	2018
ISSN	0098-5589
EISSN	1939-3520
起始页码	1112
结束页码	1128
卷号	44 期号:11
英文摘要	Multi-threaded programs play an increasingly important role in current multi-core environments. Exposing concurrency bugs and debugging such multi-threaded programs are quite challenging due to their inherent non-determinism. In order to mitigate such non-determinism, many approaches such as record-and-replay have been proposed. However, those approaches often suffer significant performance degradation because they require a large amount of recorded information and/or long analysis and replay time. In this paper, we propose an efficient and effective approach, ReCBuLC (reproducing concurrency bugs using local clocks), to take advantage of the hardware clocks available on modern processors. The key idea is to reduce the recording overhead and the time to analyze events' global order by recording timestamps in each thread. These timestamps are used to determine the global order of shared accesses. To avoid the large overhead in accessing system-wide global clock, we opt to use local per-core clocks that incur much less access overhead. We then propose techniques to resolve skews among local clocks and obtain an accurate global event order. By using per-core clocks, state-of-the-art bug reproducing systems such as PRES and CLAP can reduce their recording overheads by up to 85 percent, and the analysis time up to 84.66%similar to 99.99%, respectively.
英文关键词	Concurrency; bug reproducing; local clock
语种	英语
WOS研究方向	Computer Science ; Engineering
WOS类目	Computer Science, Software Engineering ; Engineering, Electrical & Electronic
WOS关键词	DETERMINISTIC REPLAY ; PROGRAMS
WOS记录号	WOS:000449964600006
来源期刊	IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
文献类型	期刊论文
条目标识符	http://gcip.llas.ac.cn/handle/2XKMVOVA/239464
作者单位	[Wang, Zhe] Chinese Acad Sci, State Key Lab Comp Architecture, Architecture Inst Comp Technol, Beijing 100190, Peoples R China; [Wang, Zhe] Univ Chinese Acad Sci, Beijing 100190, Peoples R China; [Wu, Chenggang; Feng, Xiaobing; Lan, Yanyan; Chen, Yunji; Lai, Yuanming] Chinese Acad Sci, State Key Lab Comp Architecture, Inst Comp Technol, Beijing 100190, Peoples R China; [Yew, Pen-Chung] Univ Minnesota Twin Cities, Dept Comp Sci & Engn, Minneapolis, MN 55455 USA; [Huang, Jeff] Texas A&M Univ, Dept Comp Sci & Engn, College Stn, TX 77843 USA; [Guan, Yong] Capital Normal Univ, Coll Informat Engn, Beijing 100190, Peoples R China; [Yuan, Xiang; Wang, Zhenjiang] Huawei Technol, Beijing 100190, Peoples R China; [Li, Jianjun] Horizon Robot Inc, Beijing 100190, Peoples R China
推荐引用方式 GB/T 7714	Wang, Zhe,Wu, Chenggang,Yuan, Xiang,et al. Using Local Clocks to Reproduce Concurrency Bugs[J],2018,44(11).
APA	Wang, Zhe.,Wu, Chenggang.,Yuan, Xiang.,Wang, Zhenjiang.,Li, Jianjun.,...&Guan, Yong.(2018).Using Local Clocks to Reproduce Concurrency Bugs.IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,44(11).
MLA	Wang, Zhe,et al."Using Local Clocks to Reproduce Concurrency Bugs".IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 44.11(2018).