Generational GC (Part one )

时间 2019-11-09

标签 generational 栏目 Java 繁體版

原文原文链接

目录算法

Generationanl GC数组

引入年龄的概念，优先回收年轻的已成为垃圾的对象。函数

什么是分代垃圾回收

对象对的年龄

书上说：“人们从众多案例总结出一个经验：‘大部分的对象再生成后立刻就变成了垃圾。不多有对象活的好久’。”，分代，引入年龄概念，经历过一次GC的对象年龄为一岁。操作系统

新生代对象和老年对象

分代垃圾回收中，将对象分为几类(几代)，针对不一样的代使用不一样的GC算法。刚生成的对象称之为新生代，到达必定年龄的对象称为老年代对象。3d

咱们对新生代对象执行的GC称为新生代GC(minor GC)。新生代GC的前提是大部分新生代对象都没存活下来，GC在很短期就结束了。新生代GC将存活了必定次数的对象当作老年代对象来处理。这时候咱们须要把新生代对象上升为老年代对象(promotion)。老年代对象比较不容易成为垃圾，因此咱们减小对其GC的频率。咱们称面向老年代对象的GC为老年代GC(major GC)。指针

分代垃圾回收是将多种垃圾回收算法并用的一种垃圾回收机制。code

Ungar的分带垃圾回收

堆的结构

Ungar分代垃圾回收中，堆结构图以下所示。总共须要四个空间，分别是生成空间、两个大小相等的幸存空间、老年代空间，分别用$new_start、$survivor1_start、$survivor2_start、$old_start这四个变量指向他们开头。对象

生成空间和幸运空间合称为新生代空间,新生代对象会被分配到新生代空间，老年代对象则会被分配到老年代空间里。Ungar 在论文里把生成空间、幸存空间以及老年代空间的大小分别设成了 140K 字节、28K 字节和 940K 字节。blog

此外咱们准备出一个和堆不一样的数组，称为记录集（remembered set），设为 $rs。递归

生成空间，是生成对象的空间。当空间满了新生代GC就会启动，将生成空间里的对象复制，与GC复制算法同样。
两个幸存空间，一个From一个To。
新生代GC将From空间和生成对象空间里活动的对象复制到To空间中。（这有一个问题，会形成To可能不够用）
只有通过必定次数的新生代GC才能被放到老年代空间中去。

过程以下图所示：

新生代GC要注意一点，就是老年代空间到新生代空间的引用。所以除了通常GC的根，老年代空间里也会有新生代空间对象的引用来当作根。

分代垃圾回收的优势，将重点放置新生代的对象，他们容易被回收。这样会缩减GC所需的时间。可是，若是咱们让老年代对象引用新生代对象这样一来等同于全部对象都从根引用。这样就没有这样的优点了。
因此咱们引入记录集。记录集用来记录老年代对象到新生代对象的引用。这样就能够不搜索老年代空间里的全部对象，而是经过搜索记录集来发现老年代对象到新生代对象的引用关。
当老年代空间满了的时候，就要进行老年代GC了。

记录集

记录集用于高效的寻找从老年代对象到新生代对象的引用。在新生代 GC 时将记录集当作根（像根同样的东西），并进行搜索，以发现指向新生代空间的指针。

不过若是咱们为此记录了引用的目标对象（即新生代对象），那么在对这个对象进行晋升（老年化）操做时，就无法改写所引用对象（即老年代对象）的指针了。以下图示：

经过查找可知对象A时新生代GC的对象，执行GC后它升级为了老年代对象A'。但在这个状态下咱们不发更新B的引用为A'，记录集里没有存储老年代对象 B 引用了新生代对象 A的信息。

因此记录集里记录的不是新生代对象，而是老年代对象。他记录的老年代对象都是有子对象是新生代对象的。这样咱们就能去更新B了。

记录集大部分使用固定大小数组来实现。那么咱们如何向记录集里插入对象呢？关于写入屏障内容。

写入屏障

将老年代对象记录到记录集里，咱们利用写入屏障(write barrier)。write_barrier()函数。

write_barrier(obj, field, new_obj){
    if(obj >= $old_start && new_obj < $old_start && obj.remembered == FALSE)
        $rs[$rs_index] = obj
        $rs_index++
        obj.remembered = TRUE
    *field = new_obj
    
}

