一、map 是哎呀

map 是 Go 中用于储存 key-value 关系数据的数据结构，近似 C++ 中的 map，Python 中的 dict。Go 中 map 的使用很简短，但是对于初学者，经常会犯两个差错：消失初始化，出现读写。

1、未初始化的 map 都是 nil，直接赋值会报 panic。map 当做结构体成员的时候，很易于忘记对它的初始化。

2、出现读写是我们使用 map 中很广泛的一个差错。多个协程出现读写同一个 key 的时候，会出现冲突，导致 panic。

Go 安放的 map 种类并消失对出现景象景象进行优化，但是出现景象又很广泛，怎样实现线程安全（出现安全）的 map就很重要了 

二、三种线程安全的 map

1、加读写锁（RWMutex）

这是最易于悟出的一种方法。广泛的 map 的操作有增删改查和遍历，这内中查和遍历是读操作，增删改是写操作，所以对查和遍历需要加读锁，对增删改需要加写锁。

以 map[int]int 为例，依靠 RWMutex，实际的实现方法如下:

2、中分加锁

越过读写锁 RWMutex 实现的线程安全的 map，效用上已经完整满足了需要，但是面对高出现的景象，单单效用满足可非常，性质也得跟上。锁是性质下降的万恶之源某个。所以出现编程的标准即使尽可能减少锁的使用。当锁只得用的时候，同意减少锁的粒度和拥有的时间。

在第一种方法中，加锁的情人是全部 map，协程 A 对 map 中的 key 进行修改操作，会导致其他协程无法对其他 key 进行读写操作。一种歼灭思路是将这个 map 分成 n 块，每个块期间的读写操作都互不打搅，所以下降冲突的可能性。

Go 比较著名的中分 map 的实现是 orcaman/concurrent-map，它的定义如下：

ConcurrentMap 其实即使一个切片，切片的每个因素都是第一种方法中携带了读写锁的 map。

这内中 GetShard 方法即使用于暗害每一个 key 应该分红到谁人中分上。

再探望一眨眼 Set 和 Get 操作。

Get 和 Set 方法近似，都是根据 key 用 GetShard 暗害出中分目录，找到呼应的 map 块，实行读写操作。

3、sync 中的 map

中分加锁的思路是将大块的数量切分成小块的数量，所以减少冲突导致锁阻塞的可能性。如果在部分异常的景象下，将读写数量离别，是不是能在更加晋升性质呢？

在安放的 sync 包中（Go 1.9+）也有一个线程安全的 map，越过将读写离别的方法实现了小半特定景象下的性质晋升。

其实在生育环境中，sync.map 用的很少，合法文档推荐的两种使用景象是：

a) when the entry for a given key is only ever written once but read many times, as in caches that only grow.
b) when multiple goroutines read, write, and overwrite entries for disjoint sets of keys.

两种景象都比较刻薄，或者是一写多读，或者是挨次协程操作的 key 合并消失混杂（也许混杂很少）。所以合法建议先对和睦的景象做性质估测，如果实在能明显增强性质，再使用 sync.map。

sync.map 的完整思路即使用两个数据结构（只读的 read 和可写的 dirty）尽量将读写操作离别，来减少锁对性质的反应。

下级详细看下 sync.map 的定义和增删改查实现。

sync.map 数据结构定义

Map 的定义中，read 字段越过 atomic.Values 储存被一再读的 readOnly 种类的数量。dirty 储存

Store 方法

Store 方法用于安装一个键值对，也许更新一个键值对。

第2-6行，越过 cas 进行键值对更新，更新完成直接返回。

第8-28行，越过排挤锁加锁来拍卖拍卖激增键值对和更新战败的景象（键值对被记号删除）。

第11行，再度检讨 read 中是不是已经存在要 Store 的 key（双检讨由于事先检讨的时候消失加锁，半路也许有协程修改了 read）。

如果该键值对事先被记号删除，先将这个键值对写到 dirty 中，并且更新 read。

如果 dirty 中已经有这一项了，直接更新 read。

如果是一个新的 key。dirty 为空的变故下越过复制 read 创立 dirty，不为空的变故下直接更新 dirty。

Load 方法

Load 方法比较简单，首先从 read 中读数据，读缺席，再越过排挤锁锁从 dirty 中读数据。

这里需要注意的是，如果出现一再从 read 中读缺席数量，取得 dirty 中读取的变故，就直接把 dirty 升级成 read，以增强 read 频率。

Delete 方法

下级是 Go1.13 中 Delete 的实现方法，如果 key 在 read 中，就将值置成 nil；如果在 dirty 中，直接删除 key。

添补证明一眨眼，delete() 实行完以后，e.p 成为 nil，下次 Store 的时候，实行到 dirtyLocked() 这一步的时候，会被记号成 enpunged。所以在 read 中 nil 和 enpunged 都意味删除情况。

sync.map 总结

上面对源码简单的梳头了一遍，末尾在总结一眨眼 sync.map 的实现思路：

  • 读写离别。读（更新）相关的操作尽量越过不加锁的 read 实现，写（激增）相关的操作越过 dirty 加锁实现。

  • 动态调动。新写入的 key 都只存在 dirty 中，如果 dirty 中的 key 被一再读取，dirty 就会上升成不需要加锁的 read。

  • 推迟删除。Delete 但是把被删除的 key 记号成 nil，激增 key-value 的时候，记号成 enpunged；dirty 上升成 read 的时候，记号删除的 key 被批量移出 map。这样的益处是 dirty 成为 read 事先，这些 key 都会命中 read，而 read 不需要加锁，不论读或者更新，性质都很高。

总结了 sync.map 的计划思路后，我们就能了解合法文档推荐的 sync.map 的两种使用景象了。

三、总结

Go 安放的 map 使用兴起很有利，但是在出现一再的 Go 次序中很易于出现出现读写冲突导致的题材。本文介绍了三种广泛的线程安全 map 的实现方法，分头是读写锁、分片锁和 sync.map。

较常使用的是前两种，而在特定的景象下，sync.map 的性质会有更优的呈现。