JIT—即时编译

JIT—即时编译

介绍

在Java的编译体系中，一个Java的源代码文件变成计算机可执行的机器指令的过程中，需要经过两段编译，第一段是把.java文件转换成.class文件。第二段编译是把.class转换成机器指令的过程。

1. javac指令 将java源码变为 java字节码的静态编译过程。

2. java字节码编译为 本地机器码的过程，并且因为这个过程是在程序运行时期完成的所以称之为即时编译。

   JVM 通过解释字节码将其翻译成对应的机器指令，逐条读入，逐条解释翻译。很显然，经过解释执行，其执行速度必然会比可执行的二进制字节码程序慢很多。这就是传统的JVM的解释器（Interpreter）的功能。为了解决这种效率问题，引入了 JIT（即时编译） 技术。Java程序还是通过解释器进行解释执行，当JVM发现某个方法或代码块运行特别频繁的时候，就会认为这是“热点代码”（Hot Spot Code)。然后JIT会把部分“热点代码”翻译成本地机器相关的机器码，并进行优化，然后再把翻译后的机器码缓存起来，以备下次使用。

热点探测技术实质就是统计某段代码频繁调用的次数，一旦超过指定的阈值就会触发即时编译。 分为2种探测方式后面会进行说明。

即时编译的基本流程:

​ 方法调用栈上运行着方法栈帧，即时编译的流程从这里开始：

​ 字节码开始是解释执行的，解释字节码的任务由解释器完成，但真实操作的是内存中的方法栈中栈帧内的操作数栈与局部变量表。

即时编译的第一步就是要探测热点代码。

​ 触发条件: 热点探测

​ jvm 通过统计每个方法调用栈的栈顶一个方法栈帧的弹出频率来作为一个指标。

有两种方法：

1.使用精确的计数器进行精确计数，超过阈值触发编译。

2.是统计一段时间内方法调用次数（方法调用的频 率） 超过阈值触发编译。并存在热度衰减，超过一定时间范围没有继续调用该方法则会将其值减半。

二者各有优缺点，前者精确计算开销大，后者不够严谨但适用大多数情况。一旦超过阈值将触发方法级别的即时编译，以整个方法为编译对象。

​ 还存在循环体级别的热点探测，适用回边计数器来进行计数，pc寄存器向后跳转一次记为 一个回边。 当每次跳转时，都会触发计数器加一，并将计数器的值与该循环体所在方法的频率计数器的值相加。

​ 其值超过阈值就会触发即时编译，若没超过阈值并不存在半衰，继续以解释形式执行代码，以整个方法为编译对象。

​ 即时编译:

​ 一旦判定是热点代码，则解释器将发送一次请求编译器，进行编译，在编译成功之前 解释器仍旧运行着。 等编译完成后直接将pc寄存器中方法的调用地址进行替换，替换为编译后的方法地址。一般称之为栈上替换。

编译优化:

​ javac只能进行一些 静态优化，优化上存在一些局限性。而在jvm中即时编译过程中进行的优化，是一种动态编译优化。

​ 即时编译器会进行很多种优化：

公共子表达式的消除:

​ 在一个表达式中有一部表达式被计算过，并且在之后的代码中出现了同样的表达式并且表达式的值没有发生改变。那么编译器就会将这部分表达式用计算结果进行替换。以避免重复计算造成的时间开销。

方法内联：

​ 在编译时，将方法调用直接使用方法体中的代码进行替换，这就是方法内联，减少了方法调用过程中压栈与入栈的开销。同时 为之后的一些优化手段提供条件。

逃逸分析:

​ 如果一个变量的使用，在运行期检测它的作用范围不会超过一个方法或者一个线程的作用域。那么这个变量就不会被多个线程所共享，也就是说 可以不将其分配在堆空间中，而是将其线程私有化。

​ 那么如何来检测一个变量的作用域仅在 一个方法或者线程中呢? jvm中使用 数据流分析机制实现的一种机制。 称之为逃逸分析，作为其他一些激进优化的前提判断条件。

栈上分配：

​ 在Java虚拟机中，对象是在Java堆中分配内存的，这是一个普遍的常识。但是，有一种特殊情况，那就是如果经过逃逸分析后发现，一个对象并没有逃逸出方法的话，那么就可能被优化成栈上分配。这样就无需在堆上分配内存， 对象将跟随栈的创建而创建，销毁而销毁。

标量替换:

​ 标量（Scalar）是指一个无法再分解成更小的数据的数据 。

在JIT阶段，如果经过逃逸分析，发现一个对象不会被外界访问的话，那么经过JIT优化，就会把这个对象拆解成若干个其中包含的若干个成员变量来代替。

锁消除：

​ 同样基于逃逸分析，当加锁的变量不会发生逃逸，是线程私有的完全没有必要加锁。 在jit编译时期就可以将同步锁去掉，以减少加锁与解锁造成的资源开销。

通过JVM参数可指定是否开启逃逸分析，

​ -XX:+DoEscapeAnalysis ： 表示开启逃逸分析

-XX:-DoEscapeAnalysis ： 表示关闭逃逸分析 从jdk 1.7开始已经默认开始逃逸分析。
最后留一个问题：jvm有即时编译而且不全部使用即时编译，基于什么考虑。