Design of the Java HotSpot™ client compiler for Java 6

Transactions on Architecture and Code Optimization

Volumn 5, Issue 1, 2008, Pages 1-32

  Kotzmann, Thomas ^a   Wimmer, Christian ^a   Mössenböck, Hanspeter ^a   Rodriguez, Thomas ^b   Russell, Kenneth ^b   Cox, David ^b  

^a JOHANNES KEPLER UNIVERSITY LINZ   (Austria)

^b SUN MICROSYSTEMS   (United States)

Author keywords

Compiler; Deoptimization; Intermediate representation; Java; Just in time compilation; Optimization; Register allocation

Indexed keywords

GLOBAL OPTIMIZATION; JUST IN TIME PRODUCTION; OPTIMIZATION; PROGRAM COMPILERS;

COMPILER; DE-OPTIMIZATION; INTERMEDIATE REPRESENTATIONS; JAVA; JUST-IN-TIME COMPILATION; REGISTER ALLOCATION;

JAVA PROGRAMMING LANGUAGE;

EID: 48849092340     PISSN: 15443566     EISSN: 15443973     Source Type: Journal    
DOI: 10.1145/1369396.1370017     Document Type: Article

References (66)

1. ADL-TABATABAI, A.-R., CIERNIAK, M., LUEH, G.-Y., PARIKH, V. M., AND STICHNOTH, J. M. 1998. Fast, effective code generation in a just-in-time Java compiler. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York. 280-290.
2. ADL-TABATABAI, A.-R., BHARADWAJ, J., CHEN, D.-Y., GHULOUM, A., MENON, V., MURPHY, B., SERRANO, M., AND SHPEISMAN, T. 2003. The StarJIT compiler: A dynamic compiler for managed runtime environments. Intel Tech. J. 7, 1, 19-31.
3. AGESEN, O., DETLEFS, D., GARTHWAITE, A., KNIPPEL, R., RAMAKRISHNA, Y. S., AND WHITE, D. 1999. An efficient meta-lock for implementing ubiquitous synchronization. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM Press, New York. 207-222.
4. ALLEN, J. R. AND KENNEDY, K. 2002. Optimizing compilers for modern architectures. Morgan Kaufmann Publi., Burlington, MA.
5. ALPERN, B., ATTANASIO, C.BURLINGTON, MA. R., BARTON, J. J., BURKE, M. G., P.CHENG, CHOI, J.-D., COCCHI, A., FINK, S. J., GROVE, D., HIND, M., HUMMEL, S. F., LIEBER, D., LITVINOV, V., MERGEN, M. F., NGO, T., RUSSELL, J. R., SARKAR, V., SERRANO, M. J., SHEPHERD, J. C., SMITH, S. E., SREEDHAR, V. C., SRINIVASAN, H., AND WHALEY, J. 2000. The Jalapeño virtual machine. IBM Sys. J. 39, 1, 211-238.
6. ARNOLD, M., FINK, S. J., GROVE, D., HIND, M., AND SWEENEY, P. F. 2000. Adaptive optimization in the Jalapeño JVM. In Proceedings of the ACMSIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications. ACM Press, New York. 47-65.
7. ARNOLD, M., FINK, S. J., GROVE, D., HIND, M., AND SWEENEY, P. F. 2005. A survey of adaptive optimization in virtual machines. Proc. IEEE 93, 2, 449-466.
8. BACON, D. F., KONURU, R., MURTHY, C., AND SERRANO, M. 1998. Thin locks: Featherweight synchronization for Java. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York. 258-268.
9. BLANCHET, B. 2003. Escape analysis for Java: Theory and practice. ACM Trans. Programming Languages Syst. 25, 6, 713-775.
10. BODÍK, R., GUPTA, R., AND SARKAR, V. 2000. ABCD: Eliminating array bounds checks on demand. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York. 321-333.
11. BOEHM, H.-J., DEMERS, A. J., AND SHENKER, S. 1991. Mostly parallel garbage collection. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York. 157-164.
12. BRIGGS, P., COOPER, K. D., AND TORCZON, L. 1994. Improvements to graph coloring register allocation. ACM Trans. Programming Languages Sys. 16, 3, 428-455.
13. BRIGGS, P., COOPER, K. D., and SIMPSON, L. T. 1997. Value numbering. Softw. Practice Exp. 27, 6, 701-724.
14. BURKE, M. G., CHOI, J.-D., FINK, S. J., GROVE, D., HIND, M., SARKAR, V., SERRANO, M. J., SREEDHAR, V. C., SRINIVASAN, H., AND WHALEY, J. 1999. The Jalapeño dynamic optimizing compiler for Java. In Proceedings of the ACM Conference on Java Grande. ACM Press, New York. 129-141.
15. C1Visualizer 2007. Java HotSpot™ Client Compiler Visualizer. https://c1visualizer.dev.java. net/.
16. CHOI, J.-D., GROVE, D., HIND, M., AND SARKAR, V. 1999. Efficient and precise modeling of exceptions for the analysis of Java programs. In Proceedings of the ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering. ACM Press, New York. 21-31.
17. CHOI, J.-D., GUPTA, M., SERRANO, M. J., SREEDHAR, V. C., AND MIDKIFF, S. P. 2003. Stack allocation and synchronization optimizations for Java using escape analysis. ACM Trans. Programming Languages Sys. 25, 6, 876-910.
18. CIERNIAK, M., LUEH, G.-Y., AND STICHNOTH, J. M. 2000. Practicing JUDO: Java under dynamic optimizations. In Proceedings of the ACMSIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York. 13-26.
19. CIERNIAK, M., ENG, M., GLEW, N., LEWIS, B., AND STICHNOTH, J. 2005. The open runtime platform: a flexible high-performance managed runtime environment. Concurrency Comput. Practice Exp. 17, 5-6, 617-637.
20. CLICK, C. AND PALECZNY, M. 1995. A simple graph-based intermediate representation. In Papers from the ACM SIGPLAN Workshop on Intermediate Representations. ACM Press, New York. 35-49.
21. COWARD, D. 2006. What'sNewin JavaSE6. http://java.sun.com/developer/technicalArticles/J2SE/Desktop/javase6/beta2.html.
22. CYTRON, R., FERRANTE, J., ROSEN, B. K., WEGMAN, M. N., AND ZADECK, F. K. 1991. Efficiently computing static single assignment form and the control dependence graph. ACM Trans. Programming Languages Sys. 13, 4, 451-490.
23. DEAN, J., GROVE, D., AND CHAMBERS, C. 1995. Optimization of object-oriented programs using static class hierarchy analysis. In Proceedings of the European Conference on Object-Oriented Programming. LNCS 952, Springer-Verlag, New York. 77-101.
24. DETLEFS, D. AND AGESEN, O. 1999. Inlining of virtual methods. In Proceedings of the European Conference on Object-Oriented Programming. LNCS 1628, Springer-Verlag, New York. 258-277.
25. DOLBY, J. AND CHIEN, A. 2000. An automatic object inlining optimization and its evaluation. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York. 345-357.
26. FINK, S. J. AND QIAN, F. 2003. Design, implementation and evaluation of adaptive recompilation with on-stack replacement. In Proceedings of the International Symposium on Code Generation and Optimization. IEEE Computer Society, Los Alamitos, CA. 241-252.
27. GOSLING, J., JOY, B., STEELE, G., AND BRACHA, G. 2005. The Java Language Specification, 3rd ed. Addison-Wesley, Reading, MA.
28. GRIESEMER, R. AND MITROVIC, S. 2000. A compiler for the Java HotSpot™ virtual machine. In The School of Niklaus Wirth: The Art of Simplicity, L. Böszörményi, J. Gutknecht, and G. Pomberger, Eds. dpunkt.verlag. Heidelberg, Germany, 133-152.
29. HÖLZLE, U. AND UNGAR, D. 1994. Optimizing dynamically-dispatched calls with runtime type feedback. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York. 326-336.
30. HÖLZLE, U., CHAMBERS, C., AND UNGAR, D. 1992. Debugging optimized code with dynamic deoptimization. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York. 32-43.
31. ISHIZAKI, K., TAKEUCHI, M., KAWACHIYA, K., SUGANUMA, T., GOHDA, O., INAGAKI, T., KOSEKI, A., OGATA, K., KAWAHITO, M., YASUE, T., OGASAWARA, T., ONODERA, T., KOMATSU, H., AND NAKATANI, T. 2003. Effectiveness of cross-platform optimizations for a Java just-in-time compiler. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programing, Systems, Languages, and Applications. ACM Press, New York. 187-204.
32. Jikes 2007. Jikes RVM. http://jikesrvm.org/.
33. JONES, R. AND LINS, R. 1996. Garbage Collection: Algorithms for Automatic Dynamic Memory Management. Wiley, New York.
34. KAWACHIYA, K., KOSEKI, A., AND ONODERA, T. 2002. Lock reservation: Java locks can mostly do without atomic operations. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM Press, New York. 130-141.
35. KAWAHITO, M., KOMATSU, H., AND NAKATANI, T. 2000. Effective null pointer check elimination utilizing hardware trap. In Proceedings of the International Conference on Architectural Support for Programming Languages and Operating Systems. ACM Press, New York. 139-149.
36. KOTZMANN, T. 2005. Escape analysis in the context of dynamic compilation and deoptimization. Ph.D. thesis, Johannes Kepler University Linz.
37. KOTZMANN, T. AND MÖSSENBÖCK, H. 2005. Escape analysis in the context of dynamic compilation and deoptimization. In Proceedings of the ACM/USENIX International Conference on Virtual Execution Environments. ACM Press, New York. 111-120.
38. KOTZMANN, T. AND MÖSSENBÖCK, H. 2007. Runtime support for optimizations based on escape analysis. In Proceedings of the International Symposium on Code Generation and Optimization. IEEE Computer Society, Los Alamitos, CA. 49-60.
39. LHOTÁK, O. AND HENDREN, L. 2005. Runtime evaluation of opportunities for object inlining in Java. Concurrency Comput. Practice Exp. 17, 5-6, 515-537.
40. LINDHOLM, T. AND YELLIN, F. 1999. The Java Virtual Machine Specification, 2nd ed. Addison-Wesley, Reading, MA.
41. MÖSSENBÖCK, H. 2000. Adding static single assignment form and a graph coloring register allocator to the Java HotSpot™ client compiler. Tech. Rept. 15, Institute for Practical Computer Science, Johannes Kepler University Linz.
42. MÖSSENBÖCK, H. AND PFEIFFER, M. 2002. Linear scan register allocation in the context of SSA form and register constraints. In Proceedings of the International Conference on Compiler Construction. LNCS 2304, Springer-Verlag, New York. 229-246.
43. OpenJDK 2007. Homepage of the Open-Source JDK Community. Sun Microsystems, Inc. http://openjdk.java.net/.
44. ORP 2007. Open Runtime Platform. Intel Corp. http://sourceforge. net/projects/orp/.
45. PALECZNY, M., VICK, C., AND CLICK, C. 2001. The Java HotSpot™ server compiler. In Proceedings of the Java Virtual Machine Research and Technology Symposium. USENIX. 1-12.
46. POLETTO, M. AND SARKAR, V. 1999. Linear scan register allocation. ACM Trans. Programming Languages Sys. 21, 5, 895-913.
47. POZO, R. AND MILLER, B. 1999. SciMark 2.0. http://math.nist.gov/scimark2/.
48. PRINTEZIS, T. AND DETLEFS, D. 2000. A generational mostly-concurrent garbage collector. In Proceedings of the International Symposium on Memory Management. ACM Press, New York. 143-154.
49. QIAN, F., HENDREN, L. J., AND VERBRUGGE, C. 2002. A comprehensive approach to array bounds check elimination for Java. In Proceedings of the International Conference on Compiler Construction. LNCS 2304. Springer-Verlag, New York. 325-342.
50. RUSSELL, K. AND DETLEFS, D. 2006. Eliminating synchronization-related atomic operations with biased locking and bulk rebiasing. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications. ACM Press, New York. 263-272.
51. SEDGEWICK, R. 1988. Algorithms, 2nd ed. Addison-Wesley, Reading, MA. 441-449.
52. SHIV, K., IYER, R., NEWBURN, C., DAHLSTEDT, J., LAGERGREN, M., AND LINDHOLM, O. 2003. Impact of JIT/JVM optimizations on Java application performance. In Proceedings of the 7th workshop on Interaction Between Compilers and Computer Architectures. IEEE Computer Society, Los Alamitos, 5-13.
53. SPEC 1998. The SPECjvm98 Benchmarks. Standard Performance Evaluation Corporation. http://www.spec.org/jvm98/.
54. SPEC 2005. The SPECjbb2005 Benchmark. Standard Performance Evaluation Corporation. http://www.spec.org/jbb2005/.
55. SUGANUMA, T., OGASAWARA, T., KAWACHIYA, K., TAKEUCHI, M., ISHIZAKI, K., KOSEKI, A., INAGAKI, T., YASUE, T., KAWAHITO, M., ONODERA, T., KOMATSU, H., AND NAKATANI, T. 2004. Evolution of a Java just-intime compiler for IA-32 platforms. IBM J. Res. Develop. 48, 5/6, 767-795.
56. SUGANUMA, T., YASUE, T., KAWAHITO, M., KOMATSU, H., AND NAKATANI, T. 2005. Design and evaluation of dynamic optimizations for a Java just-in-time compiler. ACM Trans. Programming Languages Sys. 27, 4, 732-785.
57. Sun Microsystems, Inc. 2006a. The Java HotSpot™ Performance Engine Architecture. Sun Microsystems, Inc. http://java.sun.com/products/ hotspot/whitepaper.html.
58. Sun Microsystems, Inc. 2006b. Java Platform, Standard Edition 6 Source Snapshot Releases. Sun Microsystems, Inc. http://download.java.net/jdk6/.
59. Sun Microsystems, Inc. 2006c. Memory Management in the Java HotSpot™ Virtual Machine. Sun Microsystems, Inc. http://java.sun.com/ j2se/reference/whitepapers/memorymanagement whitepa per.pdf.
60. TRAUB, O., HOLLOWAY, G., AND SMITH, M. D. 1998. Quality and speed in linear-scan register allocation. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York. 142-151.
61. UNGAR, D. 1984. Generation scavenging: A non-disruptive high performance storage reclamation algorithm. In Proceedings of the ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments. ACM Press, New York. 157-167.
62. WIMMER, C. 2004. Linear scan register allocation for the Java HotSpot™ client compiler. M.S. thesis, Johannes Kepler University Linz.
63. WIMMER, C. AND MÖSSENBÖCK, H. 2005. Optimized interval splitting in a linear scan register allocator. In Proceedings of the ACM/USENIX International Conference on Virtual Execution Environments. ACM Press, New York. 132-141.
64. WIMMER, C. AND MÖSSENBÖCK, H. 2006. Automatic object colocation based on read barriers. In Proceedings of the Joint Modular Languages Conference. LNCS 4228, Springer-Verlag, New York. 326-345.
65. WIMMER, C. AND MÖSSENBÖCK, H. 2007. Automatic feedback-directed object inlining in the Java HotSpot™ virtual machine. In Proceedings of the ACM/USENIX International Conference on Virtual Execution Environments. ACM Press, New York. 12-21.
66. WÜRTHINGER, T., WIMMER, C., AND MÖSSENBÖCK, H. 2007. Array bounds check elimination for the Java HotSpot™ client compiler. In Proceedings of the International Conference on Principles and Practice of Programming in Java. ACM Press, New York. 125-133.