【面试题】Golang 自动垃圾回收机制细节(第六篇)

目录

[Go V1.3之前的标记清除(mark and sweep)](#Go V1.3之前的标记清除(mark and sweep))

[Go V1.5三色标记法](#Go V1.5三色标记法)

[Go V1.8混合写屏障机制](#Go V1.8混合写屏障机制)

各版本之间的区别


Go V1.3之前的标记清除(mark and sweep)

流程

1.暂停程序业务逻辑,找出不可达的对象和可达对象

2.开始标记,程序找出所有可达的对象,并做上标记

3.标记完了之后,然后开始清除未标记的对象

4.停止暂停,让程序继续跑。然后循环重复这个过程,直到process程序生命周期结束

缺点

STW, stop the world;让程序暂停,程序出现卡顿(重要问题)

标记要扫描整个heap

清除数据会产生heap碎片

将第四步和第三步换位置,缩短STW范围

Go V1.5三色标记法

1.就是只要新创建的对象,默认的颜色都是标记为"白色"

2.每次GC回收开始,然后从根节点开始遍历所有对象,把遍历到的对象从白色集合放入"灰色"集合

3.遍历灰色集合,将灰色的对象引用的对象从白色集合放入灰色集合中,之后将此灰色对象放入黑色集合

4.重复第三步,直到灰色中无任何对象

5.回收所有的白色标记表的对象,也就是回收垃圾

如果三色标记法不被STW保护 条件1:一个白色对象被黑色对象引用 (白色被挂在黑色下),条件2:灰色对象与它之间的可达关系的白色对象遭到破坏(灰色同时丢了该白色)

两个条件同时满足,那么就会出现对象丢失的现象

强弱三色不变式

强三色不变式 破坏条件1

弱三色不变式 破坏条件2

如果三色标记满足强弱不变式之一,即可保证不丢失对象。

Go V1.8混合写屏障机制

具体操作:1.GC开始将栈上的对象全部扫描并标记为黑色,之后不再进行第二次重复扫描,无需STW

2.GC期间,任何在栈上创建的新对象,均为黑色

3.被删除的对象标记为灰色

4.被添加的对象标记为灰色

满足:变形的弱三色不变式(结合了插入、删除写屏障两者的优点)

各版本之间的区别

Go V1.3普通的标记清除法,整体过程需要STW,效率低

Go V1.5三色标记法,对空间启动写屏障,栈空间不启动,全部扫描之后,需要重新扫描一次栈(需要STW),效率普通

Go V1.8三色标记法,混合写屏障机制,栈空间不启动,堆空间启动,整体过程几乎不需要STW,效率极高

相关推荐
AI机器学习算法2 小时前
机器学习基础知识
数据结构·人工智能·python·深度学习·算法·机器学习·ai学习路线
坚果派·白晓明8 小时前
【鸿蒙PC三方库移植适配框架解读系列】第八篇:扩展lycium框架使其满足rust三方库适配
c语言·开发语言·华为·rust·harmonyos·鸿蒙
花间相见8 小时前
【PaddleOCR教程01】PP-OCRv5 全面指南:从模型架构到实战部署
开发语言·r语言
X journey8 小时前
机器学习进阶(13):支持向量机SVM
算法·机器学习·支持向量机
小短腿的代码世界8 小时前
Qt 股票订单撮合引擎:高频交易系统的核心心脏
开发语言·数据库·qt·系统架构·交互
洛水水8 小时前
【力扣100题】30.二叉树的直径
算法·leetcode·职场和发展
养肥胖虎8 小时前
Docker学习笔记:后端、数据库和反向代理怎么一起跑起来
后端·nginx·docker·postgresql·go·部署
REDcker8 小时前
C++变量存储与ELF段布局详解 从const全局到rodata与nm_readelf验证实践
java·c++·面试
晓杰'9 小时前
从0到1实现 Balatro 游戏后端(2):NestJS框架搭建与项目结构设计
后端·websocket·typescript·node.js·游戏开发·项目实战·nestjs
gihigo19989 小时前
Bezier曲线曲面生成算法
算法