GO string 转map_抽丝剥茧—Go哈希Map的鬼魅神功

作者:Jonson 51CTO学院  Golang与区块链高级讲师, kvb集团高级技术专家。github theWayToGolang作者,多年教育与金融行业从业经验。拥有丰富的高并发、分布式、微服务集群的实战经验。

  • Go语言中的哈希Map是江湖上极厉害的一门武功,其入门简单,即便是掌握到了2、3层也具有四两拨千斤的神奇功效.因此成为江湖人士竞相研习的技艺,风头一时无两.

  • 但即便是成名已久的高手,也鲜有能修炼到最高层的.

  • 本文不仅介绍了哈希Map基本的使用方式,还深入源码介绍了哈希Map的至高心法.希望本文有助于你对Go哈希Map的使用臻于化境.

哈希表

  • Go语言中的Map,又称为Hash map(哈希表)是使用频率极高的一种数据结构,重要程度高到令人发指。

  • 哈希表的原理是将多个key/value对分散存储在buckets(桶)中。给定一个key,哈希算法会计算出键值对存储的位置。时常会通过两步完成,伪代码如图所示:

hash = hashfunc(key)
  • 在此伪代码中,第一步计算通过hash算法计算key的hash值,其结果与桶的数量无关。

  • 接着通过执行取模运算得到0 - array_size−1 之间的index序号。

  • 在实践中,我们时常将Map看做o(1)时间复杂度的操作,通过一个键key快速寻找其唯一对应的value。

Map基本操作

Map的声明与初始化

首先,来看一看map的基本使用方式。map声明的第一种方式如下

var hash  

其并未对map进行初始化的操作,其值为nil,因此一旦进行hash[key]=alue这样的赋值操作就会报错。

