中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页 机构 成果 学者
  
  1. CAS IR Grid
  2. 计算技术研究所
  3. 中国科学院计算技术研究所
  4. 中国科学院计算技术研究所期刊论文
  5. 英文
Using Local Clocks to Reproduce Concurrency Bugs

文献类型：期刊论文

作者Wang, Zhenjiang2; Yuan, Xiang2; Wu, Chenggang6; Wang, Zhe7,8; Guan, Yong3; Huang, Jeff4; Lan, Yanyan6; Feng, Xiaobing6; Chen, Yunji6; Lai, Yuanming6
刊名IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
出版日期2018-11-01
卷号44期号:11页码:1112-1128
ISSN号0098-5589
关键词Concurrency bug reproducing local clock
DOI10.1109/TSE.2017.2752158
英文摘要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.
资助项目National High Technology Research and Development Program of China[2012AA010901] ; National Natural Science Foundation of China (NSFC)[61303051] ; National Natural Science Foundation of China (NSFC)[61303052] ; National Natural Science Foundation of China (NSFC)[61332009] ; National Natural Science Foundation of China (NSFC)[60925009] ; National Natural Science Foundation of China (NSFC)[61100011] ; Innovation Research Group of NSFC[61221062]
WOS研究方向Computer Science ; Engineering
语种英语
出版者IEEE COMPUTER SOC
WOS记录号WOS:000449964600006
源URL[http://119.78.100.204/handle/2XEOYT63/4333]  
专题中国科学院计算技术研究所期刊论文_英文
通讯作者Wu, Chenggang
作者单位1.Horizon Robot Inc, Beijing 100190, Peoples R China
2.Huawei Technol, Beijing 100190, Peoples R China
3.Capital Normal Univ, Coll Informat Engn, Beijing 100190, Peoples R China
4.Texas A&M Univ, Dept Comp Sci & Engn, College Stn, TX 77843 USA
5.Univ Minnesota Twin Cities, Dept Comp Sci & Engn, Minneapolis, MN 55455 USA
6.Chinese Acad Sci, State Key Lab Comp Architecture, Inst Comp Technol, Beijing 100190, Peoples R China
7.Univ Chinese Acad Sci, Beijing 100190, Peoples R China
8.Chinese Acad Sci, State Key Lab Comp Architecture, Architecture Inst Comp Technol, Beijing 100190, Peoples R China
推荐引用方式
GB/T 7714		 Wang, Zhenjiang,Yuan, Xiang,Wu, Chenggang,et al. Using Local Clocks to Reproduce Concurrency Bugs[J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,2018,44(11):1112-1128.
APA Wang, Zhenjiang.,Yuan, Xiang.,Wu, Chenggang.,Wang, Zhe.,Guan, Yong.,...&Li, Jianjun.(2018).Using Local Clocks to Reproduce Concurrency Bugs.IEEE TRANSACTIONS ON SOFTWARE ENGINEERING,44(11),1112-1128.
MLA Wang, Zhenjiang,et al."Using Local Clocks to Reproduce Concurrency Bugs".IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 44.11(2018):1112-1128.

入库方式： OAI收割

来源：计算技术研究所

浏览0
下载0
收藏0
其他版本

除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。