JEP 295: Ahead-of-Time Compilation

OwnerVladimir Kozlov
Created2016/09/15 01:20
Updated2017/03/07 11:58
TypeFeature
StatusCompleted
Componenthotspot / compiler
ScopeImplementation
Discussionhotspot dash compiler dash dev at openjdk dot java dot net
EffortM
DurationM
Priority1
Reviewed byJohn Rose, Mikael Vidstedt
Endorsed byJohn Rose
Release9
Issue8166089

Summary

Compile Java classes to native code prior to launching the virtual machine.

Goals

Non-Goals

It is not necessary to provide an explicit, exposed library-like mechanism for saving and loading compiled code.

Motivation

JIT compilers are fast, but Java programs can become so large that it takes a long time for the JIT to warm up completely. Infrequently-used Java methods might never be compiled at all, potentially incurring a performance penalty due to repeated interpreted invocations.

Description

AOT compilation of any JDK modules, classes, or of user code, is experimental and not supported in JDK 9.

To use the AOTed java.base module, the user will have to compile the module and copy the resulting AOT library into the JDK installation directory, or specify it on java command line. The usage of AOT-compiled code is otherwise completely transparent to end users.

AOT compilation is done by a new tool, jaotc:

jaotc --output libHelloWorld.so HelloWorld.class
jaotc --output libjava.base.so --module java.base

It uses Graal as the code-generating backend.

During JVM startup the AOT initialization code looks for well-known shared libraries in a well-known location, or as specified on the command line with the AOTLibrary flag. If shared libraries are found, these are picked up and used. If no shared libraries are found then AOT will be turned off for this JVM instance.

java -XX:AOTLibrary=./libHelloWorld.so,./libjava.base.so HelloWorld

New java AOT flags and jaotc flags are listed in following subsections which also have instructions on how to build and install the AOT library for the java.base module.

The container format used for AOT-compiled code is shared libraries. The JDK 9 version only supports Linux/x64, where the shared library format is ELF. AOT-compiled code in AOT libraries is treated by JVM as extension of existing CodeCache. When a java class is loaded JVM looks if corresponding AOT-compiled methods exist in loaded AOT libraries and add links to them from java methods descriptors. AOT-compiled code follows the same invocation/deoptimization/unloading rules as normal JIT-compiled code.

Since class bytecodes can change over time, either through changes to the source code or via class transformation and redefinition, the JVM needs to detect such changes and reject AOT-compiled code if the bytecode doesn't match. This is achieved with class fingerprinting. During AOT compilation a fingerprint for each class is generated and stored in the data section of the shared library. Later, when a class is loaded and AOT-compiled code is found for this class, the fingerprint for the current bytecode is compared to the one stored in the shared library. If there is a mismatch then the AOT code for that particular class is not used.

The same JDK should be used during AOT compilation and execution. Java version is recorded in AOT libraries and checked during their load. AOT recompilation is required when Java is updated.

AOT usage

Use jaotc tool to execute AOT compilation. The tool is part of java installation - same as javac.

jaotc --output libHelloWorld.so HelloWorld.class

Then specify generated AOT library during application execution:

java -XX:AOTLibrary=./libHelloWorld.so HelloWorld

For this release the same java runtime configuration should be used during AOT compilation and execution. For example:

jaotc -J-XX:+UseParallelGC -J-XX:-UseCompressedOops --output libHelloWorld.so HelloWorld.class 
java -XX:+UseParallelGC -XX:-UseCompressedOops -XX:AOTLibrary=./libHelloWorld.so HelloWorld

It includes the requirement to use the same JDK build variant: product or debug.

The runtime configuration is recorded in AOT library and verified when the library is loaded during execution. If verification failed this AOT library will not be used and JVM will continue run or exit if flag -XX:+UseAOTStrictLoading is specified.

During JVM startup the AOT initialization code looks for well-known shared libraries in a well-known location or libraries specified by -XX:AOTLibrary option. If shared libraries are found, these are picked up and used. If no shared libraries can be found, AOT will be turned off for this JVM instance run.

