An Empirical Study of Data Race Detector Tools

被引:0
|
作者
Alowibdi, Jalal S. [1 ]
Stenneth, Leon [1 ]
机构
[1] Univ Illinois, Dept Comp Sci, Chicago, IL 60607 USA
来源
2013 25TH CHINESE CONTROL AND DECISION CONFERENCE (CCDC) | 2013年
关键词
Data race; Performance; Correctness; Concurrent program;
D O I
暂无
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
The industry of software applications has been increased significantly because of the high demand of using the software applications. This revolution leads on developing many concurrent software systems. Noticeably, some of these concurrent software systems have falsely report data race condition to one or more of their shared variables. Debugging such concurrent software systems to find the race condition is a challenge, especially for large and complex software systems. Since the race condition concerned mostly ignored in the concurrent software systems, adopting it could help to ensure the efficiency of these software systems. There are few detector tools that have been known in the industry focusing on data race detectors. This paper aims to study those tools. We are going to conduct empirical study of data race using well known tools in order to measure the correctness, performances and effectiveness of those tools in practical by using some benchmarks. Those benchmarks will be tested on each tool and compare it with others to see the similarity and differentiate.
引用
收藏
页码:3951 / 3955
页数:5
相关论文
共 50 条
  • [1] RaceHunter Dynamic Data Race Detector
    Gerlits, E. A.
    PROGRAMMING AND COMPUTER SOFTWARE, 2024, 50 (06) : 467 - 481
  • [2] DeepRace: A learning-based data race detector
    TehraniJamsaz, Ali
    Khaleel, Mohammed
    Akbari, Reza
    Jannesari, Ali
    2021 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2021), 2021, : 226 - 233
  • [3] AN EMPIRICAL STUDY OF GENDER AND RACE IN TRADEMARK PROSECUTION
    Schuster, W. Michael
    Marcowitz-Bitton, Miriam
    Gerhardt, Deborah R.
    SOUTHERN CALIFORNIA LAW REVIEW, 2021, 94 (06) : 1407 - 1466
  • [4] An empirical study of race times in recreational endurance runners
    Vickers A.J.
    Vertosick E.A.
    BMC Sports Science, Medicine and Rehabilitation, 8 (1)
  • [5] ATDetector: Improving the Accuracy of a Commercial Data Race Detector by Identifying Address Transfer
    Zhang, Jiaqi
    Xiong, Weiwei
    Liu, Yang
    Park, Soyeon
    Zhou, Yuanyuan
    Ma, Zhiqiang
    PROCEEDINGS OF THE 2011 44TH ANNUAL IEEE/ACM INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO 44), 2011, : 206 - 215
  • [6] Rchecker: A CBMC-based Data Race Detector for Interrupt-driven Programs
    Feng, Haining
    Yin, Liangze
    Lin, Wenfeng
    Zhao, Xudong
    Dong, Wei
    COMPANION OF THE 2020 IEEE 20TH INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY (QRS-C 2020), 2020, : 465 - 471
  • [7] Understanding the Performance of Dynamic Data Race Detection
    Protze, Joachim
    Thaerigen, Isabel
    Wahle, Jonas
    PROCEEDINGS OF FIFTH INTERNATIONAL WORKSHOP ON SOFTWARE CORRECTNESS FOR HPC APPLICATIONS (CORRECTNESS 2021), 2021, : 33 - 40
  • [8] Deep Learning Based Data Race Detection Approach
    Zhang Y.
    Qiao L.
    Dong C.
    Gao H.
    Jisuanji Yanjiu yu Fazhan/Computer Research and Development, 2022, 59 (09): : 1914 - 1928
  • [9] Comparing the understandability of alternative data warehouse schemas: An empirical study
    Schuff, David
    Corral, Karen
    Turetken, Ozgur
    DECISION SUPPORT SYSTEMS, 2011, 52 (01) : 9 - 20
  • [10] An Empirical Study of the Role of Knowledge Characteristics and Tools on Knowledge Transfer in China-Based Multinationals
    Jasimuddin, Sajjad
    Li, Jun
    Perdikis, Nick
    JOURNAL OF GLOBAL INFORMATION MANAGEMENT, 2019, 27 (01) : 165 - 195