EDO: Exception-Directed Optimization in Java

ACM Transactions on Programming Languages and Systems

Volumn 28, Issue 1, 2006, Pages 70-105

  Ogasawara, Takeshi ^a,b   Komatsu, Hideaki ^a,b   Nakatani, Toshio ^a,b  

^a IBM RESEARCH TOKYO   (Japan)

^b IBM JAPAN LTD   (Japan)

Author keywords

Dynamic compilers; Exception handling; Feedback directed dynamic optimization; Inlining

Indexed keywords

DYNAMIC COMPILERS; EXCEPTION HANDLING; FEEDBACK-DIRECTED DYNAMIC OPTIMIZATION; INLINING;

FEEDBACK; JAVA PROGRAMMING LANGUAGE; MOTION PLANNING; PERFORMANCE; PROGRAM COMPILERS; SERVERS;

OPTIMIZATION;

EID: 33745341735     PISSN: 01640925     EISSN: 01640925     Source Type: Journal    
DOI: 10.1145/1111596.1111598     Document Type: Article

References (83)

1. ACM 1995. In Proceedings of the 10th Annual Conference on Object-Oriented Programming Systems, Languages and Applications. ACM Press, New York, NY.
2. ACM 2000a. In Proceedings of the 15th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications. ACM Press, New York, NY.
3. ACM 2000b. In Proceedings of the ACM 2000 Conference on Java Grande. ACM Press, New York, NY.
4. ACM 2000c. In Proceedings of the ACM SIGPLAN 2000 Conference on Programming Language Design and Implementation. ACM Press, New York, NY.
5. AGESEN, O. AND HÖLZLE, U. 1995. Type feedback vs. concrete type inference: A comparison of optimization techniques for object-oriented languages. See ACM [1995], 91-107.
6. AIGNER, G. AND HÖLZLE, U. 1996. Eliminating virtual function calls in C++ programs. In Proceedings of the 10th European Conference on Object-Oriented Programming - ECOOP '96. Lecture Notes in Computer Science, vol. 1098. Springer-Verlag, Berlin, Germany, 142-166.
7. AIKEN, A., WILLIAMS, J. H., AND WIMMERS, E. L. 1994. The FL project: The design of a functional language. Go online to http://www.es.berkaley.edu/aiken/ ftp/FL.ps.
8. ALLEN, R. AND JOHNSON, S. 1988. Compiling C for vectorization, parallelization, and inline expansion. In Proceedings of the ACM SIGPLAN 1988 Conference on Programming Language Design and Implementation. ACM Press, New York, NY, 241-249.
9. ARNOLD, M., FINK, S., GROVE, D., HIND, M., AND SWEENEY, P. F. 2000a. Adaptive optimization in the Jalapen∼o JVM. See ACM [2000a], 47-65.
10. ARNOLD, M., FINK, S., SARKAR, V., AND SWEENEY, P. F. 2000b. A comparative study of static and profile-based heuristics for inlining. In Proceedings of ACM SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization. ACM Press, New York, NY, 52-64.
11. AYERS, A., GOTTLIEB, R., AND SCHOOLER, R. 1997. Aggressive inlining. In Proceedings of the ACM SIGPLAN 1997 Conference on Programming Language Design and Implementation. ACM Press, New York, NY, 134-145.
12. BAKER, T. P. AND RICCARDI, G. A. 1986. Implementing Ada exceptions. IEEE Softw. 3, 5 (Sept.), 42-51.
13. BALL, J. E. 1979. Predicting the effects of optimization on a procedure body. In Proceedings of the 1979 SIGPLAN Symposium on Compiler Construction. ACM Press, New York, NY, 214-220.
14. CALDER, B. AND GRUNWALD, D. 1994. Reducing indirect function call overhead in C++. In Proceedings of the 21st ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. ACM Press, New York, NY, 397-408.
15. CAMERON, D., FAUST, P., LENKOV, D., AND MEHTA, M. 1992. A portable implementation of C++ exception handling. In Proceedings of the C++ Conference. USENIX Association, Berkeley, CA, 225-243.
16. CARDELLI, L., DONAHUE, J., GLASSMAN, L., JORDAN, M., KALSOW, B., AND NELSON, G. 1989. Modula-3 report (revised). Tech. rep. SRC research rep. 52, Digital Equipment Corporation, Systems Research Center (DEC is now part of Hewlett Peckard, Palo Alto, CA.)
17. CARINI, P. R., SRINIVASAN, H., AND HIND, M. 1995. Flow-sensitive type analysis for C++. Tech. rep. research rep. RC20267, IBM, Yorktown Heights, NY.
18. CHANG, P. P., MAHLKE, S. A., CHEN, W. Y., AND HWU, W W. 1992. Profile-guided automatic inline expansion for C programs. Softw.: Pract. Not. 22, 5 (May), 349-369.
19. CHATTERJEE, R., RYDER, B. G., AND LANDI, W. 1998. Complexity of concrete type-inference in the presence of exceptions. In ESOP'98, 7th European Symposium on Programming, Proceedings. Lecture Notes in Computer Science, vol. 1381. Springer-Verlag, Berlin, Germany, 57-74.
20. CHEN, W. Y., CHUNG, P. P., CONTE, T. M., AND HWU, W. W. 1993. The effect of code expanding optimizations on instruction cache design. IEEE Trans. Comput. 42, 9 (Sept.), 1045-1057.
21. CHOI, J., 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 Programming Analysis for Software Tools and Engineering. ACM Press, New York, NY, 21-31.
22. CIERNIAK, M., LUEH, G., AND STICHNOTH, J. M. 2000. Practicing JUDO: Java under dynamic optimizations. See ACM [2000c], 18-21.
23. DE DINECHIN, C. 2000. C++ exception handling. IEEE Concurr. 8, 4, 72-79.
24. DEAN, J. AND CHAMBERS, C. 1994. Towards better inlining decisions using inlining trials. In Proceedings of the 1994 ACM Conference on LISP and Functional Programming. ACM Press, New York, NY, 273-282.
25. DEAN, J., DEFOUW, G., GROVE, D., LITVINOV, V., AND CHAMBERS, C. 1996. Vortex: An optimizing compiler for object-oriented languages. In Proceedings of the 7th Annual Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA'96). ACM Press, New York, NY, 83-100.
26. DEAN, J., GROVE, D., AND CHAMBERS, C. 1995. Optimization of object-oriented programs using static class hierarchy. In Proceedings of the 9th European Conference on Object-Oriented Programming - ECOOP '95. Lecture Notes in Computer Science, vol. 952. Springer-Verlag, Berlin, Germany, 77-101.
27. DETLEFS, D. AND AGESEN, O. 1999. Inlining of virtual methods. In Proceedings of the 13th European Conference on Object-Oriented Programming - ECOOP'99. Lecture Notes in Computer Science, vol. 1628. Springer-Verlag, Berlin, Germany, 258-278.
28. DREW, S., GOUPH, K. J., AND LEDERMANN, J. 1995. Implementing zero overhead exception handling. Tech. rep. 95-12. Faculty of Information Technology, Queensland University of Technology, Brisbane, Australia.
29. FITZGERALD, R., KNOBLOCK, T. B., RUF, E., STEENSGAARD, B., AND TARDITI, D. 2000. Marmot: An optimizing compiler for Java. Softw.: Pract. Exper. 30, 3 (Mar.), 199-232.
30. FRISCH, A., BOTLAN, D. L., AND SCHMITT, A. 2001. The Objective Caml system - implementation. Go online to http://pauillac.inria.fr/~lebotlan/ docaml_html/english/.
31. GAGNON, E. M., HENDREN, L. J., AND MARCEAU, G. 2000. Efficient inference of static types for Java bytecode. In. Static Analysis. 7th International Symposium, SAS 2000, Proceedings. Lecture Notes in Computer Science, vol. 1824. Springer-Verlag, Berlin, Germany, 199-219.
32. GEHANI, N. H. 1992. Exceptional C or C with exceptions. Softw.: Pract. Not. 22, 10 (Oct.), 827-848.
33. GOSLING, J., JOY, B., AND STEELE, G. 1996a. The Java Language Specification. The Java Series. Addison-Wesley, Reading, MA.
34. GOSLING, J., JOY, B., AND STEELE, G. 1996b. The Java Language Specification, Chapt. 11, 201-213. In Gosling et al. [1996a].
35. GOVINDARAJAN, R. 1993. Exception handlers in functional programming languages. IEEE Trans. Softw. Eng. 19, 8, 826-834.
36. GROVE, D. AND DEAN, J. 1995. Profile-guided receiver class prediction. See ACM [1995], 108-123.
37. GUNTER, C. A., REMY, D., AND RIECKE, J. G. 1995. A generalization of exceptions and control in ML-like languages. In Proceedings of the Seventh International Conference on Functional Programming Languages and Computer Architecture. ACM Press, New York, NY, 12-23.
38. GUPTA, M., CHOI, J., AND HIND, M. 2000. Optimizing Java programs in the presence of exceptions. In Proceedings of the 14th European Conference on Object-Oriented Programming - ECOOP'00. Lecture Notes in Computer Science, vol. 1850. Springer-Verlag, Berlin, Germany, 422-446.
39. HANK, R. E., HWU, W. W., AND RAU, B. R. 1995. Region-based compilation: An introduction and motivation. In Proceedings of the 28th Annual International Symposium on Microarchitecture. ACM Press, New York, NY, 158-168.
40. HARPER, R. W., MILNER, A. R. J. G., AND TOFTE, M. 1986. Introduction to Standard ML. Tech. rep. ECS-LFCS-86-14. Dept. of Computer Science, Edinburgh University, Edinburgh, Scotland.
41. HARRISON, W. 1977. A new strategy for code generation: The general purpose optimizing compiler. In Proceedings of the 4th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages. ACM Press, New York, NY, 29-37.
42. HENNESSY, J. 1981. Program optimization and exception handling. In Conference Record of the 8th Annual ACM Symposium on Principles of Programming Languages. ACM Press, New York, NY, 200-206.
43. HÖLZLE, U., CHAMBERS, C., AND UNGAR, D. 1991. Optimizing dynamically-typed object-oriented languages with polymorphic inline caches. In Proceedings of the 5th European Conference on Object-Oriented Programming - ECOOP '91 Lecture Notes in Computer Science, vol. 512. Springer-Verlag, Berlin, Germany, 21-38.
44. HÖLZLE, U., CHAMBERS, C., AND UNGAR, D. 1992. Debugging optimized code with dynamic deoptimization. In Proceedings of the ACM SIGPLAN 1992 Conference on Programming Language Design and Implementation. ACM Press, New York, NY, 32-43.
45. HWU, W. W. AND CHANG, P. P. 1989. Inline function expansion for compiling C programs. In Proceedings of the ACM SIGPLAN 1989 Conference on Programming Language Design and Implementation. ACM Press, New York, NY, 246-257.
46. IBM 1995. IBM VisualAge C++ for OS/2 Programming Guide, 3rd ed. IBM, Yorktown Heights, NY.
47. IBM 2001. The IBM Developer Kit, Java 2 Technology Edition. Go online to http://www.ibm.com/developerworks/java/jdk/.
48. IBM 2004. IBM WebSphere Application Server. Go online to http://www-306.ibm.com/software/webservers/appserv/was/.
49. INTEL CORPORATION. 2001. IA-32 Intel Architecture Software Developer's Manual, Volume 1: Basic Architecture. Intel Corporation, Mt. Prospect, IL.
50. ISHIZAKI, K., KAWAHITO, M., YASUE, T., KOMATSU, H., AND NAKATANI, T. 2000a. A study of devirtualization techniques for a Java just-in-time compiler. See ACM [2000a], 294-310.
51. ISHIZAKI, K., KAWAHITO, M., YASUE, T., TAKEUCHI, M., OGASAWARA, T., SUGANUMA, T., ONODERA, T., KOMATSU, H., AND NAKATANI, T. 2000b. Design, implementation, and evaluation of optimizations in a Java Just-In-Time compiler. Concurr.: Pract. Exper. 12, 6, 457-475.
52. 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 for Programming Languages and Operating Systems (ASPLOS IX). ACM Press, New York, NY, 118-127.
53. KOENIG, A. AND STROUSTRUP, B. 1990. Exception handling for C++ (revised). In Proceedings of the C++ Conference. USENIX Association, Berkeley, CA, 149-176.
54. KRALL, A. AND PROBST, M. 1998. Monitors and exceptions: How to implement Java efficiently. In Proceedings of the ACM 1998 Workshop on Java for High-Performance Network Computing. ACM Press, New York, NY, 15-24.
55. Also published under the same title in the September 1998 issue of Concurr.: Pract. Exp. 10, 11-13, 837-850.
56. LANG, J. AND STEWART, D. B. 1998. A study of the applicability of existing exception-handling techniques to component-based real-time software technology. ACM Trans. Program. Lang, Syst. 20, 2 (Mar.), 274-301.
57. LEE, S., YANG, B.-S., KIM, S., PARK, S., MOON, S.-M., AND EBCIOǦLU, K. 2000. Efficient Java exception handling in just-in-time compilation. See ACM [2000b], 1-8.
58. LEE, S., YANG, B.-S., KIM, S., PARK, S., MOON, S.-M., EBCIOǦLU, K., AND ALTMAN, E. 1999. On-demand translation of Java exception handlers in the LaTTe JVM just-in-time compiler. In Proceedings of the 1999 Workshop on Binary Translation. IEEE Computer Society Press, Los Alamitos, CA.
59. LINDHOLM, T. AND YELLIN, F. 1996. The Java Virtual Machine Specification. The Java Series. Addison-Wesley, Reading, MA, Chapter 4.7.4, 110-113.
60. LISKOV, B. AND SNYDER, A. 1979. Exception handling in CLU. IEEE Trans. Softw. Eng. 5, 6, 546-558.
61. MAASSEN, J., VAN NIEUWPOORT, R., VELDEMA, R., BAL, H. E., AND PLAAT, A. 1999. An efficient implementation of Java's remote method invocation. In Proceedings of the 7th ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming. ACM Press, New York, NY, 173-182.
62. MACLAREN, M. D. 1984. Inline routines in VAXELN pascal. In Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction. ACM Press, New York, NY, 266-275.
63. MICROSOFT. 2001. MSDN Online. Go online to http://msdn.microsoft.com/.
64. Microsoft 2004a. Programming with the NET framework. Go online to http://msdn.microsoft.com/library/en-us/cpguide/html/ cpconprogrammingwithnetframework.asp.
65. Microsoft 2004b. Visual C and C++. Go online to http://msdn.microsoft. com/library/an-us/dnanchor/html/vc6anchor.asp.
66. 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 Association, Berkeley, CA, 1-12.
67. PALSBERG, J. AND SCHWARTZBACH, M. I. 1991. Object-oriented type inference. In Proceedings of the Conference on Object-Oriented Programming Systems, Languages and Applications. ACM Press, New York, NY, 146-161.
68. PEYTON JONES, S. 2003. Haskell 98 language and libraries: The revised report. J. Func. Prog. 13, 1, 1-146.
69. PEYTON JONES, S., REID, A., HOARE, T., AND MARLOW, S. 1999. A semantics for imprecise exceptions. In Proceedings of the ACM SIGPLAN 1999 Conference on Programming Language Design and Implementation. ACM Press, New York, NY, 25-36.
70. RAMSEY, N. AND PEYTON JONES, S. 2000. A single intermediate language that supports multiple implementations of exceptions. See ACM [2000c], 285-298.
71. RYDER, B. G., SMITH, D., KREMER, U., GORDON, M., AND SHAH, N. 1999. A static study of Java exceptions using JESP. Tech. rep. dcs-tr-406. Department of Computer Science, Rutgers University, New Brunewick, NJ.
72. SCHEIFLER, R. W. 1977. An analysis of inline substitution for a structured programming language. Commun. ACM 20, 9 (Sept.), 647-654.
73. SCHILLING, J. L. 1998. Optimizing away C++ exception handling. ACM SIGPLAN Not. 33, 8 (Aug.), 40-47.
74. SINHA, S. AND HARROLD, M. J. 2000. Analysis and testing of programs with exception handling constructs. IEEE Trans. Softw. Eng. 42, 9, 849-871.
75. STALLMAN, R. M. 2004. Using the GNU Compiler Collection. Go online to http://gcc.gnu.org/onlinedocs/.
76. 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, 175-193.
77. 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 16th ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications. ACM Press, New York, NY, 180-194.
78. 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 2003 Conference on Programming Language Design and Implementation. ACM Press, New York, NY, 312-323.
79. SUN. 2000. Java HotSpot technology. Go online to http://java.sun.com/ products/hotspot/.
80. THE STANDARD PERFORMANCE EVALUATION CORPORATION (SPEC). 1998. JVM Client98 (SPECjvm98). Go online to http://www.spec.org/osg/jvm98/.
81. TROMEY, T. 2002. GNU gcj. Go online to http://gcc.gnu.org/onlinedocs/.
82. VELDEMA, R. 1998. Jcc, a native Java compiler. M.S. thesis, Vrije Universiteit Amsterdam, The Netherlands.
83. WHALEY, J. 2000. A portable sampling-based profiler for Java virtual machines. See ACM [2000b], 78-87.