Eraser: A Dynamic Data Race Detector for Multithreaded Programs

ACM Transactions on Computer Systems

Volumn 15, Issue 4, 1997, Pages 391-411

  Savage, Stefan ^b   Burrows, Michael ^c   Nelson, Greg ^c   Sobalvarro, Patrick ^c   Anderson, Thomas ^a,b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b University of Washington   (United States)

^c HEWLETT PACKARD COMPANY   (United States)

Author keywords

D.1.3 Programming Techniques : Concurrent Programming parallel programming; D.2.5 Software Engineering : Testing and Debugging debugging aids; D.4.1 Operating Systems : Process Management concurrency; Deadlock; Monitors; Tracing

Indexed keywords

COMPUTER OPERATING SYSTEMS; COMPUTER PROGRAMMING; SOFTWARE ENGINEERING; SYNCHRONIZATION;

DATA RACE DETECTOR; MULTITHREADED PROGRAMS;

PROGRAM DEBUGGING;

EID: 0031272525     PISSN: 07342071     EISSN: None     Source Type: Journal    
DOI: 10.1145/265924.265927     Document Type: Article

References (17)

1. BERSHAD, B. N., SAVAGE, S., PARDYAK, P., SIRER, E. G., FIUCZYNSKI, M., BECKER, D., EGGERS, S., AND CHAMBERS, C. 1995. Extensibility, safety and performance in the SPIN operating system. In Proceedings of the 15th ACM Symposium on Operating Systems Principles (Copper Mountain, Colo., Dec.). ACM, New York, 267-284.
2. DETLEFS, D. L., LEINO, R. M., NELSON, G., AND SAXE, J. B. 1997. Extended static checking. Tech. Rep. Res. Rep. 149, Systems Research Center, Digital Equipment Corp., Palo Alto, Calif.
3. DINNING, A. AND SCHONBERG, E. 1990. An empirical comparison of monitoring algorithms for access anomaly detection. In Proceedings of the 2nd ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Seattle, Wash., Mar.). ACM, New York, 1-10.
4. DINNING, A. AND SCHONBERG, E. 1991. Detecting access anomalies in programs with critical sections. In Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging. ACM SIGPLAN Not. 26, 12 (Dec.), 85-96.
5. HOARE, C. 1974. Monitors: An operating system structuring concept. Commun. ACM 17, 10 (Oct.), 549-557.
6. KLEIMAN, S. AND EYKHOLT, J. 1995. Interrupts as threads. ACM Oper. Syst. Rev. 29, 2 (Apr.), 21-26.
7. LAMPORT, L. 1978. Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21, 7 (July), 558-565.
8. LAMPSON, B. AND REDELL, D. 1980. Experiences with processes and monitors in Mesa. Commun. ACM 23, 2 (Feb.), 104-117.
9. LEE, E. K. AND THEKKATH, C. A. 1996. Petal: Distributed virtual disks. In Proceedings of the 7th International Conference on Architectural Support for Programming Languages and Operating Systems (Cambridge, Mass, Oct.). ACM, New York, 84-93.
10. MANASSE, M. S. AND NELSON, G. 1991. Trestle reference manual. Res. Rep. 68, Systems Research Center, Digital Equipment Corp., Palo Alto, Calif.
11. MELLOR-CRUMMEY, J. 1991. On-the-fly detection of data races for programs with nested fork-join parallelism. In Proceedings of the 1991 Supercomputer Debugging Workshop (Albuquerque, N. Mex., Nov.). 1-16.
12. MELLOR-CRUMMEY, J. 1993. Compile-time support for efficient data race detection in shared-memory parallel programs. In Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging (San Diego, Calif., May). ACM, New York, 129-139.
13. NETZER, R. H. B. 1991. Race condition detection for debugging shared-memory parallel programs. Ph.D. thesis, Univ. of Wisconsin-Madison, Madison, Wisc.
14. PERKOVIC, D. AND KELEHER, P. 1996. Online data-race detection via coherency guarantees. In Proceedings of the 2nd USENIX Symposium on Operating Systems Design and Implementation (Seattle, Wash., Oct.). USENIX Assoc., Berkeley, Calif., 47-58.
15. SCALES, D. J., GHARACHORLOO, K., AND THEKKATH, C. A. 1996. Shasta: A low overhead, software-only approach for supporting fine-grain shared memory. In Proceedings of the 7th International Conference on Architectural Support for Programming Languages and Operating Systems (Cambridge, Mass., Oct.). ACM, New York, 174-185.
16. SRIVASTAVA, A. AND EUSTACE, A. 1994. ATOM: A system for building customized program analysis tools. In Proceedings of the 1994 ACM SIGPLAN Conference on Programming Language Design and Implementation (Orlando, Fla., June). ACM, New York, 196-205.
17. SUNSOFT. 1994. lock_lint user's guide. SunSoft Manual, Sun Microsystems, Inc., Palo Alto, Calif.