Managing Concurrent Testing of Data Race with ComRaDe

被引:0
作者
Gao, Jian [1 ]
Yang, Xin [1 ]
Jiang, Yu [1 ]
Liu, Han [1 ]
Ying, Weiliang [2 ]
Sun, Wanting [3 ]
Gu, Ming [1 ]
机构
[1] Tsinghua Univ, Sch Software, Beijing, Peoples R China
[2] Huawei Technol Co Ltd, Hangzhou, Peoples R China
[3] Beijing Univ Posts & Telecommun, Beijing, Peoples R China
来源
ISSTA'18: PROCEEDINGS OF THE 27TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS | 2018年
关键词
data race; dataset; evaluation platform;
D O I
10.1145/3213846.3229502
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
As a result of the increasing number of concurrent programs, the researchers put forward a number of tools with different implementation strategies to detect data race. However, confirming data races from the collection of true and false positives reported by race detectors is extremely the time-consuming process during the evaluation period. In this paper, we presented ComRaDe, a management platform for concurrent testing of data race with three main functions: manage and filter data races, run evaluation programs to select race detectors, generate detection report automatically. We integrated and compared three different race detectors on ComRaDe in terms of race detection capability. The results demonstrated the potential of ComRaDe on effectively identifying the advantages and limitations of different race detectors, and in further helping researchers to select and improve the capability of detectors for its convenience.
引用
收藏
页码:364 / 367
页数:4
相关论文
共 11 条
  • [1] [Anonymous], 2018, 25 INT C SOFTW AN EV
  • [2] [Anonymous], 2001, P ACM IEEE C SUP
  • [3] Burckhardt S, 2010, ASPLOS XV: FIFTEENTH INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS, P167
  • [4] Farchi Eitan, 2003, PAR DISTR PROC S 200
  • [5] FastTrack: Efficient and Precise Dynamic Race Detection
    Flanagan, Cormac
    Freund, Stephen N.
    [J]. PLDI'09 PROCEEDINGS OF THE 2009 ACM SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION, 2009, : 121 - 133
  • [6] Gao Jian, 2018, P 15 INT C MIN SOFTW
  • [7] Huang J, 2014, ACM SIGPLAN NOTICES, V49, P337, DOI [10.1145/2666356.2594315, 10.1145/2594291.2594315]
  • [8] Joshi P, 2009, LECT NOTES COMPUT SC, V5643, P675, DOI 10.1007/978-3-642-02658-4_54
  • [9] Kasikci B, 2012, ACM SIGPLAN NOTICES, V47, P184
  • [10] Lu Shan, 2005, WORKSH EV SOFTW DEF, V5