阅读笔记-深入理解jvm虚拟机-2-垃圾回收算法

垃圾回收算法：

标记-清除算法：

首先将标记出所有需要回收的对象，然后进行统一回收所有对象

基础的回收算法。后续的算法基于这种思路对其不足进行改进

缺点：

效率问题，标记和清除的效率都不高。

标记清除算法会产生大量不连续的内存碎片。空间碎片太多会导致当分配较大对象时，无法找到足够的连续的内存从而不得不提前触发另一次垃圾回收。

复制收集算法：

为解决效率问题，可将内存按容量划分为大小相等的两块，每次使用一块，当一块的内存使用完毕，将存货的对象复制到另一块上，然后把使用过的内存一次性清理掉。

现在商业虚拟机都采用这种收集算法回收新生代（jdk 1.7）

复制算法在对象存活率较高时就需要进行较多的复制操作，效率也会降低

新生代百分之98的对象朝生幕死，所以并不需要按照1比1分配内存，而是将内存分为一块较大eden区，和两块较小的survivor区，gc时将eden中和survivor中还存活的对象一次性复制到另外一块survivor空间中。最后清理掉eden区和survivor区。虚拟机中eden区和survivor区默认的大小比例是8：1。当survivor区内存不够时需要依赖其他内存如老年代进行分配担保

标记整理算法：

相对复制收集算法，如果不想浪费百分之50的空间，以应对被使用的内存中所有对象都百分之100存活的情况，所以在老年中一般不能直接选用复制整理算法。

标记整理算法标记过程仍与标记清除算法一样，但后续步骤不是直接对可回收对象进行清理，而是让所有存活对象向一端移动，然后清除掉边界的内存

分代收集算法：

目前商业虚拟机的垃圾回收都采用 分代收集 算法，根据对象存活周期的不同将内存划分为几块，一般的是把java堆分为新生代和老年代，这样根据各个年代的特点采用最适合的收集算法。在新生代中每次垃圾回收都有大批对象死去，只有少量存活，可以采用复制算法，只需要付出少量存活对象的复制成本就可以完成收集。而在老年代中因为对象存活率高，没有额外的空间进行分配担保，就必须使用 标记清理 或者 标记整理 算法来进行回收。

Hotspot算法的实现：

枚举根节点：

可达性分析：

可达性分析从GC ROOTS节点找到引用链操作为例，可作为GC ROOTS的节点主要在全局性的引用（如常量或静态属性）与执行上下文（例如帧栈中的本地变量表），现在很多应用仅仅是方法去就有数百兆（jdk 1.7），如果要逐个检查这里的引用，那么必然要消耗很多时间

另外可达性分析对执行时间的敏感还体现在gc停顿上，因为这项工作必须在一个能确保一致性的快照中执行，这里一致性指在整个分析期整个执行系统看起来就像被冻结在某个时间点上，不可以出现分析过程中对象引用关系还在不断变化的情况，该点不满足的话分析结果准确性就无法保证，这点是导致gc进行时必须停顿所有java线程，（sun 将之称为 stop the world ）的其中一个重要原因，即使是在号称（几乎）不会发生停顿的CMS收集器中，枚举根节点时也必须要停顿

目前主流的java虚拟机使用的都是准确性gc（停顿），在系统停顿下来后，并不需要检测完所有执行上下文和全局的引用位置。在hotspot的视线中，是使用一组成为oopMap的数据结构达到这个目的。在类加载完成的时候,hotspot就把对象内什么偏移量上是什么内容计算出来，在JIT(动态编译)过程中，在会在特定的位置记录下栈和寄存器中哪些位置是引用，这样gc在扫描时就可以直接得知这些信息

在oopmap的帮助下，hotspot可以快速而准确的完成gc roots枚举，但是有一个问题：可能导致引用关系变化，或者oopmap内容变化的指令非常多，如果为每条指令都生成对应的oopmap那将会需要大量的额外空间，这样gc成本会非常高