[Inside HotSpot] C1编译器HIR的构造

【[Inside HotSpot] C1编译器HIR的构造】的更多相关文章

[Inside HotSpot] C1编译器HIR的构造

1. 简介这篇文章可以说是Christian Wimmer硕士论文Linear Scan Register Allocation for the Java HotSpot™ Client Compiler的不完整翻译,这篇论文详细论述了HotSpot JIT编译器的架构,然后描述了C1编译器(研究用,细节和Sun的Client编译器生产级实现有些许出入)中线性扫描寄存器分配算法的设计和实现. C1编译器内部使用HIR,LIR做为中间表示并进行系列优化和寄存器分配.字节码到HIR的构造是最先完成…

[Inside HotSpot] C1编译器优化：全局值编号(GVN)

1. 值编号我们知道C1内部使用的是一种图结构的HIR,它由基本块构成一个图,然后每个基本块里面是SSA形式的指令,关于这点如可以参考[Inside HotSpot] C1编译器工作流程及中间表示.值编号(Value numbering)是指为每个计算得到的值分配一个独一无二的编号,然后遍历指令寻找可优化的机会.比如下面的代码: a = 1;b=4; c = a+b; d = a+b; e = b; 编译器可以在计算a的时候为它指定一个hash值(0x12a3e)然后放入hash表:b同理指定…

[Inside HotSpot] C1编译器优化：条件表达式消除

1. 条件传送指令日常编程中有很多根据某个条件对变量赋不同值这样的模式,比如: int cmov(int num) { int result = 10; if(num<10){ result = 1; }else{ result = 0; } return result; } 如果不进行编译优化会产出cmp-jump组合,即根据cmp比较的结果进行跳转.可以使用gcc -O0查看: cmov(int): push rbp mov rbp, rsp mov DWORD PTR [rbp-20],…

[Inside HotSpot] C1编译器工作流程及中间表示

1. C1编译器线程 C1编译器(aka Client Compiler)的代码位于hotspot\share\c1.C1编译线程(C1 CompilerThread)会阻塞在任务队列,当发现队列有编译任务即可CompileTask的时候,线程唤醒然后调用CompilerBroker,CompilerBroker再进一步选择合适编译器,以此进入JIT编译器的世界. CompilerBroker到C1编译器进行JIT编译的调用栈如下: CompileBroker::invoke_compiler_…

C1编译器的实现

总览词法.语法分析分析方案词法语法符号表类型系统 AST 语义检查 EIR代码生成器 MIPS代码生成器寄存器分配体系结构相关特性优化使用说明编译运行总览 C1语言编译器及流程 C1 语言是一个类 C 的语言.语言的特征为: 包含 int.float 和 bool 简单类型以及以这些类型为基本类型的多维数组类型. 一个 C1 程序包含多个函数.全局变量声明和常量声明,其中必须有一个 void main(void)主函数. 函数可以带参数,也可以不带参数,参数的类型是简单类…

[inside hotspot] 汇编模板解释器(Template Interpreter)和字节码执行

[inside hotspot] 汇编模板解释器(Template Interpreter)和字节码执行 1.模板解释器 hotspot解释器模块(hotspot\src\share\vm\interpreter)有两个实现:基于C++的解释器和基于汇编的模板解释器.hotspot默认使用比较快的模板解释器. 其中 C++解释器 = bytecodeInterpreter* + cppInterpreter* 模板解释器 = templateTable* + templateInterprete…

[Inside HotSpot] Java分代堆

[Inside HotSpot] Java分代堆 1. 宇宙初始化 JVM在启动的时候会初始化各种结构,比如模板解释器,类加载器,当然也包括这篇文章的主题,Java堆.在hotspot源码结构中gc/shared表示所有GC共同拥有的信息,gc/g1,gc/cms则是不同实现需要用到的特设信息. λ tree ├─gc │ ├─cms │ ├─epsilon │ ├─g1 │ ├─parallel │ ├─serial │ ├─shared │ └─z 比如所有的Java堆都继承自Collect…