垃圾回收-- 引用计数法

引用计数法

引用计数法,最重要的就是计数器,记录有多少引用该对象

引用计数法与mutator 的执行密切相关,在mutator 的处理过程中通过增减计数器的值来进行内存管理, 在分配和更新对象时会发生计数的变化

更新操作过程:

  1. 对指针ptr 新引用的对象(obj)的计数器进行增量操作
  2. 对指针ptr 之前引用的对象(*ptr)的计数器进行减量操作
update_ptr(ptr, obj){
   inc_ref_cnt(obj)
   dec_ref_cnt(*ptr)
   *ptr = obj
}

注: 为了处理*ptr 和obj 是同一对象时的情况,向增加,后递减, 防止对象在发生位置改变时,还没有改变就已经被回收了

更新指针,可能会产生没有被任何程序引用的垃圾对象。引用计数法中会监督在更新指针的时候是否有产生垃圾,从而在产生垃圾时将其立刻回收

特点:

  1. 可即刻回收垃圾
  2. 最大暂停时间短 因为不用扫描全部堆,因此时间节省量
  3. 计数器值的增减处理繁重 严重依赖计数器
  4. 计数器需要占用很多位 假如我们用的是32 位机器,那么就有可能要让2 的32 次方个对象同时引用一个对象, 计数器有32 位大小
  5. 实现烦琐复杂 对于每次对象的变更都需要进行精确的维护, 否则会造成内存无法会回收, 即内存溢出
  6. 循环引用无法回收

改进:

  1. 延迟引用计数法

在延迟引用计数法中使用ZCT(Zero Count Table)。ZCT 是一个表,它会事先
记录下计数器值在dec_ref_cnt() 函数的作用下变为0 的对象, 因为计数器值为0 的对象不一定都是垃圾,所以暂时先将这些对象保留

在延迟引用计数法中,程序延迟了根引用的计数,将垃圾一并回收。通过延迟,减轻了
因根引用频繁发生变化而导致的计数器增减所带来的额外负担。当然也失去量垃圾即可回收的特点

  1. Sticky 引用计数法

是用来减少计数器位宽

. 什么都不做 很多情况下,计数器的值会在0 到1 的范围内变化,鲜少出现5 位计数器溢出这样的情况 , 不增减计数器的值,就把它那么放着也不会有什么大问题

. 使用GC 标记- 清除算法进行管理

  1. 1 位引用计数法

计数器只有1 位大小,特点总结是: 几乎没有对象是被共有的,所有对象都能被马上回收。指针通常默认为4 字节对齐,所以没法利用低2 位。只要好好利用这个性质,就能确保拿出1 位来用作内存管理

1 位引用计数法的优点,是不容易出现高速缓存缺

可能会出现很多对象计数器溢出的情况

  1. 部分标记- 清除算法

采用一般情况下执行引用计数法,在某个时刻启动GC 标记- 清除算法的方法。

“有循环引用的垃圾”,一般来说这种垃圾应该很少,单纯的GC 标记- 清除算法又是以全部堆为对象的,所以会产生许多无用的搜索。只对“可能有循环引用的对象群”使用GC 标记- 清除
算法,对其他对象进行内存管理时使用引用计数法。像这样只对一部分对象群使用GC 标记-
清除算法的方法,叫作“部分标记- 清除算法”(Partial Mark & Sweep)

部分标记- 清除算法中,对象会被涂成4 种不同的颜色来进行管理

  1. 黑(BLACK):绝对不是垃圾的对象(对象产生时的初始颜色)
  2. 白(WHITE):绝对是垃圾的对象
  3. 灰(GRAY):搜索完毕的对象
  4. 阴影(HATCH):可能是循环垃圾的对象

头中分配2 位空间,然后用00~11 的值对应这4 个颜色

部分标记- 清除算法的优点,就是把要搜索的对象限定在阴影对象及其子对象,也就是
“可能是循环垃圾的对象群”中

循环垃圾产生过程: 初始状态下根引用对象A,对象A 引用对象B,对象B 引用对象C。接下来我们创建一个从对象C 到对象A 的引用。在这里就形成了A → B → C → A 的循环引用。最后我们删除从根到对象A 的引用。这样一来,对象A 到C 的循环引用对象群就成了垃圾

条件:

  1. 产生循环引用
  2. 删除从外部到循环引用的引用

部分标记- 清除算法中用dec_ref_cnt() 函数来检查这个值。如果对象的计数器值减量
后不为0,说明这个对象可能是循环引用的一份子。这时会先让这个对象连接到队列,以方
便之后搜索它

标记- 清除算法并不是完美的,因为从队列搜索对象所付出的成本太大了。
被队列记录的对象毕竟是候选垃圾,所以要搜索的对象绝对不在少数。这个算法总计需要

查找3 次对象,也就是说需要对从队列取出的阴影对象分别执行1 次mark_gray() 函数、
scan_gray() 函数以及collect_white() 函数。这大大增加了内存管理所花费的时间, 因此引用计数的优势- 最大暂停时间就没有

你可能感兴趣的:(计算机基础)