Run-time analysis for atomicity

Electronic Notes in Theoretical Computer Science

Volumn 89, Issue 2, 2003, Pages 191-209

  Wang, Liqiang ^a   Stoller, Scott D ^a  

^a Stony Brook University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTATIONAL COMPLEXITY; COMPUTER HARDWARE DESCRIPTION LANGUAGES; CONCURRENT ENGINEERING; ERRORS; JAVA PROGRAMMING LANGUAGE; LOGIC PROGRAMMING; OPTIMIZATION; SUPERVISORY AND EXECUTIVE PROGRAMS;

ATOMICITY; CONCURRENT PROGRAMS; JAVA PROGRAMS; RUN-TIME ANALYSIS;

PROGRAM DEBUGGING;

EID: 11344262111     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)81049-1     Document Type: Conference Paper

References (16)

1. Cyrille Artho, Klaus Havelund, and Armin Biere. High-level data races. In Proc. First International Workshop on Verification and Validation of Enterprise Information Systems (VVEIS), April 2003.
2. Bernstein Philip A., Hadzilacos Vassos, Goodman Nathan. Concurrency control and recovery in database systems. 1987;Addison Wesley
3. Chandrasekhar Boyapati, Robert Lee, and Martin Rinard. Ownership types for safe programming: Preventing data races and deadlocks. In Proc. 17th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), pages 211-230, November 2002.
4. Chandrasekar Boyapati and Martin C. Rinard. A parameterized type system for race-free Java programs. In Proc. 16th ACM Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA), volume 36 (11) of SIGPLAN Notices, pages 56-69. ACM Press, November 2001.
5. Cormac Flanagan and Stephen Freund. Type-based race detection for Java. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), pages 219-232. ACM Press, 2000.
6. Cormac Flanagan and Shaz Qadeer. A type and effect system for atomicity. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI). ACM Press, 2003.
7. Cormac Flanagan and Shaz Qadeer. Types for atomicity. In Proc. ACM SIGPLAN International Workshop on Types in Languages Design and Implementation (TLDI), pages 1-12. ACM Press, 2003.
8. Dan Grossman. Type-safe multithreading in Cyclone. In Proc. ACM SIGPLAN International Workshop on Types in Languages Design and Implementation (TLDI), pages 13-25. ACM Press, 2003.
9. Klaus Havelund. Using runtime analysis to guide model checking of java programs. In Proc. 7th Int'l. SPIN Workshop on Model Checking of Software, volume 1885 of Lecture Notes in Computer Science. Springer-Verlag, August 2000.
10. Klaus Havelund and Grigore Rosu. Monitoring Java programs with Java PathExplorer. In Proc. First Workshop on Runtime Verification (RV'01), volume 55 (2) of Electronic Notes in Theoretical Computer Science. Elsevier, 2001.
11. Klaus Havelund and Grigore Rosu. Synthesizing monitors for safety properties. In Proc. International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), volume 2280, pages 342-356, April 2002.
12. Herlihy Maurice P., Wing Jeanette M. Linearizability: a correctness condition for concurrent objects. ACM Transactions on Programming Languages and Systems. 12:(3):July 1990;463-492
13. Lipton Richard J. Reduction: A method of proving properties of parallel programs. Communications of the ACM. 18:(12):1975;717-721
14. Papadimitriou Christos H. The serializability of concurrent database updates. Journal of the ACM. 26:(4):October 1979;631-653
15. Savage Stefan, Burrows Michael, Nelson Greg, Sobalvarro Patrick, Anderson Thomas E. Eraser: A dynamic data race detector for multithreaded programs. ACM Transactions on Computer Systems. 15:(4):November 1997;391-411
16. Liqiang Wang and Scott D. Stoller. Run-time analysis for atomicity, May 2003. Available at http://www.cs.sunysb.edu/~liqiang/atomicity.html.