Data Race Detector

by Devexperts

Child pages
  • Useful links

Versions Compared


  • This line was added.
  • This line was removed.
  • Formatting was changed.


Thread Sanitizer for Javahybrid post-mortem detector, that uses original Thread Sanitizer to analyze log file. See introduction here. 

jChord - static race detector for Java.

JVM method descriptors :
JLS chapter about threads:
happens-before relation:
java.util.concurrent.atomic documentation:
java.util.concurrent documentation:

Alternative "lockset" algorithm was originally introduced in this paper:

ObjectWeb ASM - Java bytecode manipulation framework, used in DRD.