深入理解Java虚拟机 第2版 周志明著（八）

第9章 类加载及执行子系统的案例与实战

阅

第10章 早期（编译）优化

10.1 Javac的源码与调试

• todo
  从Javac的代码来看，编译过程可以分为3个过程：
• 解析与填充符号表过程
• 插入式注解处理器的注解处理过程
• 分析与字节码生成过程
  
  Javac的编译动作的入口是com.sun.tools.javac.main.JavaCompiler类，上述3个过程的代码逻辑集中在这个类的compile()和compile2()方法中，

10.1.1 解析与填充符号表
解析步骤包括词法分析和语法分析两个过程

• 词法，语法分析：是将源代码的字符流转变为标记（Token）集合，词法分析过程由com.sun.tools.javac.parser.Scanner类实现，语法分析是根据Token序列构造抽象语法树的过程，语法树的每一个节点都代表着程序代码中的一个语法结构。语法分析过程由com.sun.tools.javac.parser.Parser类实现，这个阶段产出的抽象语法树由com.sun.tools.javac.tree.JCTree类表示，经历这个步骤之后名，编译器就基本不会在对源码文件进行操作了，后续的操作都建立在抽象语法树之上。
• 填充符号表：符号表是由一组符号地址和符号信息构成的表格，在语义分析中，符号表所登记的内容将用于语义检查和产生中间代码。在目标代码生成阶段，当对符号名进行地址分配时，符号表是地址分配的依据。填充符号表的过程由com.sun.tools.javac.comp.Enter类实现。

10.1.2 注解处理器
JDK1.5提供了对注解的支持，这些注解与普通的Java代码一样，是在运行期发挥作用的。JDK1.6提供了一组插入式注解处理器的标准API在编译期间对注解进行处理，通过这些API可以读取，修改，添加抽象语法树中的任意元素。如果在处理注解期间对语法树进行了修改，编译器将回到解析及填充符号表的过程重新处理，直到所有插入式注解处理器都没有在对语法树进行修改为止，每一层循环称为一个Round。

10.1.3 语义分析与字节码生成
语法分析之后，编译器获得了程序代码的抽象语法树表示，语法树能表示一个结构正确的源程序的抽象，但无法保证源程序是符合逻辑的。而语义分析的主要任务是对结构上正确的源程序进行上下文有关性质的审查。
语义分析过程分为和数据及控制流分析两个步骤。

• 标注检查（attribute()）：包括诸如变量使用前是否已被声明，变量与赋值之间的数据类型是否能够匹配，常量折叠。等。标注检查步骤的实现类是com.sun.tools.javac.comp.Attr类和com.sun.tools.javac.comp.Check类。
• 数据及控制流分析（flow()）：数据及控制流分析是对程序上下文逻辑更进一步的验证，它可以检查出诸如程序局部变量在使用前是否有赋值、方法的每条路径是否都有返回值、是否所有的受查异常都被正确处理了等问题。编译时期的数据及控制流分析与类加载时的数据及控制流分析的目的基本上是一致的，但校验范围有所区别，有一些校验项只有在编译期或运行期才能进行。

字节码生成是Javac编译过程的最后一个阶段，由com.sun.tools.javac.jvm.Gen类完成。字节码生成阶段不仅仅是把前面各个步骤所生成的信息转化成字节码写到磁盘中，编译器还进行了少量的代码添加和转换工作。完成了对语法树的遍历和调整之后，就会把填充了所有所需信息的符号表交给com.sun.tools.javac.jvm.ClassWriter类，由这个类的writerClass()方法输出字节码，生成最终的Class文件，编译过程结束。

第11章 晚期（运行期）优化

当虚拟机发现某个方法或代码块的运行特别频繁时，就会把这些代码认定为热点代码。为了提高热点代码的执行效率，在运行时，虚拟机将会把这些代码编译成功与本地平台相关的机器码，并进行各种层次的优化，完成这个任务的编译器称为即时编译器（JIT）。

