Online Data-Race Detection via Coherency Guarantees

In The Second Symposium on Operating Systems Design and Implementation (OSDI), October 1996.

Dejan Perkovic and Pete Keleher


Abstract:
We present the design and performance evaluation of an on-the-fly data-race-detection technique that handles generic shared memory programs. We make no assumptions or restrictions on the language or type of synchronization used by the programs. We require no explicit association between synchronization and shared memory. Hence, shared accesses have to be tracked and compared at the minimum granularity of data accesses, which is typically a single word.

The novel aspect of this system is that we are able to leverage information used to support the underlying memory abstraction to perform on-the-fly data-race detection, \emph{without} compiler support. Our system consists of a minimally modified version of the CVM distributed shared memory system, and instrumentation code inserted by the ATOM code re-writer.

We present an experimental evaluation of our techniques by using our system to look for data races in four unaltered programs. Our system correctly found read-write data races in a program that allows unsynchronized read access to a global tour bound, and a write-write race in a program from a standard benchmark suite.

@inProceedings{perkovic-osdi96,
	title = "Online Data-Race Detection via Coherency Guarantees",
	author = "Dejan Perkovic and Pete Keleher",
	booktitle = {The Second Symposium on Operating Systems Design and Implementation (OSDI)},
	month = {October},
	year = {1996},
}

Available: bibtex, abstract,
Edit