Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
FIEDOR, J. VOJNAR, T. LETKO, Z. LOURENCO, J.
Originální název
Dynamic Validation of Contracts in Concurrent Code
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
With multi-core processors present in every newer computer, multi-threaded programs are becoming increasingly common. However, multi-threaded programs require proper synchronisation to restrict the thread interleavings and make the program produce correct results. Atomicity violations are a class of errors which result from an incorrect definition of the scope of an atomic region. Such errors are usually hard to localize and diagnose, which becomes even harder when using a (third-party) software library where it is unknown to the programmer how to form the atomic regions correctly when accessing the library. One way to address the problem of proper atomicity is to associate a contract with each program library. In general, a contract defines a sequence of method calls that must be executed atomically. In this paper, we devise a technique for dynamic validation of contracts at program run time.
Klíčová slova
concurrency, contracts, dynamic analysis, atomicity violation
Autoři
FIEDOR, J.; VOJNAR, T.; LETKO, Z.; LOURENCO, J.
Rok RIV
2015
Vydáno
17. 12. 2015
Nakladatel
Springer Verlag
Místo
Heidelberg
ISBN
978-3-319-27339-6
Kniha
Proceedings of EUROCAST'15
Edice
Lecture Notes in Computer Science
Strany od
555
Strany do
564
Strany počet
10
URL
http://dx.doi.org/10.1007/978-3-319-27340-2_69
BibTex
@inproceedings{BUT120022, author="Jan {Fiedor} and Tomáš {Vojnar} and Zdeněk {Letko} and Joao {Lourenco}", title="Dynamic Validation of Contracts in Concurrent Code", booktitle="Proceedings of EUROCAST'15", year="2015", series="Lecture Notes in Computer Science", volume="9520", pages="555--564", publisher="Springer Verlag", address="Heidelberg", doi="10.1007/978-3-319-27340-2\{_}69", isbn="978-3-319-27339-6", url="http://dx.doi.org/10.1007/978-3-319-27340-2_69" }