Associating synchronization constraints with data in an object-oriented language

ACM SIGPLAN Notices

Volumn 41, Issue 1, 2006, Pages 334-345

  Vaziri, Mandana ^a   Tip, Frank ^a   Dolby, Julian ^a  

^a IBM T J WATSON RESEARCH CENTER   (United States)

Author keywords

Concurrent Object Oriented Programming; Data Races; Programming Model; Serializability

Indexed keywords

CONSTRAINT THEORY; JAVA PROGRAMMING LANGUAGE; PROBLEM SOLVING; SYNCHRONIZATION;

CONCURRENT OBJECT-ORIENTED PROGRAMMING; DATA RACES; PROGRAMMING MODEL; SERIALIZABILITY;

OBJECT ORIENTED PROGRAMMING;

EID: 33745224776     PISSN: 03621340     EISSN: 03621340     Source Type: Journal    
DOI: 10.1145/1111320.1111067     Document Type: Article

References (38)

1. Gui Agha. An overview of actor languages. In Proceedings of the 1986 SIGPLAN workshop on Object-oriented programming, pages 58-67, New York, NY, USA, 1986.
2. C. S. Ananian and M. Rinard. Language-level transactions. In High-Performance Embedded Computing (HPEC), 2004.
3. C. Artho, K. Havelund, and A. Biere. High-level data races. In Proc. NDDL/VVEIS'03, pages 82-93, 2003.
4. C. Artho, K. Havelund, and A. Biere. Using block-local atomicity to detect stale-value concurrency errors. In ATVA'04, pages 150-164, 2004.
5. D. F. Bacon, R. E. Strom, and A. Tarafdar. Guava: A dialect of Java without data races. In Proc. OOPSLA'00, pages 382-400, 2000.
6. D. Bäumer, E. Gamma, and Adam Kieżun. Integrating refactoring support into a Java development tool. In Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) Companion, October 2001.
7. H. Berenson, P. Bernstein, J. Gray, J. Melton, E. O'Neil, and P. O'Neil. A critique of ANSI SQL isolation levels. In Proc. ACM SIGMOD Conf., pages 1-10, 1995.
8. P. Bernstein, V. Hadzilacos, and N. Goodman. Concurrency Control and Recovery in Database Systems. Addison-Wesley, 1987.
9. C. Boyapati and M. Rinard. A parameterized type system for race-free Java programs. In Proc. OOPSLA'01, October 2001.
10. M. Burrows and K. R. M. Leino. Finding stale-value errors in concurrent programs. Technical Report 2002-004, SRC, May 2002.
11. Philippe Charles, Christopher Donawa, Kemal Ebcioglu, Christian Grothoff, Allan Kielstra, Vijay Saraswat, Vivek Sarkar, and Christoph von Praun. X10: An object-oriented approach to non-uniform cluster computing. In Proc. OOPSLA'05, San Diego, CA, 2005. To appear.
12. A. Chien, U. Reddy, J. Plevyak, and J. Dolby. ICC++ - A C++ dialect for high performance parallel computing. Lecture Notes in Computer Science, 1049:76-95, 1996.
13. Andrew A. Chien and William J. Dally. Concurrent aggregates (ca). In Proc. PPoPP '90, pages 187-196, 1990.
14. X. Deng, M. Dwyer, J. Hatcliff, and M. Mizuno. Invariant-based specification, synthesis, and verification of synchronization in concurrent programs. In Proc. ICSE'02, May 2002.
15. D. Engler and K. Ashcraft. Racerx: Effective, static detection of race conditions and deadlocks. In Proc. SOSP'03, pages 237-252, October 2003.
16. S. Fink, J. Dolby, and L. Colby. Semi-automatic J2EE transaction configuration. Technical Report RC23326, IBM T.J. Watson Research Center, March 2004.
17. C. Flanagan. Verifying commit-atomicity using model checking. In Proc. SPIN'04, pages 252-266, 2004.
18. C. Flanagan, S. Freund, and M. Lifshin. Type inference for atomicity. In Proc. TLDI'05, pages 47-58, 2005.
19. C. Flanagan and S. N. Freund. Type-based race detection for Java. In Proc. PLDI'00, pages 219-232, 2000.
20. C. Flanagan and S. N. Freund. Atomizer: A dynamic atomicity checker for multithreaded programs. In Proc. POPL'04, pages 256-267, 2004.
21. C. Flanagan and S. Qadeer. A type and effect system for atomicity. In Proc. PLDI'03, pages 338-349, 2003.
22. C. Flanagan and S. Qadeer. Types for atomicity. In Proc. TLDI'03, pages 1-12, 2003.
23. T. Harris and K. Fraser. Language support for lightweight transactions. In Proc. OOPSLA'03, pages 388-402, 2003.
24. T. Harris, S. Marlow, S. Peyton-Jones, and M. Herlihy. Composable memory transactions. In Proc. PPoPP'05, 2005.
25. J. Hatcliff, Robby, and M. B. Dwyer. Verifying atomicity specifications for concurrent object-oriented software using model checking. In Proc. VMCAI'04, pages 175-190, 2004.
26. Gary A. Kildall. A unified approach to global program optimization. In Proc. POPL'73, pages 194-206, 1973.
27. K. R. M. Leino. Data groups: Specifying the modification of extended state. In Proc. OOPSLA'98, pages 144-153, 1998.
28. K. R. M. Leino, J. B. Saxe, and R. Stata. Checking Java programs via guarded commands. Technical Report 002, Compaq SRC, 1999.
29. R. J. Lipton. Reduction: A method of proving properties of parallel programs. CACM, 18(12), 1975.
30. R. O'Callahan and J.-D. Choi. Hybrid dynamic data race detection. In Proc. PPoPP'03, pages 167-178, 2003.
31. Java Community Process. JSR 166: Concurrency utilities. See http://gee.cs.oswego.edu/dl/concurrency-interest/index.html., September 2004.
32. A. Sasturkar, R. Agarwal, L. Wang, and S. Stoller. Automated type-based analysis of data races and atomicity. In Proc. PPoPP'05, 2005.
33. S. Savage, M. Burrows, G. Nelson, P. Sobalvarro, and T. Anderson. Eraser: a dynamic data race detector for multi-threaded programs. In Proc. SOSP'97, pages 27-37, October 1997.
34. C. von Praun and T. Gross. Static detection of atomicity violations in object-oriented programs. Journal of Object Technology, 3(2), 2004.
35. Liqiang Wang and Scott D. Stoller. Runtime analysis for atomicity for multi-threaded programs. Technical Report DAR-04-14, State University of New York At Stony Brook, May 2005.
36. A. Welc, S. Jagannathan, and A. Hosking. Transactional monitors for concurrent objects. In Proc. ECOOP'04, pages 519-542, 2004.
37. ANSI X3.135-1992. In American National Standard for Information Systems - Database Language - SQL, November 1992.
38. M. Xu, R. Bodik, and M. Hill. A serializability violation detector for shared-memory server programs. In Proc. PLDI'05, pages 1-14, 2005.