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. Lecture Notes in Computer Science, roč. 2012, č. 6927, s. 519-526. ISSN 0302-9743.
Název česky
Klasifikace častých chyb v paralelních programech
Typ
článek v časopise
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)
Klíčová slova

chyby ve vícevláknových programech, detekční techniky

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
2012
Strany
519-526
Časopis
Lecture Notes in Computer Science, roč. 2012, č. 6927, ISSN 0302-9743
Vydavatel
Springer Verlag
BibTeX 
@ARTICLE{FITPUB9613,
   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 = "519--526",
   journal = "Lecture Notes in Computer Science",
   volume = 2012,
   number = 6927,
   year = 2012,
   ISSN = "0302-9743",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/9613"
}
Nahoru