This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
18th International Parallel and Distributed Processing Symposium (IPDPS'04) - Workshop 16
Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary)
Santa Fe, New Mexico
April 26-April 30
ISBN: 0-7695-2132-0
Cormac Flanagan, University of California at Santa Cruz
Stephen N. Freund, Williams College
Ensuring the correctness of multithreaded programs is difficult, due to the potential for unexpected interactions between concurrent threads. We focus on the fundamental non-interference property of atomicity and present a dynamic analysis for detecting atomicity violations. This analysis combines ideas from both Lipton?s theory of reduction and earlier dynamic race detectors such as Eraser. Experimental results demonstrate that this dynamic atomicity analysis is effective for detecting errors due to unintended interactions between threads. In addition, the majority of methods in our benchmarks are atomic, supporting our hypothesis that atomicity is a standard methodology in multithreaded programming.
Citation:
Cormac Flanagan, Stephen N. Freund, "Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary)," ipdps, vol. 17, pp.269, 18th International Parallel and Distributed Processing Symposium (IPDPS'04) - Workshop 16, 2004
Usage of this product signifies your acceptance of the Terms of Use.