Detail publikace

Dynamic Validation of Contracts in Concurrent Code

FIEDOR, J.; LETKO, Z.; VOJNAR, T.; LOURENCO, J. Dynamic Validation of Contracts in Concurrent Code. Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2015. p. 177-178. ISBN: 978-84-606-5438-4.
Název česky
Dynamická validace kontraktů v paralelním kódu
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)
Lourenco Joao (FIT)
Klíčová slova

concurrency, contracts, dynamic analysis, atomicity violation

Abstrakt

Jelikož vícevláknové procesory jsou dnes již standardní součástí nových počítačů, vícevláknové programy jsou stále běžnější. Ovšem vícevláknové programy vyžadují správnou synchronizaci jednotlivých vláken, aby poskytovaly správné výsledky. Porušení atomičnosti je typ chyby, ke které dochází při nesprávné definici rozsahu atomické sekce. Tyto chyby jsou obtížně odhalitelné, hlavně v případech použití knihoven třetích stran, kde programátor neví jak správně vytvářet atomické sekce při přístupu k dané knihovně. Jedna z možností jak řešit problém správné atomičnosti je asociovat kontrakt s danou knihovnou. Kontrakt je sekvence metod, které musí být vykonány atomicky. V tomto článku navrhujeme metodu pro dynamickou validaci kontraktů za běhu programu.

Rok
2015
Strany
177–178
Sborník
Proceedings of the 15th International Conference on Computer Aided Systems Theory
ISBN
978-84-606-5438-4
Vydavatel
The Universidad de Las Palmas de Gran Canaria
Místo
Universidad de Las Palmas de Canaria
BibTeX 
@inproceedings{BUT119823,
  author="Jan {Fiedor} and Zdeněk {Letko} and Tomáš {Vojnar} and Joao {Lourenco}",
  title="Dynamic Validation of Contracts in Concurrent Code",
  booktitle="Proceedings of the 15th International Conference on Computer Aided Systems Theory",
  year="2015",
  pages="177--178",
  publisher="The Universidad de Las Palmas de Gran Canaria",
  address="Universidad de Las Palmas de Canaria",
  isbn="978-84-606-5438-4"
}
Nahoru