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 条
  • [21] Effects of vehicle speed on pedestrian movement at crosswalks: A case study using empirical data
    Li, Tao
    Fu, Zhijian
    Sun, Zhanbo
    Ding, Hongliang
    Wang, Ruiqi
    Ji, Ang
    PHYSICA A-STATISTICAL MECHANICS AND ITS APPLICATIONS, 2025, 660
  • [22] Economic Efficiency of Forest Enterprises-Empirical Study Based on Data Envelopment Analysis
    Neykov, Nikolay
    Kristakova, Stanislava
    Hajduchova, Iveta
    Sedliacikova, Mariana
    Antov, Petar
    Giertliova, Blanka
    FORESTS, 2021, 12 (04):
  • [23] Leadership, team and decision speed: empirical study using cross-provincial data
    Gu, Jiajun
    Weng, Qingxiong
    Xie, Fenghua
    CHINESE MANAGEMENT STUDIES, 2012, 6 (04) : 598 - 609
  • [24] Barriers to Collecting Patient Race, Ethnicity, and Primary Language Data in Physician Practices: An Exploratory Study
    Hasnain-Wynia, Romana
    Van Dyke, Kevin
    Youdelman, Mara
    Krautkramer, Christian
    Ivey, Susan L.
    Gilchick, Robert
    Kaleba, Erin
    Wynia, Matthew K.
    JOURNAL OF THE NATIONAL MEDICAL ASSOCIATION, 2010, 102 (09) : 769 - 775
  • [25] Individual and combination approaches to forecasting hierarchical time series with correlated data: an empirical study
    Rehman, Hakeem-Ur
    Wan, Guohua
    Ullah, Azmat
    Shaukat, Badiea
    JOURNAL OF MANAGEMENT ANALYTICS, 2019, 6 (03) : 231 - 249
  • [26] Global data mining: An empirical study of current trends, future forecasts and technology diffusions
    Tsai, Hsu-Hao
    EXPERT SYSTEMS WITH APPLICATIONS, 2012, 39 (09) : 8172 - 8181
  • [27] Eliminating Data Race Warnings Using CSP
    Wittiger, Martin
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2016, 2016, 9695 : 30 - 43
  • [28] Software Analysis Techniques for Detecting Data Race
    Kang, Pilsung
    IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2017, E100D (11): : 2674 - 2682
  • [29] DOES SHARING MAKE MY DATA MORE INSECURE ? AN EMPIRICAL STUDY ON HEALTH I NFORMATION EXCHANGE AND DATA BREACHES
    Zhang, Leting
    Wattal, Sunil
    Pang, Min-Seok
    MIS QUARTERLY, 2024, 48 (03)
  • [30] A Deployable Sampling Strategy for Data Race Detection
    Cai, Yan
    Zhang, Jian
    Cao, Lingwei
    Liu, Jian
    FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 810 - 821