早期(编译器)优化

简介: 一、概述 前端编译器:把.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语法糖的味道

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

相关文章
|
8月前
|
存储 算法 编译器
C/C++编译器局部优化技术:局部优化是针对单个函数或基本块进行的优化
C/C++编译器局部优化技术:局部优化是针对单个函数或基本块进行的优化
243 0
|
2月前
|
缓存 编译器 API
C# 一分钟浅谈:Roslyn 编译器平台介绍
【10月更文挑战第27天】Roslyn 是 Microsoft 开发的开源编译器平台,支持 C# 和 VB.NET。它将编译过程分解为多个阶段,并提供丰富的 API 供开发者分析、生成和修改代码。本文介绍了 Roslyn 的基本概念、安装配置、基础示例和高级应用,帮助开发者更好地理解和使用这一强大工具。
57 0
|
8月前
|
存储 安全 程序员
C++程序使用早期函数库
C++程序使用早期函数库
52 0
|
5月前
|
机器学习/深度学习 人工智能 前端开发
BladeDISC 深度学习编译器问题之实现硬件适配如何解决
BladeDISC 深度学习编译器问题之实现硬件适配如何解决
|
5月前
|
存储
hyengine设计问题之通用性和定制性如何解决
hyengine设计问题之通用性和定制性如何解决
|
5月前
|
存储 JavaScript Java
hyengine 解释问题之wasm引擎性能瓶颈如何解决
hyengine 解释问题之wasm引擎性能瓶颈如何解决
|
5月前
|
存储
hyengine 编译问题之性能差距如何解决
hyengine 编译问题之性能差距如何解决
|
7月前
|
存储 安全 Java
Java泛型:深度解析编译时类型安全的核心机制
【6月更文挑战第28天】Java泛型自JDK 1.5起增强了代码安全与复用。它们允许类、接口和方法使用类型参数,如`<T>`在`Box<T>`中。泛型确保编译时类型安全,例如`List<String>`防止了运行时ClassCastException。尽管运行时存在类型擦除,编译时检查仍保障安全。理解泛型核心机制对于优化Java编程至关重要。
96 0
|
8月前
|
算法 编译器 C语言
【C/C++ 编译器的差异化】C++标准库在GCC和VS之间的表现差异
【C/C++ 编译器的差异化】C++标准库在GCC和VS之间的表现差异
1052 1
|
8月前
|
Rust 算法 安全
Rust中的宏与编译时性能优化
本文深入探讨了Rust编程语言中的宏(Macros)及其在编译时性能优化方面的应用。我们将了解宏的基本概念,探索它们在元编程和性能优化中的潜力,并通过实例展示如何使用宏来优化Rust代码的性能。