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

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F09%3APU86227" target="_blank" >RIV/00216305:26230/09:PU86227 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

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

Popis výsledku v původním jazyce

This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its extensions. The extensions (called <i>plug-ins</i> in this paper) are implemented through the listener architecture of ConTest. Two plug-ins for runtime detectionof 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.

Název v anglickém jazyce

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

Popis výsledku anglicky

This paper presents a tool for concurrency testing (abbreviated as ConTest) and some of its extensions. The extensions (called <i>plug-ins</i> in this paper) are implemented through the listener architecture of ConTest. Two plug-ins for runtime detectionof 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.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F07%2F0322" target="_blank" >GA102/07/0322: Pokročilé formální přístupy v návrhu a automatické verifikaci počítačových systémů</a><br>

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Runtime Verification

ISBN

978-3-642-04693-3

ISSN

—

e-ISSN

—

Počet stran výsledku

14

Strana od-do

—

Název nakladatele

Springer Verlag

Místo vydání

Berlin

Místo konání akce

Grenoble

Datum konání akce

25. 6. 2009

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

—