当前位置：首页 > news >正文

JIT详解

news 文章来源：https://blog.csdn.net/m0_74267125/article/details/142989768 2025/5/17 13:55:23

文章目录

JIT
- - - 为什么说 Java 语言“编译与解释并存”？
- JIT原理
- - JVM 架构简览
  - JIT 编译流程
  - JIT 编译器的实现
  - - 优化策略
    - - 方法内联
        逃逸分析

JIT

在Java中，JIT（Just-In-Time）编译器是Java虚拟机（JVM）的一个重要组成部分，它负责将Java字节码转换成特定平台的机器码。这个过程是在Java程序运行时进行的，而非传统的编译过程中。Java的JIT编译器的目的是提高程序的执行效率，特别是对于长时间运行的Java应用来说，JIT编译可以显著提高性能。

这里是Java中代码从编译到运行的基本流程：

编译到字节码：首先，Java源代码被编译成Java字节码（.class文件）。这一步是静态的，发生在程序运行之前。
类加载：当Java程序运行时，Java虚拟机（JVM）会加载这些字节码文件。
字节码解释执行：最初，JVM通过解释器逐条执行字节码。这意味着JVM读取每条指令，然后执行对应的操作。这种方式简单但效率不高。
JIT编译：当JVM识别出某些方法或代码块被频繁调用（即“热点代码”），它会使用JIT编译器将这些热点代码从字节码编译成本地机器码。由于机器码可以直接在硬件上执行，这样可以显著提高程序的执行速度。
优化：JIT编译器在编译过程中还会进行各种优化，比如内联、循环展开等，这些优化可以进一步提升代码的执行效率。

Java 程序从源代码到运行的过程如下图所示：

Java程序转变为机器代码的过程

我们需要格外注意的是 .class->机器码 这一步。在这一步 JVM 类加载器首先加载字节码文件，然后通过解释器逐行解释执行，这种方式的执行速度会相对比较慢。而且，有些方法和代码块是经常需要被调用的(也就是所谓的热点代码)，所以后面引进了 JIT（Just in Time Compilation） 编译器，而 JIT 属于运行时编译。当 JIT 编译器完成第一次编译后，其会将字节码对应的机器码保存下来，下次可以直接使用。而我们知道，机器码的运行效率肯定是高于 Java 解释器的。这也解释了我们为什么经常会说 Java 是编译与解释共存的语言 。

Java程序转变为机器代码的过程

JDK、JRE、JVM、JIT 这四者的关系如下图所示。

JDK、JRE、JVM、JIT 这四者的关系

为什么说 Java 语言“编译与解释并存”？

我们可以将高级编程语言按照程序的执行方式分为两种：

编译型：编译型语言会通过编译器将源代码一次性翻译成可被该平台执行的机器码。一般情况下，编译语言的执行速度比较快，开发效率比较低。常见的编译性语言有 C、C++、Go、Rust 等等。
解释型：解释型语言会通过解释器一句一句的将代码解释（interpret）为机器代码后再执行。解释型语言开发效率比较快，执行速度比较慢。常见的解释性语言有 Python、JavaScript、PHP 等等。

编译型语言和解释型语言

根据维基百科介绍：

为什么说 Java 语言“编译与解释并存”？

这是因为 Java 语言既具有编译型语言的特征，也具有解释型语言的特征。因为 Java 程序要经过先编译，后解释两个步骤，由 Java 编写的程序需要先经过编译步骤，生成字节码（.class 文件），这种字节码必须由 Java 解释器来解释执行。

JIT原理

要深入理解Java中JIT（Just-In-Time）编译器的原理，我们需要从Java虚拟机（JVM）的架构和JIT编译的工作流程入手。

JVM 架构简览

JVM主要由以下几个部分组成：

类加载器（Class Loaders）：负责加载类文件。
运行时数据区（Runtime Data Areas）：存储各种运行时数据，包括堆（Heap）、栈（Stacks）、方法区（Method Area）、程序计数器（Program Counter Register）等。
执行引擎（Execution Engine）：将字节码转换为机器码并执行。执行引擎中包括解释器（Interpreter）和JIT编译器。

JIT 编译流程

JIT编译器的工作流程大致如下：

解释执行：最初，执行引擎使用解释器逐条解释执行字节码。这种执行方式容易实现，但效率不高。
识别热点代码：JVM监控各个方法的执行情况，识别出被频繁执行的方法或代码块，即“热点代码”（Hot Spot Code）。
编译热点代码：JIT编译器将这些热点代码编译成相应平台的机器码。这个过程中，JIT编译器还会应用多种优化技术，比如方法内联、循环展开等，以提高代码的执行效率。
替换与执行：编译生成的机器码将替换原先的字节码执行路径。当再次执行到这些代码时，JVM将直接执行对应的机器码，从而提高执行效率。