obj 是发出引用的对象，obj内存放要更新的指针，而field指的就是obj内的域，new_obj 是在指针更新后成为引用的目标对象。
检测发出引用的对象是否是老年代对象，指针更新后引用的目标是否是新生代对象，发出引用的对象是否尚未被记录到记录集中。
当这些都为真时，obj就被记录到记录集中了。
$rs_index适用于新纪录对象的索引
最后一行，用于更新指针。

对象的结构

对象的头部除了包含对象的种类和大小以外，还有三条信息，分别是对象的年龄(age)、已经复制完成的标识(forwarded)、向记录集中记录完毕的标识(remembered)。

age标识新生代对象存活的次数。超过必定次数，就会被当作老年代对象。
forwarded，用来防止重复复制相同的对象。
remembered用来防止登记相同的对象。不过remembered只适用于老年代对象，age和forwarded只使用新生代的对象。
除上面三点以外，这里也是用forwarding指针以前的垃圾回收同样。在forwarding指针中利用obj.field1,用obj.forwarding访问obj.field1。

对象结构以下图示：

分配

在生成空间里进行，执行new_obj()函数代码以下：

new_obj(size){
    if($new_free + size >= $survivor1_start)
        minor_gc()
        if($new_free + size >= $survivor1_start)
            allocation_fail()
    
    obj = $new_free
    $new_free += size
    obj.age = 0
    obj.forwarded = FALSE
    obj.remembered = FALSE
    obj.size = size
    return obj
    
}

$new_free指向生成空间的开头
检测生成空间是否存在size大小的分块。若是没有就执行新生代GC。执行后全部对象都到幸存空间去了，生成空间绝对够用。
分配空间。
对对象进行一系列的标签之类的设置（初始化）。而后返回。

新生代GC

生成空间被对象沾满后，新生代GC就会启动。minor_gc()函数负责吧生成空间和From空间的活动对象移动到To空间。

咱们先来了解minor_gc()中进行复制对象的函数copy()。

copy(obj){
    if(obj.forwarded == FALSE) // 检测对象是否复制完毕
        if(obj.age < AGE_MAX)  //  没有复制则检查对象年龄
            copy_data($to_survivor_free, obj, obj.size)// 开始复制对象操做
            obj.forwarede = TRUE
            obj.forwarding = $to_survivor_free
            $to_survivor_free.age++
            $to_survivor_free += obj.size// 复制对象结束
            for(child :children(obj)) // 递归复制其子对象
                *child = copy(*child)
        else
            promote(obj) //若是年龄够了，则进行晋级的操做，升级为老年代对象。
    return obj.forwarding  //返回索引
}

promote(obj){
    new_obj = allocate_in_old(obj)
    if(new_obj == NULL) // 判断可否将obj放入老年代空间中。
        major_gc() //不能去就启动gc
        new_obj = allocate_in_old(obj)// 再次查询 
        if(new_obj == NULL) //再次查询。
         allocation_fail()//不能放入的话就报错啦。
    obj.forwarding = new_obj // 能放入则设置对象属性
    obj.forwarded = TRUE
        
    for(child :children(new_obj)) //启动GC
        if(*child < $old_start) // obj是否有指向新生代对象的指针
            $rs[$rs_index] = new_obj // 若是有就将obj写到记录集里。
            $rs_index++
            new_obj.remembered = TRUE
            return
}

minor_gc(){
    $to_survivor_free = $to_survivor_start // To空间开头
    for(r :$roots) // 寻找能从跟复制的新生代对象
        if(*r <$old_start)
            *r = copy(*r)
    i = 0 // 开始搜索记录集中的对象$rs[i] 执行子对象的复制操做。
    while(i<$rs_index)
        has_new_obj = FALSE
        for(child :children($rs[i]))
            if(*child <$old_start)
                *child = copy(*child)
                if(*child < $old_start) //检查复制后的对象在老年代空间仍是心神的古代空间 
                    has_new_obj = TRUE  //若是在新生代空间就设置为False不然True 
        if(has_new_obj ==FALSE) // 若是为False，$rs[i]就没有指向新生代空间的引用。接下来就要本身在记录集里的信息了。
            $rs[i].remembered = FALSE
            $rs_index--
            swap($rs[i], $rs[$rs_index])
        else
            i++
    swap($from_survivor_start, $to_survivor_start) // From 和To互换空间
    
}