panic(plainError(

比较意外的是Go语言允许对为nil的map进行访问:hash["Go"],虽然其结果显然毫无意义.

map的第二种声明方式通过make进行。make的第二个参数中代表初始化创建map的长度。当NUMBER为空时,代表默认长度为0.

var hash = 

此种方式可以正常的对map进行访问与赋值
在map初始化时,还具有字面量形式初始化的方式。其在创建map时即在其中添加了元素。

var country = 

Map的访问

map可以进行两种形式的访问:

hash[key]

以及

map[key]

当返回2个参数时,第2个参数代表当前key在map中是否存在。
不用惊讶于为什么同样的访问可以即返回一个值又返回两个值,这是在编译时做到的,后面会介绍。

Map的赋值

map的赋值语法相对简单

hash[key] = value

其代表将value与哈希表中的key绑定在一起

Map的删除

map的删除需要用到delete,其是Go语言中的关键字,用于进行map的删除操作,形如:

delete(

可以对相同的key进行多次的删除操作,而不会报错

关于map中的key

很容易理解,如果map中的key都没有办法比较是否相同,那么就不能作为map的key。
关于Go语言中的可比较性,直接阅读官方文档即可:https://golang.org/ref/spec#Comparison_operators
下面简单列出一些类型的可比较性

布尔值是可比较的
整数值可比较的
浮点值是可比较的
复数值是可比较的
字符串值是可比较
指针值是可比较的。如果两个指针值指向相同的变量,或者两个指针的值均为nil,则它们相等。
通道值是可比较的。如果两个通道值是由相同的make调用创建的,或者两个值都为nil。
接口值是可比较的。如果两个接口值具有相同的动态类型和相等的动态值,或者两个接口值都为nil,则它们相等。
如果结构的所有字段都是可比较的,则它们的值是可比较的。
如果数组元素类型的值可比较,则数组值可比较。如果两个数组的对应元素相等,则它们相等。
切片、函数、map是不可比较的。

关于map并发冲突问题

  • 和其他语言有些不同的是,map并不支持并发的读写,因此下面的操作是错误的

make(

报错:

map 
  • Go语言只支持并发的读取Map.因此下面的函数是没有问题的

make(

Go语言为什么不支持并发的读写,是一个频繁被提起的问题。我们可以在Go官方文档Frequently Asked Questions找到问题的答案(https://golang.org/doc/faq#atomic_maps)

Map被设计为不需要从多个goroutine安全访问,在实际情况下,

即这样做的目的是为了大多数情况下的效率。

Map在运行时

  • 介绍了Map的基本操作,本节介绍一下Map在运行时的行为,以便能够深入Map内部的实现机制。

  • 明白了Map的实现机制,有助于更加灵活的使用Map和进行深层次的调优过程。由于代码里面的逻辑关系关联比较复杂。本节会首先用多张图片帮助读者有一个抽象的理解。
    Go语言Map的底层实现如下所示:

// A header for a Go map.

其中:

  • count 代表Map中元素的数量.

  • flags 代表当前Map的状态(是否处于正在写入的状态等).

  • B 对数形式表示的当前Map中桶的数量, 2^B = Buckets size.

  • noverflow 为Map中溢出桶的数量.当溢出桶太多的时候,Map会进行same-size map growth.其实质是为了避免溢出桶过大导致的内存泄露问题.

  • hash0 代表生成hash的随机数种子.

  • buckets 指向了当前Map对应的桶的指针.

  • oldbuckets 是在Map进行扩容的时候存储旧桶的.当所有的旧桶中的数据都已经转移到了新桶,则清空。

  • nevacuate 在扩容的时候使用。用于标记当前旧桶中小于nevacuate的桶都已经转移到了新桶.

  • extra存储Map中的溢出桶

代表桶的bmap结构在运行时只列出了其首个字段: 即一个固定长度为8的数组。此字段顺序存储key的哈希值的前8位.

type bmap 

可能会有疑问,桶中存储的key和value值哪里去了?这是因为Map在编译时即确定了map中key,value,桶的大小。因此在运行时仅仅通过指针操作即可找到特定位置的元素。
桶本身在存储的tophash字段之后,会存储key数组以及value数组

type bmap 

d0cf2d39bfcce91ed0d9bd6ba1f59052.png

Go语言选择将key与value分开存储而不是key/value/key/value的形式,是为了在字节对齐的时候能够压缩空间。

在进行hash[key]此类的的Map访问操作时,会首先找到桶的位置,如下为伪代码操作.

hash = hashfunc(key)

接着遍历tophash数组,如果数组中找到了相同的hash,那么就可以接着通过指针的寻址操作找到key与value值

e180b9d3ba58965bff1e9d6315ae3d75.png

  • 在Go语言中还有一个溢出桶的概念,在执行hash[key] = value赋值操作时,当指定桶中的数据超过了8个,并不会直接就新开辟一个新桶,而是会将数据放置到溢出桶中每个桶的最后还存储了overflow 即溢出桶的指针

    在正常情况下,数据是很少会跑到溢出桶里面去的。同理,我们也可以知道,在Map的查找操作时,如果key的hash在指定桶的tophash数组中不存在,还会遍历溢出桶中的数据。

    3d45e2a883572f8cc695bcf59bf47844.png

  • 后面我们会看到,如果一开始初始化map的数量比较大。则map提前创建好一些溢出桶存储在extra *mapextra 字段.

struct {

这样当出现溢出现象时,就可以用提前创建好的桶而不用申请额外的内存空间。当预分配的溢出桶使用完了,溢出桶才会新建。

当发生以下两种情况之一,map会进行重建:

  • 当Map超过了负载因子大小

  • 当溢出桶的数量过多

在哈希表中都有负载因子的概念

负载因子 = 哈希表中元素数量 / 桶的数量
  • 因此随着负载因子的增大,意味着越多的元素会分配到同一个桶中。此时其效率会减慢。

  • 试想如果桶的数量只有1个,此时负载因子到达最大,此时的搜索效率就成了遍历数组。在Go语言中的负载因子为6.5。

  • 当超过了其大小后,Mpa会进行扩容,增大两倍于旧表的大小。

  • 旧桶的数据会首先存到oldbuckets 字段,并想办法分散的转移到新桶中。

02e5853b28aec899dbbdb5376d324796.png

  • 当旧桶的数据全部转移到新桶之后,旧桶数据即会被清空。

  • map的重建还存在第二种情况,即溢出桶的数量太多。这时只会新建和原来的map具有相同大小的桶。进行这样same size的重建为了是防止溢出桶的数量可能缓慢增长导致的内存泄露.

  • 当进行map的delete操作时, 和赋值操作类似,会找到指定的桶,如果存在指定的key,那么就释放掉key与value引用的内存。同时tophash中指定位置会存储emptyOne,代表当前位置是空的。

  • 同时在删除操作时,会探测到是否当前要删除的元素之后都是空的。如果是,tophash会存储为emptyRest. 这样做的好处是在做查找操作时,遇到emptyRest 可以直接退出,因为后面的元素都是空的。

6334c5bbc163a626097bb014c8d3d8db.png

Map深入

上一节用多张图片解释了Map的实现原理,本节会继续深入Go语言源码解释Map的具体实现细节。问题掌握得有多细致,理解得就有多透彻。

Map深入: make初始化

如果我们使用make关键字初始化Map,在typecheck1类型检查阶段,节点Node的op操作变为OMAKEMAP,如果指定了make map的长度,则会将长度常量值类型转换为TINT类型.如果未指定长度,则长度为0。nodintconst(0)

func typecheck1(n *Node, top int) (res *Node) {
  • 如果make的第二个参数不是整数,则会在类型检查时报错。

if !checkmake(t, 
  • 最后会指定在运行时调用runtime.makemap*函数

func walkexpr(n *Node, init *Nodes) *Node {

不管是makemap64还是makemap,最后都调用了makemap函数

func makemap64(t *maptype, hint int64, h *hmap) *hmap {
  • 保证创建map的长度不能超过int大小

if int64(int(hint)) != hint {
  • makemap函数会计算出需要的桶的数量,即log2(N),并调用makeBucketArray函数生成桶和溢出桶

  • 如果初始化时生成了溢出桶,会放置到map的extra字段里去

func makemap(t *maptype, hint int, h *hmap) *hmap {
  • makeBucketArray 会为Map申请内存大小,这里需要注意的是,如果map的数量大于了2^4,则会在初始化的时候生成溢出桶。溢出桶的大小为2^(b-4),b为桶的大小。

func makeBucketArray(t *maptype, b uint8, dirtyalloc unsafe.Pointer) (buckets unsafe.Pointer, nextOverflow *bmap) {

Map深入: 字面量初始化

如果是采取了字面量初始化的方式,其最终仍然是需要转换为make操作,其长度是字面量的长度。其编译时的核心逻辑位于:

func anylit(n *Node, var_ *Node, init *Nodes){
  • 唯一值得一提的是,如果字面量的个数大于25个,编译时会构建一个数组循环添加

entries := n.List.Slice()
if len(entries) > 25 {
    // loop adding structure elements to map
    // for i = 0; i //  map[vstatk[i]] = vstate[i]// }
}
  • 如果字面量的个数小于25个,编译时会指定会采取直接添加的方式赋值

for _, r := 

Map深入: map访问

前面介绍过,对map的访问,具有两种形式。一种是返回单个值

v := hash[key]

一种是返回多个返回值

hash[key]

Go语言没有函数重载的概念,决定返回一个值还是两个值很明显只能够在编译时完成。
对于 v:= rating["Go"]rating["Go"]会在编译时解析为一个node,其中左边type为ONAME,存储名字:,右边type为OLITERAL,存储"Go",节点的op为"OINDEXMAP"
根据hash[key] 位于赋值号的左边或右边,决定要执行访问还是赋值的操作。访问操作会在运行时调用运行mapaccess1_XXX函数,赋值操作会在运行时调用mapassign_XXX函数。

if n.IndexMapLValue() {
  • Go编译器根据map中的key类型和大小选择不同的mapaccess1_XXX函数进行加速,但是他们在查找逻辑上都是相同的

func mapfast(t *types.Type) int {
func mkmapnames(base string, ptr string) mapnames {

最终会在运行时会调用mapaccess1_XXXX的函数。

而对于v, ok := hash[key]类型的map访问则有所不同。在编译时的op操作为OAS2MAPR.会将其转换为在运行时调用的mapaccess2_XXXX前缀的函数。其伪代码如下:

//   var,b = mapaccess2*(t, m, i)
  • 需要注意,如果采用_, ok := hash[key]形式,则不用对第一个参数进行赋值操作.

  • 在运行时,会根据key值以及hash种子 计算hash值:alg.hash(key, uintptr(h.hash0)).

  • 接着bucketMask计算出当前桶的个数-1. m := bucketMask(h.B)

  • Go语言采用了一种简单的方式hash&m计算出此key应该位于哪一个桶中.获取到桶的位置后,tophash(hash)即可计算出hash的前8位.

  • 接着此hash 挨个与存储在桶中的tophash进行对比。如果有hash值相同的话.会找到其对应的key值,查看key值是否相同。如果key值也相同,即说明查找到了结果,返回value哦。

func mapaccess1(t *maptype, h *hmap, key unsafe.Pointer) unsafe.Pointer {
  • 函数mapaccess2 的逻辑几乎是类似的,只是其会返回第二个参数,表明value值是否存在于桶中.

func mapaccess2(t *maptype, h *hmap, key unsafe.Pointer) (unsafe.Pointer, bool) {

Map深入: 赋值操作

  • 和访问的情况的比较类似, 最终会调用运行时mapassign*函数。

  • 赋值操作,map必须已经进行了初始化。

if h == 
  • 同时要注意,由于Map不支持并发的读写操作,因此还会检测是否有协程在访问此Map,如果是,即会报错。

if h.flags&hashWriting != 
  • 和访问操作一样,会计算key的hash值

    alg := t.key.alg
    hash := alg.hash(key, uintptr(h.hash0))
  • 标记当前map已经是写入状态

    h.flags ^= hashWriting
  • 如果当前没有桶,还会常见一个新桶。所以初始化的时候还是定一个长度吧。

if h.buckets == 
  • 接着找到当前key对应的桶

hash & bucketMask(h.B)
  • 如果发现,当前的map正好在重建,还没有重建完。会优先完成重建过程,重建的细节后面会介绍。

if h.
  • 计算tophash

uintptr(h.buckets) + bucket*
  • 开始寻找是否有对应的hash,如果找到了,判断key是否相同,如果相同,会找到对应的value的位置在后面进行赋值

for i := 
  • 要注意的是,如果tophash没找到,还会去溢出桶里寻找是否存在指定的hash

  • 如果也不存在,会选择往第一个空元素中插入数据inserti、insertk会记录此空元素的位置,

if isEmpty(b.tophash[i]) && inserti == nil {
  • 在赋值之前,还需要判断Map是否需要重建

if !h.growing() && (overLoadFactor(h.count+
  • 没有问题后,就会执行最后的操作,将新的key与value值存入数组中

  • 这里需要注意一点是,如果桶中已经没有了空元素。这时候我们申请一个新的桶给到这个桶。

if inserti == nil {
  • 申请的新桶一开始是来自于map中extra字段初始化时存储的多余溢出桶。如果这些多余的溢出桶都用完了才会申请新的内存。一个桶的溢出桶可能会进行延展

410c27081fb8f0d6f0859ccb68d6aede.png

func mapassign(t *maptype, h *hmap, key unsafe.Pointer) unsafe.Pointer {

Map深入: Map重建

当发生以下两种情况之一,map会进行重建:

  • 当Map超过了负载因子大小6.5

  • 当溢出桶的数量过多
    重建时需要调用hashGrow函数,如果是负载因子超载,会进行双倍重建。

uint8(
  • 当溢出桶的数量过多,则会进行等量重建。新桶会会存储到buckets字段,旧桶会存储到oldbuckets字段。

  • map中extra字段的溢出桶也同理的进行了转移。

if h.extra != 
  • hashGrow 代码一览

func hashGrow(t *maptype, h *hmap) {
  • 要注意的是, 在这里并没有进行实际的将旧桶数据转移到新桶的过程。数据转移遵循了copy on write(写时复制)的规则。只有在真正赋值的时候,会选择是否需要进行数据转移。核心逻辑位于函数growWork and evacuate

hash & bucketMask(h.B)
  • 在进行写时复制的时候,意味着并不是所有的数据都会一次性的进行转移,而只会转移当前需要的这个旧桶。bucket := hash & bucketMask(h.B)得到了当前新桶所在的位置,而要转移的旧桶的位置位于bucket&h.oldbucketmask()xy [2]evacDst 用于存储要转移到新桶的位置

如果是双倍重建,那么旧桶转移到新桶的位置总是相距旧桶的数量.

b130840e1d6991436d972b54b0d6cf5e.png

如果是等量重建,则简单的直接转移即可

ff4e083a4f1a459868e0a28cb34792f3.png

  • 解决了旧桶要转移哪一些新桶,我们还需要解决旧桶中的数据要转移到哪一些新桶.

  • 其中有一个非常重要的原则是:如果此数据计算完hash后,hash & bucketMask >= 旧桶的大小 意味着这个数据必须转移到和旧桶位置完全对应的新桶中去.理由是现在当前key所在新桶的序号与旧桶是完全相同的。

    newbit := h.noldbuckets()
    if hash&newbit != 0 {
        useY = 1
    }
func evacuate(t *maptype, h *hmap, oldbucket uintptr) {

Map深入: delete

  • 删除的逻辑在之前介绍过,是比较简单的。

  • 核心逻辑位于func mapdelete(t *maptype, h *hmap, key unsafe.Pointer)

  • 同样需要计算出hash的前8位、指定的桶等。

  • 同样会一直寻找是否有相同的key,如果找不到,会一直查找当前桶的溢出桶下去,知道到达末尾…

  • 如果查找到了指定的key,则会清空数据,hash位设置为emptyOne. 如果发现后面没有元素,则会设置为emptyRest,并循环向上检查前一个元素是否为空。

for {
  • delete代码一览

func mapdelete(t *maptype, h *hmap, key unsafe.Pointer) {

总结

  • 本文首先介绍了Go语言Map增删查改的基本用法

  • 接着介绍了Map使用中key的特性,只有可比较的类型才能够作为Map中的key

  • 接着介绍了map禁止并发读写的设计原因,即为了大部分程序的效率而牺牲了小部分程序的安全。

  • 最后我们深入源码介绍了map编译和运行时的具体细节。Map有多种初始化的方式,如果指定了长度N,在初始化时会生成桶。桶的数量为log2(N).如果map的长度大于了2^4,则会在初始化的时候生成溢出桶。溢出桶的大小为2^(b-4),b为桶的大小。

  • 在涉及到访问、赋值、删除操作时,都会首先计算数据的hash值,接着简单的&运算计算出数据存储在桶中的位置。接着会根据hash的前8位与存储在桶中的hash、key进行比较,完成最后的赋值与访问操作。如果数据放不下了还会申请放置到溢出桶中

  • 当Map超过了负载因子大小会进行双倍重建,溢出桶太大会进行等量重建。数据的转移采取了写时复制的策略,即在用到时才会将旧桶的数据打散放入到新桶中。

  • 因此,可以看出Map是简单高效的kv存储的利器,它非常快但是却快不到极致。理论上来说,我们总是可以根据我们数据的特点设计出更好的哈希函数以及映射机制。

  • Map的重建的过程提示我们可以评估放入到Map的数据大小,并在初始化时指定

  • Map在实践中极少成为性能的瓶颈,但是却容易写出并发冲突的程序。这提示我们进行合理的设计以及进行race检查。

  • see you~

  • 7ed5bdf2ba31b96a0e5a9675c138efb5.pngGo语言课程火热招生中,课程详情可联系各班班主任哦!!!

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值