Automatically reducing repetitive synchronization with a just-in-time compiler for Java

Proceedings of the 2005 International Symposium on Code Generation and Optimization, CGO 2005

Volumn 2005, Issue , 2005, Pages 27-36

  Stoodley, Mark ^a   Sundaresan, Vijay ^a  

^a IBM CANADA LTD   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA (CO); JUST-IN-TIME COMPILERS; MONITORENTER/EXIT OPERATIONS; REPETITIVE SYNCHRONIZATION;

ALGORITHMS; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; JAVA PROGRAMMING LANGUAGE; JUST IN TIME PRODUCTION; PROGRAM COMPILERS;

SYNCHRONIZATION;

EID: 33646851404     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CGO.2005.7     Document Type: Conference Paper

References (15)

1. O. Agesen, D. Detlefs, A. Garthwaite, R. Knippel, and Y. Ramakrishna. An efficient meta-lock for implementing ubiquitous synchronization. In Proceedings of OOPSLA 1999. Denver, CO. http://citeseer.ist.psu.edu/agesen99efficient.html
2. Aldrich, J., Chambers, C., Sirer, E. G., and Eggers, S. Static analyses for eliminating unnecessary synchronization from Java programs. In Static Analysis Symposium (SAS'99) (Sept. 1999). http://citeseer.ist.psu.edu/ aldrich99static.html
3. Bacon, D., Konuru, R., Murthy, C., Serrano, M. Thin locks: featherweight synchronization in Java. In ACM Conference on Programming Language Design and Implementation (PLDI), Montreal, Canada, June 1998. http://citeseer.ist.psu.edu/ bacon98thin.html.
4. B. Blanchet. Escape analysis for object-oriented languages, application to Java. In Proceedings of OOPSEA 1999. Denver, CO. November 1999.
5. Bogda, J., and Holzle, U. Removing unnecessary synchronization in Java. In Proceedings of OOPSEA 1999. Denver, CO. November 1999. http://citeseer.ist. psu.edu/bogda99removing.html.
6. Choi, J.-D., Gupta, M., Serrano, M., Sreedhar, V. C., and Midkiff, S. Escape analysis for Java. In Proceedings of OOPSEA 1999. Denver, CO. November 1999. http://citeseer.ist.psu.edu/choi99escape.html.
7. J. Dean, G. DeFouw, D. Grove, V. Livinov, and C. Chambers. Vortex: an optimizing compiler for object-oriented languages. ACM SIGPLAN Notices, 31(10):83-100, Oct. 1996. Discusses performance of Vortex compiler for Cecil, C++, Java, and Modula-3. http://citeseer.ist.psu.edu/dean96vortex.html.
8. P. Diniz and M. Rinard. Synchronization Transformations for Parallel Computing. In Proceedings of the Twenty-fourth Annual ACM Symposium on the Principles of Programming Languages, Paris, France, January 1997. http://citeseer.ist.psu.edu/diniz97synchronization.html.
9. Fitzgerald, R., Knoblock, T., Ruf, E., Steensgard, B., and Tarditi, D. Marmot: An optimizing compiler for Java. Submitted for publication. October 1998. http://citeseer.ist.psu.edu/fitzgerald99marmot.html.
10. Gosling J., Joy B., & Steele G., The Java language specification, Addison Wesley. http://citeseer.ist.psu.edu/gosling96java.html.
11. K. Kawachiya, Koseki, & T. Onodera IBM Research, Tokyo Research Lab. Lock reservation: Java locks can mostly do without atomic operations. In Proceedings of OOPSLA 2002.
12. A. Krall and M. Probst. Monitors and exceptions: how to implement Java efficiently. In Proc. of ACM 1998 Workshop on Java for High-Performance Network Computing, pages 15-24, 1998. http://citeseer.ist.psu.edu/krall98monitors.html.
13. K. Ishizaki, M. Kawahito, T. Yasue, H. Komatsu, and T. Nakatani. A study of devirtualization techniques for a Java just-in-time compiler. In Proceedings of OOPSLA 2000.
14. T. Onodera and K. Kawachiya. A study of locking objects with bimodal fields. In Proceedings of OOPSLA 1999. Denver, CO. November 1999.
15. L. Ruf. Effective synchronization removal for Java. In Proceedings of the ACM SIGPLAN '00 Conference on Program Language Design and Implementation. Vancouver, British Columbia. June 2000. pp. 208-218.