java 回收策略_Java堆回收策略

一、起源

1960年Lisp语言： 第一门真正使用内存动态分配和垃圾回收的语言。

二、概要

线程相关：程序计数器、虚拟机栈、本地方法栈，不需要考虑垃圾回收

Java堆、方法区：需要考虑垃圾回收

三、垃圾回收算法

1 引用计数算法

2 可达性分析算法

垃圾收集算法

1 标记-清除算法

Mark-Sweep

最基础的垃圾收集算法

不足

效率问题：标记和清除的过程效率不太高

空间问题：标记清除之后产生大量的碎片，再分配较大的对象时，由于空间不足不得不再进行另一次GC操作。

2 复制算法

Copying

半个区的内存回收后挪到另外半个区

只需要移动堆顶指针，按顺序分配内存。

不足

每次都只能使用半个区的内存。

重点

现在的商业虚拟机都采用复制算法回收新生代。

新生代98%的对象都是朝生夕死的，所以不需要1：1比例划分内存空间。

分为一个Eden区，两个survivor区

HotSpot默认内存 8：1 比例，只有10%内存被浪费。

Survivor区不够用老年代。

3 标记-整理算法

Mark-Compact

原理

如果复制算法不想浪费50%的内存空间，就要有额外的空间担保Survivor区。用来应对所有对象都存活的情况。

所以老年代不能用复制算法。

流程

先标记，然后不直接清理，而是所有存活对象向一端移动。清理掉端边界以外的内存。

四、分代收集算法

Generational Collection

五、HotSpot 算法实现

枚举根节点

可达性分析

GC Root:全局性引用(常量、类静态属性)、执行上下文(栈帧的本地变量表)

GC停顿：分析工作必须在一个能确保一致性的快照中进行。所以GC时必须停顿所有Java线程。

准确式GC

不需要检查所有的执行上下文和全局的引用位置。

HotSpot使用OopMap在类加载完成时，计算对象内什么偏移量是什么类型。JIT编译过程中记录栈和寄存器哪些位置是哪些引用。

安全点

不为所有指令都生成OopMap(占用空间大)，只在特定的位置生成--安全点(Safe Point)

安全点选定标准

是否具有让程序长时间执行的特征--指令复用，如方法调用、循环跳转、异常跳转。

所有线程都跑到安全点停顿(不包括JNI线程)

抢先式中断(Preemptive Suspension)

- 线程先全部中断，有不在安全点上的就恢复，跑到安全点上再中断。

- 现在没有虚拟机这么实现。

主动式中断(Voluntary Suspension)

- 设置一个标志，在轮询标志的时候发现标志是真就挂起。

- 轮询标志的位置：SafePoint；创建对象需要分配内存的位置。

安全区

背景

1. 没有分配CPU时间的时候执行不到安全点。

2. 线程处于Sleep或Blocked状态

原理

1. 一段代码片段中，引用关系不会发生变化，在这个区域中的任意地方开始GC都是安全的。

2. 线程进入Safe Region时标识自己进入SafeRegion

六、垃圾收集器

新生代垃圾收集器

Serial

ParNew

Parallel Scavenge

老年代垃圾收集器

Serial Old

Parallel Old

CMS(Consurrent Mark Sweep)

G1(Garbage First)