Eraser

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Eraser: a dynamic data race detector for multi-threaded programs

Full text

Pdf (1.51 MB)

Source

ACM Symposium on Operating Systems Principles archive
Proceedings of the sixteenth ACM symposium on Operating systems principles table of contents

Saint Malo, France

Pages: 27 - 37

Year of Publication: 1997

ISBN:0-89791-916-5

Also published in ...

Authors

Stefan Savage	Department of Computer Science and Engineering, University of Washington, Seattle
Michael Burrows	Digital Equipment Corporation, Systems Research Center
Greg Nelson	Digital Equipment Corporation, Systems Research Center
Patrick Sobalvarro	Digital Equipment Corporation, Systems Research Center
Thomas Anderson	Computer Science Division, University of California, Berkeley

Sponsors

INRIA : Institut Natl de Recherche en Info et en Automatique
SIGOPS: ACM Special Interest Group on Operating Systems

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 21, Downloads (12 Months): 155, Citation Count: 34

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/268998.266641 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Bershad et al. 95	B. N. Bershad , S. Savage , P. Pardyak , E. G. Sirer , M. E. Fiuczynski , D. Becker , C. Chambers , S. Eggers, Extensibility safety and performance in the SPIN operating system, Proceedings of the fifteenth ACM symposium on Operating systems principles, p.267-283, December 03-06, 1995, Copper Mountain, Colorado, United States
	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.
	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.
	Digital Equipment 96a	Digital Equipment. AltaVista Search. http://altavista.digital, corn/, 1996.
	Digital Equipment 96b	Digital Equipment. Vesta Homu Page. http://www, research, digital, corn/ SR~/vesta/, 1996.
	Dinning & Schonberg 90	A. Dinning , E. Schonberg, An empirical comparison of monitoring algorithms for access anomaly detection, Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming, p.1-10, March 14-16, 1990, Seattle, Washington, United States
	Dinning & Schonberg 91	Anne Dinning , Edith Schonberg, Detecting access anomalies in programs with critical sections, Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging, p.85-96, May 20-21, 1991, Santa Cruz, California, United States
	Hoare 74	C. A. R. Hoare, Monitors: an operating system structuring concept, Communications of the ACM, v.17 n.10, p.549-557, Oct. 1974 [doi>10.1145/355620.361161]
	Kleiman & Eykholt 95	Steve Kleiman , Joe Eykholt, Interrupts as threads, ACM SIGOPS Operating Systems Review, v.29 n.2, p.21-26, April 1995 [doi>10.1145/202213.202217]
	Lamport 78	Leslie Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, v.21 n.7, p.558-565, July 1978 [doi>10.1145/359545.359563]
	Lampson & Redell 80	Butler W. Lampson , David D. Redell, Experience with processes and monitors in Mesa, Communications of the ACM, v.23 n.2, p.105-117, Feb. 1980 [doi>10.1145/358818.358824]
	Lee & Thekkath 96	Edward K. Lee , Chandramohan A. Thekkath, Petal: distributed virtual disks, Proceedings of the seventh international conference on Architectural support for programming languages and operating systems, p.84-92, October 01-04, 1996, Cambridge, Massachusetts, United States
	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.
	Mellor-Crummey 91	John Mellor-Crummey, On-the-fly detection of data races for programs with nested fork-join parallelism, Proceedings of the 1991 ACM/IEEE conference on Supercomputing, p.24-33, November 18-22, 1991, Albuquerque, New Mexico, United States [doi>10.1145/125826.125861]
	Mellor-Crummey 93	John Mellor-Crummey, Compile-time support for efficient data race detection in shared-memory parallel programs, Proceedings of the 1993 ACM/ONR workshop on Parallel and distributed debugging, p.129-139, May 17-18, 1993, San Diego, California, United States
	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.
	Netzer 91	Robert Harry Benson Netzer, Pace condition detection for debugging shared-memory parallel programs, University of Wisconsin at Madison, Madison, WI, 1992
	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.
	Perkovic & Keleher 96	Dejan Perkovic , Peter J. Keleher, Online data-race detection via coherency guarantees, Proceedings of the second USENIX symposium on Operating systems design and implementation, p.47-57, October 29-November 01, 1996, Seattle, Washington, United States
	Scales et al. 96	Daniel J. Scales , Kourosh Gharachorloo , Chandramohan A. Thekkath, Shasta: a low overhead, software-only approach for supporting fine-grain shared memory, Proceedings of the seventh international conference on Architectural support for programming languages and operating systems, p.174-185, October 01-04, 1996, Cambridge, Massachusetts, United States
	Srivastava & Eustace 94	Amitabh Srivastava , Alan Eustace, ATOM: a system for building customized program analysis tools, Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation, p.196-205, June 20-24, 1994, Orlando, Florida, United States
	SunSoft 94	SunSoff. lock_3, int: User's Guide. SunSoff Manual, August 1994.

