深入理解Java虚拟机--垃圾回收机制_java虚拟机的垃圾回收机制是什么-CSDN博客

一、需要垃圾回收的内存地区

1.1 不要考虑的区域

Java运行时的内存区域，其中程序计数器、虚拟机栈、本地方法栈3个区域是随线程而生，随线程而灭：栈中的栈帧随着方法的进入和退出有条不紊的执行者出栈和入栈操作。每个栈帧中分配多少内存基本上是在类结构确定下来时就已知的。因此这几个区域的内存分配和回收都具备确定性。所以不需要过多考虑回收问题。

1.2 需要考虑的区域

Java堆和方法区则不一样，一个接口中的多个实现类需要的内存可能不一样，一个方法中多个分支需要的内存也可能不一样，只有程序在运行期间才能知道会创建哪些对象，这些区域的分配和回收都是动态的，因此垃圾收集器关注的是这些区域

二、如何判断对象已死

2.1 引用计数算法

给对象添加一个引用计数器，每当有一个地方引用它时，计数器值就+1；当引用失效时，计数器的值就-1；任何时刻计数器为0的对象就是不可能再被使用的。

这种方法实现简单，判断效率高。

但是在主流的Java虚拟机里面并没有采用此方法，因为他难以解决对象之间相互循环引用的问题。

2.2 可达性分析算法

主流实现是通过可达性分析来判断对象是否存活的。思路是通过一系列的成为“GC Roots”的对象作为起始点，从这些节点开始向下搜索，搜索所走过的路径成为引用链，当一个GC Roots没有任何引用链相连，则证明此对象是不可用的。
在这里插入图片描述
2.3 引用类型

JDK 1.2以后，Java对引用的概念进行了扩充，分为强引用、软引用、弱引用、虚引用四种

强引用：类似“Object obj = new Object()”这类的引用，只要强引用还存在，垃圾收集器永远不会回收掉被引用的对象
软引用：用来描述一些还有用但并非必须的对象。在系统将要发生内存溢出异常之前，会把这些对象列进回收范围内进行第二次回收。如果这次回收还没有足够的内存，才会抛出内存溢出异常。
弱引用：也是用来描述非必须对象的。但强度比软引用更弱，被弱引用关联的对象只能生存到下一次垃圾收集发生之前。当垃圾收集器工作时，无论当前内存是否足够，都会回收掉只被弱引用关联的对象。
虚引用：也称为幽灵引用或幻影引用，他是最弱的一种引用关系。虚引用的存在，不会对其生存时间构成影响，也无法通过虚引用来取得一个对象实例。使用虚引用关联的唯一目的就是这个对象被收集器回收时收到一个系统通知。

三、垃圾收集算法

介绍几种算法的思想及其发展过程

3.1 标记-清除算法

算法分为标记和清除两个阶段：首先标记出所有需要回收的对象，在标记完成后统一回收所有被标记的对象。

不足：1.效率问题，标记和清除的过程效率都不高；2.空间问题，标记清除之后会产生大量不连续的内存随便，空间碎片太多可能会导致以后再程序运行过程中需要分配较大对象时，无法找到足够的连续内存而不得不提前触发另一次垃圾收集动作。

在这里插入图片描述
3.2 复制算法

为解决效率问题，一种称为“复制”的收集算法出现了，他可以将内存按容量划分为大小相等的两块，每次只是用其中的一块。当这一块的内存用完了，就将还存活着的对象复制到另外一块上面，然后再把已使用过的内存空间一次清理掉。这样使得每次都是对整半区进行内存回收，内存分配时也就不用考虑内存碎片等复杂情况，只要移动堆顶指针，按顺序分配内存即可，实现简单，运行高效。但是不足之处是将内存缩小为了原来的一般，代价较高。

在这里插入图片描述
现在商用的虚拟机都采用这种收集算法来回收新生代。新生代的对象98%都是“朝生夕死”的，所以不需要按照1：1来划分空间，而是将内存分为一块较大的Eden空间和两块较小的Survivor空间，比例8：1：1。每次使用Eden和其中一块Survivor，当回收时，将Eden和Survivor中还存活着的对象一次性地复制到另一块Survivor空间上，最后清理掉Eden和刚刚使用过的Survivor空间。当Survivor空间不够勇士，需要依赖其他内存进行分配担保。

3.3 标记-整理算法

在老年代一般不能选用复制收集算法，因为老年代对象存活率较高，使用时效率将会变低。因此又提出了“标记-整理”算法。其与3.1的标记-清除算法一样，但后续步骤改为让存活的对象都向一端移动，然后直接去清理掉端边界以外的内存
在这里插入图片描述
3.4 分代收集算法

当前商业虚拟机的垃圾收集都采用“分代手机”算法，只是根据对象存活周期的不同将内存划分为几块。一般是把Java堆分为新生代和老年代，这样就可以根据各个年代的特点采用最适合的收集算法。

在新生代中，每次垃圾收集时都发现有大批对象死去，只有少量存活，那就选用复制算法，只需要付出少量存活对象的复制成本就可以完成收集。

而老年代中因为对象存活率高，没有额外空间对它进行分配担保，就必须使用“标记-清理”或者“标记-整理”算法进行回收。

四、HotSpot的算法实现

4.1 枚举根节点

枚举根节点时是必须要停顿的，因为整个执行ixtong如果不停顿，则在分析过程中对象引用关系还在不断变化，分析结果准确性就无法得到保证。

在HotSpot的实现中，是使用一组成为OopMap的数据结构来达到这个目的，在类加载完成的时候，HotSpot就把对象内什么偏移量上是什么类型的数据计算出来，这样GC在扫描时就可以直接得知这些信息了。

4.2 安全点

OopMap内容变化的指令非常多，如果为每一条指令都生成对应的OopMap，那将会需要大量的额外空间，这样GC的空间成本将会变得很高。

实际上，HotSpot也的确没有为每条指令都生成OopMap，只是在“特定的位置”记录了这些信息，这些位置称为安全点（Safepoint），即程序执行时并非在所有地方都能停顿下来开始GC，只有在到达安全点时才能暂停。Safepoint的选定既不能太少以致于让GC等待时间太长，也不能过于频繁以致于过分增大运行时的负荷。

4.3 安全区域

程序不执行是，就是没有分配CPU时间，如：线程处于sleep状态或者blocked状态，这时线程无法响应JVM的中断请求，到安全点去中断挂起，JVM也不会等待线程重新被分配CPU时间。这就需要安全区域来解决。

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