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

Autor:	Shmuel Ur, Bohuslav Křena, Tomáš Vojnar, Yarden Nir-Buchbinder, Rachel Tzoref-Brill, Zdeněk Letko
Rok vydání:	2009
Předmět:	Atomicity Computer science Concurrency Distributed computing Operating system Plug-in computer.software_genre computer Field (computer science)
Zdroj:	Runtime Verification ISBN: 9783642046933 RV
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::543f9b5ae82a85b3bd00c8b983b6033d https://doi.org/10.1007/978-3-642-04694-0_8 Zobrazit plný text záznamu