目录
本文参考了 深入理解java虚拟机
垃圾收集算法
标记-清除算法
最基础的收集算法是“标记-清除”(Mark・Sweep)算法,如它的名字一样,算法分 为“标记”和“清除”两个阶段:
首先标记出所有需要回收的对象,在标记完成后统一回 收掉所有被标记的对象、
分为两个阶段:
标记阶段:tracing 阶段,从根(栈、寄存器、全局变量等)开始遍历对象图,标记所遇到的每个对象。
清除阶段:扫描堆中的对象,将未标记的对象作为垃圾回收。
基本上就是下图所示这个过程:
它的主要缺点有两个:
一个是效率问题,标记和清除过程的效率都不高;
另外一个是空间问题,标记清除之后会产生大量不连续的内存碎片,空间碎片太多可能会导致,当程序在以后的运行过程中需要分配较大对象时无法找到足够的连续内存而不得不提前触发另一次垃圾收集动作。
标记-清除算法的执行过程如图:
所以会有多个空闲链表的实现,也就是根据内存分块大小组成不同的链表,比如分为大分块链表和小分块链表,这样根据申请的内存分块大小遍历不同的链表,加快申请的效率。
当然还可以分更多个链表。
还有标记,标记的话一般我们会觉得应该是标记在对象身上,比如标记位放在对象头中,但是这对写时复制不兼容。
等于每一次 GC 都需要修改对象,假设是 fork 出来的,其实是共享一块内存,那修改必然导致复制。
所以有一种位图标记法,其实就是将堆的内存某个块用一个位来标记。就像我们的内存是一页一页的,堆中的内存可以分成一块一块,而对象就是在一块,或者多块内存上。
根据对象所在的地址和堆的起始地址就可以算出对象是在第几块上,然后用一个位图中的第几位在置为 1 ,表明这块地址上的对象被标记了。
而且用位图表格法不仅可以利用写时复制,清除也更加高效,如果标记在对象头上,那么需要遍历整个堆来扫描对象,现在有了位图,可以快速遍历清除对象。
但是不论是标记对象头还是利用位图,标记-清除的碎片问题还是处理不了。
因此就引出了标记-复制和标记-整理。
复制算法
为了解决效率问题,一种称为“复制”(Copying)的收集算法出现了,
它将可用内存 按容量划分为大小相等的两块,每次只使用其中的一块。当这一块的内存用完了,就将还 存活着的对象复制到另外一块上面,然后再把已使用过的内存空间一次清理掉。
这样使得 每次都是对其中的一块进行内存回收,内存分配时也就不用考虑内存碎片等复杂情况,只 要移动堆顶指针,按顺序分配内存即可,实现简单,运行高效。只是这种算法的代价是将内存缩小为原来的一半,未免太髙了一点。
|
现在的商业虚拟机都采用这种收集算法来回收新生代,IBM的专门研究表明,新生 代中的对象98%是朝生夕死的,所以并不需要按照1 : 1的比例来划分内存空间,而是 将内存分为一块较大的Eden空间和两块较小的Survivor空间。
每次使用Eden和其中的 一块Survivor当回收时,将Eden和Survivor中还存活着的对象一次性地拷贝到另外 一块Survivor空间上,最后清理掉Eden和刚才用过的Survivor的空间。
HotSpot虚拟 机默认Eden和Survivor的大小比例是8 : 1,也就是每次新生代中可用内存空间为整个 新生代容量的90% (80%+10%),只有10%的内存是会被“浪费”的。当然,98%的 对象可回收只是一般场景下的数据,我们没有办法保证每次回收都只有不多于10%的对 象存活,当Survivor空间不够用时,需要依赖其他内存(这里指老年代)进行分配担保 (Handle Promotion )
内存的分配担保就好比我们去银行借款,如果我们信誉很好