JIT 编译器的实现

Java中的JIT编译器实现较为复杂，主要体现在优化策略和代码生成上。比如，OpenJDK中就包含了一个非常著名的JIT编译器：HotSpot VM。

优化策略

JIT编译器在将字节码转换成机器码的过程中，会应用一系列的优化策略来提高程序的执行效率。这些优化策略主要包括：

死码删除（Dead Code Elimination）：编译器会识别并删除那些不会影响程序最终结果的代码段，例如永远不会被执行到的代码（dead code）。
循环优化（Loop Optimization）：循环是程序中常见的热点，因此循环优化是JIT编译器的重点。这包括循环展开（减少循环次数来减小循环开销）和循环融合等技术。
方法内联（Method Inlining）：将一个方法的内容直接替换到调用该方法的位置，以减少方法调用的开销。如果一个方法较小且频繁被调用，将其内联可以显著提高性能。
逃逸分析（Escape Analysis）：分析对象的作用域和生命周期，如果对象不会“逃逸”出方法或线程，可能会被优化成栈上分配，减少垃圾收集的压力。

方法内联

方法内联它会把一些短小的方法体，直接纳入目标方法的作用范围之内，就像是直接在代码块中追加代码。这样，就少了一次方法调用，执行速度就能够得到提升，这就是方法内联的概念。

可以使用 -XX:-Inline 参数来禁用方法内联，如果想要更细粒度的控制，可以使用 CompileCommand 参数，例如：

ini代码解读
复制代码-XX:CompileCommand=exclude,java/lang/String.indexOf

在 JDK 的源码里，也有很多被 @ForceInline注解的方法，这些方法，会在执行的时候被强制进行内联；而被@DontInline注解的方法，则始终不会被内联。

JIT 编译之后的二进制代码，是放在 Code Cache 区域里的。这个区域的大小是固定的，而且一旦启动无法扩容。如果 Code Cache 满了，JVM 并不会报错，但会停止编译。所以编译执行就会退化为解释执行，性能就会降低。不仅如此，JIT 编译器会一直尝试去优化你的代码，造成 CPU 占用上升。

通过参数 -XX:ReservedCodeCacheSize 可以指定 Code Cache 区域的大小，如果你通过监控发现空间达到了上限，就要适当的增加它的大小。

逃逸分析

下面着重讲解一下逃逸分析，这个知识点在面试的时候经常会被问到。

有这样一个问题：我们常说的对象，除了基本数据类型，一定是在堆上分配的吗？

答案是否定的，通过逃逸分析，JVM 能够分析出一个新的对象的使用范围，从而决定是否要将这个对象分配到堆上。逃逸分析现在是 JVM 的默认行为，可以通过参数-XX:-DoEscapeAnalysis 关掉它。

那什么样的对象算是逃逸的呢？可以看一下下面的两种典型情况。

如代码所示，对象被赋值给成员变量或者静态变量，可能被外部使用，变量就发生了逃逸。

public class EscapeAttr {Object attr;public void test() {attr = new Object();}
}

再看下面这段代码，对象通过 return 语句返回。由于程序并不能确定这个对象后续会不会被使用，外部的线程能够访问到这个结果，对象也发生了逃逸。

public class EscapeReturn {Object attr;public Object test() {Object obj = new Object();return obj;}
}

那逃逸分析有什么好处呢？

「1. 栈上分配」

如果一个对象在子程序中被分配，指向该对象的指针永远不会逃逸，对象有可能会被优化为栈分配。栈分配可以快速地在栈帧上创建和销毁对象，不用再分配到堆空间，可以有效地减少 GC 的压力。

「2. 分离对象或标量替换」

但对象结构通常都比较复杂，如何将对象保存在栈上呢？

JIT 可以将对象打散，全部替换为一个个小的局部变量，这个打散的过程，就叫作标量替换（标量就是不能被进一步分割的变量，比如 int、long 等基本类型）。也就是说，标量替换后的对象，全部变成了局部变量，可以方便地进行栈上分配，而无须改动其他的代码。

从上面的描述我们可以看到，并不是所有的对象或者数组，都会在堆上分配。由于JIT的存在，如果发现某些对象没有逃逸出方法，那么就有可能被优化成栈分配。

「3.同步消除」

如果一个对象被发现只能从一个线程被访问到，那么对于这个对象的操作可以不考虑同步。

注意这是针对 synchronized 来说的，JUC 中的 Lock 并不能被消除。

要开启同步消除，需要加上 -XX:+EliminateLocks 参数。由于这个参数依赖逃逸分析，所以同时要打开 -XX:+DoEscapeAnalysis 选项。

比如下面这段代码，JIT 判断对象锁只能被一个线程访问，就可以去掉这个同步的影响。

public class SyncEliminate {public void test() {synchronized (new Object()) {}}
}