A study of exception handling and its dynamic optimization in Java

ACM SIGPLAN Notices

Volumn 36, Issue 11, 2011, Pages 83-95

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

^a IBM JAPAN LTD   (Japan)

Author keywords

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

Indexed keywords

FEEDBACK; PROGRAM COMPILERS;

CONTROL FLOWS; DYNAMIC COMPILER; DYNAMIC OPTIMIZATION; EXCEPTION HANDLING; FEEDBACK DIRECTED; INLINING; JUST IN TIME COMPILERS; PATH PROFILING;

JAVA PROGRAMMING LANGUAGE;

EID: 85062208833     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/504311.504289     Document Type: Article

References (61)

1. Proceedings of the 10th annual conference on Object-oriented programming systems, languages and applications (New York, NY, USA, Oct. 1995), ACM Press.
2. ACMSIGPLAN'00 Conference on Programming language design and implementation (New York, NY, USA, May 2000), ACM Press.
3. Proceedings of the ACM 2000 Conference on Java Grande (New York, NY, USA, June 2000), ACM Press.
4. Proceedings of the ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications (OOPSLA-2000) (New York, NY, USA, 2000), ACM Press.
5. AGESEN, O., AND HOLZLE, U. Type feedback vs. concrete type inference: a comparison of optimization techniques for object-oriented languages. In ACM [1], pp. 91-107.
6. AIGNER, G., AND HOLZLE, U. 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) (Berlin, July 1996), Springer-Verlag, pp. 142-166.
7. ARNOLD, M., FINK, S., GROVE, D., HIND, M., AND SWEENEY, P. F. Adaptive optimization in the Jalapeno JVM. In ACM [4], pp. 47-65.
8. ARNOLD, M., FINK, S., SARKAR, V., AND SWEENEY, P. F. A comparative study of static and profile-based heuristics for inlining. In Proceedings of ACM SIGPLAN workshop on Dynamic and adaptive compilation and optimization (New York, NY, USA, Jan. 2000), ACM Press, pp. 52-64.
9. AYERS, A., GOTTLIEB, R., AND SCHOOLER, R. Aggressive inlining. In ACM SIGPLAN'97 Conference on Programming language design and implementation (New York, NY, USA, June 1997), ACM Press, pp. 134-145.
10. BAKER, T. P., AND RICCARDI, G. A. Implementing Ada exceptions. IEEE Software 3, 5 (Sept. 1986), 42-51.
11. CALDER, B., AND GRUNWALD, D. Reducing indirect function call overhead in C++. In Proceedings of the ACM SIGPLAN'94 symposium on Principles of programming languages (New York, NY, USA, Jan. 1994), ACM Press, pp. 397-408.
12. CAMERON, D., FAUST, P., LENKOV, D., AND MEHTA, M. A portable implementation of C++ exception handling. In Proceedings of the C++ Conference (Aug. 1992), USENIX Association, pp. 225-243.
13. CARDELLI, L., DONAHUE, J., GLASSMAN, L., JORDAN, M., KALSOW, B., AND NELSON, G. Modula-3 report (revised). Tech. Rep. SRC Research Report 52, Digital Equipment Corporation, Systems Research Center, 1989.
14. CARINI, P. R., SRINIVASAN, H., AND HIND, M. Flow-sensitive type analysis for C++. Tech. Rep. Research Report RC20267, IBM, 1995.
15. CHANG, P. P., MAHLKE, S. A., CHEN, W. Y, AND HWU, W. W. Profile-guided automatic inline expansion for c programs. Software: Practice and Notices 22, 5 (May 1992), 349-369.
16. CHATTERJEE, R., RYDER, B. G., AND LANDI, W. 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) (Berlin, Apr. 1998), Springer-Verlag, pp. 57-74.
17. CHEN, W. Y, CHUNG, P. P., CONTE, T. M., AND HWU, W. W. The effect of code expanding optimizations on instruction cache design. IEEE Trans. Comput. 42, 9 (Sept. 1993), 1045-1057.
18. CHOI, J., GROVE, D., HIND, M., AND SARKAR, V. 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 (New York, NY, USA, Sept. 1999), ACM Press, pp. 21-31.
19. CIERNIAK, M., LUEH, G., AND STICHNOTH, J. M. Practicing JUDO: Java under dynamic optimizations. In ACM [2], pp. 18-21.
20. DE DINECHIN, C. C++ exception handling. IEEE Concurrency 8, 4 (2000), 72-79.
21. DEAN, J., AND CHAMBERS, C. Towards better inlining decisions using inlining trials. In Proceedings of the 1994 ACM conference on LISP and functional programming (New York, NY, USA, June 1994), ACM Press, pp. 273-282.
22. DEAN, J., DEFOUW, G., GROVE, D., LITVINOV, V., AND CHAMBERS, C. Vortex: an optimizing compiler for object-oriented languages. In Proceedings of the 7th annual conference on Object-oriented programming systems, languages and applications (OOPSLA-1996) (New York, NY, USA, Oct. 1996), ACM Press, pp. 83-100.
23. DEAN, J., GROVE, D., AND CHAMBERS, C. 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) (Berlin, Aug. 1995), Springer-Verlag, pp. 77-101.
24. DETLEFS, D., AND AGESEN, O. Inlining of virtual methods. In Proceedings of the 13th European Conference on Object-Oriented Programming - ECOOP'99 (Lecture Notes in Computer Science, Vol. 1628) (Berlin, June 1999), Springer-Verlag, pp. 258-278.
25. DREW, S., GOUPH, K. J., AND LEDERMANN, J. Implementing zero overhead exception handling. Tech. Rep. Technical Report 95-12, Faculty of Information Technology, Queensland University of Technology, 1995.
26. FITZGERALD, R., KNOBLOCK, T. B., RUF, E., STEENSGAARD, B., AND TARDITI, D. Marmot: An optimizing compiler for java. Software: Practice and Notices 30, 3 (Mar. 2000), 199-232.
27. GAGNON, E. M., HENDREN, L. J., AND MARCEAU, G. Efficient inference of static types for Java bytecode. In Static Analysis. 7th international symposium, SAS 2000, Proceedings (Lecture Notes in Computer Science, Vol. 1824) (Berlin, June 2000), Springer-Verlag, pp. 199-219.
28. GEHANI, N. H. Exceptional C or C with exceptions. Software: Practice and Notices 22, 10 (Oct. 1992), 827-848.
29. GOSLING, J., JOY, B., AND STEELE, G. The Java Language Specification. The Java Series. Addison-Wesley, Reading, Massachusetts, Aug. 1996.
30. GOSLING, J., JOY, B., AND STEELE, G. The Java Language Specification. In The Java Series [29], Aug. 1996, ch. 11.
31. GROVE, D., AND DEAN, J. Profile-guided receiver class prediction. In ACM [1], pp. 108-123.
32. GUPTA, M., CHOI, J., AND HIND, M. 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) (Berlin, June 2000), Springer-Verlag, pp. 422-446.
33. HANK, R. E., HWU, W. W., AND RAU, B. R. Region-based compilation: an introduction and motivation. In Proceedings of the 28th annual international symposium on Microarchitecture (New York, NY, USA, Nov. 1995), ACM Press, pp. 158-168.
34. HENNESSY, J. Program optimization and exception handling. In Conference record of the 8th annual ACM symposium on Principles of programming languages (New York, NY, USA, Jan. 1981), ACM Press, pp. 200-206.
35. HOLZLE, U., CHAMBERS, C, AND UNGAR, D. 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) (Berlin, July 1991), Springer-Verlag, pp. 21-38.
36. HOLZLE, U., CHANMBERS, C, AND UNGAR, D. Debugging optimized code with dynamic deoptimization. In ACM SIGPLAN'92 Conference on Programming language design and implementation (New York, NY, USA, June 1992), ACM Press, pp. 32-43.
37. The IBM Developer Kit, Java 2 Technology Edition. http://www.ibm.com/developerworks/java/jdk/.
38. IBM VisualAge C++ for OS/2 Programming Guide, third ed. In IBM [39], May 1995, ch. 14. Signal and OS/2 Exception Handling.
39. IBM VisualAge C++ for OS/2 Programming Guide, third ed., May 1995.
40. ISHIZAKI, K., KAWAHITO, M., YASUE, T., KOMATSU, H., AND NAKATANI, T. A study of devirtualization techniques for a Java Just-In-Time compiler. In ACM [4], pp. 294-310.
41. ISHIZAKI, K., KAWAHITO, M., YASUE, T., TAKEUCHI, M., OGASAWARA, T., SUGANUMA, T., ONODERA, T., KOMATSU, H., AND NAKATANI, T. Design, implementation, and evaluation of optimizations in a Java Just-In-Time compiler. Concurrency: Practice and Experience 12, 6 (2000), 457-475.
42. KAWAHITO, M., KOMATSU, H., AND NAKATANI, T. 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) (New York, NY, USA, Nov. 2000), ACM Press, pp. 118-127.
43. KOENIG, A., AND STROUSTRUP, B. Exception handling for C++ (revised). In Proceedings of the C++ Conference (Apr. 1990), USENIX Association, pp. 149-176.
44. KRALL, A., AND PROBST, M. Monitors and exceptions: How to implement Java efficiently. In ACM 1998 Workshop on Java for High-Performance Network Computing (New York, NY, USA, 1998), ACM Press, pp. 15-24. Also published as Concurrency: Practice and Experience, 10(11-13), September 1998, CODEN CPEXEI, ISSN 1040-3108.
45. LANG, J., AND STEWART, D. B. A study of the applicability of existing exception-handling techniques to component-based real-time software technology. ACM Trans. Program. Lang. Syst. 20, 2 (March 1998), 274-301.
46. LEE, S., YANG, B.S., KIM, S., PARK, S., MOON, S.M., AND EBCIOGLU, K. Efficient Java exception handling in Justin-Time compilation. In ACM [3], pp. 1-8.
47. LEE, S., YANG, B.S., KIM, S., PARK, S., MOON, S.M., EBCIOGLU, K., AND ALTMAN, E. On-demand translation of Java exception handlers in the LaTTe JVM just-in-time compiler. In Proceedings of the 1999 Workshop on Binary Translation (Oct. 1999).
48. LINDHOLM, T., AND YELLIN, F. The Java Virtual Machine Specification. The Java Series. Addison-Wesley, Reading, Massachusetts, Sept. 1996, ch. 4.7.4.
49. LISKOV, B., AND SNYDER, A. Exception handling in CLU. IEEE Trans. Softw. Eng. 5, 6 (1979), 546-558.
50. MICROSOFT. MSDN Online. http://msdn.microsoft.com/.
51. PALECZNY, M., VICK, C, AND CLICK, C. The Java HotSpot server compiler. In Proceedings of the Java Virtual Machine Research and Technology Symposium (Apr. 2001), USENIX Association, pp. 1-12.
52. PALSBERG, J., AND SCHWARTZBACH, M. I. Object-oriented type inference. In Conference proceedings on Object-oriented programming systems, languages and applications (New York, NY, USA, Oct. 1991), ACM Press, pp. 146-161.
53. RAMSEY, N., AND PEYTON JONES, S. A single intermediate language that supports multiple implementations of exceptions. In ACM [2], pp. 285-298.
54. RYDER, B. G., SMITH, D., KREMER, U., GORDON, M., AND SHAH, N. A static study of Java exceptions using JESP. Tech. Rep. dcs-tr-406, Rutgers University, Department of Computer Science, 1999.
55. SCHILLING, J. L. Optimizing away C++ exception handling. ACMSIGPLANNotices 33, 8 (Aug. 1998), 40-47.
56. SINHA, S., AND HARROLD, M. J. Analysis and testing of programs with exception handling constructs. IEEE Trans. Softw. Eng. 42, 9 (2000), 849-871.
57. SUGANUMA, T., OGASAWARA, T., TAKEUCHI, M., YASUE, T., KAWAHITO, M., ISHIZAKI, K., KOMATSU, H., AND NAKATANI, T. Overview of the IBM Java Just-In-Time compiler. IBM Syst. J. 39, 1 (2000), 175-193.
58. SUGANUMA, T., YASUE, T., KAWAHITO, M., KOMATSU, H., AND NAKATANI, T. 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 (OOPSLA-2001) (New York, NY, USA, 2001), ACM Press.
59. SUN. Java HotSpot technology. http://java.sun.com/products/hotspot/, Oct. 2000.
60. THE STANDARD PERFORMANCE EVALUATION CORPORATION (SPEC). JVM Client98 (SPECjvm98). http://www.spec.org/osg/jvm98/, 1998.
61. WHALEY, J. A portable sampling-based profiler for Java virtual machines. In ACM [3], pp. 78-87.