Design and evaluation of dynamic optimizations for a Java just-in-time compiler

ACM Transactions on Programming Languages and Systems

Volumn 27, Issue 4, 2005, Pages 732-785

  Suganuma, Toshio ^a,b   Yasue, Toshiaki ^a,b   Kawahito, Motohiro ^a,b   Komatsu, Hideaki ^a,b   Nakatani, Toshio ^a,b  

^a IBM RESEARCH TOKYO   (Japan)

^b IBM JAPAN LTD   (Japan)

Author keywords

Adaptive optimization; Code specialization; Dynamic compilation; JIT compiler; Profile directed method inlining; Recompilation

Indexed keywords

ADAPTIVE OPTIMIZATION; CODE SPECIALIZATION; DYNAMIC COMPILATION; JIT COMPILER; PROFILE-DIRECTED METHOD INLINING; RECOMPILATION;

AUTOMATIC PROGRAMMING; CODES (SYMBOLS); COMPUTER PROGRAMMING LANGUAGES; JAVA PROGRAMMING LANGUAGE; JUST IN TIME PRODUCTION; OPTIMIZATION;

PROGRAM COMPILERS;

EID: 33745400520     PISSN: 01640925     EISSN: 01640925     Source Type: Journal    
DOI: 10.1145/1075382.1075386     Document Type: Article

References (61)

