All

What are you looking for?

All
Projects
Results
Organizations

Quick search

  • Projects supported by TA ČR
  • Excellent projects
  • Projects with the highest public support
  • Current projects

Smart search

  • That is how I find a specific +word
  • That is how I leave the -word out of the results
  • “That is how I can find the whole phrase”

AtomRace: data race and atomicity violation detector and healer

The result's identifiers

  • Result code in 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>

  • Result on the web

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    AtomRace: data race and atomicity violation detector and healer

  • Original language description

    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

  • Czech name

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

  • Czech description

    Příspěvek představuje nový algoritmus, nazvaný AtomRace, pro dynamickou detekci časově závislých chyb nad daty. Tyto chyby jsou detekovány jako speciální případy porušení správné atomicity programu vyjádřené k tomu účelu definovanými atomickými sekcemi pokrývajícími jednotlivé instrukce pro čtení/zápis sdílených proměných. Úspěšnost této techniky detekce závisí na vhodném vkládání časových mezer do plánování vykonávání sledovaného programu. Tento přístup je vlemi jednoduchý, plně automatický, neprodukující tzv. false alarmy a umožňuje nižší režii a větší škálovatelnost než většina ostatních existujících technik pro dynamickou detekci časově závislých chyb nad daty. AtomRace lze také použít pro detekci nesprávné atomicity programu, jestliže nahradíme primitivní atomické sekce využívané pro detekci časově závislých chyb nad daty za sekce, které budou obsahovat více instrukcí. Tyto sekce mohou být defi

Classification

  • Type

    D - Article in proceedings

  • CEP classification

    JC - Computer hardware and software

  • OECD FORD branch

Result continuities

  • Project

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

  • Continuities

    Z - Vyzkumny zamer (s odkazem do CEZ)

Others

  • Publication year

    2008

  • Confidentiality

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

Data specific for result type

  • Article name in the collection

    PADTAD '08

  • ISBN

    978-1-60558-052-4

  • ISSN

  • e-ISSN

  • Number of pages

    10

  • Pages from-to

  • Publisher name

    Association for Computing Machinery

  • Place of publication

    Seattle

  • Event location

    London

  • Event date

    Jul 9, 2007

  • Type of event by nationality

    EUR - Evropská akce

  • UT code for WoS article