A region-based compilation technique for dynamic compilers

ACM Transactions on Programming Languages and Systems

Volumn 28, Issue 1, 2006, Pages 134-174

  Suganuma, Toshio ^a,b   Yasue, Toshiaki ^a,b   Nakatani, Toshio ^a,b  

^a IBM RESEARCH TOKYO   (Japan)

^b IBM JAPAN LTD   (Japan)

Author keywords

Dynamic compilation; JIT compiler; On stack replacement; Partial inlining; Region based compilation

Indexed keywords

DYNAMIC COMPILATION; JIT COMPILER; ON-STACK REPLACEMENT; PARTIAL INLINING; REGION-BASED COMPILATION;

COMPUTER ARCHITECTURE; DATA REDUCTION; HEURISTIC METHODS; JAVA PROGRAMMING LANGUAGE; OPTIMIZATION;

PROGRAM COMPILERS;

EID: 33745411475     PISSN: 01640925     EISSN: 01640925     Source Type: Journal    
DOI: 10.1145/1111596.1111600     Document Type: Article

References (39)

1. 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.
2. 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.
3. BALL, T. AND LARUS, J. 1993. Branch prediction for free. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation, ACM Press, New York, 300-313.
4. BRUENING, D. AND DUESTERWALD, E. 2000. Exploring optimal compilation unit shapes for an embedded just-in-time compiler. In Proceedings of the ACM SIGPLAN Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3). ACM Press, New York.
5. BRUENING, D., GARNETT, T., AND AMARASINGHE, S. 2003. An infrastructure for adaptive dynamic optimization. In Proceedings of the ACM/IEEE International Symposium on Code Generation and Optimization (CGO). IEEE Computer Society, Los Alamitos, 265-275.
6. CHAMBERS, C. AND UNGAR, D. 1991. Making pure object-oriented languages practical. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications. ACM Press, New York, 1-15.
7. CHANG, P., MAHLKE, S., AND HWU, W. 1991. Using profile information to assist classic code optimizations. Softw. Pract. Exper. 21, 12 (Dec.), 1301-1321.
8. CHEN, W., LERNER, S., CHAIKEN, R., AND GILLIES, D. 2000. Mojo: A dynamic optimization system. In Proceedings of the ACM SIGPLAN Workshop on Feedback-Directed and Dynamic Optimization (FDDO-3). ACM Press, New York.
9. 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.
10. COHN, R. AND LOWNEY, P. 1996. Hot cold optimization of large Windows/NT applications. In Proceedings of the 29th International Symposium on Microarchitecture. IEEE Computer Society, Los Alamitos, 80-89.
11. 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.
12. DUESTERWALD, E. AND BALA, V. 2000. Software profiling for hot path prediction: Less is more. In Proceedings of the 9th ACM Conference on Architectural Support on Programming Languages and Operating Systems. ACM Press, New York, 202-211.
13. FINK, S. J. AND QIAN, F. 2003. Design, implementation and evaluation of adaptive recompilation with on-stack replacement. In Proceedings of the ACM/IEEE International Symposium on Code Generation and Optimization (CGO). IEEE Computer Society, Los Alamitos, 241-252.
14. HANK, R. E. 1996. Region-based compilation. Ph.D. thesis, University of Illinois at Urbana-Champaign, Urbana.
15. HANK, R. E., HWU, W. W., AND RAU, B. R. 1995. Region-based compilation: An introduction and motivation. In Proceedings of the 28th International Symposium on Microarchitecture. IEEE Computer Society, Los Alamitos, 158-168.
16. HANK, R. E., MAHLKE, S. A., BRINGMANN, R. A., GYLLENHAAL, J. C., AND HWU, W. W. 1993. Superblock formation using static program analysis. In Proceedings of the 26th International Symposium on Microarchitecture. IEEE Computer Society, Los Alamitos, 247-255.
17. HÖLZLE, U. 1994. Adaptive optimization for SELF: Reconciling high performance with exploratory programming. Ph.D. thesis, (CS-TR-94-1520) Stanford University, Stanford.
18. HWU, W., MAHLKE, S., CHEN, W., CHANG, P., WARTER, N., BRINGMANN, R., OUELLETE, R., HANK, R., KIYOHARA, T., HAAB, G., HOLM, J., AND LAVERY, D. 1993. The superblock: An effective technique for VLIW and superscalar compilation. J. Supercomput. 7, 1-2 (May), 229-248.
19. IBM CORPORATION. 2002. WebSphere Studio Application Developer. Available at http://www.ibm.com/software/ad/studio.
20. 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.
21. JAVA GRANDE FORUM. 2000. Java grande benchmark. Available at http://www.epcc.ed.ac.uk/ javagrande/sequential.html.
22. JUST SYSTEM CORPORATION. 1998. IchitaroArk for Java, Japanese word processor system. Available at http://www.justsystem.com/ark/index.html.
23. KNOOP, J., RUTHING, O., AND STEPPEN, B. 1994. Partial dead code elimination. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York, 147-158.
24. LOWNEY, P., FREUDENBERGER, S., KARZES, T., LICHTENSTEIN, W., NIXC, R., O'DONNELL, J., AND RUTTENBERG, J. 1993. The multiflow trace scheduling compiler. J. Supercomput. 7, 1-2 (May), 51-142.
25. MIKHEEV, V. V., FEDOSEEV, S. A., SUKHAREV, V. V., AND LIPSKY, N. V. 2002. Effective enhancement of loop versioning in Java. In Proceedings of the 11th International Conference on Compiler Construction. LNCS 2304, Springer-Verlag, Berlin, 293-306.
26. OGASAWARA, T., KOMATSU, H., AND NAKATANI, T. 2001. A study of exception handling and its 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.
27. 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.
28. PETTIS, K. AND HANSEN, R. 1990. Profile guided code positioning. In Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation. ACM Press, New York, 16-27.
29. STANDARD PERFORMANCE EVALUATION CORPORATION. 2000. SPECjvm98 and SPECjbb2000 benchmarks. Available at http://www.spec.org/osg.
30. 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.
31. 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.
32. 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. Prog. Lang. Syst. 27, 4 (July). 732-785.
33. 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.
34. 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.
35. TRIANTAFYLLIS, S., VACHHARAJANI, M., AND AUGUST, D. I. 2002. Procedure boundary elimination for EPIC compilers. In Proceedings of the Second Workshop on Explicitly Parallel Instruction Computer Architectures and Compiler Technology. IEEE Computer Society, Los Alamitos.
36. WAY, T., BREECH, B., AND POLLOCK, L. 2000. Region formation analysis with demand-driven inlining for region-based optimization. In Proceedings of International Conference on Parallel Architectures and Compilation Techniques. IEEE Computer Society, Los Alamitos, 24-36.
37. WAY, T. AND POLLOCK, L. 2002. Evaluation of a region-based partial inlining algorithm for an ILP optimizing compiler. In Proceedings of Conference on Parallel and Distributed Processing Techniques and Applications. IEEE Computer Society, Los Alamitos, 552-556.
38. 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.
39. WHALEY, J. AND RINARD, M. 1999. Compositional pointer and escape analysis for Java programs. In Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications. ACM Press, New York, 187-206.