Quicksilver: A Quasi-Compiler for Java

摘要

This paper presents the design and implementation of the Quicksilver~1 quasi-static compiler for Java. Quasi-static compilation is a new approach that combines the benefits of static and dynamic compilation, while maintaining compliance with the Java standard, including support of its dynamic features. A quasi-static compiler relies on the generation and reuse of persistent code images to reduce the overhead of compilation during program execution, and to provide identical, testable and reliable binaries over different program executions. At runtime, the quasi-static compiler adapts pre-compiled binaries to the current JVM instance, and uses dynamic compilaiton of the code when necessary to support dynamic Java features. Our system allows interprocedural program optimizations to be performed while maintaining binary compatibility. Experimental data obtained using a preliminary implementation of a quasi-static compiler in the Jalapeno JVM clearly demonstrates the benefits of our approahc: we achieve a runtime compilation cost comparable to that of baseline (fast, non-optimizing) compilation, and deliver the runtime program performance ofthe highest optimization level supported by the Jalapeno optimizing compiler. For the SPECjvm98 benchmark suite, we obtain a factor of 104 to 158 reduction in the rutnime compilation overhead relative to the Jalapeno optimizing compiler. Relative to the better of the baseline and the optimizing Jalapeno compilers, the overall performance (taking into account both runtime compilation and execution costs) is increased by 9.2