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 条

[31] Ten years of partial order reduction
Peled, D
[J]. COMPUTER AIDED VERIFICATION, 1998, 1427 : 17 - 28
[32] Partial Order Reduction for Timed Actors
Bagheri, Maryam
Sirjani, Marjan
Khamespanah, Ehsan
Hojjat, Hossein
Movaghar, Ali
[J]. SOFTWARE VERIFICATION, 2022, 13124 : 43 - 60
[33] Exploring the Scope for Partial Order Reduction
Geldenhuys, Jaco
Hansen, Henri
Valmari, Antti
[J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2009, 5799 : 39 - +
[34] A Geometric View of Partial Order Reduction
Goubault, Eric
Heindel, Tobias
Mimram, Samuel
[J]. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2013, 298 : 179 - 195
[35] Partial order reduction for probabilistic systems
Baier, C
Grösser, M
Ciesinski, F
[J]. QEST 2004: FIRST INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, PROCEEDINGS, 2004, : 230 - 239
[36] Bounded Partial-Order Reduction
Coons, Katherine E.
Musuvathi, Madanlal
McKinley, Kathryn S.
[J]. ACM SIGPLAN NOTICES, 2013, 48 (10) : 833 - 848
[37] A distributed partial order reduction algorithm
Palmer, R
Gopalakrishnan, G
[J]. FORMAL TECHNIQUE FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2002, PROCEEDINGS, 2002, 2529 : 370 - 370
[38] Cartesian partial-order reduction
Gueta, Guy
Flanagan, Cormac
Yahav, Eran
Sagiv, Mooly
[J]. MODEL CHECKING SOFTWARE, PROCEEDINGS, 2007, 4595 : 95 - +
[39] Practical Partial Order Reduction for CSP
Gibson-Robinson, Thomas
Hansen, Henri
Roscoe, A. W.
Wang, Xu
[J]. NASA FORMAL METHODS (NFM 2015), 2015, 9058 : 188 - 203
[40] Generalizing partial order and dynamic backtracking
Bliek, C
[J]. FIFTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-98) AND TENTH CONFERENCE ON INNOVATIVE APPLICATIONS OF ARTIFICAL INTELLIGENCE (IAAI-98) - PROCEEDINGS, 1998, : 319 - 325

← 1 2 3 4 5 →