Predicting and Witnessing Data Races Using CSP

被引：0
作者：
Carril, Luis M. [1 ]
Tichy, Walter F. [1 ]
机构：
[1] Karlsruhe Inst Technol, Inst Program Struct & Data Org IPD, D-76131 Karlsruhe, Germany
来源：
NASA FORMAL METHODS (NFM 2015) | 2015年 / 9058卷
关键词：
Data race; Concurrent programs; Debug; CSP;
D O I：
10.1007/978-3-319-17524-9_28
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Detecting and debugging data races is a complex task due to the large number of interleavings possible in a parallel program. Most tools can find the data races reliably in an observed execution, but they miss errors in alternative reorderings of events. In this paper we describe an automated approach to generate, from a single program trace, a model in CSP with alternative interleavings. We check for data races patterns and obtain a witness that allows the reproduction of errors. Reproduction reduces the developer effort to correct the error.
引用
收藏
页码：400 / 407
页数：8
相关论文
共 50 条
  • [1] Eliminating Data Race Warnings Using CSP
    Wittiger, Martin
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2016, 2016, 9695 : 30 - 43
  • [2] Modeling Data Races Using UML/MARTE Profile
    Akshay, K. C.
    Nayak, Ashalatha
    Muniyal, Balachandra
    2014 INTERNATIONAL CONFERENCE ON ADVANCES IN COMPUTING, COMMUNICATIONS AND INFORMATICS (ICACCI), 2014, : 238 - 244
  • [3] Analyzing CSP Trustworthiness and Predicting Cloud Service Performance
    Maeser, Robert
    IEEE OPEN JOURNAL OF THE COMPUTER SOCIETY, 2020, 1 (01): : 73 - 85
  • [4] Model reductions with special CSP data
    Lam, Sau H.
    COMBUSTION AND FLAME, 2013, 160 (12) : 2707 - 2711
  • [5] The CSP Protocol Model Based on Data Independence
    Zheng Jun-Jie
    Kong Yi
    Liu Zhi-Hua
    Zhu Xiao-Lin
    Ye Song
    Ruan Kun
    PROCEEDINGS OF THE 14TH YOUTH CONFERENCE ON COMMUNICATION, 2009, : 407 - +
  • [6] RaceChecker: Efficient Identification of Harmful Data Races
    Lu, Kai
    Wu, Zhendong
    Wang, Xiaoping
    Chen, Chen
    Zhou, Xu
    23RD EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2015), 2015, : 78 - 85
  • [7] RaceTracker:Effective and Efficient Detection of Data Races
    Yang, Zhen
    Yu, Zhen
    Su, Xiaohong
    Ma, Peijun
    2016 17TH IEEE/ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ARTIFICIAL INTELLIGENCE, NETWORKING AND PARALLEL/DISTRIBUTED COMPUTING (SNPD), 2016, : 293 - 300
  • [8] JBench: A Dataset of Data Races for Concurrency Testing
    Cao, Jian
    Yang, Xin
    Jiang, Yu
    Liu, Han
    Ying, Weiliang
    Zhang, Xian
    2018 IEEE/ACM 15TH INTERNATIONAL CONFERENCE ON MINING SOFTWARE REPOSITORIES (MSR), 2018, : 6 - 9
  • [9] Formalization and Verification of TESAC Using CSP
    Sun, Dongzhen
    Zhu, Huibiao
    Fei, Yuan
    Xiao, Lili
    Lu, Gang
    Yin, Jiaqi
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2019, 29 (11-12) : 1741 - 1760
  • [10] Modeling and Verifying Storm Using CSP
    Zhao, Hongyan
    Zhu, Huibiao
    Fang, Yucheng
    Xiao, Lili
    201919TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2019), 2019, : 192 - 199
12345