Detail publikace

A Uniform Classification of Common Concurrency Errors

FIEDOR, J.; LETKO, Z.; VOJNAR, T.; KŘENA, B. A Uniform Classification of Common Concurrency Errors. Proceedings of the 13th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2011. p. 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
anglicky
Autoři
Fiedor Jan, Ing., Ph.D. (UITS)
Letko Zdeněk, Ing., Ph.D. (CK-SZZ)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Křena Bohuslav, Ing., Ph.D. (UITS)
Klíčová slova

concurrency error, multi-threaded, detection techniques

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
13. mezinárodní konference EUROCAST, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-84-693-9560-8
Vydavatel
The Universidad de Las Palmas de Gran Canaria
Místo
Universidad de Las Palmas de Canaria
BibTeX 
@inproceedings{BUT76483,
  author="Jan {Fiedor} and Zdeněk {Letko} and Tomáš {Vojnar} and Bohuslav {Křena}",
  title="A Uniform Classification of Common Concurrency Errors",
  booktitle="Proceedings of the 13th International Conference on Computer Aided Systems Theory",
  year="2011",
  pages="326--327",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Universidad de Las Palmas de Canaria",
  isbn="978-84-693-9560-8"
}
Nahoru