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
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