Eraser: a dynamic data race detector for multithreaded programs

DMCA

Eraser: a dynamic data race detector for multithreaded programs (1997)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Stefan Savage , Michael Burrows , Greg Nelson , Patrick Sobalvarro , Thomas Anderson

Venue:	ACM Transaction of Computer System
Citations:	688 - 2 self

BibTeX

@ARTICLE{Savage97eraser:a,
    author = {Stefan Savage and Michael Burrows and Greg Nelson and Patrick Sobalvarro and Thomas Anderson},
    title = {Eraser: a dynamic data race detector for multithreaded programs},
    journal = {ACM Transaction of Computer System},
    year = {1997}
}

OpenURL

Abstract

Multi-threaded programming is difficult and error prone. It is easy to make a mistake in synchronization that produces a data race, yet it can be extremely hard to locate this mistake during debugging. This paper describes a new tool, called Eraser, for dynamically detecting data races in lock-based multi-threaded programs. Eraser uses binary rewriting techniques to monitor every shared memory reference and verify that consistent locking behavior is observed. We present several case studies, including undergraduate coursework and a multi-threaded Web search engine, that demonstrate the effectiveness of this approach. 1

Keyphrases

multithreaded program dynamic data race detector data race memory reference undergraduate coursework multi-threaded web search engine multi-threaded programming new tool present several case study error prone lock-based multi-threaded program

DMCA