前言
众所周知,Golang 的map是不安全的,所以sync包提供了线程安全的map。接下来就是把我对sync.map的理解写出来分享给各位。
一、为什么map线程不安全?
map不是线程安全的。在同一时间段内,让不同 goroutine 中的代码,对同一个字典进行读写操作是不安全的。字典值本身可能会因这些操作而产生混乱,相关的程序也可能会因此发生不可预知的问题。
二、配合(锁)实现线程安全的map。
1.悲观锁的形式
悲观锁:进来的每一步操作都认为同时会有其他进程影响操作,所以提前加锁。
lock.Lock()
//map的增删改查操作
lock.UnLock()
2.乐观锁的形式
乐观锁:因为map线程不安全是同时:读&&写||写&&写 造成的,所以在map写的时候加上锁就会提高map的性能。
//查
lock.Lock()
//map的增删改操作
lock.UnLock()
3.根据map实现原理,对小范围进行加锁。
另一种设想是在buckets层面或者map更基本的组成层面加锁,根据乐观锁的情况进行小范围加锁。这里推荐一篇大佬的文章,写的非常好。(传送)
三、sync.map实现的原理。
1、sync.Map 的实现原理可概括为:
a、过 read 和 dirty 两个字段将读写分离,读的数据存在只读字段 read 上,将最新写入的数据则存在 dirty 字段上
b、读取时会先查询 read,不存在再查询 dirty,写入时则只写入 dirty
c、读取 read 并不需要加锁,而读或写 dirty 都需要加锁
d、另外有 misses 字段来统计 read 被穿透的次数(被穿透指需要读 dirty 的情况),超过一定次数则将 dirty 数据同步到 read 上
e、对于删除数据则直接通过标记来延迟删除
2、sync.Map 使用方法:
var ma sync.Map// 该类型是开箱即用,只需要声明既可
ma.Store("key", "value") // 存储值
ma.Delete("key") //删除值
ma.LoadOrStore("key", "value")// 获取值,如果没有则存储
fmt.Println(ma.Load("key"))//获取值
//遍历
ma.Range(func(key, value interface{}) bool {
fmt.Printf("key:%s ,value:%s \n", key, value)
//如果返回:false,则退出循环,
return true
})
总结
map底层虽然写的尤为漂亮,但是为了效率,没有把线程安全安排上,所以另外加了sync.map,兼容线程安全。在我的理解中,sync.map实现就是依靠两张map对读操作和写操作分离,后续根据需要在把dirty map合入 read map中。相对于乐观锁实现的方式,写进程执行的时候,读进程也可能在read map上进行。
如有问题请联系本人指正,谢谢~