Javac编译器早期优化

Java的早期(编译器)优化

1. Javac编译器

1.1 编译步骤

编译过程可分为3个步骤:

  1. 解析与填充符号过程
  2. 插入式注解处理器的注解处理过程
  3. 分析与字节码生成过程

1.2 解析与填充符号表

解析步骤包含了词法分析和语法分析两个过程。

1.2.1 词法、语法分析

词法分析是将源代码的字符流转变为标记(Token)集合,标记是编译过程的最小元素。
语法分析是根据Token序列构建抽象语法树的过程。
抽象语法树是一种用来描述程序代码语法结构的树形表示方式,语法树中的每一个节点都代表着程序代码中的一个语法结构,例如包、类型、修饰符、运算符、接口等。

1.2.2 填充符号表

符号表是由一组符号地址和符号信息构成的表格。符号表中登记的信息在编译的不同阶段都要用到。在语义分析中,符号表所登记的内容将用于语义检查和产生中间代码。在目标代码生成阶段,当对符号名进行地址分配时,符号表是地址分配的依据。

1.3 注解处理器

JDK1.6之中提供了一组插入式注解处理器的标准API在编译期间对注解进行处理,可以把它看做是一组编译器插件,在这些插件中,可以读取、修改、添加抽象语法树中的任意元素。若这些插件在处理注解期间对语法树进行了修改,编译器将回到解析及填充符号表的过程重新处理,直到所有插入式注解处理器都没有再对语法树进行修改为止,每一次循环称为一个Round。

1.4 语义分析与字节码生成

语法树能表示一个结构正确的源程序的抽象,但无法保证资源程序是符合逻辑的。而语义分析的主要任务是对结构上正确的源程序进行上下文有关性质的审查,如类型审查。

1.4.1 标注检查

在Javac的编译过程中,语义分析过程分为标注检查以及数据及控制流分析两个步骤。
标注检查步骤检查的内容包括诸如变量使用前是否已被声明、变量与赋值之间的数据类型是否能够匹配等。
在标注检查步骤中,还有一个重要的动作称为变量折叠。例如:
在代码中写下:

int a = 1 + 2;

在经过变量折叠之后,1 + 2会被折叠为字面量3。所以在代码里定义int a = 1 + 2比起直接定义int a = 3并不会增加程序运行期的运算量。

1.4.2 数据及控制流分析

数据及控制流分析是对程序上下文逻辑更进一步的验证,他可以检查出诸如程序局部变量在使用前是否有赋值、方法的每条路径是否都有返回值、是否所有的受检查异常都被正确处理了等问题。

1.4.3 解语法糖

语法糖(Syntactic Sugar),也称糖衣语法,由英国计算机科学家Peter J.Landin发明的一个术语,指在计算机语言中添加的某种语法,这种语法对语言的功能并没有影响,但是更方便程序员使用。
Java中的语法糖会在编译阶段还原回简单的基础语法结构,这个过程成为解语法糖

1.4.4 字节码生成

字节码生成是Javac编译过程的最后一个阶段,此阶段编译器还进行了少量的代码添加和转换工作。实例构造器<init>()和类构造器<clinit>()就是在这个阶段添加到语法树中的。完成了对语法树的遍历和调整之后,生成最终的Class文件。

2. Java语法糖的味道

2.1 泛型与类型擦除

泛型的本质是参数化类型,即所所操作的数据类型被指定为一个参数。这种参数类型可以应用在类、接口和方法的创建中,分别被称为泛型类、泛型接口和泛型方法。
Java中泛型只存在于源代码中,在编译阶段会擦除泛型,替换为原来的原生类型(Raw Type,也称裸类型),并在相应地方插入强制转型代码。

2.2 自动装箱、拆箱与遍历循环

包装类的“==”运算在不遇到算术运算的情况下不会自动拆箱,它们的equals()方法不处理数据转型

时间: 2024-12-13 20:29:20

Javac编译器早期优化的相关文章

早期(编译器)优化--javac编译器

java语言的"编译期"其实是一段"不确定"的操作过程,可能是指一个前端编译器把.java变成.class的过程,也可能是指虚拟机的后端运行期编译器(JLT)把字节码转变成机器码的过程,也有可能是使用静态提前编译器(AOT)直接把.java文件直接编译成本地机器代码的过程.现在讨论的是第一种编译器. Javac编译器 ①javac的源码与测试   运行com.sun.tools.javac.Main的main()方法来执行编译,与命令行中使用javac的命令没什么区

