Go 语言核心 36 讲
郝林
《Go 并发编程实战》作者,前轻松筹大数据负责人
79610 人已学习
新⼈⾸单¥59
登录后,你可以任选4讲全文学习
课程目录
已完结/共 55 讲
Go 语言核心 36 讲
15
15
1.0x
00:00/00:00
登录|注册

34 | 并发安全字典sync.Map (上)

示例:IntStrMap结构体类型
利用Go语言编译器进行类型检查
方案一:限定特定类型的键
继续探讨并发安全字典的相关问题
探讨另外一种方案
问题1:怎样保证并发安全字典中的键和值的类型正确性?
需要显式检查键值的实际类型
不能是函数类型、字典类型和切片类型
常数级执行时间
并发安全性保证
提供常用的键值存取操作方法
Go语言官方发布的并发安全字典类型sync.Map
自行构建并发安全字典的方法
原生字典类型的并发安全问题
下一步展望
知识扩展
键的类型要求
并发安全字典的特点
前导知识:并发安全字典诞生史
并发安全字典sync.Map

该思维导图由 AI 生成,仅供参考

在前面,我几乎已经把 Go 语言自带的同步工具全盘托出了。你是否已经听懂了会用了呢?
无论怎样,我都希望你能够多多练习、多多使用。它们和 Go 语言独有的并发编程方式并不冲突,相反,配合起来使用,绝对能达到“一加一大于二”的效果。
当然了,至于怎样配合就是一门学问了。我在前面已经讲了不少的方法和技巧,不过,更多的东西可能就需要你在实践中逐渐领悟和总结了。
我们今天再来讲一个并发安全的高级数据结构:sync.Map。众所周知,Go 语言自带的字典类型map并不是并发安全的。

前导知识:并发安全字典诞生史

换句话说,在同一时间段内,让不同 goroutine 中的代码,对同一个字典进行读写操作是不安全的。字典值本身可能会因这些操作而产生混乱,相关的程序也可能会因此发生不可预知的问题。
sync.Map出现之前,我们如果要实现并发安全的字典,就只能自行构建。不过,这其实也不是什么麻烦事,使用 sync.Mutexsync.RWMutex,再加上原生的map就可以轻松地做到。
GitHub 网站上已经有很多库提供了类似的数据结构。我在《Go 并发编程实战》的第 2 版中也提供了一个比较完整的并发安全字典的实现。它的性能比同类的数据结构还要好一些,因为它在很大程度上有效地避免了对锁的依赖。
确认放弃笔记?
放弃后所记笔记将不保留。
新功能上线,你的历史笔记已初始化为私密笔记,是否一键批量公开?
批量公开的笔记不会为你同步至部落
公开
同步至部落
取消
完成
0/2000
荧光笔
直线
曲线
笔记
复制
AI
  • 深入了解
  • 翻译
    • 英语
    • 中文简体
    • 中文繁体
    • 法语
    • 德语
    • 日语
    • 韩语
    • 俄语
    • 西班牙语
    • 阿拉伯语
  • 解释
  • 总结

Go语言自带的并发安全字典`sync.Map`是一种高级数据结构,提供了常用的键值存取操作方法,并保证了这些操作的并发安全。在介绍了并发安全字典的诞生史后,文章强调了键的类型对并发安全字典的要求,不能是函数类型、字典类型和切片类型。为了保证键和值的类型正确性,文章提出了两种方案,其中第一种方案是在编码时完全确定键和值的类型,然后利用Go语言的编译器进行类型检查。文章还提到了`IntStrMap`结构体类型作为示例,展示了如何在编码时确定键和值的类型,以及如何利用Go语言编译器进行类型检查。总结指出了下一篇文章将会探讨另一种方案,并对比两种方案的优劣。文章内容深入浅出,为读者提供了对并发安全字典`sync.Map`的全面了解,并展望了下一篇文章的内容。

仅可试看部分内容,如需阅读全部内容,请付费购买文章所属专栏
《Go 语言核心 36 讲》
新⼈⾸单¥59
立即购买
登录 后留言

