Java编译器优化方法简介

你对Java编译器优化的概念和方法是否熟悉,这里和大家分享一下,Java应用程序的编译过程与静态编译语言(例如C或C++)不同。静态编译器直接把源代码转换成可以直接在目标平台上执行的机器代码,不同的硬件平台要求不同的编译器。Java编译器把Java源代码转换成可移植的JVM字节码。

两条编码准则与Java编译器

我们在写代码时,常常会提到两条原则:

1、方法要尽量短,大方法要分解成小方法;

2、不要重复发明轮子。

我们在强调这两个原则的时候,往往只关注的是代码简洁、易维护等方便我们人的因素,其实这样做还可以大大方便Java编译器优化代码。

Java编译器优化简介:

Java应用程序的编译过程与静态编译语言(例如C或C++)不同。静态编译器直接把源代码转换成可以直接在目标平台上执行的机器代码,不同的硬件平台要求不同的编译器。Java编译器把Java源代码转换成可移植的JVM字节码。与静态编译器不同,Javac几乎不做什么优化,在静态编译语言中应当由编译器进行的优化工作,在Java中是在程序执行的时候,由运行时执行优化。

即时编译

对于证实概念的实现来说,解释是合适的,但是早期的JVM由于太慢。下一代JVM使用即时(JIT)编译器来提高执行速度。按照严格的定义,基于JIT的虚拟机在执行之前,把所有字节码转换成机器码,但是以惰性方式来做这项工作:JIT只有在确定某个代码路径将要执行的时候,才编译这个代码路径(因此有了名称“即时编译”)。这个技术使程序能启动得更快,因为在开始执行之前,不需要冗长的编译阶段。

JIT技术看起来很有前途,但是它有一些不足。

JIT消除了解释的负担(以额外的启动成本为代价),但是由于若干原因,代码的优化等级仍然是一般般。为了避免Java应用程序严重的启动延迟,JIT编译器必须非常迅速,这意味着它无法把大量时间花在优化上。所以,早期的JIT编译器在进行内联假设(inliningassumption)方面比较保守,因为它们不知道后面可能要装入哪个类。

虽然从技术上讲,基于JIT的虚拟机在执行字节码之前,要先编译字节码,但是JIT这个术语通常被用来表示任何把字节码转换成机器码的动态编译过程——即使那些能够解释字节码的过程也算。

HotSpot动态编译

HotSpot执行过程组合了编译、性能分析以及动态编译。它没有把所有要执行的字节码转换成机器码,而是先以解释器的方式运行,只编译“热门”代码——执行得最频繁的代码。当HotSpot执行时,会搜集性能分析数据,用来决定哪个代码段执行得足够频繁,值得编译。

只编译执行最频繁的代码有几项性能优势:没有把时间浪费在编译那些不经常执行的代码上;这样,编译器就可以花更多时间来优化热门代码路径,因为它知道在这上面花的时间物有所值。而且,通过延迟编译,编译器可以访问性能分析数据,并用这些数据来改进优化决策,例如是否需要内联某个方法调用。

为了让事情变得更复杂,HotSpot提供了两个Java编译器:客户机编译器和服务器编译器。默认采用客户机编译器;在启动JVM时,您可以指定-server开关,选择服务器编译器。服务器编译器针对最大峰值操作速度进行了优化,适用于需要长期运行的服务器应用程序。客户机编译器的优化目标,是减少应用程序的启动时间和内存消耗,优化的复杂程度远远低于服务器编译器,因此需要的编译时间也更少。

HotSpot服务器编译器能够执行各种样的类。它能够执行许多静态编译器中常见的标准优化,例如代码提升(hoisting)、公共的子表达式清除、循环展开(unrolling)、范围检测清除、死代码清除、数据流分析,还有各种在静态编译语言中不实用的优化技术,例如虚方法调用的聚合内联。

持续重新编译

HotSpot技术另一个有趣的方面是:编译不是一个全有或者全无(all-or-nothing)的命题。在解释代码路径一定次数之后,会把它重新编译成机器码。但是JVM会继续进行性能分析,而且如果认为代码路径特别热门,或者未来的性能分析数据认为存在额外的优化可能,那么还有可能用更高一级的优化重新编译代码。JVM在一个应用程序的执行过程中,可能会把相同的字节码重新编译许多次。为了深入了解编译器做了什么,可以-XX:+PrintCompilation标志调用JVM,这个标志会使编译器(客户机或服务器)每次运行的时候打印一条短消息。

栈上(On-stack)替换

HotSpot开始的版本编译的时候每次编译一个方法。如果某个方法的累计执行次数超过指定的循环迭代次数(在HotSpot的第一版中,是10,000次),那么这个方法就被当作热门方法,计算的方式是:为每个方法关联一个计数器,每次执行一个后向分支时,就会递增计数器一次。但是,在方法编译之后,方法调用并没有切换到编译的版本,需要退出并重新进入方法,后续调用才会使用编译的版本。

结果就是,在某些情况下,可能永远不会用到编译的版本,例如对于计算密集型程序,在这类程序中所有的计算都是在方法的一次调用中完成的。重量级方法可能被编译,但是编译的代码永远用不到。

HotSpot最近的版本采用了称为栈上(on-stack)替换(OSR)的技术,支持在循环过程中间,从解释执行切换到编译的代码(或者从编译代码的一个版本切换到另一个版本)。

从Java编译、执行优化的原理可以看出,编译器会将“热门代码块”、“热门方法”持续优化,以提高性能,再回顾我们常常强调的两个原则:

1、尽量写小方法。小方法意味着功能单一、重用性高,自然会被很多地方用到,容易变成“热门方法”。

相关推荐