Detail publikace

AtomRace: Data Race and Atomicity Violation Detector and Healer

LETKO, Z.; VOJNAR, T.; KŘENA, B. AtomRace: Data Race and Atomicity Violation Detector and Healer. PADTAD '08. Proceedings of the 6th workshop on Parallel and distributed systems. Seattle: Association for Computing Machinery, 2008. p. 1-10. ISBN: 978-1-60558-052-4.
Název česky
AtomRace: nástroj pro automatickou detekci a opravu časově závislých chyb
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
URL
Klíčová slova

detection, healing, atomicity violation, data race, Java

Abstrakt

Příspěvek představuje nový algoritmus, nazvaný AtomRace, pro dynamickou detekci časově závislých chyb nad daty. Tyto chyby jsou detekovány jako speciální případy porušení správné atomicity programu vyjádřené k tomu účelu definovanými atomickými sekcemi pokrývajícími jednotlivé instrukce pro čtení/zápis sdílených proměných. Úspěšnost této techniky detekce závisí na vhodném vkládání časových mezer do plánování vykonávání sledovaného programu. Tento přístup je vlemi jednoduchý, plně automatický, neprodukující tzv. false alarmy a umožňuje nižší režii a větší škálovatelnost než většina ostatních existujících technik pro dynamickou detekci časově závislých chyb nad daty. AtomRace lze také použít pro detekci nesprávné atomicity programu, jestliže nahradíme primitivní atomické sekce využívané pro detekci časově závislých chyb nad daty za sekce, které budou obsahovat více instrukcí. Tyto sekce mohou být definovány uživatelem nebo získány pomocí statické analýzy.

Rok
2008
Strany
1–10
Sborník
PADTAD '08
Řada
Proceedings of the 6th workshop on Parallel and distributed systems
Konference
PADTAD - Parallel and Distributed Systems: Testing and Debugging, Seattle, US
ISBN
978-1-60558-052-4
Vydavatel
Association for Computing Machinery
Místo
Seattle
BibTeX 
@inproceedings{BUT30496,
  author="Zdeněk {Letko} and Tomáš {Vojnar} and Bohuslav {Křena}",
  title="AtomRace: Data Race and Atomicity Violation Detector and Healer",
  booktitle="PADTAD '08",
  year="2008",
  series="Proceedings of the 6th workshop on Parallel and distributed systems",
  pages="1--10",
  publisher="Association for Computing Machinery",
  address="Seattle",
  isbn="978-1-60558-052-4",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/lvk-padtad-08.pdf"
}
Nahoru