A concurrency testing tool and its plug-ins for dynamic analysis and runtime healing

Bohuslav Křena; Zdeněk Letko; Yarden Nir-Buchbinder; Rachel Tzoref-Brill; Shmuel Ur; Tomáš Vojnar

doi:10.1007/978-3-642-04694-0_8

A concurrency testing tool and its plug-ins for dynamic analysis and runtime healing

Bohuslav Křena^*, Zdeněk Letko, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Shmuel Ur, Tomáš Vojnar

^*Corresponding author for this work

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

Abstract

This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its extensions. The extensions (called plug-ins in this paper) are implemented through the listener architecture of ConTest. Two plug-ins for runtime detection of common concurrent bugs are presented-the first (Eraser+) is able to detect data races while the second (AtomRace) is able to detect not only data races but also more general bugs caused by violation of atomicity presumptions. A third plug-in presented in this paper is designed to hide bugs that made it into the field so that when problems are detected they can be circumvented. Several experiments demonstrate the capabilities of these plug-ins.

Original language	English
Title of host publication	Runtime Verification - 9th International Workshop, RV 2009, Selected Papers
Pages	101-114
Number of pages	14
DOIs	https://doi.org/10.1007/978-3-642-04694-0_8
State	Published - 2009
Externally published	Yes
Event	9th International Workshop on Runtime Verification, RV 2009 - Grenoble, France Duration: 26 Jun 2009 → 28 Jun 2009

Publication series

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

Conference

Conference	9th International Workshop on Runtime Verification, RV 2009
Country/Territory	France
City	Grenoble
Period	26/06/09 → 28/06/09

Access to Document

10.1007/978-3-642-04694-0_8

Cite this

Křena, B., Letko, Z., Nir-Buchbinder, Y., Tzoref-Brill, R., Ur, S., & Vojnar, T. (2009). A concurrency testing tool and its plug-ins for dynamic analysis and runtime healing. In Runtime Verification - 9th International Workshop, RV 2009, Selected Papers (pp. 101-114). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5779 LNCS). https://doi.org/10.1007/978-3-642-04694-0_8

Křena, Bohuslav ; Letko, Zdeněk ; Nir-Buchbinder, Yarden et al. / A concurrency testing tool and its plug-ins for dynamic analysis and runtime healing. Runtime Verification - 9th International Workshop, RV 2009, Selected Papers. 2009. pp. 101-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{2d833cd5635c45b3b81578fe238922e2,

title = "A concurrency testing tool and its plug-ins for dynamic analysis and runtime healing",

abstract = "This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its extensions. The extensions (called plug-ins in this paper) are implemented through the listener architecture of ConTest. Two plug-ins for runtime detection of common concurrent bugs are presented-the first (Eraser+) is able to detect data races while the second (AtomRace) is able to detect not only data races but also more general bugs caused by violation of atomicity presumptions. A third plug-in presented in this paper is designed to hide bugs that made it into the field so that when problems are detected they can be circumvented. Several experiments demonstrate the capabilities of these plug-ins.",

author = "Bohuslav K{\v r}ena and Zden{\v e}k Letko and Yarden Nir-Buchbinder and Rachel Tzoref-Brill and Shmuel Ur and Tom{\'a}{\v s} Vojnar",

year = "2009",

doi = "10.1007/978-3-642-04694-0_8",

language = "אנגלית",

isbn = "3642046932",

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

pages = "101--114",

booktitle = "Runtime Verification - 9th International Workshop, RV 2009, Selected Papers",

note = "9th International Workshop on Runtime Verification, RV 2009 ; Conference date: 26-06-2009 Through 28-06-2009",

}

Křena, B, Letko, Z, Nir-Buchbinder, Y, Tzoref-Brill, R, Ur, S & Vojnar, T 2009, A concurrency testing tool and its plug-ins for dynamic analysis and runtime healing. in Runtime Verification - 9th International Workshop, RV 2009, Selected Papers. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 5779 LNCS, pp. 101-114, 9th International Workshop on Runtime Verification, RV 2009, Grenoble, France, 26/06/09. https://doi.org/10.1007/978-3-642-04694-0_8

A concurrency testing tool and its plug-ins for dynamic analysis and runtime healing. / Křena, Bohuslav; Letko, Zdeněk; Nir-Buchbinder, Yarden et al.
Runtime Verification - 9th International Workshop, RV 2009, Selected Papers. 2009. p. 101-114 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 5779 LNCS).

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

TY - GEN

T1 - A concurrency testing tool and its plug-ins for dynamic analysis and runtime healing

AU - Křena, Bohuslav

AU - Letko, Zdeněk

AU - Nir-Buchbinder, Yarden

AU - Tzoref-Brill, Rachel

AU - Ur, Shmuel

AU - Vojnar, Tomáš

PY - 2009

Y1 - 2009

N2 - This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its extensions. The extensions (called plug-ins in this paper) are implemented through the listener architecture of ConTest. Two plug-ins for runtime detection of common concurrent bugs are presented-the first (Eraser+) is able to detect data races while the second (AtomRace) is able to detect not only data races but also more general bugs caused by violation of atomicity presumptions. A third plug-in presented in this paper is designed to hide bugs that made it into the field so that when problems are detected they can be circumvented. Several experiments demonstrate the capabilities of these plug-ins.

AB - This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its extensions. The extensions (called plug-ins in this paper) are implemented through the listener architecture of ConTest. Two plug-ins for runtime detection of common concurrent bugs are presented-the first (Eraser+) is able to detect data races while the second (AtomRace) is able to detect not only data races but also more general bugs caused by violation of atomicity presumptions. A third plug-in presented in this paper is designed to hide bugs that made it into the field so that when problems are detected they can be circumvented. Several experiments demonstrate the capabilities of these plug-ins.

UR - http://www.scopus.com/inward/record.url?scp=70549113355&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-04694-0_8

DO - 10.1007/978-3-642-04694-0_8

M3 - ???researchoutput.researchoutputtypes.contributiontobookanthology.conference???

AN - SCOPUS:70549113355

SN - 3642046932

SN - 9783642046933

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 101

EP - 114

BT - Runtime Verification - 9th International Workshop, RV 2009, Selected Papers

T2 - 9th International Workshop on Runtime Verification, RV 2009

Y2 - 26 June 2009 through 28 June 2009

ER -

Křena B, Letko Z, Nir-Buchbinder Y, Tzoref-Brill R, Ur S, Vojnar T. A concurrency testing tool and its plug-ins for dynamic analysis and runtime healing. In Runtime Verification - 9th International Workshop, RV 2009, Selected Papers. 2009. p. 101-114. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-642-04694-0_8

A concurrency testing tool and its plug-ins for dynamic analysis and runtime healing

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this