AtomRace: nástroj pro automatickou detekci a opravu časově závislých chyb

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F08%3APU76762" target="_blank" >RIV/00216305:26230/08:PU76762 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

AtomRace: data race and atomicity violation detector and healer

Popis výsledku v původním jazyce

The paper proposes a novel algorithm called <i>AtomRace</i> for a <br>dynamic detection of data races. Data races are detected as a special case of atomicity violations on atomic sections specially defined to span just particular read/write instructionsand the transfer of control to and from them. A key ingredient allowing AtomRace to efficiently detect races on such short atomic sections is a use of techniques for a careful injection of noise into the scheduling of the monitored programs. The approachis very simple, fully automated, avoids false alarms, and allows for a lower overhead and better scalability than many other existing dynamic data race detection algorithms. We illustrate these facts by a set of experiments with a prototype implementation of AtomRace. Further, AtomRace can also be&nbsp; applied to detect atomicity violations on more general atomic sections than those used for the data race detection. They can be defined by the user or <br>obtained by some static analysi

Název v anglickém jazyce

AtomRace: data race and atomicity violation detector and healer

Popis výsledku anglicky

The paper proposes a novel algorithm called <i>AtomRace</i> for a <br>dynamic detection of data races. Data races are detected as a special case of atomicity violations on atomic sections specially defined to span just particular read/write instructionsand the transfer of control to and from them. A key ingredient allowing AtomRace to efficiently detect races on such short atomic sections is a use of techniques for a careful injection of noise into the scheduling of the monitored programs. The approachis very simple, fully automated, avoids false alarms, and allows for a lower overhead and better scalability than many other existing dynamic data race detection algorithms. We illustrate these facts by a set of experiments with a prototype implementation of AtomRace. Further, AtomRace can also be&nbsp; applied to detect atomicity violations on more general atomic sections than those used for the data race detection. They can be defined by the user or <br>obtained by some static analysi

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

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

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2008

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

PADTAD '08

ISBN

978-1-60558-052-4

ISSN

—

e-ISSN

—

Počet stran výsledku

10

Strana od-do

—

Název nakladatele

Association for Computing Machinery

Místo vydání

Seattle

Místo konání akce

London

Datum konání akce

9. 7. 2007

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

EUR - Evropská akce

Kód UT WoS článku

—