Go语言垃圾回收GC（完整）

花开了￥

于 2024-07-28 19:34:52 发布

阅读量750

点赞数 25

文章标签： golang go

本文链接：https://blog.csdn.net/m0_66316879/article/details/140741739

版权

垃圾回收的概念

GC(垃圾回收)是 Go 语言中的一个重要机制，用于自动管理内存
在 Go 语言中，GC 会自动发现和回收那些不再被使用的内存空间，从而防止内存泄漏和有
效利用内存。

内存垃圾怎样产生

程序在内存上被分为堆区、栈区、全局数据区、代码段、数据区五个部分。
对于某些早期的编程语言栈上的内存由编译器管理回收，堆上的内存空间需要程序员负责申请与释放。
Go中的栈上内存仍由编译器负责管理回收，而堆上的内存由编译器和垃圾收集器负责管理回收。
垃圾是指程序向堆栈申请的内存空间，随着程序的运行已经不再使用这些内存空间，这时如果不释放他们就会造成垃圾也就是内存泄漏。

GC 的工作原理

GC的核心思想是自动找到那些不再被引用的内存块，然后将其释放。Go 语言使用的是增强型标记-清除算法。简单来说，这个算法会先遍历所有活跃的变量并进行标记，然后清除未被标记的变量（不可达对象）。不过，Go的GC经过多次优化，能够在程序运行的同时有效地完成这些任务，从而减少对程序性能的影响。

GC 的优势

自动化内存管理:我们不需要手动释放内存，减少了内存错误的几率
提升开发效率:可以更专注于业务逻辑的开发，而不用担心内存管理，
安全性高:通过自动管理内存，避免了内存泄漏和悬空指针等问题。

GC 的影响与优化

尽管 GC 提高了内存管理的便利性，但是也会有一定的性能开销，可以优化

减少内存分配:尽量重用对象，避免频繁的内存分配和释放;
合并小对象:减少小对象的分配数量，通过合并提升内存使用效率:
调整 GC 触发阈值:根据程序的具体需求，调整 GC 的触发阈值，从而优化性能

手动内存管理

虽然 Go 语言中的 GC机制非常优秀，但在一些极端情况下，手动管理内存仍然是必要的。这包括使用 sync.Pool 等工具来管理对象池，减少 GC 触发的频率。

go的GC版本迭代

V1.3以前:STW

go runtime在一定条件下（内存超过阈值或定期如2min），暂停所有任务的执行，进行mark（标记）和sweep（清扫）操作，操作完成后启动所有任务的执行。在内存使用较多的场景下，go程序在进行垃圾回收时会发生非常明显的卡顿现象。

V1.3：mark STW & sweep（标记清除法）

1.3版本中，go runtime分离了mark和sweep操作，和以前⼀样，也是先暂停所有任务执⾏并启动

mark，mark完成后⻢上就重新启动被暂停的任务了，⽽是让sweep任务和普通协程任务⼀样并⾏的和其他任务⼀起执⾏。

v1.5：三⾊标记

三色抽象和垃圾回收

白色对象:未被标记的对象，这些对象可能会在垃圾回收的过程中被回收。
灰色对象:已被标记为活跃但其引用对象尚未完全扫描的对象。
黑色对象:活跃且其所有引用对象都已经标记完毕，不会被回收。

go1.5正在实现的垃圾回收器“⾮分代的、⾮移动的、并发的、三⾊的标记清除垃圾收集器”。这种⽅法的mark操作可以渐进执⾏的⽽不需每次都扫描整个内存空间，可以减少stop the world的时间。

1.8：混合写屏障

由于标记操作和⽤⼾逻辑是并发执⾏的，⽤⼾逻辑会时常⽣成对象或者改变对象的引⽤。例如把⼀个对象标记为⽩⾊准备回收时，⽤⼾逻辑突然引⽤了它，或者⼜创建了新的对象。由于对象初始时都看为⽩⾊，会被 GC 回收掉。

