Evolution of a Java just-in-time compiler for IA-32 platforms

IBM Journal of Research and Development

Volumn 48, Issue 5-6, 2004, Pages 767-795

  Suganuma, Toshio ^a   Ogasawara, Takeshi ^a   Kawachiya, Kiyokuni ^a   Takeuchi, Mikio ^a   Ishizaki, Kazuaki ^a   Koseki, Akira ^a   Inagaki, Tatsushi ^a   Yasue, Toshiaki ^a   Kawahito, Motohiro ^a   Onodera, Tamiya ^a   Komatsu, Hideaki ^a   Nakatani, Toshio ^a  

^a IBM RESEARCH TOKYO   (Japan)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA PROGRAMMING LANGUAGE; OPTIMIZATION; SEMANTICS; SOFTWARE ENGINEERING;

DYNAMIC OPTIMIZATION; INTERMEDIATE REPRESENTATION; JUST IN TIME COMPILER;

PROGRAM COMPILERS;

EID: 10644293995     PISSN: 00188646     EISSN: None     Source Type: Journal    
DOI: 10.1147/rd.485.0767     Document Type: Article

References (46)

1. T. Suganuma, T. Ogasawara, M. Takeuchi, T. Yasue, M. Kawahito, K. Ishizaki, H. Komatsu, and T. Nakatani, "Overview of the IBM Java Just-in-Time Compiler," IBM Syst. J. 39, No. 1, 175-193 (2000); see http://www.research.ibm.com/journal/sj/391 /suganuma.pdf
2. T. Ogasawara, H. Komatsu, and T. Nakatani, "A Study of Exception Handling and Its Dynamic Optimization in Java," Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 2001, pp. 83-95.
3. R. Cytron, J. Ferrante, B. K. Rosen, M. N. Wegman, and F. K. Zadeck, "Efficiently Computing Static Single Assignment Form and the Control Dependence Graph," ACM Trans. Programming Languages & Syst. 13 No. 4, 451-490 (October 1991).
4. J.-D. Choi, D. Grove, M. Hind, and V. Sarkar, "Efficient and Precise Modeling of Exceptions for the Analysis of Java Programs," Proceedings of the ACM Workshop on Program Analysis for Software Tools and Engineering, September 1999, pp. 21-31.
5. K. Pettis and R. C. Hansen, "Profile-Guided Code Positioning," Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1990, pp. 16-27.
6. T. Suganuma, T. Yasue, M. Kawahito, H. Komatsu, and T. Nakatani, "A Dynamic Optimization Framework for a Java Just-in-Time Compiler," Proceedings of the ACM Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 2001, pp. 180-194.
7. K. Ishizaki, M. Takeuchi, K. Kawachiya, T. Suganuma, O. Gohda, T. Inagaki, A. Koseki, K. Ogata, M. Kawahito, T. Yasue, T. Ogasawara, T. Onodera, H. Komatsu, and T. Nakatani, "Effectiveness of Cross-Platform Optimizations for a Java Just-in-Time Compiler," Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 2003, pp. 187-204.
8. J. Dean, D. Grove, and C. Chambers, "Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis," Proceedings of the 9th European Conference on Object-Oriented Programming, August 1995; published in Lecture Notes in Computer Science 952, 77-101 (1995).
9. J. Whaley, "A Portable Sampling-Based Profiler for Java Virtual Machines," Proceedings of the ACM SIGPLAN Java Grunde Conference, June 2000, pp. 78-87.
10. T. Suganuma, T. Yasue, and T. Nakatani, "An Empirical Study of Method Inlining for a Java Just-in-Time Compiler," Proceedings of the USENIX 2nd Java Virtual Machine Research and Technology Symposium, August 2002, pp. 91-104.
11. D. Detlefs and O. Agesen, "Inlining of Virtual Methods," Proceedings of the 13th European Conference on Object-Oriented Programming, June 1999; published in Lecture Notes in Computer Science 1628, 258-277 (1999).
12. K. Ishizaki, M. Kawahito, T. Yasue, H. Komatsu, and T. Nakatani, "A Study of Devirtualization Techniques for a Java Just-in-Time Compiler," Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 2000, pp. 294-310.
13. T. Ogasawara, H. Komatsu, and T. Nakatani, "Optimizing Precision Overhead for x86 Processors," Proceedings of the USENIX Java Virtual Machine Research and Technology Symposium, August 2002, pp. 41-50.
14. J. Whaley and M. Rinard, "Compositional Pointer and Escape Analysis for Java Programs," Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, November 1999, pp. 187-206.
15. M. Kawahito, H. Komatsu, and T. Nakatani, "Effective Null Pointer Check Elimination Utilizing Hardware Trap," Proceedings of the 8th International Conference on Architectural Support for Programming Language and Operating Systems, November 2000, pp. 139-149.
16. M. Kawahito, H. Komatsu, and T. Nakatani, "Eliminating Exception Checks and Partial Redundancies for Java Just-in-Time Compilers," Research Report RT-0350, April 2000; IBM Tokyo Research Laboratory, 1623-14 Shimo-tsuruma, Yamato-shi, Kanagawa-ken 242-8502, Japan.
17. V. V. Mikheev, S. A. Fedoseev, V. V. Sukharev, and N. V. Lipsky, "Effective Enhancement of Loop Versioning in Java," Proceedings of the 11th International Conference on Compiler Construction, published in Lecture Notes in Computer Science 2304, 293-306 (April 2002).
18. J. R. Goodman and W. C. Hsu, "Code Scheduling and Register Allocation in Large Basic Blocks," Proceedings of the International Conference on Supercomputing, July 1988, pp. 442-452.
19. M. Poletto and V. Sarkar, "Linear Scan Register Allocation," ACM Trans. Programming Languages & Syst. 21, No. 5, 895-913 (September 1999).
20. P. Briggs, K. D. Cooper, and L. Torczon, "Improvements to Graph Coloring Register Allocation," ACM Trans. Programming Languages & Syst. 16, No. 3, 428-455 (May 1994).
21. A. Koseki, H. Komatsu, and T. Nakatani, "Preference-Directed Graph Coloring," Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2002, pp. 33-44.
22. L. George and A. W. Appel, "Iterated Register Coalescing," ACM Trans. Programming Languages & Syst. 18, No. 3, 300-324 (May 1996).
23. A. Koseki and H. Komatsu, "Register Constraint Back Propagation Working in Collaboration with a Register Manager," Research Report RT-0551 October 2003; IBM Tokyo Research Laboratory, 1623-14 Shimo-tsuruma, Yamato-shi, Kanagawa-ken 242-8502, Japan.
24. SPECjvm98, SPECjbb2000, and SPECjAppServer2002 Benchmarks available at http://www.spec.org/osg/; Standard Performance Evaluation Corporation (SPEC), 6585 Merchant Place, Suite 100, Warrenton, VA 20187.
25. Java Grande Forum Sequential Benchmarks available at http://www.epcc.ed.ac.uk/javagrande/sequential.html; The Java Grande Forum; see http://www.javagrande.org/.
26. XSLT Performance Benchmark available at http://www.datapower.com/xml_community/xsltmark.html; DataPower Technology Inc., One Alewife Center, 4th Floor, Cambridge, MA 02140.
27. Apache XML Project Xalan-Java Version 2.5.2 available at http://xml.apache.org/xalan-j/index.html; The Apache Software Foundation; see http://xml.apache.org/.
28. T. Suganuma, T. Yasue, and T. Nakatani, "A Region-Based Compilation Technique for a Java Just-in-Time Compiler," Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2003, pp. 312-323.
29. M. Paleczny, C. Vick, and C. Click, "The Java HotSpot Server Compiler," Proceedings of the USENIX Symposium on Java Virtual Machine Research and Technology, April 2001, pp. 1-12.
30. K. Shiv, R. Iyer, C. Newburn, J. Dahlstedt, M. Lagergren, and O. Lindholm, "Impact of JIT/JVM Optimizations on Java Application Performance," Proceedings of the 7th Annual Workshop on Interaction Between Compilers and Computer Architecture, February 2003, pp. 5-13.
31. B. Alpern, C. R. Attanasio, J. J. Barton, M. G. Burke, P. Cheng, J.-D. Choi, A. Cocchi, S. J. Fink, D. Grove, M. Hind, S. F. Hummel, D. Lieber, V. Litvinov, M. F. Mergen, T. Ngo, J. R. Russell, V. Sarkar, M. J. Serrano, J. C. Shepherd, S. E. Smith, V. C. Sreedhar, H. Srinivasan, and J. Whaley, "The Jalapeño Virtual Machine," IBM Syst. J. 39 No. 1, 211-238 (2000).
32. M. Arnold, S. Fink, D. Grove, M. Hind, and P. F. Sweeney, "Adaptive Optimizations in the Jalapeño JVM," Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 2002, pp. 47-65.
33. M. Cierniak, B. T. Lewis, and J. M. Stichnoth, "Open Runtime Platform: Flexibility with Performance Using Interfaces," Proceedings of the Joint ACM Java Grande-ISCOPE 2002 Conference, November 2002, pp. 156-164.
34. A. R. Adl-Tabatabai, M. Cierniak, G. Y. Lueh, V. M. Parakh, and J. M. Stichnoth, "Fast, Effective Code Generation in a Just-in-Time Java Compiler," Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1998, pp. 280-290.
35. M. Cierniak, G. Y. Lueh, and J. M. Stichnoth, "Practicing JUDO: Java Under Dynamic Optimizations," Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 2000, pp. 13-26.
36. A. R. Adl-Tabatabai, J. Bharadwaj, D. Y. Chen, A. Ghuloum, V. Menon, B. Murphy, M. Serrano, and T. Spheisman, "The StarJIT Compiler: A Dynamic Compiler for Managed Runtime Environments," Intel Technol. J. 7, No. 1, 19-31 (February 2003).
37. C. Chambers, "The Design and Implementation of SELF Compiler, an Optimizing Compiler for Object-Oriented Programming Languages," Ph.D. Thesis, Stanford University, CS-TR-92-1420, March 1992.
38. C. Chambers and D. Ungar, "Making Pure Object-Oriented Languages Practical," Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 1991, pp. 1-15.
39. U. Hölzle, C. Chambers, and D. Ungar, "Optimizing Dynamically-Typed Object-Oriented Languages with Polymorphic Inline Caches," Proceedings of the 5th European Conference on Object-Oriented Programming, July 1991; published in Lecture Notes in Computer Science 512, 21-38 (1991).
40. U. Hölzle and D. Ungar, "Reconciling Responsiveness with Performance in Pure Object-Oriented Languages," ACM Trans. Programming Languages & Syst. 18, No. 4, 355-400 (July 1996).
41. U. Hölzle, C. Chambers, and D. Ungar, "Debugging Optimized Code with Dynamic Deoptimization," Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, June 1992, pp. 32-43.
42. D. F. Bacon and P. F. Sweeney, "Fast Static Analysis of C++ Virtual Function Calls," Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages, and Applications, October 1996, pp. 324-341.
43. V. Sundaresan, L. Hendren, C. Razafimahefa, R. Vallée-Rai, P. Lam, E. Gagnon, and C. Godin, "Practical Virtual Method Call Resolution for Java," Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, October 2000, pp. 264-280.
44. G. Aigner and U. Hölzle, "Eliminating Virtual Function Calls in C++ Programs," Proceedings of the 10th European Conference on Object-Oriented Programming, July 1996; published in Lecture Notes in Computer Science 1098, 142-166 (1996).
45. M. Arnold and B. G. Ryder, "Thin Guards: A Simple and Effective Technique for Reducing the Penalty of Dynamic Class Loading," Proceedings of the 16th European Conference on Object-Oriented Programming, June 2002; published in Lecture Notes in Computer Science 2374, 498-524 (2002).
46. T. Kistler and M. Franz, "Continuous Program Optimization: Design and Evaluation," IEEE Trans. Computers 50, No. 6, 549-566 (June 2001).