5.4.1 中间代码生成与优化_UCC编译器的优化_删除无用的临时变量和优化跳转目标

5.4.1  删除无用的临时变量和优化跳转目标 UCC编译器在优化方面做的工作不多,其中与优化有关的函数主要有以下几个: (1)    Symbol  Simplify(Type ty, int opcode, Symbol src1,Symbol src2); 用于进行"代数恒等式"的简化,例如表达式"a<<0"可简化为a. (2)    Symbol  TryAddValue(Type ty, int op, Symbol src1,Symbol s

009 早期(编译器)优化

javac 编译的过程大致可以分为3个过程,分别是: 解析与填充符号表过程. 插入式注解处理器的注解处理过程. 分析与字节码生成过程. 这3个步骤之间的关系与交互顺序如图 1.解析与填充符号表 ①词法.语法分析 词法分析是将源代码的字符流转变为标记(Token)集合,单个字符是程序编写过程的最小元素,而标记则是编译过程的最小元素,关键字.变量名.字面量.运算符都可以成为标记,在Javac的源码中,词法分析过程由com.sun.tools.javac.parser.Scanner类来实现. 语法分

javac 编译器原理

Javac 是什么 javac 是一种编译器,能讲一种语言规范转化成另外一种语言规范.如C,C++都是将源码直接编译成目标机器码,这个目标机器码是CPU直接执行的指令集合. 这些指令集合也就是底层的一种语言规范,机器能够直接识别这种语言规范,但是人不可能直接去写目标机器码. 从某种意义来说,有了编译器才有了程序语言的繁荣,因为编译器是人类和机器沟通的一个纽带.javac 的编译器也是将JAVA 这种对人非常友好的编程语言编译成对所有机器都非常友好的语言. javac 的任务就是将Java源码编译

对openjdk的javac编译器扩展了一个语法糖

我的扩展功能描述如下: 在java的现有语法中加入var来声明变量,并且可以根据初始化数据来自动类型推导. 举两个例子: 例一: 如下JAVA代码(注意这里的var是新语法): import java.util.*; public class TestHello { private var i = new ArrayList<List<?>>(); } 在用我修改的编译器编译之后,再用反编译工具反编译之后会看到如下形式的代码: import java.util.ArrayList;

【转】volatile关键字。编译器不优化,多线程会改。防止随时变动的

来自:http://www.cnblogs.com/yc_sunniwell/archive/2010/07/14/1777432.html 1. 为什么用volatile? C/C++ 中的 volatile 关键字和 const 对应,用来修饰变量,通常用于建立语言级别的 memory barrier.这是 BS 在 "The C++ Programming Language" 对 volatile 修饰词的说明: A volatile specifier is a hint to

编译器的优化

编译器使用的优化技巧 a.1.  变量优化        b.加法的优化 变量+变量 = lea reg32,[变量+变量] 变量+变量 = add eax,xx          变量+常量 = add 变量+常量          变量+1    = inc 变量      b.减法的优化 变量-变量 = lea reg32,[变量-变量] 变量-变量 = sub xx,xx          变量-常量 = add 变量+补码(常量)          变量-1    = dec 变量 c

JVM系列五(javac 编译器).

一.概述 我们都知道 *.java 文件要首先被编译成 *.class 文件才能被 JVM 认识,这部分的工作主要由 Javac 来完成,类似于 Javac 这样的我们称之为前端编译器: 但是 *.class 文件也不是机器语言,怎么才能让机器识别呢?就需要 JVM 将 *.class 文件编译成机器码,这部分工作由JIT 编译器完成: 除了这两种编译器,还有一种直接把 *.java 文件编译成本地机器码的编译器,我们称之AOT 编译器. 二.javac 的编译过程 首先,我们先导一份 java

Javac编译器

http://download.java.net/openjdk/jdk8/ http://cdn.parleys.com/p/5148922b0364bc17fc56c995/1355320983023.pdf \openjdk\langtools\src\share\classes\com\sun\tools\javac\parser\JavacParser.java protected StringBuilder foldStrings(JCTree tree) https://en.wi