Conference paper| FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao and VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of EUROCAST'15. 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 | | Publication language: | english |
|---|
| Original title: | Dynamic Validation of Contracts in Concurrent Code |
|---|
| Title (cs): | Dynamická validace kontraktů v paralelním kódu |
|---|
| Pages: | 555-564 |
|---|
| Proceedings: | Proceedings of EUROCAST'15 |
|---|
| Conference: | European Joint Conferences on Theory and Practice of Software -- ETAPS'15 (TACAS'15) |
|---|
| Series: | LNCS 9520 |
|---|
| Place: | Heidelberg, DE |
|---|
| Year: | 2015 |
|---|
| URL: | http://dx.doi.org/10.1007/978-3-319-27340-2_69 |
|---|
| ISBN: | 978-3-319-27339-6 |
|---|
| DOI: | 10.1007/978-3-319-27340-2_69 |
|---|
| Publisher: | Springer Verlag |
|---|
| Keywords |
|---|
| concurrency, contracts, dynamic analysis, atomicity violation |
| Annotation |
|---|
| 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. |
| BibTeX: |
|---|
@INPROCEEDINGS{
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 = {LNCS 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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=11063}
} |
|
Faculty of Information Technology