早期(编译器)优化

简介: 一、概述 前端编译器:把.java文件转变成.class文件的过程,Sun的JavacJIT编译器:后端运行期编译器(Just in time Compiler ),把字节码转变成机器码,HotSpot VM的C1、C2编译器AOT编译器:直接吧.

一、概述

前端编译器:把.java文件转变成.class文件的过程,Sun的Javac
JIT编译器:后端运行期编译器(Just in time Compiler ),把字节码转变成机器码,HotSpot VM的C1、C2编译器
AOT编译器:直接吧.java文件编译成本地机器码代码

本章接仅限于第一种编译过程

二、Javac编译器

编译过程分为3个过程

  • 解析与填充符号表过程
  • 插入式注解处理器的注解处理过程
  • 分析与字节码生成过程

1、解析与填充符号表

解析步骤包括词法分析、语法分析两个过程

  • 词法分析是将源代码的字符流转变为标记(Token)集合,单个字符是程序编写过程的最小元素,而标记则是编译过程的最小元素,
    关键字、变量名、字面量、运算符都可以成为标记。
  • 语法分析是根据标记序列构造抽象语法树(Abstract Syntax Tree)的过程,抽象语法树是一种用来描述程序代码语法结构的树形表示方式,
    语法树的每一个节点都代表着程序代码中的一个语法结构,例如包、类型、修饰符、运算符、接口、返回值甚至代码注解。

符号表(Symbol table)是由一组符号地址和符号信息构成的表格

2、注解处理器

插入式注解处理器在编译期间对注解进行处理,可以读取、修改添加抽象语法树中的任意元素

3、语义分析与字节码生成

语义分析过程分为标注检查以及数据及控制流分析两个步骤;
标注检查的内容包括诸如变量使用前是否已被声明、变量与赋值之间的数据类型是否匹配等。
标注检查中还会进行常量折叠,例如定义:

   
int a = 1 + 2;

在语法树上仍能看到字面量1、2,但经过常量折叠后,将会被折叠为字面量3。因此代码里定义“a=1+2”比起直接定义“a=3”并不会增加程序
运行期一个CPU指令的运算量。

数据及控制流分析可以检查出程序局部变量使用前是否赋值、方法的每条路径是否都有返回值、是否异常都被正确处理。

字节码生成结束不仅仅是把前面各个步骤所生成的信息转化成字节码写到磁盘中,编译器还进行了代码添加和转化工作。
例如实例构造器()方法、类构造器()方法,就是在这个阶段添加到语法树中;
(如果代码中没有提供任何构造函数,编译器会添加一个没有参数访问性与当前类一致的默认构造函数,这个步骤在填充符号表完成)

编译器会把语句块、变量初始化、调用父类的实例构造器等操作收敛到对于()方法、类构造器()方法中,并保证
按照先执行父类实例构造器、然后初始化变量最后执行语句块的顺序。

代码替换、优化工作:把字符串的加操作替换为StringBuffer或StringBuilder的append()操作(需jdk 1.5以后)。

public static void main(String[] args) {

    String s = "";
    String s1 = "C";
    s = "A" + "B" + s1;
}
//.class 文件 显示
public static void main(String[] args) {
    String s = "";
    String s1 = "C";
    (new StringBuilder()).append("AB").append(s1).toString();
}

三、java语法糖的味道

在计算机语言中添加某种语法,方便程序员使用,增加可读性,减少代码出错机会。
解语法糖:虚拟机运行时并不支持这些语法,在编译阶段还原回简单的基础语法结构

相关文章
|
4月前
|
存储 算法 编译器
C/C++编译器局部优化技术:局部优化是针对单个函数或基本块进行的优化
C/C++编译器局部优化技术:局部优化是针对单个函数或基本块进行的优化
112 0
|
20天前
|
缓存 算法 JavaScript
JIT引擎是如何实现即时编译的
【9月更文挑战第1天】JIT引擎是如何实现即时编译的
27 0
|
1月前
|
存储
hyengine 编译问题之性能差距如何解决
hyengine 编译问题之性能差距如何解决
|
1月前
|
Java 测试技术
hyengine microbench测试问题之提升jit优化如何解决
hyengine microbench测试问题之提升jit优化如何解决
|
1月前
|
存储
hyengine设计问题之通用性和定制性如何解决
hyengine设计问题之通用性和定制性如何解决
|
3月前
|
存储 安全 Java
Java泛型:深度解析编译时类型安全的核心机制
【6月更文挑战第28天】Java泛型自JDK 1.5起增强了代码安全与复用。它们允许类、接口和方法使用类型参数,如`<T>`在`Box<T>`中。泛型确保编译时类型安全,例如`List<String>`防止了运行时ClassCastException。尽管运行时存在类型擦除,编译时检查仍保障安全。理解泛型核心机制对于优化Java编程至关重要。
50 0
|
4月前
|
算法 编译器 C语言
【C/C++ 编译器的差异化】C++标准库在GCC和VS之间的表现差异
【C/C++ 编译器的差异化】C++标准库在GCC和VS之间的表现差异
772 1
|
4月前
|
Rust 安全 前端开发
Rust还是其他语言:考量因素与案例分析
【2月更文挑战第1天】本文将探讨在选择编程语言时,为什么Rust可能会成为理想的选择。我们将分析Rust的主要优势,如内存安全、性能、并发编程和所有权系统,并将其与其他流行的编程语言进行比较。此外,我们还将通过具体的案例分析,展示Rust在实际应用中的优势和应用场景。
|
4月前
|
缓存 编译器 程序员
C/C++编译器全局优化技术:全局优化是针对整个程序进行的优化,包括函数之间的优化
C/C++编译器全局优化技术:全局优化是针对整个程序进行的优化,包括函数之间的优化
131 0
|
4月前
|
编译器 C++
C++ 一种在编译阶段就能解决代码的技术
C++ 一种在编译阶段就能解决代码的技术