Golang 中的 map 为什么是并发不安全的?_golang map为什么并发不安全

70 阅读3分钟

  多个协程同时读和写,以下程序会出现致命错误:fatal error: concurrent map writes

func main() {
	s := make(map[int]int)
	for i := 0; i < 100; i++ {
		go func(i int) {
			s[i] = i
		}(i)

	}
	for i := 0; i < 100; i++ {
		go func(i int) {
			fmt.Printf("map 的第%d个元素是%d\n", i, s[i])
		}(i)
	}
	time.Sleep(1 \* time.Second)
}

在这里插入图片描述

三、实现 map 并发安全

  如果想实现 map 并发安全,有2种方式:

方式一:使用读写互斥锁 map + sync.RWMutex

  读不用加锁;写之前调用 Lock() 函数加锁,写完之后,调用 Unlock() 解锁。

func main() {
	// 读写互斥锁
	var lock sync.RWMutex
	s := make(map[int]int)
	for i := 0; i < 100; i++ {
		go func(i int) {
			lock.Lock() // 加写锁
			s[i] = i
			lock.Unlock() // 解写锁
		}(i)

	}
	for i := 0; i < 100; i++ {
		go func(i int) {
			fmt.Printf("map 的第%d个元素是%d\n", i, s[i])
		}(i)
	}
	time.Sleep(1 \* time.Second)
}

正常打印,没有 panic。
在这里插入图片描述

方式二:使用 go 提供的 sync.Map

  使用 Store() 函数赋值,使用 Load() 函数获取值。

func testMap2() {
	var s sync.Map
	for i := 0; i < 100; i++ {
		go func(i int) {
			s.Store(i, i)
		}(i)
	}
	for i := 0; i < 100; i++ {
		go func(i int) {
			v, \_ := s.Load(i)
			fmt.Printf("map 的第%d个元素是%d\n", i, v)
		}(i)
	}
	time.Sleep(1 \* time.Second)
}

正常打印,没有 panic。

在这里插入图片描述

两种方式的比较

  sync.Map 支持并发读写,采用空间换时间的机制,冗余了两个数据结构,分别是: read 和 dirty。

type Map struct {
	mu Mutex
	read atomic.Value
	dirty map[any]\*entry
	misses int
}

  和 map+ RWLock 的实现并发的方式相比,减少了加锁对性能的影响,它做了一些优化:可以无锁访向read map,而且会优先操作read mp,如果只操作 read map 就可以满足要求,那就不用去操作write map(dirty),所以在某些特定场景中它发生锁竞争的频率会远远小于 map+RWLock 的实现方式。

  sync.map 的实现方式是通过分段锁(shard-locking)来保证并发安全性,每个分段锁只控制一部分数据,从而减少锁的竞争。虽然 sync.map 比普通的 map 更安全,但是需要注意的是,在读取和写入操作之间仍然存在风险,因此要谨慎使用。

img img

网上学习资料一大堆,但如果学到的知识不成体系,遇到问题时只是浅尝辄止,不再深入研究,那么很难做到真正的技术提升。

需要这份系统化的资料的朋友,可以添加戳这里获取

一个人可以走的很快,但一群人才能走的更远!不论你是正从事IT行业的老鸟或是对IT行业感兴趣的新人,都欢迎加入我们的的圈子(技术交流、学习资源、职场吐槽、大厂内推、面试辅导),让我们一起学习成长!