Detailed introduction to JAVA Virtual Machine (JVM) (7) - JVM optimization

Taking this picture as an example, from .java to .class is the compilation process, and from .class to machine code is the interpretation process. They are optimized separately below. In the optimization process, the optimization in the compilation stage is mainly the optimization of the front-end compiler, and the optimization in the running stage is mainly the optimization of the just-in-time compiler.

Compiler optimization

##Compilation process

#The above is the javac compilation process diagram, and the following is the main code of the javac compilation process.

The following steps will be explained in detail

1. Parsing and filling the symbol table

Lexical analysis

Convert the character stream of source code into a collection of tokens. Tokens are the smallest elements in the compilation process, such as a, =, b, int.

Syntax analysis

Construct an abstract syntax tree based on the Token sequence. In the future, the compiler will basically no longer operate on source code files, and subsequent operations will be based on the abstract syntax tree. Abstract syntax tree is a tree representation used to describe the syntax structure of program code. The nodes represent a syntax structure in the code, such as modifiers, return values, etc.

Filling the symbol table

The symbol table is a table composed of a set of symbol addresses and symbol information, used at different stages of compilation. For example, in semantic analysis, it is used for semantic checking and intermediate code generation; in the target code generation stage, it is used as the basis for address allocation.

2. Annotation processorThis part is the process of the plug-in annotation processor processing annotations during compilation. It can modify the syntax tree. Once modified, the compiler will return to the first step above for reprocessing. Each loop is called a Round, which is the loopback process in the figure above.

3. Semantic analysis and bytecode generationAfter syntax analysis, the generated syntax tree is an abstraction of a source program with a correct structure, but there is no guarantee that the source program is Logical. The task of semantic analysis is to examine the context-sensitive nature of a structurally correct source program. For example, the errors in the following code can only be checked during the semantic analysis stage.

boolean a=false; char b=2; int c=a+b

This stage includes the following 4 steps:

Annotation check

Whether the variable has been declared before use, the data between the variable and the assignment Whether the type can match, etc. There is also a constant fold, which changes a=1 2 into a=3. Therefore, a=1 2 and a=3 in the code will not increase the amount of CPU instruction operations during program running.

Data and control flow analysis

Check whether the local variables of the program are assigned a value before use, whether each path of the method has a return value, and whether all are checked Exceptions are handled correctly and other issues. There is also a data and control flow analysis during class loading. The purpose is basically the same, but the scope of verification is different. Some verification items can only be run during compilation or runtime.

Understanding syntax sugar

Syntactic sugar is to add a certain syntax to a computer language. It has no impact on the function of the language, but can improve the readability of the program. Syntactic sugar includes generics, automatic unboxing, etc. These syntaxes are not supported by the virtual machine runtime and they revert back to the base syntax structure during the compilation phase. This process is called decoding syntactic sugar.

Bytecode generation

Convert the information (syntax tree, symbol table) generated in the previous steps into bytecode and write it to the disk, then add and convert A small amount of code. For example, replace the string addition operation with the append() operation of StringBuffer or StringBuilder.

At this point, the Class file is generated.

语法糖

语法糖是java中添加某种语法，对语言的功能没有影响，但是可以增加程序的可读性。包括泛型、内部类、枚举类等。

1、泛型与类型擦除
泛型可用于类、接口和方法的创建中，用于对放入集合元素的类型的约束。泛型只在程序源码中存在，在编译阶段有解语法糖的步骤，所以在.Class文件中，已经变为了原来的原生类型了。这个过程叫做类型擦除。
泛型擦除前：

public static void main(String[] args){ Map map=new HashMap<>(); map.put("姓名","小明"); map.put("性别","男"); sout(map.get("姓名")); sout(map.get("性别")); }

泛型擦除后：

public static void main(String[] args){ Map map=new HashMap(); map.put("姓名","小明"); map.put("性别","男"); sout((String)map.get("姓名")); sout((String)map.get("性别")); }

所以ArrayList和ArrayList在运行期时是同一个类。

2、自动拆装箱、循环遍历
这些是java中使用最多的语法糖。编译前：

public static void main(String[] args){ List list=Arrays.asList(1,2,3,4); int sum=0; for(int i:list){ sum +=i; } System.out.println(sum); }

编译后：

public static void main(String[] args){ List list=Arrays.asList(new Integer[] { Integer.valueOf(1), Integer.valueOf(2), Integer.valueOf(3), Integer.valueOf(4)})； int sum=0; for(Iterator localIterator=list.iterator();localIterator.hasNext();){ int i=((Integer)localIterator.next()).intValue(); sum +=i; } System.out.println(sum); }

可见，自动拆装箱在编译后被转化为了对应的包装和还原方法，如Integer.valueOf()和Integer.intValue()。
遍历循环则把代码还原为了迭代器的实现。

3、条件编译
根据布尔常量值的真假，编译器会把分支中不成立的代码块消除掉。

public static void main(String[] args){ if(true){ sout("block 1"); }else{ sout("block 2"); } }

编译后，代码变为：

public static void main(String[] args){ sout("block 1"); }

运行期优化