AOT libraries can be compiled in two modes controlled by --compile-for-tiered flag:

The extra step of recompiling code at Tier 3 is necessary since the overhead of full profiling is too high to be used for all methods, especially for methods in a module such as java.base. For user applications it might make sense to allow AOT compilations with Tier 3-equivalent profiling, but this will not be supported for JDK 9.

The logical compilation mode for java.base is tiered AOT since JIT recompilation of java.base methods is desired to reach peak performance. Only in certain scenarios does a non-tiered AOT compilation make sense. This includes applications which require predictable behavior, when footprint is more important than peak performance, or for systems where dynamic code generation is not allowed. In these cases, AOT compilation needs be done on the entire application and is thus experimental in JDK 9.

The set of AOT libraries could be generated for different execution environment. JVM knows next well-known names for java.base AOT libraries generated for specific runtime configuration. It will look for them in $JAVA_HOME/lib directory and load the one which correspond to current run-time configuration:

-XX:-UseCompressedOops -XX:+UseG1GC :       libjava.base.so
-XX:+UseCompressedOops -XX:+UseG1GC :       libjava.base-coop.so
-XX:-UseCompressedOops -XX:+UseParallelGC : libjava.base-nong1.so
-XX:+UseCompressedOops -XX:+UseParallelGC : libjava.base-coop-nong1.so

JVM also knows AOT libraries names for next java modules but their compilation, installation and usage are experimental:

jdk.compiler 
jdk.scripting.nashorn 
jdk.vm.ci 
jdk.vm.compiler

Steps to generate and use an AOT library for the java.base module

Compile java.base module using jaotc. It requires big java heap to keep data for all compiled methods (about 50000 methods):

jaotc -J-XX:+UseCompressedOops -J-XX:+UseG1GC -J-Xmx4g --compile-for-tiered --info --compile-commands java.base-list.txt --output libjava.base-coop.so --module java.base

Some methods in java.base cause compilation failure and are excluded by using --compile-comands option:

cat java.base-list.txt

