堆和栈的区别
1、堆栈空间分配区别
栈(操作系统):由操作系统(编译器)自动分配释放 ,存放函数的参数值,局部变量的值等。其操作方式类似于数据结构中的栈。
堆(操作系统): 一般由程序员分配释放, 若程序员不释放,程序结束时可能由OS回收,分配方式倒是类似于链表。
2、堆栈缓存方式区别
栈使用的是一级缓存, 它们通常都是被调用时处于存储空间中,调用完毕立即释放。
堆则是存放在二级缓存中,生命周期由虚拟机的垃圾回收算法来决定(并不是一旦成为孤儿对象就能被回收)。所以调用这些对象的速度要相对来得低一些。
3、堆栈数据结构区别
堆(数据结构):堆可以被看成是一棵树,如:堆排序。
栈(数据结构):一种先进后出的数据结构。
Go v1.3之前 标记清除法
STW开始
标记可达对象
清除不可达对象
退出STW
产生的问题:
STW开始到结束,线程不可用(a)
标记可达对象需要扫描全部的堆
清除不可达对象之后可能会导致堆中的碎片化
Go V1.5三色标记法
缺点:如果三色标记法不被STW保护,同时满足下面两个条件,则出现对象丢失现象
条件1 一个白色对象被黑色对象引用
条件2 灰色对象与它之间的可达关系的白色对象遭到破坏
强弱三色不变式
1. 强三色不变式
强制性的不允许黑色对象引用白色对象
2. 弱三色不变式
黑色对象可以引用白色对象,但此白色对象上游必须有灰色对象引用它
屏障机制
1. 插入屏障
对象被引用时触发,在A对象引用B对象的时候,B对象被标记为灰色。
满足强三色不变式
插入屏障的不足:结束时需要stw重新扫描栈
2. 删除屏障
对象被删除时触发,被删除的对象,如果自身为灰色或者白色,那么标记为灰色。
满足弱三色不变式
删除屏障的不足:一对象即使成为了孤儿对象,也可以活过这一轮gc,在下一轮gc才能清理掉
Go V1.8三色标记法+混合写屏障
1、GC开始将栈上的对象全部扫描并标记为黑色(之后不再进行第二次重复扫描,无需STW),
2、GC期间,任何在栈上创建的新对象,均为黑色。
3、被删除的对象标记为灰色。
4、被添加的对象标记为灰色。