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”

Java Atomicity Violation Detector & Healer

The result's identifiers

  • Result code in IS VaVaI

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

  • Alternative codes found

    RIV/00216305:26230/08:PR27630

  • Result on the web

  • DOI - Digital Object Identifier

Alternative languages

  • Result language

    angličtina

  • Original language name

    Java Atomicity Violation Detector & Healer

  • Original language description

    The Java Race Detector & Healer is a prototype for a runtime detection and healing of atomicity violations and data races in concurrent Java programs. The tool uses static analyser FindBugs to detect common atomicity patterns in the code. Then, the IBM ConTest listeners architecture for tracking the program behaviour is used to find violations and heal them at runtime.

  • Czech name

    Nástroj pro detekci a opravu chyb v atomicitě programů

  • Czech description

    Java Race Detector & Healer je počítačový software vytvořený v programovacím jazyce Java. Využitím nástroje pro statickou analýzu FindBugs detekuje části kódu, které mají být vykonávány atomicky. Prostřednictvím nástroje IBM ConTest následně monitoruje aplikaci a detekuje porušení atomicity i časově závislé chyby. Pro některé typy chyb je schopen automaticky vložit do běhu uživatelské aplikace synchronizační prostředky, které zabrání projevu této chyby. Pro svůj běh vyžaduje prostředí Java 5 a nástroj IBM ConTest.

Classification

  • Type

    R - Software

  • 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

  • Internal product ID

    JRDH-AT

  • Technical parameters

    - Implementován v programovacím jazyce Java. - Detekuje a opravuje problémy s atomicitou operací a časově závislé chyby. - Vyžaduje prostředí Java 5 a nástroj IBM ConTest.

  • Economical parameters

  • Owner IČO

    00216305

  • Owner name

    Vysoké učení technické v Brně