golang的垃圾回收(GC)机制


请先阅读 golanggoroutine调度机制

然后再到这里

 

golang的垃圾回收采用的是 标记-清理(Mark-and-Sweep 算法

就是先标记出需要回收的内存对象快,然后在清理掉;

在这里不介绍标记和清理的具体策略(可以参考https://lengzzz.com/note/gc-in-golang),只介绍 GC过程是怎么调度的以及stw相关

这个算法,会导致 stw (stop the world)的问题,中断用户逻辑

触发GC机制

1.    在申内存的候,检查当前当前已分配的内存是否大于上次GC后的内存的2倍,若是(主GC线程为当前M

2.    监控线程发现上次GC时间两分了,触;将一个G放到全局G队列中去。(主GC线程为执行这个GM

 

每当触发的时候,在主GC线程中就会走如下的GC流程:

1.    stop the world,等待所有的M休眠;此所有的业务逻辑都停止

2.    标记:分配gc标记任务,唤醒 gcproc M(就是第一步休眠的那些),分个,直到所有的M都做完,才束;并且所有M再次入休眠

3.    清理:有一个独的goroutine去清理已经标记的内存象快

4.    start the worldgcwaiting=0醒所有的M(不会超P个数)

 

对于上面的三个步骤,分别解释:

stop the world

1.    设置gcwaiting=1个在每一个G之前会检查一次个状,如是,会将当前M休眠;

2.    如果M里面正在运行一个长时间G,咋呢,道会等待G自己切换吗这样可要等10ms啊,不能等!决不能等!
所以会主动发标记似于上一篇),当前G中断,再运行下一个G候,就会走到第1

3.    一直等待所有的M进入休眠,此时所有的业务逻辑代码都停

标记:

1.     根据gcproc的个数,分配成gcproc段;gcproc-1M行(当前M也算一个

2.    对于一个M醒前设置它的helpgc标记,唤醒之后这个M会立判断标记,如是,开始做分配自己的标记务,如果先做完了,就会从别的M里面找一些来做

3.    等每一个M都做完,会再次入休眠

清理:

1.    过设置参数,可以以一个goroutine  运行,个功能是在1.3版本之后增加的,这样就直接到下一步了,清理程不是stw

2.    也可以串行的在主GC线程执行;这样的话则清理程也是stw的,

start the world

1.    设置gcwaiting=0

2.    唤醒PM继续G(此没有helpgc标记),业务逻辑代码开

 

 

综上:

是基于1.4版本的,GC过程在标记过程是(STW)的

1.5版本里面对GC做了很大的优化;采用三色标记,将标记过程细化成三段,只有前后的两段是stw的;极大地缩短了gcstw时间

golang的垃圾回收(GC)机制_第1张图片

你可能感兴趣的:(golang)