Publication Details

Dynamic Validation of Contracts in Concurrent Code

FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao and VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of EUROCAST'15. Lecture Notes in Computer Science, vol. 9520. Heidelberg: Springer Verlag, 2015, pp. 555-564. ISBN 978-3-319-27339-6. Available from: http://dx.doi.org/10.1007/978-3-319-27340-2_69
Czech title
Dynamická validace kontraktů v paralelním kódu
Type
conference paper
Language
english
Authors
Fiedor Jan, Ing., Ph.D. (DITS FIT BUT)
Letko Zdeněk, Ing., Ph.D. (DITS FIT BUT)
Lourenco Joao (UNL)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
URL
Keywords

concurrency, contracts, dynamic analysis, atomicity violation

Abstract

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.

Published
2015
Pages
555-564
Proceedings
Proceedings of EUROCAST'15
Series
Lecture Notes in Computer Science
Volume
9520
Conference
Fifteenth International Conference on Computer Aided Systems Theory , Las Palmas de Gran Canaria, ES
ISBN
978-3-319-27339-6
Publisher
Springer Verlag
Place
Heidelberg, DE
DOI
10.1007/978-3-319-27340-2_69
UT WoS
000376687100069
EID Scopus
2-s2.0-84952361473
BibTeX 
@INPROCEEDINGS{FITPUB11063,
   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 = "555--564",
   booktitle = "Proceedings of EUROCAST'15",
   series = "Lecture Notes in Computer Science",
   volume = 9520,
   year = 2015,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-319-27339-6",
   doi = "10.1007/978-3-319-27340-2\_69",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11063"
}
Back to top