Ing. Zdeněk Letko, Ph.D.

LETKO Zdeněk. Dynamic Detection and Healing of Low Level Data Races. In: Proceedings of the 13th Conference STUDENT EEICT 2007. Brno: Vysoké učení technické v Brně, 2007, s. 257-259. ISBN 978-80-214-3408-0.
Jazyk publikace:angličtina
Název publikace:Dynamic Detection and Healing of Low Level Data Races.
Název (cs):Dynamická detekce a léčení nízkoúrovňových časově závislých chyb v prostředí Java
Strany:257-259
Sborník:Proceedings of the 13th Conference STUDENT EEICT 2007
Konference:Student EEICT 2007
Řada knih:Volume 2
Místo vydání:Brno, CZ
Rok:2007
ISBN:978-80-214-3408-0
Vydavatel:Vysoké učení technické v Brně
Klíčová slova
data race, dynamic, software testing, formal verification, Java, healing
Anotace
Časově závislé chyby jsou častým úkazem ve vícevláknových programech. Tento článek popisuje nástroj, který je schopen detekovat a léčit nízkoúrovňové časově závislé chyby v Java programech za běhu. Nástroj využívá software pro testování vícevláknových programů ConTest od firmy IBM. Detekce využívá modifikovaný algoritmus Eraser a implementuje dvě různé techniky léčení.
BibTeX:
@INPROCEEDINGS{
   author = {Zden{\v{e}}k Letko},
   title = {Dynamic Detection and Healing of Low Level Data
	Races.},
   pages = {257--259},
   booktitle = {Proceedings of the 13th Conference STUDENT EEICT 2007},
   series = {Volume 2},
   year = {2007},
   location = {Brno, CZ},
   publisher = {Brno University of Technology},
   ISBN = {978-80-214-3408-0},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=8537}
}

Vaše IPv4 adresa: 34.229.24.100