Stefan Savage, Michael Burrows, Greg Nelson, Patrick Sobalvarro, Thomas Anderson  Home/Search
Context Related
Links: DBLP | washington.edu/homes/savag...Tocs97.pdf washington.edu/homes/tom/p...eraser.pdf 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: washington.edu/homes/savage/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This article describes a new tool, called Eraser, for dynamically detecting data races in lock-based multithreaded 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 multithreaded Web search engine, that demonstrate the effectiveness of this approach. (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):
71.8%: Eraser: A Dynamic Data Race Detector for.. - Savage, Burrows.. (1997) (Correct)
Active bibliography (related documents): More All
0.5: The Design, Implementation, and Evaluation of Jade - Rinard, Lam (1998) (Correct)
0.2: Object Race Detection - von Praun, Gross (2001) (Correct)
0.2: Efficient Synchronization for Multithreaded Processors - Jeffrey Bradford (1998) (Correct)
Similar documents based on text: More All
0.8: Safe Concurrent Programming in Java - Boyapati, Rinard (Correct)
0.8: A Type System for Preventing Data Races - Boyapati, Rinard (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/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/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, AND - 1994
239 Monitors: An operating system structuring concept (context) - HOARE - 1974 DBLP
142 Petal: Distributed virtual disks - LEE, AND - 1996 DBLP
88 Experiences with processes and monitors in Mesa - LAMPSON, AND - 1980
58 An empirical comparison of monitoring algorithms for access .. (context) - DINNING, AND - 1990 ACM DBLP
51 Extended static checking - DETLEFS, LEINO et al. - 1997 ACM DBLP
41 Detecting access anomalies in programs with critical section.. (context) - DINNING, AND - 1991 ACM DBLP
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, AND - 1996 ACM DBLP
18 Compile-time support for efficient data race detection in sh.. (context) - MELLOR-CRUMMEY - 1993 ACM DBLP
16 Race condition detection for debugging shared-memory paralle.. - NETZER - 1991
13 Trestle reference manual (context) - MANASSE, AND - 1991
4 Interrupts as threads (context) - KLEIMAN, AND - 1995 ACM DBLP
2 Shasta: A low overhead (context) - SCALES, GHARACHORLOO et al. - 1996
1 Eraser: A Dynamic Data Race Detector for Multithread Program.. (context) - July, September et al. - 1997
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.washington.edu/homes/savage/): More
Real-Time Mach Timers: Exporting Time to the User - Savage, Tokuda (1993) (Correct)
Processor Capacity Reserves: An Abstraction for Managing.. - Mercer, Savage, Tokuda (1993) (Correct)
SPIN - An Extensible Microkernel for.. - Bershad.. (1994) (Correct)
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