从原理聊 JVM(五):JVM 的编译过程和优化手段 | 京东云技术团队
一、前端编译
前端编译就是将 Java 源码文件编译成 Class 文件的过程,编译过程分为 4 步:
1 准备
初始化插入式注解处理器(Annotation Processing Tool)。
2 解析与填充符号表
将源代码的字符流转变为标记(Token)集合,构造出抽象语法树(AST)
。
抽象语法树每个节点都代表着程序代码中的一个语法结构,包含包、类型、修饰符、运算符、接口、返回值、代码注释等内容。
编译器的后续行为都是基于抽象语法树来进行。
符号表可以理解为一个 K-V 结构的集合,存储了以下信息:
变量名和常量
过程和函数名称
文字常量和字符串
编译器生成的临时文件
源语言中的标签
编译器在运行过程中会通过符号表来方便查找所有标识。
3 注解处理器
注解处理器可以看做是一组编译器的插件,用来读写抽象语法树中任意元素。
简单来说,注解处理器的作用就是让编译器对特定注解执行特定逻辑,一般用来生成代码,比如常用的 lombok 和 mapstruct 都是基于此。
如果在这期间语法树被修改了,编译器将回到“解析与填充符号表”的过程重新处理,这个循环被称作“轮次(Round)”。
这是开发人员唯一能控制编译器行为的方式。
4 分析与字节码生成
前置步骤可以成功生成一个结构正确的语法树,语义分析则是校验语法树是否符合逻辑。
语义分析又分为四步:
4.1 标注检查
标注检查主要用来检查表量是否被声明、变量与赋值是否匹配等等。
在这个阶段,还会进行被称作“常量折叠”的优化,比如 Java 代码int a = 1 + 2;
,实际编译后会被折叠为int a = 3
;
4.2 数据及控制流分析
数据流分析和控制流分析是对程序上下文逻辑更进一步的验证,它可以检查出诸如程序局部变量在使用前是否有赋值、方法的每条路径是否都有返回值、是否所有的受查异常都被正确处理了等问题。
4.3 解语法糖
Java 中存在非常多的语法糖用来简化代码实现,比如自动的装箱拆箱、泛型、变长参数等等。这些语法糖会在编译器被还原为基础语法结构,这个过程被称为解语法糖。
4.4 字节码生成
这是javac
编译过程的最终阶段,编译器会在这个阶段把前面生成的抽象语法树、符号表生成为 class 文件,还进行了少量的代码添加和转换。
二、运行时编译
运行时编译的主要目的是为了将代码编译成本地代码,从而节省解释执行的时间。
但是 JVM 并不是启动后立刻开始执行编译,而是为了执行效率先进行解释执行。等到程序运行过程中,根据热点探测,找出热点代码后,对其进行针对性的编译来逐渐代替解释执行。所以 HotSpot JVM 采用的是解释器和即时编译器并存的架构。
1 使用编译执行的时机
Sun JDK 主要根据方法上的一个计数器来计算是否超过阈值,如果超过则采用编译执行的方式。
调用计数器
记录方法调用次数,在 client 模式下默认为 1500 次,在 server 模式下默认为 10000 次,可通过-XX:CompileThreshold=10000
来设置
回边计数器
循环执行部分代码的执行次数,默认在 client 模式时为 933,在 server 模式下为 140,可通过-XX:OnStackReplacePercentage=140
来设置
2 编译模式
在编译上,Sun JDK 提供两种模式:client compiler(-client)和 server compiler(-server)
2.1 Client compiler
又称 C1,较为轻量级,主要包括以下几方面:
2.1.1 方法内联
编译器所做最重要的优化是方法内联
遵循面向对象设计,属性访问通常通过 setter/getter 方法而非直接调用,而此类方法调用的开销很大,特别是相对方法的代码量而言。
现在的 JVM 通常都会用内联代码的方式执行这些方法,举个例子:
而编译后的代码本质上执行的是:
内联默认是开启的,可通过-XX:-Inline
关闭,然而由于它对性能影响巨大,并不建议关闭。
方法是否内联取决于它有多热以及它的大小。
2.1.2 去虚拟化
如发现类中的方法只提供了一个实现类,那么对于调用了此方法的代码,将进行方法内联
如果 JVM 中只有 Cat 类实现了 Animal 接口,execute()
方法被编译时,会演变成类似如下结构:
即execute()
方法直接内联了Cat
类中eat()
方法的内部逻辑。
2.1.3 冗余消除
冗余消除指在编译时,根据运行情况进行代码折叠或者消除
例如:
在执行 C1 编译后,会演变成如下结构:
这就是为什么,通常不建议直接调用log.debug()
,而要先判断的原因。
2.2 Server complier
又称 C2,较 C1 更为重量级,C2 更多在于全局优化,而非代码块的优化。
逃逸分析
逃逸分析指的是根据运行状况来判断方法中变量是否会被方法外部读取,如果被外部读取,则认为是逃逸的。
如果通过命令-XX:+DoEscapeAnalysis
(默认为 true)开启逃逸分析,server 编译器会执行较为激进的优化措施。
2.2.1 标量替换
当 point 对象在后面执行过程中未被使用到时,代码经过编译会演变为如下结构:
2.2.2 栈上分配
在上面的例子中,如果point
没有逃逸,那么 C2 会选择在栈上直接创建point
对象,而非堆上。
在栈上分配的好处一方面是对象创建更加快速,另一方面是回收时随着方法的结束,对象也被回收了。
2.2.3 同步削除
经过分析如果发现point
未逃逸,则代码会在编译后变成如下结构:
2.3 OSR(On Stack Replace,栈上替换)
OSR 和 C1、C2 主要不同在于,OSR 仅仅替换循环代码体的入口,而 C1、C2 替换的是方法调用的入口。
因此在 OSR 编译后会出现的现象是,方法的整段代码被编译了,但只有在循环代码体部分才执行编译后的机器码,而其他部分仍然是解释执行方式。
如果对方法进行编译优化,等 JVM 在某个方法中发现这个方法很热,需要编译,那么只有下次调用这个方法才能享受到被优化后的代码,而本次调用依旧使用优化前的代码。OSR 主要就是解决这个问题,比如 JVM 发现方法中这个循环过热,那么仅仅编译这个循环体就好了,执行引擎也会在进入下一个循环时跳转到新编译的代码中去。
作者:京东科技 康志兴
来源:京东云开发者社区 转载请注明来源
版权声明: 本文为 InfoQ 作者【京东科技开发者】的原创文章。
原文链接:【http://xie.infoq.cn/article/bee5ef3e671a53351600714f7】。文章转载请联系作者。
评论