1. Epsilon GC简介 Epsilon GC源于RedHat开发者Aleksey Shipilëv提交的一份JEP 318: Epsilon: A No-Op Garbage Collector (Experimental)草案,该GC只做内存分配而不做内存回收(reclaim),当堆空间耗尽关闭JVM即可,因为它不做任何垃圾回收工作,所以又叫No-op GC.也因为它简单,很适合用来入门OpenJDK GC源码,看看一个最小化可行的垃圾回收器应该具备哪些功能. Epsilon GC源码…

Serial垃圾回收器Minor GC 1. DefNewGeneration垃圾回收 新生代使用复制算法做垃圾回收,比老年代的标记-压缩简单很多,所有回收代码都位于DefNewGeneration::collect: // hotspot\share\gc\serial\defNewGeneration.cpp void DefNewGeneration::collect(bool full, bool clear_all_soft_refs, size_t size, bool is_tla…

Serial垃圾回收器Full GC Serial垃圾回收器的Full GC使用标记-压缩(Mark-Compact)进行垃圾回收,该算法基于Donald E. Knuth提出的Lisp2算法,它会把所有存活对象滑动到空间的一端,所以也叫sliding compact.Full GC始于gc/serial/tenuredGeneration的TenuredGeneration::collect,它会在GC前后记录一些日志,真正的标记压缩算法发生在GenMarkSweep::invoke_at_s…

[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…

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

JVM的很多参数命名很有迷惑性,-XX:+UseParallel,-XX:+UseParallelOldGC,-XX:+UseParNewGC,-XX:+UseConcMarkSweepGC咋一看容易混淆,而且JDK升个级某个GC就可能不见了,为了详细了解这些参数的区别,先来看看到底都有哪些类型的GC: // hotspot\share\gc\shared\gc_globals.hpp product(bool, UseConcMarkSweepGC, false, "Use Concurren…

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

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同理指定…

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],…

rednaxelafx的Cheney算法的伪代码.如果不用forwarding的话,维护一个旧地址到新地址的映射也可以. 其中重点部分: void Heap::collect() { // The from-space contains objects, and the to-space is empty now. address scanned = _to_space->bottom(); // scavenge objects directly referenced by the root…