A study of exception handling and its dynamic optimization in Java

Authors:
Takeshi Ogasawara;Hideaki Komatsu;Toshio Nakatani
Affiliations:
Tokyo Research Laboratory, IBM Japan, 1623-14 Shimotsuruma, Yamato-shi, Kanagawa, Japan 242-8502;Tokyo Research Laboratory, IBM Japan, 1623-14 Shimotsuruma, Yamato-shi, Kanagawa, Japan 242-8502;Tokyo Research Laboratory, IBM Japan, 1623-14 Shimotsuruma, Yamato-shi, Kanagawa, Japan 242-8502
Venue:
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Year:
2001

Citing 38
Cited 21

Object-oriented type inference

OOPSLA '91 Conference proceedings on Object-oriented programming systems, languages, and applications
Profile-guided automatic inline expansion for C programs

Software—Practice & Experience
Debugging optimized code with dynamic deoptimization

PLDI '92 Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation
Exceptional C or C with exceptions

Software—Practice & Experience
Reducing indirect function call overhead in C++ programs

POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Towards better inlining decisions using inlining trials

LFP '94 Proceedings of the 1994 ACM conference on LISP and functional programming
Type feedback vs. concrete type inference: a comparison of optimization techniques for object-oriented languages

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Profile-guided receiver class prediction

Proceedings of the tenth annual conference on Object-oriented programming systems, languages, and applications
Region-based compilation: an introduction and motivation

Proceedings of the 28th annual international symposium on Microarchitecture
Vortex: an optimizing compiler for object-oriented languages

Proceedings of the 11th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Aggressive inlining

Proceedings of the ACM SIGPLAN 1997 conference on Programming language design and implementation
A study of the applicability of existing exception-handling techniques to component-based real-time software technology

ACM Transactions on Programming Languages and Systems (TOPLAS)
Optimizing away C++ exception handling

ACM SIGPLAN Notices
Efficient and precise modeling of exceptions for the analysis of Java programs

Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Proceedings of the ACM 2000 conference on Java Grande

ACM 2000 Java Grande Conference
Efficient Java exception handling in just-in-time compilation

Proceedings of the ACM 2000 conference on Java Grande
A portable sampling-based profiler for Java virtual machines

Proceedings of the ACM 2000 conference on Java Grande
Marmot: an optimizing compiler for Java

Software—Practice & Experience
Practicing JUDO: Java under dynamic optimizations

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
A single intermediate language that supports multiple implementations of exceptions

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
A comparative study of static and profile-based heuristics for inlining

DYNAMO '00 Proceedings of the ACM SIGPLAN workshop on Dynamic and adaptive compilation and optimization
Analysis and Testing of Programs with Exception Handling Constructs

IEEE Transactions on Software Engineering
Adaptive optimization in the Jalapeño JVM

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A study of devirtualization techniques for a Java Just-In-Time compiler

OOPSLA '00 Proceedings of the 15th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Effective null pointer check elimination utilizing hardware trap

ASPLOS IX Proceedings of the ninth international conference on Architectural support for programming languages and operating systems
A dynamic optimization framework for a Java just-in-time compiler

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Java Virtual Machine Specification

Java Virtual Machine Specification
The Java Language Specification

The Java Language Specification
Program optimization and exception handling

POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
C++ Exception Handling

IEEE Concurrency
The Effect of Code Expanding Optimizations on Instruction Cache Design

IEEE Transactions on Computers
Complexity of Concrete Type-Inference in the Presence of Exceptions

ESOP '98 Proceedings of the 7th European Symposium on Programming: Programming Languages and Systems
Optimizing Dynamically-Typed Object-Oriented Languages With Polymorphic Inline Caches

ECOOP '91 Proceedings of the European Conference on Object-Oriented Programming
Optimization of Object-Oriented Programs Using Static Class Hierarchy Analysis

ECOOP '95 Proceedings of the 9th European Conference on Object-Oriented Programming
Eliminating Virtual Function Calls in C++ Programs

ECCOP '96 Proceedings of the 10th European Conference on Object-Oriented Programming
Efficient Inference of Static Types for Java Bytecode

SAS '00 Proceedings of the 7th International Symposium on Static Analysis
Overview of the IBM Java just-in-time compiler

IBM Systems Journal
The java hotspotTM server compiler

JVM'01 Proceedings of the 2001 Symposium on JavaTM Virtual Machine Research and Technology Symposium - Volume 1

Partial method compilation using dynamic profile information

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A dynamic optimization framework for a Java just-in-time compiler

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Effective sign extension elimination

PLDI '02 Proceedings of the ACM SIGPLAN 2002 Conference on Programming language design and implementation
Online feedback-directed optimization of Java

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
An Empirical Study of Method In-lining for a Java Just-in-Time Compiler

Proceedings of the 2nd Java Virtual Machine Research and Technology Symposium
A region-based compilation technique for a Java just-in-time compiler

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Static analysis to support the evolution of exception structure in object-oriented systems

ACM Transactions on Software Engineering and Methodology (TOSEM)
Effectiveness of cross-platform optimizations for a java just-in-time compiler

OOPSLA '03 Proceedings of the 18th annual ACM SIGPLAN conference on Object-oriented programing, systems, languages, and applications
Testing of java web services for robustness

ISSTA '04 Proceedings of the 2004 ACM SIGSOFT international symposium on Software testing and analysis
Optimizing precision overhead for x86 processors

Software—Practice & Experience
Robustness Testing of Java Server Applications

IEEE Transactions on Software Engineering
Design and evaluation of dynamic optimizations for a Java just-in-time compiler

ACM Transactions on Programming Languages and Systems (TOPLAS)
Evolution of a java just-in-time compiler for IA-32 platforms

IBM Journal of Research and Development
Effective sign extension elimination for java

ACM Transactions on Programming Languages and Systems (TOPLAS)
A region-based compilation technique for dynamic compilers

ACM Transactions on Programming Languages and Systems (TOPLAS)
Portable and accurate sampling profiling for Java

Software—Practice & Experience - Research Articles
Managing exceptions in the medical workflow systems

Proceedings of the 28th international conference on Software engineering
Efficient exception handling in Java bytecode-to-c ahead-of-time compiler for smbedded systems

EMSOFT '06 Proceedings of the 6th ACM & IEEE International conference on Embedded software
Efficient exception handling in Java bytecode-to-C ahead-of-time compiler for embedded systems

Computer Languages, Systems and Structures
Program transformations for light-weight CPU accounting and control in the Java virtual machine

Higher-Order and Symbolic Computation
Translation and optimization for a core calculus with exceptions

Proceedings of the 2009 ACM SIGPLAN workshop on Partial evaluation and program manipulation

Quantified Score

Hi-index	0.01

Visualization

Abstract

Optimizing exception handling is critical for programs that frequently throw exceptions. We observed that there are many such exception-intensive programs iin various categories of Java programs. There are two commonly used exception handling techniques, stack unwinding optimizes the normal path, while stack cutting optimizes the exception handling path. However, there has been no single exception handling technique to optimize both paths.