Santa Fe, New Mexico
Apr. 26, 2004 to Apr. 30, 2004
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.
Cormac Flanagan, Stephen N. Freund, "Atomizer: A Dynamic Atomicity Checker for Multithreaded Programs (Summary)", IPDPS, 2004, Parallel and Distributed Processing Symposium, International, Parallel and Distributed Processing Symposium, International 2004, pp. 269, doi:10.1109/IPDPS.2004.1303345