CITED BY 34

	Minwen Ji , Edward W. Felten , Kai Li, Performance measurements for multithreaded programs, ACM SIGMETRICS Performance Evaluation Review, v.26 n.1, p.161-170, June 1998
	Yasushi Shinjo , Calton Pu, Achieving Efficiency and Portability in Systems Software: A Case Study on POSIX-Compliant Multithreaded Programs, IEEE Transactions on Software Engineering, v.31 n.9, p.785-800, September 2005
	Guang-Ien Cheng , Mingdong Feng , Charles E. Leiserson , Keith H. Randall , Andrew F. Stark, Detecting data races in Cilk programs that use locks, Proceedings of the tenth annual ACM symposium on Parallel algorithms and architectures, p.298-309, June 28-July 02, 1998, Puerto Vallarta, Mexico
	Miltos Grammatikakis , Marcello Coppola , Fabrizio Sensini, Software for multiprocessor networks on chip, Networks on chip, Kluwer Academic Publishers, Hingham, MA, 2003
	Daniel Jackson , Martin Rinard, Software analysis: a roadmap, Proceedings of the Conference on The Future of Software Engineering, p.133-145, June 04-11, 2000, Limerick, Ireland
	Christoph von Praun , Thomas R. Gross, Object race detection, ACM SIGPLAN Notices, v.36 n.11, p.70-82, 11/01/2001
	Chandrasekhar Boyapati , Robert Lee , Martin Rinard, Ownership types for safe programming: preventing data races and deadlocks, ACM SIGPLAN Notices, v.37 n.11, November 2002
	Mark Christiaens , Michiel Ronsse , Koen De Bosschere, Bounding the number of segment histories during data race detection, Parallel Computing, v.28 n.9, p.1221-1238, September 2002
	Chandrasekhar Boyapati , Martin Rinard, A parameterized type system for race-free Java programs, ACM SIGPLAN Notices, v.36 n.11, p.56-69, 11/01/2001
	Radu Rugina , Martin Rinard, Pointer analysis for multithreaded programs, ACM SIGPLAN Notices, v.34 n.5, p.77-90, May 1999
	Dejan Perkovic , Peter J. Keleher, A Protocol-Centric Approach to on-the-Fly Race Detection, IEEE Transactions on Parallel and Distributed Systems, v.11 n.10, p.1058-1072, October 2000
	Mandana Vaziri , Frank Tip , Julian Dolby, Associating synchronization constraints with data in an object-oriented language, ACM SIGPLAN Notices, v.41 n.1, p.334-345, January 2006
	James Rose , Nikhil Swamy , Michael Hicks, Dynamic inference of polymorphic lock types, Science of Computer Programming, v.58 n.3, p.366-383, December 2005
	Mayur Naik , Alex Aiken , John Whaley, Effective static race detection for Java, ACM SIGPLAN Notices, v.41 n.6, June 2006
	Miltos D. Grammatikakis , Stefan Liesche, Priority Queues and Sorting Methods for Parallel Simulation, IEEE Transactions on Software Engineering, v.26 n.5, p.401-422, May 2000
	Frank Otto , Thomas Moschny, Finding synchronization defects in java programs: extended static analyses and code patterns, Proceedings of the 1st international workshop on Multicore software engineering, May 11-11, 2008, Leipzig, Germany
	Paruj Ratanaworabhan , Martin Burtscher , Darko Kirovski , Benjamin Zorn , Rahul Nagpal , Karthik Pattabiraman, Detecting and tolerating asymmetric races, Proceedings of the 14th ACM SIGPLAN symposium on Principles and practice of parallel programming, February 14-18, 2009, Raleigh, NC, USA
	Polyvios Pratikakis , Jeffrey S. Foster , Michael Hicks, LOCKSMITH: context-sensitive correlation analysis for race detection, ACM SIGPLAN Notices, v.41 n.6, June 2006
	Alexander V. Mirgorodskiy , Naoya Maruyama , Barton P. Miller, Scalable systems software---Problem diagnosis in large-scale computing environments, Proceedings of the 2006 ACM/IEEE conference on Supercomputing, November 11-17, 2006, Tampa, Florida
	Mayur Naik , Alex Aiken, Conditional must not aliasing for static race detection, ACM SIGPLAN Notices, v.42 n.1, January 2007
	Iulian Neamtiu , Michael Hicks , Jeffrey S. Foster , Polyvios Pratikakis, Contextual effects for version-consistent dynamic software updatingalland safe concurrent programming, ACM SIGPLAN Notices, v.43 n.1, January 2008
	Yannis Smaragdakis , Anthony Kay , Reimer Behrends , Michal Young, General and efficient locking without blocking, Proceedings of the 2008 ACM SIGPLAN workshop on Memory systems performance and correctness: held in conjunction with the Thirteenth International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS '08), March 02-02, 2008, Seattle, Washington
	Zdeněk Letko , Tomáš Vojnar , Bohuslav Křena, AtomRace: data race and atomicity violation detector and healer, Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging, p.1-10, July 20-21, 2008, Seattle, Washington
	Zachary Anderson , David Gay , Rob Ennals , Eric Brewer, SharC: checking data sharing strategies for multithreaded c, ACM SIGPLAN Notices, v.43 n.6, June 2008
	Chen Tian , Vijay Nagarajan , Rajiv Gupta , Sriraman Tallam, Dynamic recognition of synchronization operations for improved data race detection, Proceedings of the 2008 international symposium on Software testing and analysis, July 20-24, 2008, Seattle, WA, USA
	Jun Chen , Steve MacDonald, Towards a better collaboration of static and dynamic analyses for testing concurrent programs, Proceedings of the 6th workshop on Parallel and distributed systems: testing, analysis, and debugging, p.1-9, July 20-21, 2008, Seattle, Washington
	Thomas Witkowski , Nicolas Blanc , Daniel Kroening , Georg Weissenbacher, Model checking concurrent linux device drivers, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, November 05-09, 2007, Atlanta, Georgia, USA
	Jun Chen , Steve MacDonald, Testing concurrent programs using value schedules, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, November 05-09, 2007, Atlanta, Georgia, USA
	Shay Artzi , Adam Kiezun , David Glasser , Michael D. Ernst, Combined static and dynamic mutability analysis, Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering, November 05-09, 2007, Atlanta, Georgia, USA
	Florian T. Schneider , Vijay Menon , Tatiana Shpeisman , Ali-Reza Adl-Tabatabai, Dynamic optimization for efficient strong atomicity, ACM SIGPLAN Notices, v.43 n.10, September 2008
	Shay Artzi , Adam Kieżun , Jaime Quinonez , Michael D. Ernst, Parameter reference immutability: formal definition, inference tool, and comparison, Automated Software Engineering, v.16 n.1, p.145-192, March 2009
	Yit Phang Khoo , Jeffrey S. Foster , Michael Hicks , Vibha Sazawal, Path projection for user-centered static analysis tools, Proceedings of the 8th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, November 09-10, 2008, Atlanta, Georgia
	Parosh Aziz Abdulla , Frédéric Haziza , Mats Kindahl, Model checking race-freeness, ACM SIGARCH Computer Architecture News, v.36 n.5, December 2008
	Zachary R. Anderson , David Gay , Mayur Naik, Lightweight annotations for controlling sharing in concurrent data structures, ACM SIGPLAN Notices, v.44 n.6, June 2009