go语言之路 go语言从入门到实战

小程序：扫一扫查出行
【扫一扫了解最新限行尾号】
复制小程序

Go 语言三色标记扫描对象是 DFS 还是 BFS?

最近在看左神新书《Go 语言设计与实现》go语言之路的垃圾收集器时产生一个疑惑go语言之路，花了点时间搞清楚了记录一下。

Go 语言垃圾回收的实现使用了标记清除算法，将对象的状态抽象成黑色（活跃对象）、灰色（活跃对象中间状态）、白色（潜在垃圾对象也是所有对象的默认状态）三种，注意没有具体的字段标记颜色。

整个标记过程就是把白色对象标黑的过程go语言之路：

1.首先将 ROOT 根对象（包括全局变量、goroutine 栈上的对象等）放入到灰色集合

2.选一个灰色对象，标成黑色，将所有可达的子对象放入到灰色集合

3.重复2的步骤，直到灰色集合中为空

下图是书上的插图，看上去是一个典型的深度优先搜索的算法。

下图是刘丹冰写的《Golang 修养之路》的插图，看上去是一个典型的广度优先搜索的算法。

go语言之路我疑惑的点在于这个标记过程是深度优先算法还是广度优先算法，因为很多文章博客对此都没有很清楚的说明，作为学习者这种细节其实也不影响对整个 GC 流程的理解，但是这种细节我非常喜欢扣go语言之路：）

对着书和源码摸索着大致找到了一个结果是深度优先。下面看下大致的过程，源码基于1.15.2版本：

gcStart 是 Go 语言三种条件触发 GC 的共同入口

启动后台标记任务

为每个处理器创建用于执行后台标记任务的 Goroutine

上面休眠的 G 会在调度循环中检查并唤醒执行

执行标记

gcw 是每个 P 独有的所以不用担心并发的问题和 GMP、mcache 一样设计，减少锁竞争

尝试在全局列表中获取一个不为空的 buf

这是官方实现的无锁队列：）涨见识了，for 循环加原子操作实现栈的 pop

到这里从灰色集合中获取待扫描的对象逻辑说完了。找到对象了接着就是 scanobject(b, gcw) 了，里面有两段逻辑要注意

根据索引位置找到对象进行标色

尝试存入 gcwork 的缓存中，或全局队列中

无锁队列，for 循环加原子操作实现栈的 push

到这里把灰色对象标黑就完成了，又放回灰色集合接着扫下一个指针。

Go 语言设计与实现垃圾收集器

Golang三色标记+混合写屏障GC模式全分析

Golang数据结构与算法全能战士

今天给大家推荐是由Social Explorer团队开源的gods框架，自称"上帝"，听这个名字就很霸气,正确的解释是GoDS(Go Data Structures)，是数据结构与算法相关的框架。

全能战士，该框架覆盖了数据结构与算法里，大部分容器、集合类的实现，比golang 的标准开发包提供更丰富的数据结构。

在Go中实现各种数据结构和算法。

吸取了其他算法库数十年的知识和经验。

通过针对给定的一组问题使用最佳算法和数据结构来避免消耗内存，例如，在TreeMap的情况下，红黑树避免在内存中保留冗余排序的键数组。

结构良好的库，具有简单的原子操作集，胜任复杂的数据操作。

保持库向后兼容

可参考的例子非常多

可以方便集成到产品中.

没有额外的导入.当实现算法的时候，我们通常要在时间效率与内存消耗之间权衡，我们选择在内存首先的情况下，不断优化得到最好的时间效率;线程安全不是重点，应该在更高的应用层上处理。

囊括了列表，栈，图，树等基本数据结构，集合实现了HashSet, TreeSet, LinkedHashSet，列表实现ArrayList, SinglyLinkedList, DoublyLinkedList,对栈实现LinkedListStack, ArrayStack,图实现了HashMap, TreeMap, HashBidiMap, TreeBidiMap, LinkedHashMap，树实现了RedBlackTree, AVLTree, BTree,BinaryHeap，都经过性能测试的考验，值得信赖。

对于Golang开发而言，gods对底层数据结构做很好的封装，Social Explorer团队在数据处理领域，数据可视化领域有极具竞争力的产品，相信在数据处理领域有很深的积淀，才创造这么优秀的框架，由于篇幅限制，相关图片展示效果不好，感兴趣的上官网去看看。

官网：

GitHub

希望大家能从emirpasic/gods学到有价值的东西。

愿我们在Go 语言的学习之路上从此结伴而行