TY - GEN
T1 - PASSERT
T2 - 24th International Conference on Computer Aided Verification, CAV 2012
AU - Schwartz-Narbonne, Daniel
AU - Liu, Feng
AU - August, David I.
AU - Malik, Sharad
PY - 2012
Y1 - 2012
N2 - PASSERT is a new debugging tool for parallel programs which allows programmers to express correctness criteria using a simple, expressive assertion language. We demonstrate how these parallel assertions allow the detection and diagnosis of real world concurrency bugs, detecting 14/17 bugs in an independently selected set of bugs from open source software. We describe a runtime checker which allows automatic checking of parallel assertions in C and C++ programs, with a geometric mean of 6.6× overhead on a set of PARSEC benchmarks. We improve performance by introducing a relaxed timing semantics for parallel assertions, which better reflects real memory models, and exposes more bugs with less overhead (geometric mean overhead 3.5x).
AB - PASSERT is a new debugging tool for parallel programs which allows programmers to express correctness criteria using a simple, expressive assertion language. We demonstrate how these parallel assertions allow the detection and diagnosis of real world concurrency bugs, detecting 14/17 bugs in an independently selected set of bugs from open source software. We describe a runtime checker which allows automatic checking of parallel assertions in C and C++ programs, with a geometric mean of 6.6× overhead on a set of PARSEC benchmarks. We improve performance by introducing a relaxed timing semantics for parallel assertions, which better reflects real memory models, and exposes more bugs with less overhead (geometric mean overhead 3.5x).
UR - http://www.scopus.com/inward/record.url?scp=84864072374&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84864072374&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-31424-7_60
DO - 10.1007/978-3-642-31424-7_60
M3 - Conference contribution
AN - SCOPUS:84864072374
SN - 9783642314230
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 751
EP - 757
BT - Computer Aided Verification - 24th International Conference, CAV 2012, Proceedings
Y2 - 7 July 2012 through 13 July 2012
ER -