Stefan Savage
Michael Burrows
- Bershad et al 95.Bershad, B. N., Savage, S., Pardyak, E, Sirer, E. G., Fiuczynski, M., Becket, D., Eggers, $., and Chambers, C. Extensibility, Safety and Performance in the SPIN Operating System. In Proceedings of the Fifteenth ACM Symposium on Operating Systems Principles, pages 267-284, Copper Mountain, CO, December 1995. Google Scholar
Digital Library
- Choi & Lewis 97.Choi, S.-E. and Lewis, E.C. University of Washington CSE 552 Project. Personal Communication, March 1997. http://www, cs. washington, edu/homes/ sungeun/not es / c s e662/index, html.Google Scholar
- Detlefs et al 97.Detlefs, D. L., Leino, R. M., Nelson, t3., and Saxe, J. B. Extended Static Checking. Technical Report 149, Digital Equipment Corporation, Systems Research Center, to appear 1997.Google Scholar
- Digital Equipment 96a.Digital Equipment. AltaVista Search. http://altavista.digital, corn/, 1996.Google Scholar
- Digital Equipment 96b.Digital Equipment. Vesta Homu Page. http://www, research, digital, corn/ SR~/vesta/, 1996.Google Scholar
- Dinning & Schonberg 90.Dinning, A. and Sehonberg, E. An Empirical Comparison of Monitoring Algorithms for Access Anomaly Detection. In Proceedings of the Second A CM $iGPLAN Symposium on Principles and Practice of Parallel Programming, pages 1-10, Seattle, WA, March 1990. Google ScholarDigital Library
- Dinning & Schonberg 91.Dinning, A. and Schonberg, E, Detected Access Anomalies in Programs with Critical Sex:tons. Proceedings of the ACM/ONR Workshop on Parallel and Distributed Debugging, published in ACM $IGPLAN Notlces, 26(12):85-96, December 1991. Google ScholarDigital Library
- Hoare 74.Hoare, C. Monitors: An Operating System Structuring Concept. Communications of the ACM, 17(10), October 1974. Google ScholarDigital Library
- Kleiman & Eykholt 95.Kleiman, S. and Eykholt, J. Intermpts as Threads. ACM Operating Systems Review, 29(2):21-26, April 1995. Google ScholarDigital Library
- Lamport 78.Lamport, L. Time, clock, and the ordering of events in a distributed system. Communications ofthe ACM, 21(7), July 1978. Google ScholarDigital Library
- Lampson & Redell 80.Lampson, B. and Redell, D. Experiences with Processes and Monitors in Mesa. Communications of the ACM, 23(2):104-117, February 1980. Google ScholarDigital Library
- Lee & Thekkath 96.Lee, E. K. and Thekkath, C. A. Petal: Distributed virtual disks. In Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLO$-VII), 1996. Google ScholarDigital Library
- Manasse & Nelson 91.Manasse, M. S. and Nelson, G. Trestle Reference Manual. Technical Report Research Report 68, Digital Equipment Corporation's Systems Research Center, Palo Alto, California, December I99i.Google Scholar
- Mellor-Crummey 91.Mellor-Crummey, J. On-the-fly Detection of Data Races for Programs with Nested Fork-Join Parallelism. In Proceedings of the 199J Supercomputer Debugging Workshop, pages 1-16, November 1991. Google ScholarDigital Library
- Mellor-Crummey 93.Mellor-Crummey, J. 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, pages 129-139, May 1993. Google ScholarDigital Library
- Nelson et al 96.Nelson, O., Leino, K. R. M., Saxe, J., and Stata, R. Extended Static Checking Home Page. http://www, research, digital, corn/ SRC/esc/Esc.html, 1996.Google Scholar
- Netzer 91.Netzer, R. H.B. Race Condition Detection for Debugging Shared-Memory Parallel Programs. Phi) dissertation, University of Wisconsin-Madison, 199t. Google ScholarDigital Library
- Ousterhout 96.Ousterhout, J.K. Why Threads Are A Bad Idea (for most purposes). Invited talk at the 1996 USENIX Conference, January 1996. ht;t;p://www, smli. com/people/j otto. oust erhout/threads, ps.Google Scholar
- Perkovic & Keleher 96.Perkovic, D. and Keleher, P. Online Data-Race Detection via Coherency Guarantees. In Proceedings of the Second USEN1X Symposium on Operating Systems Design and Implementation (OSDI), pages 47-58, Seattle, WA, October 1996. Google ScholarDigital Library
- Scales et al 96.Scales, D. J., Gharachofioo, K., and Thekkath, C.A. Shasta: A Low Overhead, Software-Only Approach for Supporting Fine- Grain Shared Memory. In Proceedings of the Seventh International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLO$-VII), 1996. Google ScholarDigital Library
- Srivastava & Eustace 94.Srivastava, A. and Eustace, A. ATOM: A System for Building Customized Program Analysis Tools. In Proceedings ofthe 1994 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 196--205, 1994. Google ScholarDigital Library
- SunSoft 94.SunSoff. lock_3, int: User's Guide. SunSoff Manual, August 1994.Google Scholar
Index Terms
- Eraser: a dynamic data race detector for multi-threaded programs
Recommendations
Eraser: a dynamic data race detector for multithreaded programs
Multithreaded 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 article describes a new tool, called Eraser, ...
Comments