JaDaRD: java data-race detector

  • Authors:
  • Filip Voráček;Zdeněk Troníček

  • Affiliations:
  • Czech Technical University in Prague, Prague, Czech Rep;Czech Technical University in Prague, Prague, Czech Rep

  • Venue:
  • Proceedings of the 3rd annual conference on Systems, programming, and applications: software for humanity
  • Year:
  • 2012

Quantified Score

Hi-index 0.00

Visualization

Abstract

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.