Recompilation for debugging support in a JIT-compiler

Authors:
Mustafa M. Tikir;Jeffrey K. Hollingsworth;Guei-Yuan Lueh
Affiliations:
University of Maryland, College Park, MD;University of Maryland, College Park, MD;Intel Corporation, Santa Clara, CA
Venue:
Proceedings of the 2002 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Year:
2002

Citing 13
Cited 0

Compilers: principles, techniques, and tools

Compilers: principles, techniques, and tools
Fast breakpoints: design and implementation

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Efficient data breakpoints

ASPLOS V Proceedings of the fifth international conference on Architectural support for programming languages and operating systems
Practical data breakpoints: design and implementation

PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation
Source-level debugging of scalar optimized code

PLDI '96 Proceedings of the ACM SIGPLAN 1996 conference on Programming language design and implementation
Fast, effective code generation in a just-in-time Java compiler

PLDI '98 Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation
The Java programming language (2nd ed.)

The Java programming language (2nd ed.)
Support for garbage collection at every instruction in a Java compiler

Proceedings of the ACM SIGPLAN 1999 conference on Programming language design and implementation
Practicing JUDO: Java under dynamic optimizations

PLDI '00 Proceedings of the ACM SIGPLAN 2000 conference on Programming language design and implementation
Java Virtual Machine Specification

Java Virtual Machine Specification
The Java Language Specification

The Java Language Specification
Interactive source-level debugging for optimized programs (compilation, high-level)

Interactive source-level debugging for optimized programs (compilation, high-level)
An API for Runtime Code Patching

International Journal of High Performance Computing Applications

Quantified Score

Hi-index	0.00

Visualization

Abstract

A static Java compiler converts Java source code into a verifiably secure and compact architecture-neutral intermediate format, called Java byte codes. The Java byte codes can be either interpreted by a Java Virtual Machine or translated into native code by Java Just-In-Time compilers. Static Java compilers embed debug information in the Java class files to be used by the source level debuggers. However, the debug information is generated for architecture independent byte codes and most of the debug information is valid only when the byte codes are interpreted. Translating byte codes into native instructions puts a limitation on the amount of usable debug information that can be used by source level debuggers. In this paper, we present a new technique to generate valid debug information when Just-In-Time compilers are used. Our approach is based on the dynamic recompilation of Java methods by a fast code generator and lazily generates debug information when it is required. We also present three implementations for field watch support in the Java Virtual Machine Debugger Interface to investigate the runtime overhead and code size growth by our approach.