Fast Error Detection with Hybrid Analyses of Future Accesses

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10322813" target="_blank" >RIV/00216208:11320/16:10322813 - isvavai.cz</a>

Výsledek na webu

<a href="https://doi.org/10.1145/2851613.2851935" target="_blank" >https://doi.org/10.1145/2851613.2851935</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.1145/2851613.2851935" target="_blank" >10.1145/2851613.2851935</a>

Jazyk výsledku

angličtina

Název v původním jazyce

Fast Error Detection with Hybrid Analyses of Future Accesses

Popis výsledku v původním jazyce

Systematic state space traversal is a popular approach for detecting errors in multithreaded programs. Nevertheless, it is very expensive because any non-trivial program exhibits a huge number of possible interleavings. Some kind of guided and bounded search is often used to achieve good performance. We present two heuristics that are based on a hybrid static-dynamic analysis that can identify possible accesses to shared objects. One heuristic changes the order in which transitions are explored, and the second heuristic prunes selected transitions. Results of experiments on several Java programs, which we performed using our prototype implementation in Java Pathfinder, show that the hybrid analysis together with heuristics significantly improves the performance of error detection.

Název v anglickém jazyce

Fast Error Detection with Hybrid Analyses of Future Accesses

Popis výsledku anglicky

Systematic state space traversal is a popular approach for detecting errors in multithreaded programs. Nevertheless, it is very expensive because any non-trivial program exhibits a huge number of possible interleavings. Some kind of guided and bounded search is often used to achieve good performance. We present two heuristics that are based on a hybrid static-dynamic analysis that can identify possible accesses to shared objects. One heuristic changes the order in which transitions are explored, and the second heuristic prunes selected transitions. Results of experiments on several Java programs, which we performed using our prototype implementation in Java Pathfinder, show that the hybrid analysis together with heuristics significantly improves the performance of error detection.

Druh

D - Stať ve sborníku

CEP obor

IN - Informatika

OECD FORD obor

—

Projekt

<a href="/cs/project/GA14-11384S" target="_blank" >GA14-11384S: Automatizovaná formální analýza a verifikace programů se složitými datovými a řídicími strukturami s předem neomezenou velikostí</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2016

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 the ACM Symposium on Applied Computing

ISBN

978-1-4503-3739-7

ISSN

—

e-ISSN

—

Počet stran výsledku

4

Strana od-do

1251-1254

Název nakladatele

ACM

Místo vydání

New York, NY, USA

Místo konání akce

Pisa, Italy

Datum konání akce

4. 4. 2016

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

WRD - Celosvětová akce

Kód UT WoS článku

—