幸存空间沾满了怎么办？

一般的GC复制算法把空间二等分为From空间和To空间，即便From空间里的对象都还活着，也确保能把它们收纳到To空间里去。
不过在Ungar的分代垃圾回收里，To幸存空间必须收纳 From 幸存空间以及生成空间中的活动对象。From 幸存空间和生存空间的点大小比 To 幸存空间大，因此若是活动对象不少，To 幸存空间就没法容纳下它们。
当发生这种状况时，稳妥起见只能把老年代空间做为复制的目标空间。固然，若是频繁发生这种状况，分代垃圾回收的优势就会淡化。
然而实际上经历晋升的对象不多，因此这不会有什么重大问题，所以在伪代码中咱们就把这步操做省略掉了。

老年代GC

就以前介绍的GC都行，可是具体使用哪一个看想要的效果以及内存的大小来决定。通常来讲GC标记清除就挺好的。

优缺点

吞吐量获得改善

经过使用分代垃圾回收，能够改善 GC 所花费的时间（吞吐量）。正如 Ungar 所说的那样：“据实验代表，分代垃圾回收花费的时间是 GC 复制算法的 1/4。”可见分代垃圾回收的导入很是明显地改善了吞吐量。

在部分程序中会起到副作用

“不少对象年纪轻轻就会死”这个法则毕竟只适合大多数状况，并不适用于全部程序。固然，对象会活得好久的程序也有不少。对这样的程序执行分代垃圾回收，就会产生如下两个问题。

新生代GC花费时间增多
老年代GC频繁

除此以外，写入屏障等也致使了额外的负担，下降了吞吐量。当新生代GC带来的速度提高特别小的时候，这样作很明显是会形成相反的效果。

记录各代之间的引用的方法

Ungar的分带垃圾回收，使用记录集来记录各个代间的引用关系。这样每一个发出引用的对象就要花费1个字的空间。此外若是各代之间引用超级多还会出现记录集溢出的问题。(前面说过记录集通常是一个数组。)

卡片标记

Paul R.Wilson 和 Thomas G.Moher开发的一种叫作卡片标记(card marking)的方法。

首先把老年代空间按照等大分割开来。每个空间就成为卡片，听说卡片适合大小时128字节。另外还要对各个卡片准备一个标志位，并将这个做为标记表格（mark table）进行管理。

当由于改写指针而产生从老年对象到新生代对象的引用时，要事前对被写的域所属的卡片设置标志位，及时对象夸两张卡片，也不会有什么影响。

GC时会寻找位图表格，当找到了设置了标志位的卡片时，就会从卡片的头开始寻找指向新生代空间的引用。这就是卡片的标记。

由于每一个卡片只须要一个位来进行标记，因此整个位表也只是老年代空间的千分之一，此外不会出现溢出的状况。可是可能会出现搜索卡片上花费大量时间。所以只有在局部存在的老年代空间指向新生代空间的引用时卡片标记才能发挥做用。

页面标记

许多操做系统以页面为单位管理内存空间，若是在卡片标记中将卡片和页面设置为一样大小，就可使用OS自带的页了。

一旦mutator对堆内的某一个页面进行写入操做，OS就会设置根这个也面对应的位，咱们把这个位叫作重写标志位(dirty bit)。

卡片标记是搜索标记表格，而页面标记(page marking)则是搜索这个页面重写标志位。

根据 CPU 的不一样，页面大小也不一样，不过咱们通常采用的大小为4K字节。这个方法只适用于能利用页面重写标志位或能利用内存保护功能的环境。

多代垃圾回收

Multi-generational GC

将对象划分为多个代，这样一来能晋升的对象就会一层一层的减小了。

除了最老的那一代，每一代都有一个记录集。X代的记录集只记录来自比X老的其余代的引用。
分代越多，无心对象越快被回收，这个方法每一层的对象都在减小。
可是不能过分增长，想一想一下，咱们的cpu居然同时在作不少的GC算法，简直不能理解是吧。
书上说，2-3代是最好的。不过我想仍是要看状况的。