Detail publikace
Dynamic Validation of Contracts in Concurrent Code
Letko Zdeněk, Ing., Ph.D. (UITS FIT VUT)
Lourenco Joao (UNL)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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.
@INPROCEEDINGS{FITPUB10817, author = "Jan Fiedor and Zden\v{e}k Letko and Joao Lourenco and Tom\'{a}\v{s} Vojnar", title = "Dynamic Validation of Contracts in Concurrent Code", pages = "177--178", booktitle = "Proceedings of the 15th International Conference on Computer Aided Systems Theory", year = 2015, location = "Universidad de Las Palmas de Canaria, ES", publisher = "The Universidad de Las Palmas de Gran Canaria", ISBN = "978-84-606-5438-4", language = "english", url = "https://www.fit.vut.cz/research/publication/10817" }