sync.Map 适合在读多写少的场景下使用,sync.Map 的核心思想是读写分离,以及用空间换时间。
有两个数据结构:
dirty
数据结构
type Map struct {
// 互斥锁
mu Mutex
// 原子操作
read atomic.Value
// dirty数据
dirty map[interface{}]*entry
// 标记tag 表示数据每次从diry中往read中迁移一个就+1
misses int
}
read
数据结构
type readOnly struct {
m map[interface{}]*entry
// 标记:false 证明数据不只是read中有,dirty也有
amended bool
读数据是优先从 read 中读 (注意,read 是只读的数据结构,所以不加锁),如果 read 不包含这个数据,会从 dirty 中读取 (注意,从 dirty 查找的时候会加锁),并 misses+1,直到 misses 大于 dirty,开始迁移数据,数据一次性从 dirty 传到 read 中。
因为 read 没有锁,所以才说,sync.Map 读的时候效率高。
当新增的时候,从 read 和 dirty 中查找是否用数据,在 read 有数据且没有被标记为清除就无锁覆盖原来的值。这个时候开始加锁了,如果在 read 中虽然有数据,但是被标记为清除了,并且 dirty 没有数据,就加入到 diry 中,如果这个时候 read 有数据,虽然被被标记为删除了,dirty 也有数据,那么直接原子更新数据即可。如果数据不在 read,在 dirty 中,直接在 dirty 中更新即可,如果数据不在 read 中也不再 dirty 中,如果这个时候 read.amended 是 false (意思就是 dirty 空了),那么就必须将数据一点一点从 read 中复制到 dirty 中,如果是 true 就不用复制了,在完成这个工序后,再把数据放置在 dirty 中。
删除的时候,就先从 read 中查找,有了就原子性质的将其标记为 nil,并不是真的删,没有就加锁从 dirty 中找,有了就删。这个时候是真删,如果都没有就返回。
在写多读少的时候,涉及到 read 中无数据就会频繁的加锁去 dirty 中查找、read 和 dirty 交换等开销,比常规的 map 加锁性能更差。因为普通的只是加锁,sync.Map 不仅仅是加锁,还得复制数据,这花销就更大了。
总结:高并发,读多写少可以使用 sync.Map,如果读少写多,不要使用 sync.Map,比常规锁+map 更慢