Reporting Races in Dynamic Partial Order Reduction

被引：0
|
作者：
Saarikivi, Olli [1 ]
Heljanko, Keijo [1 ]
机构：
[1] Aalto Univ, Sch Sci, Dept Comp Sci & Engn, Espoo, Finland
来源：
NASA FORMAL METHODS (NFM 2015) | 2015年 / 9058卷
关键词：
Race detection; Partial order reduction; C plus; !text type='Java']Java[!/text; DPOR;
D O I：
10.1007/978-3-319-17524-9_35
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
Data races are a common type of bug found in multithreaded programs. The dynamic partial order reduction algorithm (DPOR) is an efficient algorithm for exploring a reduced set of interleavings that guarantees all assertion errors and deadlocks to be found. However, while DPOR does in effect explore different outcomes of data races, it was not originally designed to report them. In this paper a method for reporting data races during DPOR is presented. This allows data races to be found even when they do not trigger assertion errors or deadlocks. Additionally, for programs written in C++11 and a large subset of Java, the presented method allows DPOR to warn the user when it can not guarantee completeness due to the program having data races that trigger weak memory model semantics for it.
引用
收藏
页码：450 / 456
页数：7
相关论文
共 50 条
  • [1] Optimal Dynamic Partial Order Reduction
    Abdulla, Parosh
    Aronis, Stavros
    Jonsson, Bengt
    Sagonas, Konstantinos
    [J]. ACM SIGPLAN NOTICES, 2014, 49 (01) : 373 - 384
  • [2] Distributed dynamic partial order reduction
    Yang Y.
    Chen X.
    Gopalakrishnan G.
    Kirby R.M.
    [J]. International Journal on Software Tools for Technology Transfer, 2010, 12 (2) : 113 - 122
  • [3] Constrained Dynamic Partial Order Reduction
    Albert, Elvira
    Gomez-Zamalloa, Miguel
    Isabel, Miguel
    Rubio, Albert
    [J]. COMPUTER AIDED VERIFICATION, CAV 2018, PT II, 2018, 10982 : 392 - 410
  • [4] Efficient stateful dynamic partial order reduction
    Yang, Yu
    Chen, Xiaofang
    Gopalakrishnan, Ganesh
    Kirby, Robert M.
    [J]. MODEL CHECKING SOFTWARE, PROCEEDINGS, 2008, 5156 : 288 - 305
  • [5] Stateful dynamic partial-order reduction
    National Laboratory for Parallel and Distributed Processing, Changsha, China
    [J]. Lect. Notes Comput. Sci., 2006, (149-167):
  • [6] Stateful dynamic partial-order reduction
    Yi, Xiaodong
    Wang, Ji
    Yang, Xuejun
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2006, 4260 : 149 - +
  • [7] Optimal Dynamic Partial Order Reduction with Observers
    Aronis, Stavros
    Jonsson, Bengt
    Lang, Magnus
    Sagonas, Konstantinos
    [J]. TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, TACAS 2018, PT II, 2018, 10806 : 229 - 248
  • [8] Context-Sensitive Dynamic Partial Order Reduction
    Albert, Elvira
    Arenas, Puri
    Garcia de la Banda, Maria
    Gomez-Zamalloa, Miguel
    Stuckey, Peter J.
    [J]. COMPUTER AIDED VERIFICATION, CAV 2017, PT I, 2017, 10426 : 526 - 543
  • [9] Truly Stateless, Optimal Dynamic Partial Order Reduction
    Kokologiannakis, Michalis
    Marmanis, Iason
    Gladstein, Vladimir
    Vafeiadis, Viktor
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2022, 6 (POPL):
  • [10] Data-Centric Dynamic Partial Order Reduction
    Chalupa, Marek
    Chatterjee, Krishnendu
    Pavlogiannis, Andreas
    Sinha, Nishant
    Vaidya, Kapil
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2018, 2
12345