Detail publikace

A Uniform Classification of Common Concurrency Errors

FIEDOR, J.; KŘENA, B.; LETKO, Z.; VOJNAR, T. A Uniform Classification of Common Concurrency Errors. Lecture Notes in Computer Science, 2012, vol. 2012, no. 6927, p. 519-526. ISSN: 0302-9743.
Název česky
Klasifikace častých chyb v paralelních programech
Typ
článek v časopise
Jazyk
anglicky
Autoři
Fiedor Jan, Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
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
BibTeX 
@article{BUT91440,
  author="Jan {Fiedor} and Bohuslav {Křena} and Zdeněk {Letko} and Tomáš {Vojnar}",
  title="A Uniform Classification of Common Concurrency Errors",
  journal="Lecture Notes in Computer Science",
  year="2012",
  volume="2012",
  number="6927",
  pages="519--526",
  issn="0302-9743"
}
Nahoru