Race Detection Project

SuperTech Home | About SuperTech | Group Members | Projects | Papers | Downloads | Opportunities For Students | Contact Us | News | Private

.: This is the Home Page for Race Detection :.

About This Project

Multithreaded programs, though intended to be deterministic, may exhibit nondeterministic behavior due to bugs called determinacy races. These bugs are typically difficult to detect through normal debugging techniques, such as breakpoints or print statements, as these bugs are dependent on a specific scheduling and timing.

We have a race detection tool for the Cilk programming language called the Nondeterminator. This tool augments the source code to maintain series-parallel relationships between threads and keep access histories to memory locations. We currently have serial implementations of the Nondeterminator. We are working on both more efficient serial implementations and a multiprocessor implementation. Many of the techniques we use for the Nondeterminator can be applied to other multithreaded programming languages.

People to Contact

Jeremy T. Fineman (Ph.D. Student)

Papers

Nondeterminator-3: A Provably Good Data-Race Detector That Runs in Parallel
by Tushara C. Karunaratna
Master's Thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology
September, 2005
To download the paper: ps format pdf format
BibTeX

Provably Good Race Detection That Runs in Parallel
by Jeremy T. Fineman
Master's Thesis, Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science
August, 2005
To download the paper: ps format pdf format
BibTeX

On-the-Fly Maintenance of Series-Parallel Relationships in Fork-Join Multithreaded Programs
by Michael A. Bender, Jeremy T. Fineman, Seth Gilbert, and Charles E. Leiserson
Proceedings of the Sixteenth ACM Symposium on Parallelism in Algorithms and Architectures (SPAA)
Barcelona, Spain
Pages: 133–144
June 27–30, 2004
To download the paper: ps format pdf format
BibTeX

Data-Race Detection in Transactions-Everywhere Parallel Programming
by Kai Huang
Master's Thesis, Department of Electrical Engineering and Computer Science, Massachusetts Institute of Technology
June, 2003
To download the paper: ps format pdf format
BibTeX

Algorithms for Data-Race Detection in Multithreaded Programs
by Guang-Ien Cheng
Master's Thesis, Massachusetts Institute of Technology Department of Electrical Engineering and Computer Science
June, 1998
To download the paper: ps format pdf format
BibTeX

Detecting Data Races in Cilk Programs that Use Locks
by Guang-Ien Cheng, Mingdong Feng, Charles E. Leiserson, Keith H. Randall, and Andrew F. Stark
Proceedings of the Tenth Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA '98)
Puerto Vallarta, Mexico
Pages: 298–309
June 28–July 2, 1998
To download the paper: ps format pdf format
BibTeX

Efficient Detection of Determinacy Races in Cilk Programs
by Mingdong Feng and Charles E. Leiserson
Proceedings of the Ninth Annual ACM Symposium on Parallel Algorithms and Architectures (SPAA)
Newport, Rhode Island
Pages: 1–11
June 22–25, 1997
To download the paper: ps format pdf format
BibTeX