Publication detail

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

KŘENA, B. LETKO, Z. VOJNAR, T. NIR-BUCHBINDER, Y. TZOREF-BRILL, R. UR, S.

Original Title

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

English Title

A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing

Type

conference paper

Language

en

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

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

Keywords

concurrent software, dynamic analysis, healing, Java

RIV year

2009

Released

29.09.2009

Publisher

Springer Verlag

Location

Berlin

ISBN

978-3-642-04693-3

Book

Runtime Verification

Edition

Lecture Notes in Computer Science, Volume 5779/2009

Edition number

NEUVEDEN

Pages from

101

Pages to

114

Pages count

14

URL

https://www.fit.vut.cz/research/publication/9114/

Documents

BibTex 


@inproceedings{BUT30854,
  author="Bohuslav {Křena} and Zdeněk {Letko} and Tomáš {Vojnar} and Yarden {Nir-Buchbinder} and Rachel {Tzoref} and Shmuel {Ur}",
  title="A Concurrency Testing Tool and Its Plug-Ins for Dynamic Analysis and Runtime Healing",
  annote="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.",
  address="Springer Verlag",
  booktitle="Runtime Verification",
  chapter="30854",
  edition="Lecture Notes in Computer Science, Volume 5779/2009",
  howpublished="print",
  institution="Springer Verlag",
  year="2009",
  month="september",
  pages="101--114",
  publisher="Springer Verlag",
  type="conference paper"
}