11.1.1 解释器与编译器
HotSpot同时包含解释器与编译器，当程序需要迅速启动和执行的时候，解释器可以首先发挥作用，省去编译时间，立即执行。在程序运行后，随着时间的推移，编译器逐渐发挥作用，把越来越多的代码编译成本地代码之后，可以获取更高的执行效率。解释器还可以作为编译器激进优化时的一个“逃生门”（让编译器根据概率选择一些大多数时候都能提升运行速度的优化手段，当激进优化的假设不成立，可以通过逆优化退回到解释状态继续执行）。HotSpot内置两个即时编译器，C1（Client Compiler）和C2（Server Compiler），默认采用解释器与其中一个编译器直接配合工作，称混合模式。C1获取更高的编译速度，C2获取更好的编译质量。HotSpot启用分层编译的策略。

11.1.2 编译对象与触发条件
在运行过程中会被即时编译器编译的热点代码有两类，被多次调用的方法和被多次执行的循环体。

• 被多次调用的方法：由于方法调用触发的编译，整个方法作为编译对象（标准的JIT编译方式）。
• 被多次执行的循环体：循环体触发的编译，整个方法作为编译对象，这种编译发生在方法执行过程中，因此形象地称之为栈上替换，简称OSR编译，即方法栈帧还在栈上，方法就被替换了。

热点探测：判断一段代码是不是热点代码，是不是需要触发即时编译的行为。
热点探测的方式：

• 基于采样的热点探测：采用这种方法的虚拟机会周期性地检测各个线程的栈顶，如果发现某个方法经常出现在栈顶，那这个方法就是热点方法。
• 基于计数器的热点探测：采用这种方法的虚拟机会为每个方法（甚至是代码块）建立计数器，统计方法的执行次数，如果执行次数超过一定的阈值就认为它是热点方法。

HotSpot使用的就是第二种基于计数器的热点探测方法，因此它为每个方法准备了两类计数器，方法调用计数器和回边计数器。

• 方法调用计数器：默认阈值在Client模式下1500次，在Server模式下是10000次。如果不做任何设置，方法调用计数器统计的并不是方法被调用的绝对次数，而是一个相对的执行频率，即一段时间之内方法被调用的次数。当超过一定的时间限度，如果方法的调用次数仍然不足以让它提交给即时编译器，那这个方法的调用计数器就会被减少一半，这个过程称为方法调用计数器热度的衰减，而这段时间就称为此方法统计的半衰周期。进行热度衰减的动作是在虚拟机进行垃圾收集时顺便进行的。
  
• 回边计数器：作用是统计一个方法中循环体代码执行的次数，目的是为了触发OSR编译。阈值计算公式：
  Client模式：方法调用计数器阈值 x OSR比率 / 100。OSR比率默认值933，如果去默认值，那Client模式虚拟机的回边计数器的阈值为13995。
  Server模式：方法调用计数器阈值 x (OSR比率 - 解释器监控比率) / 100。OSR比率默认值为140，解释器监控比率默认值为33，如果取默认值，那Server模式虚拟机的回边计数器的阈值为10700。
  
  与方法计数器不同，回边计数器没有计数热度衰减的过程，因此这个计数器统计的就是该方法循环执行的绝对次数。当计数器溢出的时候，它还会把方法计数器的值也调整到溢出状态，这样下次再进入该方法的时候就会执行标注编译过程。

11.1.3 编译过程
无论是方法调用产生的即时编译请求，还是OSR编译请求，虚拟机代码编译器还未完成之前，都仍然将按照解释方式继续执行，而编译动作则在后台的编译线程中进行。
对于Client Compiler来说它是一个简单快速的三段式编译器：

1. 第一阶段：一个平台独立的前端将字节码构造成功一种高级总监代码表示（HIR）,HIR使用静态单分配的形式来代表代码值，这可以使得一些在HIR的构造过程之中和之后进行的优化动作更改容易实现。在此之前编译器会在字节码上完成一部分基础优化。
2. 第二阶段：一个平台相关的后端从HIR中产生低级中间代码表示（LIR），而在此之前会在HIR上完成另外一些优化，以便让HIR达到更高效的代码表示形式。
3. 第三阶段：在平台相关的后端使用线性扫描算法在LIR上分配寄存器，并在LIR上做窥孔优化，然后产生机器代码。