Conference paper

FIEDOR Jan, LETKO Zdeněk, LOURENCO Joao and VOJNAR Tomáš. Dynamic Validation of Contracts in Concurrent Code. In: Proceedings of the 15th International Conference on Computer Aided Systems Theory. Universidad de Las Palmas de Canaria: The Universidad de Las Palmas de Gran Canaria, 2015, pp. 177-178. ISBN 978-84-606-5438-4.
Publication language:english
Original title:Dynamic Validation of Contracts in Concurrent Code
Title (cs):Dynamická validace kontraktů v paralelním kódu
Pages:177-178
Proceedings:Proceedings of the 15th International Conference on Computer Aided Systems Theory
Conference:Fifteenth International Conference on Computer Aided Systems Theory
Place:Universidad de Las Palmas de Canaria, ES
Year:2015
ISBN:978-84-606-5438-4
Publisher:The Universidad de Las Palmas de Gran Canaria
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 = {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 = {http://www.fit.vutbr.cz/research/view_pub.php?id=10817}
}

Your IPv4 address: 54.80.209.254
Switch to IPv6 connection

DNSSEC [dnssec]