# jaotc: java.lang.StackOverflowError
exclude sun.util.resources.LocaleNames.getContents()[[Ljava/lang/Object;
exclude sun.util.resources.TimeZoneNames.getContents()[[Ljava/lang/Object;
exclude sun.util.resources.cldr.LocaleNames.getContents()[[Ljava/lang/Object;
exclude sun.util.resources..*.LocaleNames_.*.getContents\(\)\[\[Ljava/lang/Object;
exclude sun.util.resources..*.LocaleNames_.*_.*.getContents\(\)\[\[Ljava/lang/Object;
exclude sun.util.resources..*.TimeZoneNames_.*.getContents\(\)\[\[Ljava/lang/Object;
exclude sun.util.resources..*.TimeZoneNames_.*_.*.getContents\(\)\[\[Ljava/lang/Object;
# java.lang.Error: Trampoline must not be defined by the bootstrap classloader
exclude sun.reflect.misc.Trampoline.<clinit>()V
exclude sun.reflect.misc.Trampoline.invoke(Ljava/lang/reflect/Method;Ljava/lang/Object;[Ljava/lang/Object;)Ljava/lang/Object;
# JVM asserts
exclude com.sun.crypto.provider.AESWrapCipher.engineUnwrap([BLjava/lang/String;I)Ljava/security/Key;
exclude sun.security.ssl.*
exclude sun.net.RegisteredDomain.<clinit>()V

After generating AOT library specify it during application execution using -XX:AOTLibrary option (by default java uses G1 and compressed oops in JDK 9 - you don't need to specify those flags):

java -XX:AOTLibrary=./libjava.base-coop.so,./libHelloWorld.so HelloWorld

Or copy generated AOT library to JDK installation directory (you may need to adjust directory's permissions):

cp libjava.base-coop.so $JAVA_HOME/lib/

In such case it will be loaded automatically without need to specify on command line:

java -XX:AOTLibrary=./libHelloWorld.so HelloWorld

Consider strip unused symbols from AOT library to reduce library's size.

New run-time AOT flags

-XX:+/-UseAOT

Use AOT-compiled files. By default it is ON.

-XX:AOTLibrary=<file>

Specify a list of AOT library files. Separate libraries entries with colons (:) or comma (,).

-XX:+/-PrintAOT

Print used AOT klasses and methods.

Additional diagnostic flag is available (requires to specify -XX:+UnlockDiagnosticVMOptions flag):

-XX:+/-UseAOTStrictLoading

Exit JVM if any of AOT libraries has run-time configuration not matching current run-time settings.

JVM run-time has following Unified Logging AOT tags integrated with JEP 158: Unified JVM Logging.

aotclassfingerprint

create log in case class's fingerprint does not match fingerprint recorded in AOT library.

aotclassload

create log when corresponding class data is found in AOT library.

aotclassresolve

create log when a request from AOT compiled code to resolve class was successful or not.

jaotc: The Java Ahead-Of-Time compiler

jaotc is java static compiler which produces native code for compiled java methods. It uses Graal as the code-generating backend and libelf for generating .so AOT library.

The tool is part of java installation and can be used the same way as javac.

jaotc <options> <name or list>

Where 'name' is class name or jar file. 'list' is a : separated list of class names, modules, jar files or directories which contain class files.

The following jaotc options are available:

--output <file>

Output file name. Default name is "unnamed.so".

--class-name <class names>

List of Java classes to compile

--jar <jar files>

List of jar files to compile

--module <modules>

List of Java modules to compile

--directory <dirs>

List of directories where to search for files to compile

--search-path <dirs>

List of directories where to search for specified files

--compile-commands <file>

Name of file with compile commands:

exclude sun.util.resources..*.TimeZoneNames_.*.getContents\(\)\[\[Ljava/lang/Object; 
exclude sun.security.ssl.* 
compileOnly java.lang.String.*

AOT recognizes two compile commands currently:

exclude       - exclude compilation of specified methods 
compileOnly   - compile only specified methods

Regular expressions are used to specify classes and methods.

--compile-for-tiered

Generated profiling code for tiered compilation. By default profiling code is not generated (could be changed in future).

--compile-with-assertions

Generate code with java assertions. By default assertions code is not generated.

--compile-threads <number>

Number of compilation threads to be used. Default value is min(16, available_cpus).

--ignore-errors

Ignores all exceptions thrown during class loading. By default exit compilation if class loading throws exception.

--exit-on-error

Exit on compilation errors. By default failed compilation is skipped and compilation of other methods continues.

--info

Print information about compilation phases

--verbose

Print more details about compilation phases, switch on --info flag

--debug

Print even more details, switch on --info and --verbose flags

--help

Print jaotc usage message and flags

--version

Print version information

-J<flag>

Pass flag directly to the JVM runtime system

Current AOT limitations

These limitations may be addressed in future releases.

Alternatives

The saving of profiles or compilation decisions has been discussed, but that does nothing to reduce the time actually spent compiling the code. It is possible that saving a very late copy of the low-level IR could be done instead, but that seems no less complex.

Testing

New AOT jtreg tests will be developed for testing AOT functionality.

All existing tests can be run with an AOT-enabled JDK. This is already done as separate nightly testing configurations.

The other configuration runs all tests on an AOT-enabled JDK with an AOT-compiled java.base module.

Risks and Assumptions

It’s possible that the use of pre-compiled code could result in less-than-optimal code being used, resulting in a loss of performance. Performance testing shows that some applications benefit from AOT-compiled code, while others clearly show regressions. Since the AOT feature is an opt-in feature, possible performance regressions with user applications are avoidable. If a user finds that an application starts up more slowly, or doesn't reach the expected peak performance, or crash, they can just switch AOT off with the -XX:-UseAOT flag, or remove any AOT libraries.

It is recommended that AOT compilation will take place in trusted environments, where the JDK libraries and tools are protected from tampering.

Dependences

This project depends on JEP 243: Java-Level JVM Compiler Interface, since the AOT compiler uses Graal as the code-generating backend, which in turn depends on JVMCI.

The project will merge Graal core into the JDK, and deliver it in Linux/x64 builds.