全部留言(18)

  • 最新
  • 精选
  • 给力
    并发安全的字典里少了两个方法,比如已经有多少key,我们有什么解决办法没,只能自己每次插入或者删除key记录元素个数变化吗?

    作者回复: 是的,这种并发安全字典是在一些特定场景下用的,比如配置信息同步、批量计数等等。在这类场景下,键值对数量并不是关键问题。如果你想找通用的,可以参看一下这个:https://github.com/gopcp/example.v2/tree/master/src/gopcp.v2/chapter5/cmap

    2020-05-18
    5
  • 我好像一点都不像程序员
    感觉并发编程和日常的业务CRUD还是有很多区别的,一般业务很多东西都用不上。

    作者回复: 程序例有共享程序实体或者资源的时候就肯定会用上并发编程的

    2022-07-10
    2
  • lesserror
    郝林老师,在 IntStrMap 的方法中这种 值点上 括号 string int。 key.(int) 、value.(string) 、a.(string) 代表的是将对应的数据转换为 string和 int 类型吧? 我这样理解对吗?

    作者回复: v.(T) 是在做类型转换断言,把 v 的类型转换成 T,如果转换失败就抛出 panic,如果不想让它抛 panic,可以: v2, ok := v.(T) 如果 ok 为 false,就说明失败了;如果 ok 为 true 就说明成功了,此时 v2 就是转换后的值。

    2021-08-21
    2
  • DayDayUp
    老师,看到有人用github.com/orcaman/concurrent-map,不知道二者有何区别呢?

    作者回复: 我没研究过那个concurrent-map。你可以功能测试比较一下两者的功能差异和API便捷度,并用基准测试比较一下两者的性能。

    2022-05-08
    1
  • jxs1211
    能用原子操作就不要用锁,不过这很有局限性,毕竟原子只能对一些基本的数据类型提供支持。问题: atomic.Value不是可以支持除了二进制和int类型以外的数据类型的原子操作吗,还是其仍有一定局限性,另外atomic.Value使用是否有禁忌或者需要注意的地方

    作者回复: atomic.Value 原则上可以存任何值,但对于引用类型的值,要避免外界直接去修改这个值,否则 Value 的保护就形同虚设了。

    2021-10-30
  • jxs1211
    我们都知道,使用锁就意味着要把一些并发的操作强制串行化。这往往会降低程序的性能,尤其是在计算机拥有多个 CPU 核心的情况下。问题: 1 一个程序的每个进程只能跑在一个cpu的核心上,对吗? 2 每个进程中的锁只会控制该进程内部的goroutine串行执行,应该是不能控制其他进程里的goroutine的吧,那这里多核CPU下使用互斥锁更加影响性能的意思是指什么

    作者回复: 1. 不对,进程与CPU核心之间一般不会有特定的对应关系,除非程序里手动锁定一对一的关系。大多数程序一般都会充分利用所有的CPU核心。 2. 每个进程的锁都只能控制当前进程中的代码执行流程。至于你的疑问,请参考第一个问题的答案:程序一般会同时使用多个CPU核心。

    2021-10-30
    2
  • 漂泊的小飘
    什么字典的并发写会造成fatal error呢,简单的原理是什么?

    作者回复: 你没说上下文,我没法解释啊。

    2020-08-24
  • 疯琴
    我觉得老师的示例代码要是对 sync.map 做一些可能引发冲突的并发操作就更好了。

    作者回复: 这个不容易复现,尤其对于简单的示例来说。

    2020-01-04
  • 虢國技醬
    打卡,后面的留言越来越少,看来有点难度了,加油啃下它!后面的兄弟
    2019-03-01
    29
  • 闫飞
    我觉得这里的主要麻烦之一是golang不支持泛型编程这一重大的范式,用户不得不在上层代码里面做繁琐的检查。
    2019-07-17
    2
    8
收起评论
显示
设置
留言
18
收藏
沉浸
阅读
分享
手机端
快捷键
回顶部