PASSERT: A tool for debugging parallel programs

Daniel Schwartz-Narbonne; Feng Liu; David I. August; Sharad Malik

doi:10.1007/978-3-642-31424-7_60

PASSERT: A tool for debugging parallel programs

Daniel Schwartz-Narbonne, Feng Liu, David I. August, Sharad Malik

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

1 Scopus citations

Abstract

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).

Original language	English (US)
Title of host publication	Computer Aided Verification - 24th International Conference, CAV 2012, Proceedings
Pages	751-757
Number of pages	7
DOIs	https://doi.org/10.1007/978-3-642-31424-7_60
State	Published - 2012
Event	24th International Conference on Computer Aided Verification, CAV 2012 - Berkeley, CA, United States Duration: Jul 7 2012 → Jul 13 2012

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	7358 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Other

Other	24th International Conference on Computer Aided Verification, CAV 2012
Country/Territory	United States
City	Berkeley, CA
Period	7/7/12 → 7/13/12

All Science Journal Classification (ASJC) codes

Theoretical Computer Science
Computer Science(all)

Access to Document

10.1007/978-3-642-31424-7_60

Cite this

Schwartz-Narbonne, D., Liu, F., August, D. I., & Malik, S. (2012). PASSERT: A tool for debugging parallel programs. In Computer Aided Verification - 24th International Conference, CAV 2012, Proceedings (pp. 751-757). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7358 LNCS). https://doi.org/10.1007/978-3-642-31424-7_60

@inproceedings{81b9e0eff249494a977c42f53bb5cab3,

title = "PASSERT: A tool for debugging parallel programs",

abstract = "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).",

author = "Daniel Schwartz-Narbonne and Feng Liu and August, {David I.} and Sharad Malik",

year = "2012",

doi = "10.1007/978-3-642-31424-7_60",

language = "English (US)",

isbn = "9783642314230",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

pages = "751--757",

booktitle = "Computer Aided Verification - 24th International Conference, CAV 2012, Proceedings",

note = "24th International Conference on Computer Aided Verification, CAV 2012 ; Conference date: 07-07-2012 Through 13-07-2012",

}

Schwartz-Narbonne, D, Liu, F, August, DI & Malik, S 2012, PASSERT: A tool for debugging parallel programs. in Computer Aided Verification - 24th International Conference, CAV 2012, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 7358 LNCS, pp. 751-757, 24th International Conference on Computer Aided Verification, CAV 2012, Berkeley, CA, United States, 7/7/12. https://doi.org/10.1007/978-3-642-31424-7_60

PASSERT: A tool for debugging parallel programs. / Schwartz-Narbonne, Daniel; Liu, Feng; August, David I. et al.
Computer Aided Verification - 24th International Conference, CAV 2012, Proceedings. 2012. p. 751-757 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7358 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

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 -

Schwartz-Narbonne D, Liu F, August DI , Malik S. PASSERT: A tool for debugging parallel programs. In Computer Aided Verification - 24th International Conference, CAV 2012, Proceedings. 2012. p. 751-757. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-31424-7_60

PASSERT: A tool for debugging parallel programs

Abstract

Publication series

Other

All Science Journal Classification (ASJC) codes

Access to Document

Other files and links

Fingerprint

Cite this