1. ADL-TABATABAI, A., CIERNIAK, M., LUEH, C., PARIKH, V., AND STICHNOTH, J. 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. AGESEN, O. AND DETLEFS, D. 2000. Mixed-mode bytecode execution. Tech. rep., SMLITR-2000-87, Sun Microsystems. June.
3. ALEXANDER, W. P., BERRY, R. F., LEVINE, F. E., AND URQUHART, R. J. 2000. A unifying approach to performance analysis in the Java environment. IBM Systems Journal 39, 1 (Jan.), 118-134.
4. ARNOLD, M., FINK, S., GROVE, D., HIND, M., AND SWEENEY, P. F. 2000a. Adaptive optimizations in the Jalapeño JVM. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications. ACM Press, New York, 47-65.
5. ARNOLD, M., FINK, S., GROVE, D., HIND, M., AND SWEENEY, P. F. 2000b. Adaptive optimizations in the Jalapeño JVM: The controller's analytical model. In Proceedings of the ACM SIGPLAN Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3). ACM Press, New York.
6. ARNOLD, M., FINK, S., SARKAR, V., AND SWEENEY, P. F. 2000. A comparative study of static and profile-based heuristics for inlining. In Proceedings of the ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization (Dynamo '00). ACM Press, New York, 52-64.
7. ARNOLD, M., HIND, M., AND RYDER, B. G. 2002. Online feedback-directed optimization of Java. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications. ACM Press, New York, 111-129.
8. ARNOLD, M. AND RYDER, B. G. 2001. A framework for reducing the cost of instrumented code. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York, 168-179.
9. AUSLANDER, J., PHILIPOSE, M., CHAMBERS, C., EGGERS, S. J., AND BERSHAD, B. N. 1996. Fast, effective dynamic compilation. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York, 149-158.
10. AUTREY, T. AND WOLFE, M. 1998. Initial results for glacial variable analysis. Int. J. Parallel Program. 26, 1 (Feb.), 43-64.
11. AYERS, A., GOTTLIEB, R., AND SCHOOLER, R. 1997. Aggressive inlining. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York, 134-145.
12. BALA, V., DUESTERWALD, E., AND BANERJIA, S. 2000. Dynamo: A transparent dynamic optimization system. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York, 1-12.
13. BURGER, R. AND DYBVIG, R. 1998. An infrastructure for profile-driven dynamic recompilation. In Proceedings of the International Conference on Computer Languages. IEEE Computer Society, Los Alamitos, 240-249.
14. BURKE, M. G., CHOI, J.-D., FINK, S., GROVE, D., HIND, M., SARKAR, V., SERRANO, M. J., SREEDHAR, V. C., SRINIVASAN, H., AND WHALEY, J. 1999. The Jalapeno dynamic optimizing compiler for Java. In Proceedings of the ACM SIGPLAN Java Grande Conference. ACM Press, New York, 129-141.
15. CALDER, B., FELLER, P., AND EUSTACE, A. 1997. Value profiling. In Proceedings of the 30th International Symposium on Microarchitecture. IEEE Computer Society, Los Alamitos, 259-269.
16. CALDEH, B., FELLER, P., AND EUSTACE, A. 1999. Value profiling and optimization. J. Instruction-Level Parallelism 1, 1-6 (March).
17. CHAMBERS, C. AND UNGAR, D. 1989. Customization: Optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York, 146-160.
18. CHANG, P., MAHLKE, S., CHEN, W., AND HWU, W. 1992. Profile-guided automatic inline expansion for C programs. Softw. Pract. Exper. 22, 5 (May), 349-369.
19. CIERNIAK, M., LEWIS, B., AND STICHNOTH, J. 2002. Open runtime platform: Flexibility with performance using interfaces. In. Proceedings of the Joint ACM Java Grande - ISCOPE 2002 Conference. ACM Press, New York, 156-164.
20. CIERNIAK, M., LUEH, G., AND STICHNOTH, J. 2000. Practicing judo: Java under dynamic optimizations. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York, 13-26.
21. CLICK, C. AND ROSE, J. 2002. Fast subtype checking in the HotSpot JVM. In Proceedings of the Joint ACM Java Grande - ISCOPE 2002 Conference. ACM Press, New York, 96-103.
22. DEAN, J. AND CHAMBERS, C. 1994. Towards better inlining decisions using inlining trials. In Proceedings of the ACM SIGPLAN Conference on LISP and Functional Programming. ACM Press, New York, 273-282.
23. DEAN, J., CHAMBERS, C., AND GROVE, D. 1994. Identifying profitable specialization in object-oriented languages. In Proceedings of the ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. ACM Press, New York, 85-96.
24. DEAN, J., CHAMBERS, C., AND GROVE, D. 1995a. Selective specialization for object-oriented languages. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York, 93-102.
25. DEAN, J., GROVE, D., AND CHAMBERS, C. 1995b. Optimization of object-oriented programs using static class hierarchy analysis. In 9th European Conference on Object-Oriented Programming. LNCS 952, Springer-Verlag, Berlin, 77-101.
26. DETLEFS, D. AND AGESEN, O. 1999. Inlining of virtual methods. In 13th European Conference on Object-Oriented Programming. LNCS 1628, Springer-Verlag, Berlin, 258-278.
27. GOSLING, J., JOY, B., AND STEELE, G. 1996. The Java Language Specification. Addison-Wesley, Reading, Mass.
28. GRANT, B., PHILIPOSE, M., MOCK, M., CHAMBERS, C., AND EGGERS, S. J. 1999. An evaluation of staged run-time optimizations in dye. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York, 293-304.
29. GROVE, D., DEAN, J., GARRETT, C., AND CHAMBERS, C. 1995. Profile-guided receiver class prediction. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications. ACM Press, New York, 108-123.
30. HAZELWOOD, K. AND GROVE, D. 2003. Adaptive online context-sensitive inlining. In Proceedings of the ACM/IEEE International Symposium on Code Generation and Optimization (CGO). IEEE Computer Society, Los Alamitos, 253-264.
31. HÖLZLE, U. 1994. Adaptive optimization for SELF: Reconciling high performance with exploratory programming. Ph.D. thesis, (CS-TR-94-1520) Stanford University, Stanford.
32. HÖLZLE, U. AND UNGAR, D. 1996. Reconciling responsiveness with performance in pure object-oriented languages. ACM Trans. Program. Lang. Syst. 18, 4 (July), 355-400.
33. IBM CORPORATION. 2002. WebSphere Studio Application Developer. Available at http://www.ibm.com/software/ad/adstudio/.
34. ISHIZAKI, K., KAWAHITO, M., YASUE, T., KOMATSU, H., AND NAKATANI, T. 2000. A study of devirtualization techniques for a Java just-in-time compiler. In. Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications. ACM Press, New York, 294-310.
35. 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 Programming, Systems, Languages and Applications. ACM Press, New York, 187-204.
36. JUST SYSTEM CORPORATION. 1998. IchitaroArk for Java, Japanese word processor system. Available at http://www.justsystem.com/ark/index.html.
37. KASER, O. AND RAMAKRISHMAN, C. 1998. Evaluating inlining techniques. Comput. Lang. 24, 2 (July), 55-72.
38. KAWAHITO, M., KOMATSU, H., AND NAKATANI, T. 2000. Effective null pointer check elimination utilizing hardware trap. In Proceedings of the 9th International Conference on Architectural Support on Programming Languages and Operating Systems (ASPLOS-IX). ACM Press, New York, 118-127.
39. KISTLER, T. AND FRANZ, M. 2001. Continuous program optimization: Design and evaluation. IEEE Trans. Comput. 50, 6 (June), 549-566.
40. KISTLER, T. AND FRANZ, M. 2003. Continuous program optimization: A case study. ACM Trans. Program. Lang. Syst. 25, 4 (July), 500-548.
41. KRALL, A. 1998. Efficient JavaVM just-in-time compilation. In Proceedings of the International Conference on Parallel Architectures and Compilation Techniques. IEEE Computer Society, Los Alamitos, 205-212.
42. KRINTZ, C. AND CALDER, B. 2001. Using annotations to reduce dynamic optimization time. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York, 157-167.
43. MARLET, R., CONSEL, C., AND BOINOT, P. 1999. Efficient incremental run-time specialization for free. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York, 281-292.
44. MOCK, M., CHAMBERS, C., AND EGGERS, S. 2000. Calpa: A tool for automating selective dynamic compilation. In Proceedings of the 33rd International Symposium on Microarchitecture. IEEE Computer Society, Los Alamitos, 1-12.
45. MUTH, R., WATTERSON, S. A., AND DEBRAY, S. K. 2000. Code specialization based on value profiles. In 7th International Static Analysis Symposium (SAS 2000). Springer-Verlag (LNCS vol. 1824), Berlin, 340-359.
46. OGASAWARA, T., KOMATSU, H., AND NAKATANI, T. 2001. A study of exception handling andits dynamic optimization for Java. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications. ACM Press, New York, 83-95.
47. PALECZNY, M., VICK, C., AND CLICK, C. 2001. The Java HotSpot server compiler. In Proceedings of the 1st Java Virtual Machine Research and Technology Symposium (JVM '01). USENIX Association, Berkley, 1-12.
48. PLEZBERT, M. AND CYTRON, R. 1997. Does "just in time" = "better late than never"? In Conference Record of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, New York, 120-131.
49. POLETTO, M., ENGLER, D. R., AND KAASHOEK, M. F. 1997. tcc: A system for fast, flexible, and high-level dynamic code generation. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York, 109-121.
50. SCHIEFLER, R. 1977. An analysis of inline substitution for a structured programming language. Commun. ACM 20, 9 (Sept.), 647-654.
51. 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 Annual Workshop on Interaction between Compilers and Computer Architectures (INTERACT-7), IEEE Computer Society, Los Alamitos.
52. STANDARD PERFORMANCE EVALUATION CORPORATION. 2000. SPECjvm98 and SPECjbb2000 benchmarks. Available at http://www.spec.org/osg.
53. SUGANUMA, T., OGASAWARA, T., TAKEUCHI, M., YASUE, T., KAWAHITO, M., ISHIZAKI, K., KOMATSU, H., AND NAKATANI, T. 2000. Overview of the IBM Java just-in-time compiler. IBM Syst. J. 39, 1 (Jan.), 175-193.
54. SUGANUMA, T., YASUE, T., KAWAHITO, M., KOMATSU, H., AND NAKATANI, T. 2001. A dynamic optimization framework for a Java just-in-time compiler. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications. ACM Press, New York, 180-194.
55. SUGANUMA, T., YASUE, T., AND NAKATANI, T. 2002. An empirical study of method inlining for a Java just-in-time compiler. In Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium (JVM '02). USENIX Association, Berkeley, 91-104.
56. SUGANUMA, T., YASUE, T., AND NAKATANI, T. 2003. A region-based compilation technique for a Java just-in-time compiler. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York, 312-323.
57. TRAUB, O., SCHECHTER, S., AND SMITH, M. D. 2000. Ephemeral instrumentation for lightweight program profiling. Tech. rep., Division of Applied Science and Engineering, Harvard University. June.
58. WATTERSON, S. AND DEBRAY, S. 2001. Goal-directed value profiling. In 10th International Conference on Compiler Construction. Springer-Verlag (LNCS vol. 2027), Berlin, 319-333.
59. WHALEY, J. 2000. A portable sampling-based profiler for Java virtual machines. In Proceedings of the ACM SIGPLAN Java Grande Conference. ACM Press, New York, 78-87.
60. WHALEY, J. 2001. Partial method compilation using dynamic profile information. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications. ACM Press, New York, 166-179.
61. YANG, B. S., MOON, S. M., PARK, S., LEE, J., LEE, S., PARK, J., CHUNG, Y., KIM, S., EBCIOGLU, K., AND ALTMAN, E. 1999. LaTTe : A Java VM just-in-time compiler with fast and efficient register allocation. In Proceedings of the International Conference on Parallel Architectures and Compilation Techniques. IEEE Computer Society, Los Alamitos, 1-12.