go map的底层实现原理

go map的底层实现原理

1.当我们输入make(map[string]string,10)之后底层会发生什么？

• 第一步：创建一个hmap结构体对象。
• 第二步：生成一个hash()并赋值到hmap对象中(用户后续为key创建哈希值)。
• 第三步：根据hint=10，并根据算法规则来创建B，当前B应该为1
• 第四步：根据B去创建bmap对象(桶)，并存放到buckets数组中，当前bmap数量应该为2
  • 当B<4时，根据B创建桶的个数为2的B次方(标准桶)
  • 当B>4时，根据B创建桶的个数为2的B次方加上2的B-4次方(标准桶+溢出桶)
  • 注意：每个bmap中可以存储8个键值对，当不够存储时需要使用溢出桶，并将当前bmap中的overflow字段指向溢出桶的位置
    

2.写入数据时会发生什么？

• 第一步，结合哈希因子和键生成哈希值
• 第二步，获取哈希值的后B位，并且根据后B位的值来决定此键值对存放到哪个桶中
• 第三步，在上一步确定桶之后，接下来就在桶中写入数据
• 第四部，hmap中的count++

3.读取数据时会发生什么？

• 第一步，结合哈希因子和键生成哈希值
• 第二步，获取哈希值的后B位，并且根据后B位的值来决定将此键值对存放在哪个桶中
• 第三步，确定桶之后，再根据key的哈希值计算出tophash(高8位)，根据tophash和key去桶中查找数据，tophash代表着桶中key-value数组的第几个数据代表你要查找的数据
  • 如果当前桶没有找到的话，按么就会根据overflow去溢出桶中找，没有找到则说明数据不存在

4.扩容

• map中数据总个数/桶个数>6.5时，引发翻倍扩容
• 使用了太多的溢出桶时，会导致map处理效率降低
  • B<=15，已使用的溢出桶个数>=2的B次方时，引发等量扩容
  • B>15，已使用的溢出桶个数>=2的15次方时，引发等量扩容

5.迁移

• 如果是翻倍扩容，那么迁移会将旧桶中的数据分流至两个桶中，比例不是固定的。因为桶的个数是2的B次方，翻倍扩容意味着B会增加1，并且迁移的时候会遍历旧桶中的键，此时会重新计算哈希值，又因为根据低B位确定应该放在哪个桶，此时B改变了，所以存储的位置也会发生改变，因此造成了分流。
• 如果是等量扩容，把溢出桶的值也给放到桶中，这样可以让我们的数据更为紧凑