每日三日一GO -- GO如何标记内存

本文链接：https://blog.csdn.net/lingdi2000/article/details/118670137

原文地址

https://translate.google.cn/?sl=en&tl=zh-CN&text=The Go garbage collector is responsible for collecting the memory that is not in use anymore. The implemented algorithm is a concurrent tri-color mark and sweep collector. In this article%2C we will see in detail the marking phase%2C along with the usage of the different colors.&op=translate

正文

Go 垃圾回收器负责收集不再使用的内存。实现的算法是并发三色标记和扫描收集器。在本文中，我们将详细了解标记阶段以及不同颜色的使用。

您可以在 Ken Fox 的“visualizing Garbage Collection Algorithms”中找到有关不同类型垃圾收集器的更多信息。

阅读这篇文章之前请先了解GO内存的管理和分配

标记阶段

此阶段执行内存扫描以了解我们的代码仍在使用哪些内存(block)以及应回收哪些内存(block)。

但是，由于垃圾回收与我们的 Go 程序同时运行，因此它需要一种在扫描时检测内存中潜在变化的方法。为了解决这个问题，实现了一种写屏障算法，并允许 Go 跟踪任何指针变化。启用写屏障的唯一条件是短时间停止程序，也称为“Stop the World”：
在这里插入图片描述

Go 还在进程开始时为每个处理器启动一个标记工作者，帮助标记内存。然后，一旦roots(内存结构的根节点)被排队进行处理，标记阶段就可以开始遍历和着色内存。

现在让我们举一个简单程序的例子，它可以让我们跟踪标记阶段完成的步骤：

type struct1 struct {
	a, b int64
	c, d float64
	e *struct2
}

type struct2 struct {
	f, g int64
	h, i float64
}

func main() {
	s1 := allocStruct1()
	s2 := allocStruct2()

	func () {
		_ = allocStruct2()
	}()

	runtime.GC()

	fmt.Printf("s1 = %X, s2 = %X\n", &s1, &s2)
}

//go:noinline
func allocStruct1() *struct1 {
	return &struct1{
		e: allocStruct2(),
	}
}

//go:noinline
func allocStruct2() *struct2 {
	return &struct2{}
}

由于 struct subStruct 不包含任何指针，因此它存储在专用于对象的span中，不引用其他对象：

在这里插入图片描述

这使得垃圾收集器的工作更容易，因为它在标记内存时不必扫描这个span（span区分了需要scan 和 no scan）。

一旦分配完成，我们的程序就会强制垃圾回收器运行一个周期。这是工作流程：

在这里插入图片描述

垃圾回收器从栈开始，并递归地跟随指针遍历内存。标记为 no scan 的 Span 会停止扫描。但是，这个过程并不是由同一个 goroutine 完成的；每个指针都在会加入一个工作池中排队。然后，后台的标色工作者(前文提到的)将会从这个池子将对象取出，并扫描对象，将对象中指针指向的对象重新放入work pool 中。

在这里插入图片描述