Detail výsledku

Dynamic Validation of Contracts in Concurrent Code

FIEDOR, J.; VOJNAR, T.; LETKO, Z.; LOURENCO, J. Dynamic Validation of Contracts in Concurrent Code. In Proceedings of EUROCAST'15. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015. p. 555-564. ISBN: 978-3-319-27339-6.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Fiedor Jan, Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D., UITS (FIT)
Letko Zdeněk, Ing., Ph.D.
Lourenco Joao, FIT (FIT)
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

URL
Rok
2015
Strany
555–564
Sborník
Proceedings of EUROCAST'15
Řada
Lecture Notes in Computer Science
Svazek
9520
Konference
Fifteenth International Conference on Computer Aided Systems Theory
ISBN
978-3-319-27339-6
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-319-27340-2_69
UT WoS
000376687100069
EID Scopus
2-s2.0-84952361473
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"
}
Projekty
Automatická analýza a verifikace transakčních pamětí, MŠMT, COST CZ (2011-2017), LD14001, zahájení: 2014-01-01, ukončení: 2014-12-31, ukončen
Centrum excelence IT4Innovations, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, zahájení: 2011-01-01, ukončení: 2015-12-31, ukončen
Inteligentní testování a analýza paralelních programů, MŠMT, KONTAKT II (2011-2017), LH13265, zahájení: 2013-04-01, ukončení: 2015-03-31, ukončen
Spolehlivost a bezpečnost v IT, VUT, Vnitřní projekty VUT, FIT-S-14-2486, zahájení: 2014-01-01, ukončení: 2016-12-31, ukončen
Transakční paměti: teoretické základy, algoritmy, nástroje a aplikace (Euro-TM), MŠMT, COST CZ (2011-2017), IC1001, zahájení: 2011-02-10, ukončení: 2015-02-09, ukončen
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru