垃圾回收算法

概述：

这里讨论堆和方法区的回收（栈和程序计数器随着线程结束而自然回收）

Full GC 整个堆和方法区。Minor GC 新生代。Major GC老年代。Mixed GC 新生代和部分老年代

分代收集理论：基于三个分代假说（大多数对象都是朝生夕灭的，熬过越多次GC的对象越难消亡，跨代引用只占极少数），GC收集器把堆分成不同的区域有针对性的进行回收，比如年轻代只关注如何保留少量存活的对象，老年代可以用较低的回收频率。这样就可以兼顾GC开销和内存的有效回收

垃圾判定算法：

引用计数法，原理简单，但主流的JVM并没有选用这种算法，原因是有很多例外的情况需要考虑，比如对象循环引用的问题

可达性分析法，目前主流的JVM都使用这种算法，如果某个对象到GC Roots之间没有任何引用链相连，不可达的则这个对象是可回收对象

垃圾回收算法：

标记清除，缺点是随着对象变多，性能下降。空间碎片也比较多

标记复制，半区复制，在存活对象比较少的情况下，性能比较高，并且也没有空间碎片的问题。但会浪费一半的空间。可以优化成8:1:1，但需要空间担保应对极端情况（适用于年轻代）

标记整理，上面标记复制算法不适合存活对象比较多的情况，而且还需要空间担保（不适合老年代）。而标记整理是让所有存活对象向内存一端移动，这是一种移动式的内存回收，需要stop the world，如果像标记清除那样非移动回收，会有空间碎片。也可以平时采用标记清除，内存碎片比较多的时候再采用标记整理

HotSpot虚拟机实现细节：

根节点枚举，需要stop the world，线程停下来之后，借助Oom Map可以更快的进行查找

安全点，出于性能考虑只有在程序特定位置才记录了Oom Map，这些地方称为安全点。如何在开始垃圾回收时，让所有的线程都跑到最近的安全点，有两种方式：一种抢断式中断，一种主动式中断

安全区域，引用关系不会发生变化的代码片段。GC开始时，不会管已经进入安全区域的线程，线程离开安全区域时会检查GC根节点枚举是否完成，完成了线程才能继续执行

记忆集与卡表，为了解决跨代引用的问题，在新生代中建立了记忆集（比如卡表，记录了某一块内存区域是否包含跨代指针）

写屏障，通过写屏障技术维护卡表状态

并发可达性分析，三色标记。增量更新或原始快照可以解决并发扫描对象消失问题。