Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson  Home/Search
Context Related
| washington.edu/homes/savage...sosp97.ps mit.edu/~jchapin/6853/Paper...eraser.ps ucsd.edu/~savage/papers/Sosp97.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: odu.edu/~mukka/tcos/e...selpapers (more) From: justresearch.com/Programm...index (Enter author homepages) |
Rate this article:      (best)Comment on this article |
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,... (Update)
Cited by: More
Safe Futures for Java - Welc, Jagannathan, Hosking (Correct)
Improving the I/O Performance and Correctness of Network File.. - Wang (1999) (Correct)
KISS: Keep It Simple and Sequential - Shaz Qadeer Microsoft (Correct)
Similar documents (at the sentence level):
78.4%: Eraser: A Dynamic Data Race Detector for.. - Savage, Burrows.. (1997) (Correct)
Active bibliography (related documents): More All
0.5: A Study of Common Pitfalls in Simple Multi-Threaded Programs - Choi, Lewis (2000) (Correct)
0.5: Java Model Checking - Park, Stern, Skakkebk, Dill (2000) (Correct)
0.3: Information Brokerage via Internet, Problems and Solutions.. - Zeimetz, Wilhelm (1997) (Correct)
Similar documents based on text: More All
0.7: Safe Concurrent Programming in Java - Boyapati, Rinard (Correct)
0.6: On-the-fly Detection of Data Races for Programs with Nested.. - Mellor-Crummey (Correct)
0.3: Using Runtime Analysis to Guide Model Checking of Java Programs - Havelund (2000) (Correct)
Related documents from co-citation: More All
38: Bandera: Extracting finite-state models from Java source code - Corbett, Dwyer et al. - 2000
28: Model checking for programming languages using VeriSoft - Godefroid - 1997
22: Compaq Systems Research Center (context) - Detlefs, Rustan et al. - 1998
BibTeX entry: (Update)
Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, and Thomas Anderson. Eraser: A dynamic data race detector for multi-threaded programs. In Proceedings of the 16th ACM Symposium on Operating Systems Principles, October 1997. http://citeseer.ist.psu.edu/article/savage97eraser.html More
@article{ savage97eraser,
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 Transactions on Computer Systems",
volume = "15",
number = "4",
pages = "391--411",
year = "1997",
url = "citeseer.ist.psu.edu/article/savage97eraser.html" }
Citations (may not include all citations):917 and the ordering of events in a distributed system (context) - Lamport - 1978
400 Safety and Performance in the SPIN Operating System (context) - Bershad, Savage et al. - 1995
386 ATOM: A System for Building Customized Program Analysis Tool.. (context) - Srivastava, Eustace - 1994
239 Monitors: An Operating System Structuring Concept (context) - Hoare - 1974
142 Petal: Distributed virtual disks - Lee, Thekkath - 1996
103 Software-Only Approach for Supporting FineGrain Shared Memor.. (context) - Scales, Gharachorloo et al. - 1996
88 Experiences with Processes and Monitors in Mesa - Lampson, Redell - 1980
58 An Empirical Comparison of Monitoring Algorithms for Access .. (context) - Dinning, Schonberg - 1990
31 fly Detection of Data Races for Programs with Nested Fork-Jo.. (context) - Mellor-Crummey - 1991
22 Online Data-Race Detection via Coherency Guarantees - Perkovic, Keleher - 1996
18 Compile-time Support for Efficient Data Race Detection in Sh.. (context) - Mellor-Crummey - 1993
16 Race Condition Detection for Debugging Shared-Memory Paralle.. - Netzer - 1991
7 Extended Static Checking Home Page (context) - Nelson, Leino et al. - 1996
3 AltaVista Search (context) - Equipment - 1996
2 Detected Access Anomalies in Programs with Critical Sectons (context) - Dinning, Schonberg - 1991
2 USENIX Conference (context) - Ousterhout, Threads - 1996
1 Digital Equipment Corporation 's Systems Research Center (context) - Manasse, Nelson - 1991
1 Vesta Home Page (context) - Equipment - 1996
1 ACM Operating Systems Review (context) - Kleiman, Eykholt - 1995
1 Digital Equipment Corporation (context) - Detlefs, Leino et al. - 1997
1 University of Washington CSE 552 Project (context) - Choi, Lewis - 1997
The graph only includes citing articles where the year of publication is known.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC