• go的垃圾回收机制


    GC触发条件

    两个条件满足任一会触发gc:

    • 内存大小达到阈值, 默认是达到上次gc后的2倍
    • 达到规定时间 ,默认2min

    解释:
    阈值是由一个gc percent的变量控制的,当新分配的内存占已在使用中的内存的比例超过gcprecent时就会触发。比如一次回收完毕后,内存的使用量为5M,那么下次回收的时机则是内存分配达到10M的时候。

    也就是说,并不是内存分配越多,垃圾回收频率越高。

    如果一直达不到内存大小的阈值呢?这个时候GC就会被定时时间触发,比如一直达不到10M,那就定时(默认2min触发一次)触发一次GC保证资源的回收。

    Go1.3的gc

    使用的是标记-清除法,分下面四步进行

    • 进行STW(stop the worl即暂停程序业务逻辑)
    • 开始标记,找出可达内存占用并做标记
    • 标记结束,清除未标记的内存占用
    • 结束STW,让程序继续运行,循环该过程直到main生命周期结束

    算法评价:
    STW会暂停用户逻辑对程序的性能影响是非常大的,这种粒度的STW对于性能较高的程序还是无法接受,因此Go1.5采用了三色标记法优化了STW。

    Go1.5gc

    Go1.5开始使用的垃圾回收机制是:三色标记法+写屏障+辅助GC

    通过以上三种技术,实现了gc线程和用户线程并发执行,而不再是必须stw才能gc,以此减少stw对gc性能的影响。

    下面具体看下是怎么做到的

    三色标记法

    三色标记法可以理解为是标记-清除法的一种增强版本。

    三色标记算法将程序中的对象分成白色、黑色和灰色三类。

    • 白色对象表示暂无对象引用的潜在垃圾,其内存可能会被垃圾收集器回收;
    • 灰色对象表示活跃的对象,黑色到白色的中间状态
    • 黑色对象表示活跃的对象,包括不存在引用外部指针的对象以及从根对象可达的对象。

    举例:
    在这里插入图片描述
    三色标记法分五步进行:

    • 将所有对象标记为白色
    • 从根节点集合出发,将第一次遍历到的节点标记为灰色放入集合列表中
    • 遍历灰色集合,将灰色节点遍历到的白色节点标记为灰色,并把灰色节点标记为黑色
    • 循环这个过程
    • 直到灰色节点集合为空,回收所有的白色节点

    GC流程

    1、Mark
    包含两部分:

    • Mark Prepare: 初始化GC任务,包括开启写屏障(write barrier)和辅助GC(mutator assist),统计root对象的任务数量等。这个过程需要STW
    • GC Drains: 扫描所有root对象,包括全局指针和goroutine(G)栈上的指针(扫描对应G栈时需停止该G),将其加入标记队列(灰色队列),并循环处理灰色队列的对象,直到灰色队列为空。该过程后台并行执行

    2、Mark Termination:
    完成标记工作,重新扫描(re-scan)全局指针和栈。因为Mark和用户程序是并行的,所以在Mark过程中可能会有新的对象分配和指针赋值,这个时候就需要通过写屏障(write barrier)记录下来,re-scan 再检查一下。这个过程也是会STW的。

    3、Sweep:
    按照标记结果回收所有的白色对象,该过程后台并行执行

    4、Sweep Termination:
    对未清扫的span进行清扫, 只有上一轮的GC的清扫工作完成才可以开始新一轮的GC。

    写屏障(Write Barrier)

    写屏障保障了代码描述中对内存的操作顺序, 既不会在编译期被编译器进行调整,也不会在运行时被 CPU 的乱序执行所打乱,

    辅助GC

    从上面的GC工作的完整流程可以看出Golang GC实际上把单次暂停时间分散掉了,
    本来程序执行可能是:⽤户代码–>⼤段GC–>⽤户代码
    分散以后实际上变成了:⽤户代码–>⼩段 GC–>⽤户代码–>⼩段GC–>⽤户代码

    如果GC回收的速度跟不上用户代码分配对象的速度呢?
    当扫描后回收的速度跟不上分配的速度时,go的垃圾回收器依然会stw,⽤户逻辑暂停了以后也就意味着不会有新的对象出现,同时会把⽤户线程抢过来加⼊到垃圾回收⾥⾯加快垃圾回收的速度。使得gc的速度跟上对象分配的速度,作为一种辅助手段帮助更好的gc,所以叫做辅助gc。

  • 相关阅读:
    [生物信息]临床研究统计分析成长营14天班
    【计算机网络】TCP连接建立和释放
    如何使用ios自带语音转文字工具?
    Web自动化测试教程详解(含文档)
    工程机械比例阀电流采集方案
    iOS加固保护技术:保护你的iOS应用免受恶意篡改
    可视化全链路日志追踪
    Java设计模式之抽象工厂模式
    关于volatile与指令重排序的探讨
    Vue学习笔记 —— 使用Vue的ref实现动态添加活动类名
  • 原文地址:https://blog.csdn.net/qq_40337086/article/details/121039530