Dynamic Validation of Contracts in Concurrent Code

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F15%3APU117128" target="_blank" >RIV/00216305:26230/15:PU117128 - isvavai.cz</a>

Výsledek na webu

<a href="http://dx.doi.org/10.1007/978-3-319-27340-2_69" target="_blank" >http://dx.doi.org/10.1007/978-3-319-27340-2_69</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1007/978-3-319-27340-2_69" target="_blank" >10.1007/978-3-319-27340-2_69</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Dynamic Validation of Contracts in Concurrent Code

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Dynamic Validation of Contracts in Concurrent Code

Popis výsledku anglicky

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.

Druh

D - Stať ve sborníku

CEP obor

—

OECD FORD obor

20206 - Computer hardware and architecture

Projekt

Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Rok uplatnění

2015

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Název statě ve sborníku

Proceedings of EUROCAST'15

ISBN

978-3-319-27339-6

ISSN

—

e-ISSN

—

Počet stran výsledku

10

Strana od-do

555-564

Název nakladatele

Springer Verlag

Místo vydání

Heidelberg

Místo konání akce

Las Palmas de Gran Canaria

Datum konání akce

8. 2. 2015

Typ akce podle státní příslušnosti

WRD - Celosvětová akce

Kód UT WoS článku

000376687100069