GC 对扫描过后的对象使⽤操作系统写屏障功能来监控这段内存。如果这段内存发⽣引⽤改变，写屏障会给垃圾回收期发送⼀个信号，垃圾回收器捕获到信号后就知道这个对象发⽣改变，然后重新扫描这个对象，看看它的引⽤或者被引⽤是否改变。利⽤状态的重置实现当对象状态发⽣改变的时候，依然可以再次其引⽤的对象。

用下面这个例子解释并发带来的问题，当从A这个GC root找到引用对象B时，B变灰A变黑。这时用户goroutine执行把A到B的引用改成了A到C的引用，同时B不再引用C。然后GC goroutine又执行，发现B没有引用对象，B变黑。而这时由于A已经变黑完成了扫描，C将当做白色不可达对象被清除。

解决办法：引入写屏障。当发现A已经标记为黑色了，若A又引用C，那么把C变灰入队。这个write_barrier是编译器在每一处内存写操作前生成一小段代码来做的。

// 写屏障伪代码
write_barrier(obj,field,newobj){
    if(newobj.mark == FALSE){
        newobj.mark = TRUE
        push(newobj,$mark_stack)
    }
    *field = newobj
}

如何非递归的实现遍历mark可达节点，显然需要一个队列。

这个队列也帮助区分黑色对象和灰色对象，因为标记位只有一个。标记并且在队列中的是灰色对象，标记了但是不在队列中的黑色对象，末标记的是白色对象。

root node queue
while(queue is not nil) {
  dequeue // 节点出队
  process // 处理当前节点 
  child node queue // 子节点入队
}

垃圾回收三⾊标记法实现原理

所有对象初始都被标记为⽩⾊，表⽰这些对象尚未被扫描过。
从根对象开始（如全局变量、栈中的变量等），将其引⽤的对象标记为灰⾊，表⽰这些对象已经被扫描过，但其引⽤的对象还未扫描。
继续对灰⾊对象进⾏扫描，将其引⽤的对象标记为灰⾊，并将当前灰⾊对象标记为⿊⾊，表⽰这些对象已经被扫描过，其引⽤的对象也已被扫描过。
遍历所有⽩⾊对象，将其标记为死亡对象，进⾏垃圾回收。

垃圾回收的实现

Go采用“并发标记清除”来管理和回收不再使用的内存。

流程：

标记阶段：垃圾回收器从根对象（如全局变量、栈上的指针等）开始，通过遍历对象图的方式标记所有可达的对象。这个过程是并发进行的，与程序的执行同时进行，不会阻塞程序的运行。
并发标记阶段：在标记阶段的同时，Go语言的垃圾回收器还会与程序的执行并发的标记新创建的对象，这个过程通过与程序的执行并行运行，以减少程序性能的影响。
清除阶段：在标记阶段完成后，垃圾回收器会对堆中未标记对象进行清除。这个过程会暂停程序的执行，因为它需要遍历整个堆并回收未标记的对象。清除后的内存空间会被重新分配给新的对象使用。
并发清除阶段：在清除阶段完成之后，go语言的垃圾回收器会继续与程序的执行同时进行，以减少对程序性能的影响。

插⼊，删除，混合写屏障

屏障

Go 语⾔的屏障（Barrier）是⼀种同步机制，⽤于协调多个 Goroutine 的执⾏。在 Go 语⾔中，屏障通常⽤于等待⼀组 Goroutine 完成⼀定的任务，然后再继续执⾏下⼀步操作。

作⽤

Go 语⾔的屏障机制可以帮助开发者协调多个 Goroutine 的执⾏，避免出现竞争条件和死锁等问题，提⾼程序的可靠性和性能。

插⼊屏障

插⼊屏障（Barrier Insertion）是⼀种⽤于控制 Goroutine 之间交互的同步机制。在 Go 语言的垃圾回收器中，写屏障通过在每次写操作时，插入额外的代码来工作，具体来说，每次 Go 程序写操作(比如赋值语句)进行时，都会调用一个写屏障函数。对于标记-清除算法，写屏障会在新引用插入对象时，将该引用的对象标记为灰色。这种做法确保黑色对象不会直接指向白色对象，并且所有新的引用都会被回收器追踪。