Healing Data Races On-The-Fly

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F07%3APU70824" target="_blank" >RIV/00216305:26230/07:PU70824 - isvavai.cz</a>

Result on the web

—

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Healing Data Races On-The-Fly

Original language description

Testing of concurrent software is extremely difficult. Despite all the progress in the testing and verification technology, concurrent bugs, the most common of which are deadlocks and races, make it to the field. This paper describes a set of techniques,implemented in a tool called ConTest, allowing concurrent programs to self-heal at run-time. <p>Concurrent bugs have the very desirable property for healing that some of the interleaving produce correct results while in others bugs manifest. Healing concurrency problems is about limiting, or changing the probability of interleaving, such that bugs will be seen less.&nbsp; When healing concurrent programs, if a deadlock does not result from limiting the interleaving, we are sure that the result of the healed program could have been in the original program and therefore no new functional bug has been introduced.</p> <p>In this initial work which deals with different types of data races, we suggest three types of healing mechanisms:&nbsp;

Czech name

Healing Data Races On-The-Fly

Czech description

<i>Autoři&nbsp;se domnívají, že překladem textu se mírně pozmění jeho původní smysl. Zejména problematický je překlad odborných termínů, které nemají v češtině zažitý ekvivalent. Například slovo &quot;concurrent&quot;&nbsp;lze přeložit přesně jako &quot;souběžný&quot; nebo jako lépe znějící ale nepřesné&nbsp;&quot;paralelní&quot;. Lze proto&nbsp;čtenáři doporučit, pokud to dovolují jeho znalosti angličtiny, aby si přečetl abstrakt v původním anglickém znění.</i> <p>Testování souběžných programů je velice náročné.&nbsp;Chyby související se souběžností se proto i přes značný pokrok v oblasti testování a ověřování poměrně často dostávají až k zákazníkovi. V tomto článku popíšeme techniky vyvinuté v rámci nástroje ConTest pro automatickou opravu&nbsp;chybza běhu souběžných programů. </p> <p>Souběžné chyby mají jednu velice užitečnou vlastnost pro automatickou opravu programů, a to, že se projevují po

Type

D - Article in proceedings

CEP classification

JC - Computer hardware and software

OECD FORD branch

—

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year

2007

Confidentiality

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

Article name in the collection

Proceedings of 5th International Workshop on Parallel and Distributed Systems: Testing and Debugging Modelling - PADTAD'07

ISBN

978-1-59593-734-6

ISSN

—

e-ISSN

—

Number of pages

11

Pages from-to

54-64

Publisher name

Association for Computing Machinery

Place of publication

London

Event location

London

Event date

Jul 9, 2007

Type of event by nationality

EUR - Evropská akce

UT code for WoS article

—