[Java虚拟机读书笔记] 10章 早期(编译期优化)优化

1.Java中"编译期"是一段不确定的操作过程,它可以指代:

(1)前端编译器把java文件变成class文件的过程(常见的Javac,Eclipse JDT);

(2)虚拟机后端运行期编译器,把字节码变成机器码(JIT编译器)

(3)静态提前编译器直接把java文件编译成本地机器码的过程(AOT编译器);

2.基本的性能优化集中在后端即时编译器中.

3.Javac的编译过程主要分为三步:

(1)解析与填充符号表

(2)插入式注解处理器的注解处理过程

(3)分析与字节码生成过程

4.解析与填充符号表:

(1)词法分析:将源代码的字符流转变为标记集合,标记是编译过程的最小单位元素,关键字,变量名,字面量,运算符都可以成为标记

(2)语法分析: 根据标记集合序列构造抽象语法树的过程,抽象语法树是一种用来描述程序代码语法结构的树形表示,语法树的每一

     个节点都代表这程序代码的一个语法结构,例如包,类型,修饰符,运算符,接口等

(3)填充符号表:符号表是由一组符号地址和符号信息构成的表格,符号表中的信息在编译的不同阶段都要用到,在语义分析中,符号表

     所等级的内容将用于语义检查和产生中间代码.在目标代码生成阶段,当对符号名进行地址分配时,符号表是地址分配的依据.

5注解器:

注解器能在编译时间对注解进行处理.我们可以把他看作是一组编译器的插件,可以读取,修改,添加抽象语法树中的任意元素,如果这些

插件在处理注解期间对语法树进行了修改,编译器会回到解析及填充字符表的过程重新出黎,直到没有对语法树进行修改为止

6.语义分析和字节码生成

(1)语义分析:主要任务是对结构上正确的源程序进行上下文有关性质的审查

A.标注检查:包括诸如变量使用前时候已经声明,变量与赋值之间的数据类型是否匹配

B.数据及控制流分析:对程序上下文进一步验证,可以检查出诸如程序局部变量在使用前是否有赋值,方法的每条路经是否有返回值等

(2)解语法糖:将语法糖在编译期间还原为简单的基础语法结构

(3)字节码生成:该阶段不仅仅把前面各个步骤所生成的信息(语法树,符号表)转化成字节码写到磁盘中,编译器还进行了少量的代码添加

     和转换工作(如实力构造器<init>和类构造器<clinit>就是这个阶段添加到语法树之中),将语句块,变量初始化,调用父类的实例构造器

     等操作收敛到<init>和<clinit>中

7.语法糖:

(1)泛型和类型擦除:Java语言中的泛型只存在于程序源码中,在编译后的字节码文件中,早已经替换为原生类型,并且在相应位置插入了

     强制转换型代码.Java语言中的泛型实现方法称之为类型擦除,伪泛型(当使用泛型进行重载时,并不能通过,但返回值不同时,可以通过->在

      Class文件中只要描述符不一样就共存)