方法的JIT编译

February 24, 2018

Java方法执行一般会利用分层编译,先通过c1解释执行。方法执行编译等级逐渐提升,有机会通过JIT编译为特定平台汇编执行,以此获得最好的性能。

参数控制

方法执行除了达到一定热度外,是否JIT编译也受到以下两个参数影响:

HotSpot默认不会编译巨型方法,也就是-XX:+DontCompileHugeMethods。通过修改参数为-XX:-DontCompileHugeMethods开启巨型方法编译。

-XX:+DontCompileHugeMethods

判断方法是否为大对象由-XX:HugeMethodLimit=8000来决定,8000表示JIT编译字节码大小超过8000字节的方法就是巨型方法,这个阈值在产品版HotSpot里无法调整。

-XX:HugeMethodLimit=8000

DontCompileHugeMethodsHugeMethodLimit默认值在/hotspot/src/share/vm/runtime/globals.hpp

1
2
3
4
5
6
product(bool, DontCompileHugeMethods, true,
      "Do not compile methods > HugeMethodLimit")  

develop(intx, HugeMethodLimit,  8000,                                     
      "Don't compile methods larger than this if "                      
      "+DontCompileHugeMethods") 

可编译判断

下面看JDK9CompileTheWorld.java,路径为

1
$ cd ./hotspot/src/jdk.internal.vm.compiler/share/classes/org.graalvm.compiler.hotspot/src/org/graalvm/compiler/hotspot

源码canBeCompiled() Line 756决定Java方法是否能被JIT编译。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
private boolean canBeCompiled(HotSpotResolvedJavaMethod javaMethod, int modifiers) {
    // 抽象方法或原生方法不编译
    if (Modifier.isAbstract(modifiers) || Modifier.isNative(modifiers)) {
        return false;
    }

    // 获取JVM配置参数
    GraalHotSpotVMConfig c = compiler.getGraalRuntime().getVMConfig();
    // 如果c.dontCompileHugeMethods为true
    // 根据c.hugeMethodLimit判断该方法是否为巨型方法
    if (c.dontCompileHugeMethods && javaMethod.getCodeSize() > c.hugeMethodLimit) {
        // 判断为巨型方法,打出日志并退出方法
        println(verbose || methodFilters != null,
                        String.format("CompileTheWorld (%d) : Skipping huge method %s "
                                      + "(use -XX:-DontCompileHugeMethods "
                                      + "or -XX:HugeMethodLimit=%d to include it)",
                                        classFileCounter,
                                        javaMethod.format("%H.%n(%p):%r"),
                                        javaMethod.getCodeSize()));
        return false;
    }

    // 通过-XX:CompileCommand=dontinline标志不编译方法
    // 排除可能有问题的目标方法
    if (!javaMethod.canBeInlined()) {
        return false;
    }

    // 注解类型包含Snippet.class不编译
    for (Annotation annotation : javaMethod.getAnnotations()) {
        if (annotation.annotationType().equals(Snippet.class)) {
            return false;
        }
    }

    return true; // 此方法可被JIT编译
}

总的来说只要符合以下任一条件就 不能 编译:

  1. 抽象方法或原生方法;
  2. 禁止编译巨型方法且条件吻合;
  3. dontinline标志的方法;
  4. 注解为 Snippet.class

编译方法

经过canBeCompiled() Line627判定的方法,送到compileMethod() Line725等待编译。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
// Are we compiling this class?
MetaAccessProvider metaAccess = JVMCI.getRuntime().getHostJVMCIBackend().getMetaAccess();
if (classFileCounter >= startAt) {
    println("CompileTheWorld (%d) : %s", classFileCounter, className);

    // 循环遍历构造方法,判断能否JIT编译
    for (Constructor<?> constructor : javaClass.getDeclaredConstructors()) {
        HotSpotResolvedJavaMethod javaMethod = (HotSpotResolvedJavaMethod) metaAccess.lookupJavaMethod(constructor);
        // 逐个检查构造方法
        if (canBeCompiled(javaMethod, constructor.getModifiers())) {
            compileMethod(javaMethod);
        }
    }

    // 循环遍历实例方法,判断能否JIT编译
    for (Method method : javaClass.getDeclaredMethods()) {
        HotSpotResolvedJavaMethod javaMethod = (HotSpotResolvedJavaMethod) metaAccess.lookupJavaMethod(method);
        // 逐个检查实例方法
        if (canBeCompiled(javaMethod, method.getModifiers())) {
            compileMethod(javaMethod);
        }
    }

    // 类初始化器也是能被编译
    HotSpotResolvedJavaMethod clinit = (HotSpotResolvedJavaMethod) metaAccess.lookupJavaType(javaClass).getClassInitializer();
    if (clinit != null && canBeCompiled(clinit, clinit.getModifiers())) {
        compileMethod(clinit);
    }
}

编译过程中还会收集统计数据,完成后下次执行时新编译方法替换旧方法。

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
private void compileMethod(HotSpotResolvedJavaMethod method, int counter) {
    try {
        // 编译开始时间
        long start = System.currentTimeMillis();
        // 编译开始时线程内存已开辟空间
        long allocatedAtStart = MemUseTrackerImpl.getCurrentThreadAllocatedBytes();
        int entryBCI = JVMCICompiler.INVOCATION_ENTRY_BCI;
        // 构建方法编译请求实例
        HotSpotCompilationRequest request = new HotSpotCompilationRequest(method, entryBCI, 0L);

        // For more stable CTW execution, disable use of profiling information
        boolean useProfilingInfo = false;
        boolean installAsDefault = false;

        // 创建编译任务
        CompilationTask task = new CompilationTask(jvmciRuntime, compiler, request, useProfilingInfo, installAsDefault);

        // 开始编译任务
        task.runCompilation();

        // 令已生成的code失效,避免code cache被填满
        HotSpotInstalledCode installedCode = task.getInstalledCode();
        if (installedCode != null) {
            installedCode.invalidate();
        }

        // 统计累计内存占用
        memoryUsed.getAndAdd(MemUseTrackerImpl.getCurrentThreadAllocatedBytes() - allocatedAtStart);
        // 统计累计编译时长
        compileTime.getAndAdd(System.currentTimeMillis() - start);
        // 统计成功编译方法数
        compiledMethodsCounter.incrementAndGet();
    } catch (Throwable t) {
        // 编译方法过程中出现Throwable
        println("CompileTheWorld (%d) : Error compiling method: %s", counter, method.format("%H.%n(%p):%r"));
        printStackTrace(t);
    }
}

参考链接