Escape analysis in the context of dynamic compilation and deoptimization

Proceedings of the First ACM/USENIX International Conference on Virual Execution Environments, VEE 05

Volumn , Issue , 2005, Pages 111-120

  Kotzmann, Thomas ^a   Mössenböck, Hanspeter ^a  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

Author keywords

Deoptimization; Escape analysis; Java; Just in time compilation; Optimization; Scalar replacement; Stack allocation; Synchronization removal

Indexed keywords

CODES (SYMBOLS); JAVA PROGRAMMING LANGUAGE; OPTIMIZATION; PARAMETER ESTIMATION; PROGRAM COMPILERS; STORAGE ALLOCATION (COMPUTER); SYNCHRONIZATION;

ESCAPE ANALYSIS; JUST-IN-TIME COMPILATION; SCALAR REPLACEMENT; STACK ALLOCATION;

OBJECT ORIENTED PROGRAMMING;

EID: 32044467547     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1064979.1064996     Document Type: Conference Paper

References (24)

1. B. Blanchet. Escape analysis for Java™: Theory and practice. ACM Transactions on Programming Languages and Systems, 25(6):713-775, Nov. 2003.
2. J. Bogda and U. Hölzle. Removing unnecessary synchronization in Java. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications, pages 35-46, Denver, Nov. 1999.
3. J. Bogda and A. Singh. Can a shape analysis work at run-time? In Proceedings of the Java Virtual Machine Research and Technology Symposium, Monterey, 2001.
4. J.-D. Choi et al. Stack allocation and synchronization optimizations for Java using escape analysis. ACM Transactions on Programming Languages and Systems, 25(6):876-910, Nov. 2003.
5. R. Cytron et al. Efficiently computing static single assignment form and the control dependence graph. ACM Transactions on Programming Languages and Systems, 13(4):451-490, Oct. 1991.
6. J. Dean, D. Grove, and C. Chambers. Optimization of object-oriented programs using static class hierarchy analysis. Lecture Notes in Computer Science, 952:77-101, 1995.
7. D. Gay and B. Steensgaard. Fast escape analysis and stack allocation for object-based programs. In Proceedings of the International Conference on Compiler Construction, pages 82-93, Berlin, 2000.
8. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java™ Language Specification. Addison-Wesley, second edition, June 2000.
9. R. Griesemer and S. Mitrovic. A compiler for the Java HotSpot™ Virtual Machine. In L. Böszörményi, J. Gutknecht, and G. Pomberger, editors, The School of Niklaus Wirth: The Art of Simplicity, pages 133-152. dpunkt.verlag, Heidelberg, 2000.
10. M. Hirzel, A. Diwan, and M. Hind. Pointer analysis in the presence of dynamic class loading. In Proceedings of the European Conference on Object-Oriented Programming, pages 96-122, Oslo, June 2004.
11. U. Hölzle et al. Debugging optimized code with dynamic deoptimization. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 32-43, San Francisco, June 1992.
12. A. L. Hosking and R. L. Hudson. Remembered sets can also play cards. In Proceedings of the ACM OOPSLA Workshop on Garbage Collection and Memory Management, Washington, D.C., Oct. 1993.
13. Intel Corporation. IA-32 Intel Architecture Software Developer's Manual, Volume 2A & 2B: Instruction Set Reference, 2004. Order Numbers 253666 and 253667.
14. A. C. King. Removing GC synchronisation (extended version). Technical Report 11-03, Computing Laboratory, University of Kent, Apr. 2003.
15. J. Manson, W. Pugh, and S. V. Adve. The Java memory model. In Proceedings of the ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 378-391, 2005.
16. H. Mössenböck. Adding static single assignment form and a graph coloring register allocator to the Java Hotspot™ client compiler. Technical Report 15, Johannes Kepler University Linz, Nov. 2000.
17. V. K. Nandivada and D. Detlefs. Compile-time concurrent marking write barrier removal. In Proceedings of the International Symposium on Code Generation and Optimization, San Jose, 2005.
18. R. Pozo and B. Miller. Java SciMark 2.0. http://math.nist.gov/scimark2/.
19. E. Ruf. Effective synchronization removal for Java. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 208-218, Vancouver, 2000.
20. R. Sedgewick. Algorithms, pages 441-449. Addison-Wesley, second edition, 1988.
21. Standard Performance Evaluation Corporation. The SPEC JVM98 Benchmarks. http://www.spec.org/jvm98/.
22. Sun Microsystems, Inc. The Java HotSpot Virtual Machine, v1.4.1, Sept. 2002. http://java.sun.com/products/hotspot/.
23. F. Vivien and M. Rinard. Incrementalized pointer and escape analysis. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 35-46, Snowbird, June 2001.
24. C. Wimmer and H. Mössenböck. Optimized interval splitting in a linear scan register allocator. In Proceedings of the Conference on Virtual Execution Environments, June 2005.