锐客网

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

go语言map固定顺序 go语言map底层实现原理( 三 )

IT技术Hung


从read中读取key ， 如果key存在就tryStore 。
注意这里开始需要加锁，因为需要操作dirty 。
条目在read中，首先取消标记 ， 然后将条目保存到dirty里 。（因为标记的数据不在dirty里）
最后原子保存value到条目里面，这里注意read和dirty都有条目 。
总结一下Store：
这里可以看到dirty保存了数据的修改，除非可以直接原子更新read，继续保持read clean 。
有了之前的经验，可以猜测下load流程：
与猜测的 区别 ：
由于数据保存两份，所以删除考虑：
先看第二种情况 。加锁直接删除dirty数据 。思考下貌似没什么问题，本身就是脏数据 。
第一种和第三种情况唯一的区别就是条目是否被标记 。标记代表删除，所以直接返回 。否则CAS操作置为nil 。这里总感觉少点什么 ， 因为条目其实还是存在的，虽然指针nil 。
看了一圈貌似没找到标记的逻辑，因为删除只是将他变成nil 。
之前以为这个逻辑就是简单的将为标记的条目拷贝给dirty，现在看来大有文章 。
p == nil，说明条目已经被delete了，CAS将他置为标记删除 。然后这个条目就不会保存在dirty里面 。
这里其实就跟miss逻辑串起来了，因为miss达到阈值之后，dirty会全量变成read，也就是说标记删除在这一步最终删除 。这个还是很巧妙的 。
真正的删除逻辑：
很绕 。。。。
彻底理解Golang Map 本文目录如下 ， 阅读本文后，将一网打尽下面Golang Map相关面试题
Go中的map是一个指针，占用8个字节，指向hmap结构体;源码 src/runtime/map.go 中可以看到map的底层结构
每个map的底层结构是hmap，hmap包含若干个结构为bmap的bucket数组 。每个bucket底层都采用链表结构 。接下来，我们来详细看下map的结构
bmap就是我们常说的“桶” ， 一个桶里面会最多装 8 个 key，这些 key 之所以会落入同一个桶，是因为它们经过哈希计算后，哈希结果是“一类”的，关于key的定位我们在map的查询和插入中详细说明 。在桶内，又会根据 key 计算出来的 hash 值的高 8 位来决定 key 到底落入桶内的哪个位置（一个桶内最多有8个位置) 。
bucket内存数据结构可视化如下：
注意到 key 和 value 是各自放在一起的，并不是key/value/key/value/...这样的形式 。源码里说明这样的好处是在某些情况下可以省略掉 padding字段，节省内存空间 。
当 map 的 key 和 value 都不是指针，并且 size 都小于 128 字节的情况下，会把 bmap 标记为不含指针，这样可以避免 gc 时扫描整个 hmap 。但是，我们看 bmap 其实有一个 overflow 的字段 ， 是指针类型的 ， 破坏了 bmap 不含指针的设想 ， 这时会把 overflow 移动到 extra 字段来 。
map是个指针 ， 底层指向hmap ， 所以是个引用类型
golang 有三个常用的高级类型 slice 、map、channel,它们都是 引用类型 ，当引用类型作为函数参数时，可能会修改原内容数据 。
golang 中没有引用传递，只有值和指针传递 。所以 map 作为函数实参传递时本质上也是值传递，只不过因为 map 底层数据结构是通过指针指向实际的元素存储空间，在被调函数中修改 map，对调用者同样可见，所以 map 作为函数实参传递时表现出了引用传递的效果 。
因此 ， 传递 map 时，如果想修改map的内容而不是map本身，函数形参无需使用指针
map底层数据结构是通过指针指向实际的元素 存储空间，这种情况下，对其中一个map的更改，会影响到其他map
map 在没有被修改的情况下，使用 range 多次遍历 map 时输出的 key 和 value 的顺序可能不同 。这是 Go 语言的设计者们有意为之，在每次 range 时的顺序被随机化，旨在提示开发者们，Go 底层实现并不保证 map 遍历顺序稳定 ， 请大家不要依赖 range 遍历结果顺序 。

推荐阅读


上一篇：chatgpt替代软件，chatter软件

下一篇：关于chatGPT，关于ChatGPT的论文