TRaDe: A Topological Approach to On-the-Fly Race Detection in Java Programs

Abstract: 

Debugging multi-threaded programs is notoriously hard. Probably the worst type of bug occurring in multi-threaded programs is a data race. There is therefore a great need for tools to automatically detect data races during execution. This article presents, TRaDe, a novel approach to detect races in object-oriented languages using a topological approach. An implementation of TRaDe based on the Sun JVM 1.2.1 is compared with existing tools. TRaDe proves to be a factor 1.6 faster than any known race detection tool for Java and has memory requirements similar to the best competing tools.

BibTeX
@inproceedings {271008,
author = {Mark Christiaens and Koen De Bosschere},
title = {{TRaDe}: A Topological Approach to {On-the-Fly} Race Detection in Java Programs},
booktitle = {Java (TM) Virtual Machine Research and Technology Symposium (JVM 01)},
year = {2001},
address = {Monterey, CA},
url = {https://www.usenix.org/conference/jvm-01/trade-topological-approach-fly-race-detection-java-programs},
publisher = {USENIX Association},
month = apr
}
Download

Links

Paper: 
http://www.usenix.org/events/jvm01/full_papers/christiaens/christiaens.pdf
Paper (HTML): 
http://www.usenix.org/events/jvm01/full_papers/christiaens/christiaens_html/index.html