Detail publikace
A Uniform Classification of Common Concurrency Errors
FIEDOR Jan, KŘENA Bohuslav, LETKO Zdeněk a VOJNAR Tomáš. A Uniform Classification of Common Concurrency Errors. In: Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: Universidad de Las Palmas de Gran Canaria, 2011, s. 326-327. ISBN 978-84-693-9560-8.
Název česky
Klasifikace častých chyb v paralelních programech
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Fiedor Jan, Ing., Ph.D. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Křena Bohuslav, Ing., Ph.D. (UITS FIT VUT)
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Abstrakt
V poslední době získávají vícevláknové programy na popularitě a přináší s sebou i více chyb v synchronizaci vláken. Mnoho prací popisujících detekci těchto chyb bylo publikováno v posledních letech. Mnoho z nich definuje detekované chyby pomocí konstrukcí, které se hodí pro dané detekční techniky. Tento způsob popisu ale překvapivě často vedl k nepřesným až zavádějícím definicím těchto chyb. Tento článek si klade za cíl správně definovat jednotlivé chyby v synchronizaci současných vícevláknových programů, zejména těch napsaných v jazyce Java, a také poskytnout přehled existujících technik pro jejich detekci.
Rok
2011
Strany
326-327
Sborník
Proceedings of the 13th International Conference on Computer Aided Systems Theory
Konference
Thirteen International Conference On Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-693-9560-8
Vydavatel
Universidad de Las Palmas de Gran Canaria
Místo
Universidad de Las Palmas de Canaria, ES
BibTeX
@INPROCEEDINGS{FITPUB9821, author = "Jan Fiedor and Bohuslav K\v{r}ena and Zden\v{e}k Letko and Tom\'{a}\v{s} Vojnar", title = "A Uniform Classification of Common Concurrency Errors", pages = "326--327", booktitle = "Proceedings of the 13th International Conference on Computer Aided Systems Theory", year = 2011, location = "Universidad de Las Palmas de Canaria, ES", publisher = "The Universidad de Las Palmas de Gran Canaria", ISBN = "978-84-693-9560-8", language = "english", url = "https://www.fit.vut.cz/research/publication/9821" }