JaDaRD: Java Data-Race Detector
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21240%2F12%3A00197164" target="_blank" >RIV/68407700:21240/12:00197164 - isvavai.cz</a>
Výsledek na webu
<a href="http://dl.acm.org/citation.cfm?id=2384744" target="_blank" >http://dl.acm.org/citation.cfm?id=2384744</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1145/2384716.2384744" target="_blank" >10.1145/2384716.2384744</a>
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
JaDaRD: Java Data-Race Detector
Popis výsledku v původním jazyce
When two threads access a shared variable, at least one thread writes, and there is no ordering of the accesses, a data race occurs. We deal with the problem of data-race detection. We present a JVM agent that monitors the application and reports data races as soon as they occur. The agent was evaluated on Java2Demo for which it reported more than 2500 data races.
Název v anglickém jazyce
JaDaRD: Java Data-Race Detector
Popis výsledku anglicky
When two threads access a shared variable, at least one thread writes, and there is no ordering of the accesses, a data race occurs. We deal with the problem of data-race detection. We present a JVM agent that monitors the application and reports data races as soon as they occur. The agent was evaluated on Java2Demo for which it reported more than 2500 data races.
Klasifikace
Druh
D - Stať ve sborníku
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Ostatní
Rok uplatnění
2012
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ů
Údaje specifické pro druh výsledku
Název statě ve sborníku
SPLASH '12: Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
ISBN
978-1-4503-1563-0
ISSN
—
e-ISSN
—
Počet stran výsledku
2
Strana od-do
71-72
Název nakladatele
ACM
Místo vydání
New York
Místo konání akce
Tucson, Arizona
Datum konání akce
19. 10. 2012
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
—