锐客网

  1. 首页 > 睿知 > it技术 > >

go语言条件变量 go变量声明( 六 )

IT技术环绕


如果未迁移完毕，赋值/删除的时候，扩容完毕后（预分配内存），不会马上就进行迁移 。而是采取 增量扩容 的方式，当有访问到具体 bukcet 时 ， 才会逐渐的进行迁移（将 oldbucket 迁移到 bucket）
nevacuate 标识的是当前的进度，如果都搬迁完，应该和2^B的长度是一样的
在evacuate 方法实现是把这个位置对应的bucket，以及其冲突链上的数据都转移到新的buckets上 。
转移的判断直接通过tophash 就可以 ， 判断tophash中第一个hash值即可
遍历的过程 ， 就是按顺序遍历 bucket ， 同时按顺序遍历 bucket 中的 key 。
map遍历是无序的，如果想实现有序遍历，可以先对key进行排序
为什么遍历 map 是无序的？
如果发生过迁移，key 的位置发生了重大的变化，有些 key 飞上高枝 ， 有些 key 则原地不动 。这样，遍历 map 的结果就不可能按原来的顺序了 。
如果就一个写死的 map ， 不会向 map 进行插入删除的操作，按理说每次遍历这样的 map 都会返回一个固定顺序的 key/value 序列吧 。但是 Go 杜绝了这种做法，因为这样会给新手程序员带来误解，以为这是一定会发生的事情，在某些情况下，可能会酿成大错 。
Go 做得更绝，当我们在遍历 map 时，并不是固定地从 0 号 bucket 开始遍历，每次都是从一个**随机值序号的 bucket开始遍历，并且是从这个 bucket 的一个 随机序号的 cell **开始遍历 。这样，即使你是一个写死的 map，仅仅只是遍历它，也不太可能会返回一个固定序列的 key/value 对了 。
Go 语言三色标记扫描对象是 DFS 还是 BFS?最近在看左神新书 《Go 语言设计与实现》的垃圾收集器时产生一个疑惑go语言条件变量，花go语言条件变量了点时间搞清楚了记录一下 。
Go 语言垃圾回收的实现使用了标记清除算法，将对象的状态抽象成黑色（活跃对象）、灰色（活跃对象中间状态）、白色（潜在垃圾对象也是所有对象的默认状态）三种 ， 注意没有具体的字段标记颜色 。
整个标记过程就是把白色对象标黑的过程go语言条件变量：
1.首先将 ROOT 根对象（包括全局变量、goroutine 栈上的对象等）放入到灰色集合
2.选一个灰色对象，标成黑色，将所有可达的子对象放入到灰色集合
3.重复2的步骤，直到灰色集合中为空
下图是书上的插图，看上去是一个典型的深度优先搜索的算法 。
下图是刘丹冰写的《Golang 修养之路》的插图，看上去是一个典型的广度优先搜索的算法 。
go语言条件变量我疑惑的点在于这个标记过程是深度优先算法还是广度优先算法，因为很多文章博客对此都没有很清楚的说明，作为学习者这种细节其实也不影响对整个 GC 流程的理解 ， 但是这种细节我非常喜欢扣：）
对着书和源码摸索着大致找到了一个结果是深度优先 。下面看下大致的过程，源码基于1.15.2版本：
gcStart 是 Go 语言三种条件触发 GC 的共同入口
启动后台标记任务
为每个处理器创建用于执行后台标记任务的 Goroutine
上面休眠的 G 会在调度循环中检查并唤醒执行
执行标记
gcw 是每个 P 独有的所以不用担心并发的问题 和 GMP、mcache 一样设计，减少锁竞争
尝试在全局列表中获取一个不为空的 buf
这是官方实现的无锁队列：）涨见识了，for 循环加原子操作实现栈的 pop
到这里从灰色集合中获取待扫描的对象逻辑说完了 。找到对象了接着就是 scanobject(b, gcw) 了，里面有两段逻辑要注意
根据索引位置找到对象进行标色

推荐阅读


上一篇：chatgpt一直转圈，ChatGPT一直在转圈加载

下一篇：夏普电视怎么返回电视，夏普网络电视怎么调回电视频道