一般情况下，我们将.java编译成.class，.class再解释成机器码。但是也有特殊的情况。有些代码调用比较频繁，比如某个方法或代码块的运行特别频繁，为了提高程序的执行效率，在运行时，虚拟机会把这个代码直接编译成机器码，并进行各种层次的优化。这样的代码称为热点代码。完成这个任务的编译器被称为即时编译器。但是其并不是虚拟机必需的部分。

即时编译器的概述

（1）为什么虚拟机要使用解释器和编译器并存的架构？

虚拟机里包含着解释器和编译器。当程序需要迅速启动和执行的时候，解释器可以首先发挥作用，省去编译的时间，立即执行。在程序运行后，随着时间的推移，编译器逐渐发挥作用，把越来越多的代码编译成本地代码之后，可以获取更高的执行效率。

当程序运行环境中内存资源限制较大，可以使用解释执行节约内存，反之可以使用编译来提升效率。

（2）为什么虚拟机要实现两个不同的即时编译器？

虚拟机中内置了两个即时编译器，分别为Client Compiler和Server Compiler，又称为C1和C2。

默认只使用其中的一个，至于选择哪个，取决于虚拟机会根据自身版本和宿主机器的硬件性能自动选择运行模式。用户也可以使用“-client”、“-server”进行指定。

（3）程序何时使用解释器执行？何时使用编译器执行？

虚拟机有一个分层编译策略。

第0层：程序解释执行，解释器不开启性能监控功能，可触发第1层编译

第1层：也称为C1编译，将字节码编译为本地代码，进行简单、可靠的优化，如有必要将加入性能监控的逻辑。

第2层：也称为C2编译，将字节码编译为本地代码，但是会启用一些编译耗时较长的优化，甚至会根据性能监控信息进行一些不可靠的激进优化。

（4）哪些程序代码会被编译为本地代码？如何编译为本地代码？

热点代码包括如下两类，其均把整个方法作为编译对象。

a、被多次调用的方法

b、被多次执行的循环体

热点探测是用来判断一段代码是否为热点代码，其方式有两种：

a、基于采样

b、基于计数器。HotSpot使用的是这种。它为每个方法准备了两类计数器：统计方法被调用次数的方法调用计数器和统计一个方法中循环体代码执行次数的回边计数器。

（5）如何从外部观察及时编译器的编译过程和编译结果？

可以使用 -xx:+PrintCompilation 查看哪些方法被即时编译器编译了。

优化技术有哪些？

虚拟机的即时编译器在生成代码时，采用了如下的代码优化技术。

（1）公共子表达式消除

如果一个表达式E已经计算过了，那如果再次出现E时就不会再对它进行计算。比如：

int d=(a*b)*12+c+(c+b*a)

如果这段代码交给javac编译器，则不会进行任何优化。如果交给即时编译器，会被进行如下步骤的优化：

第一步：消除公共子表达式

int d=E*12+c+(c+E)

第二步：代数化简：

int d=E*13+c*2

（2）数组边界检查消除

数组边界检查是什么？
如果有一个数组foo[]，在java语言中访问数组元素foo[i]的时候，系统将会自动进行上下界的范围检查，检查i是否满足0≤i≤foo.length这个条件。

那怎么进行消除呢？
a、把运行期检查提到编译期完成。如foo[3]，只要在编译期根据数据流分析来确定foo.length的值，并判断下标“3”没有越界，执行的时候就不用判断了。
b、隐式异常处理。这种思路通常用于空指针检查和算符运算中除数为零的情况。

if(foo!=null){ return foo.value; }else{ throw new NullPointException(); }

被隐式异常处理优化后，变为如下代码：

try{ return foo.value; }catch(segment_fault){ uncommon_trap(); }

除了数组边界检查消除，还有自动装箱消除、安全点消除、消除反射等。

（3）方法内联

把目标方法的代码“复制”到发起调用的方法之中，避免发生真实的方法调用。

public int add(int x1, int x2, int x3, int x4) { return add1(x1, x2) + add1(x3, x4); } public int add1(int x1, int x2) { return x1 + x2; }

运行一段时间后JVM会把add1方法去掉，并把代码翻译成：

public int add(int x1, int x2, int x3, int x4) { return x1 + x2 + x3 + x4; }

（4）逃逸分析

当一个对象在方法中被定义后，它可能被外部方法所引用，比如作为调用参数传递到其它方法中，这称为方法逃逸。同理，如果被外部线程访问到，它就称为线程逃逸。

对变量进行相应分析就叫做逃逸分析。如果能证明别的方法或线程无法通过任何途径访问到这个对象，则可以为这个变量进行一些优化。

优化的手段有栈上分配、同步消除、标量替换等。以同步消除为例，如果逃逸分析能够确定一个变量不会逃逸出线程，即无法被其它线程访问到，那对这个变量实施的同步措施就可以消除掉了。

以上内容便是关于JAVA虚拟机中JVM优化的全部介绍，更多相关问题请访问PHP中文网：JAVA视频教程

The above is the detailed content of Detailed introduction to JAVA Virtual Machine (JVM) (7) - JVM optimization. For more information, please follow other related articles on the PHP Chinese website!