Go并发编程(三) data race
注:本文已发布超过一年,请注意您所使用工具的相关版本是否适用
本系列为 Go 进阶训练营 笔记,访问 博客: Go进阶训练营, 即可查看当前更新进度,部分文章篇幅较长,使用 PC 大屏浏览体验更佳。
回顾
在前两篇文章当中我们反复提到了虽然在 go 中,并发编程十分简单,我们只需要使用 go func()
就能启动一个 goroutine 去做一些事情,但是正是由于这种简单我们要十分当心,不然很容易出现一些莫名其妙的 bug 或者是你的服务由于不知名的原因就重启了。
数据竞争(data race)
之前我们提到了很多次在多个 goroutine 对同一个变量的数据进行修改的时候会出现很多奇奇怪怪的问题,那我们有没有什么办法检测它呢,除了通过我们聪明的脑袋?
答案就是 data race tag,go 官方早在 1.1 版本就引入了数据竞争的检测工具,我们只需要在执行测试或者是编译的时候加上 -race
的 flag 就可以开启数据竞争的检测
1 |
|
案例一
我们来直接看一下下面的这个例子,这是来自课上的一个例子,但是我稍稍做了一些改造,源代码没有跑 10w 次这个操作,会导致看起来每次跑的结果都是差不多的,我们只需要把这个次数放大就可以发现每次结果都会不一样
正常执行
1 |
|
我执行了三次每次的结果都不一致,分别是:
1 |
|
为什么会导致这样的结果呢,是因为每一次执行的时候,我们都使用 go routine(i)
启动了两个 goroutine,但是我们并没有控制它的执行顺序,那就有好几种可能了,我这里描述两种情况
- 执行一次
run()
,counter + 4
这种情况下,第二个 goroutine 开始执行时,拿到了第一个 goroutine 的执行结果,也就是value := counter
这一步时,value = 2 - 执行一次
run()
,counter + 2
这种情况下,第二个 goroutine 开始执行时,没有拿到了第一个 goroutine 的执行结果,也就是value := counter
这一步时,counter 还是零值,这时候 value = 0
当然由于种种不确定性,所有肯定不止这两种情况,但是这个不是本文讨论的重点,具体的原因可以结合上一篇文章 Week03: Go 并发编程(二) Go 内存模型 进行思考
data race 执行
可以发现,写出这种代码时上线后如果出现 bug 会非常难定位,因为你不知道到底是哪里出现了问题,所以我们就要在测试阶段就结合 data race 工具提前发现问题。
我们执行以下命令
1 |
|
会发现结果会所有的都输出, data race
的报错信息,我们已经看不到了,因为终端的打印的太长了,可以发现的是,最后打印出发现了一处 data race 并且推出码为 66
1 |
|
data race 配置
问题来了,我们有没有什么办法可以立即知道 data race 的报错呢?
答案就在官方的文档当中,我们可以通过设置 GORACE
环境变量,来控制 data race 的行为, 格式如下:
1 |
|
可选配置:
** 配置 ** | ** 默认值 ** | ** 说明 ** |
---|---|---|
log_path | stderr | 日志文件的路径,除了文件路径外支持 stderr, stdout 这两个特殊值 |
exitcode | 66 | 退出码 |
strip_path_prefix | “” | 从日志中的文件信息里面去除相关的前缀,可以去除本地信息,同时会更好看 |
history_size | 1 | per-goroutine 内存访问历史记录为 32K * 2 ** history_size,增加这个可以避免出现堆栈还原失败的错误,但是增加这个会导致使用的内存也跟着增加 |
halt_on_error | 0 | 用来控制第一个数据竞争错误出现后是否立即退出 |
atexit_sleep_ms | 100 | 用来控制 main 退出之前 sleep 的时间 |
有了这个背景知识后就很简单了,在我们这个场景我们可以控制发现数据竞争后直接退出
1 |
|
重新执行后我们的结果
1 |
|
这个结果非常清晰的告诉了我们在 29 行这个地方我们有一个 goroutine 在读取数据,但是呢,在 31 行这个地方又有一个 goroutine 在写入,所以产生了数据竞争。
然后下面分别说明这两个 goroutine 是什么时候创建的,已经当前是否在运行当中。
典型案例
接来下我们再来看一些典型案例,这些案例都来自 go 官方的文档 Data Race Detector,这些也是初学者很容易犯的错误
案例二 在循环中启动 goroutine 引用临时变量
1 |
|
如果你去找一些 go 的面试题,肯定能找到类似的例子,然后会问你这里会输出什么?
常见的答案就是会输出 5 个 5,因为在 for 循环的 i++ 会执行的快一些,所以在最后打印的结果都是 5
这个答案不能说不对,因为真的执行的话大概率也是这个结果,但是不全
因为这里本质上是有数据竞争,在新启动的 goroutine 当中读取 i 的值,在 main 中写入,导致出现了 data race,这个结果应该是不可预知的,因为我们不能假定 goroutine 中 print 就一定比外面的 i++ 慢,习惯性的做这种假设在并发编程中是很有可能会出问题的
1 |
|
这个要修改也很简单,只需要将 i 作为参数传入即可,这样每个 goroutine 拿到的都是拷贝后的数据
案例三 一不小心就把变量共享了
1 |
|
我们使用 go run -race main.go
执行,可以发现这里报错的地方是,19 行和 24 行,有 data race,这里主要是因为共享了 err 这个变量
1 |
|
修改的话只需要在两个 goroutine 中使用新的临时变量就行了
1 |
|
细心的同学可能会有这个疑问,在 24 行不也是重新赋值了么,为什么在这里会和 19 行产生 data race 呢?
这是由于 go 的语法规则导致的,我们在初始化变量的时候如果在同一个作用域下,如下方代码,这里使用的 err 其实是同一个变量,只是 f1 f2 不同,具体可以看 effective go 当中 Redeclaration and reassignment 的内容
1 |
|
案例四 不受保护的全局变量
1 |
|
这个也是很容易犯的一个错,在之前写 Go 设计模式这个系列文章的时候,应该有提到过我们要写出可测性比较高的代码就要少用或者是尽量避免用全局变量,使用 map 作为全局变量比较常见的一种情况就是配置信息。关于全局变量的话一般的做法就是加锁,就本文这个问题也可以使用 sync.Map 这个下一篇文章会讲,这里篇幅有限就不多讲了
1 |
|
案例五 未受保护的成员变量
1 |
|
同样成员变量也会有这个问题,这里可以用 atomic
包来解决,同样这个我们下篇文章会细讲
1 |
|
案例六 一个有趣的例子
dava 在博客中提到过一个很有趣的例子的 Ice cream makers and data races
1 |
|
这个例子有趣的点在于,最后输出的结果会有这种例子
1 |
|
这是因为我们在 maker = jerry
这种赋值操作的时候并不是原子的,在上一篇文章中我们讲到过,只有对 single machine word 进行赋值的时候才是原子的,虽然这个看上去只有一行,但是 interface 在 go 中其实是一个结构体,它包含了 type 和 data 两个部分,所以它的复制也不是原子的,会出现问题
1 |
|
这个案例有趣的点还在于,这个案例的两个结构体的内存布局一模一样所以出现错误也不会 panic 退出,如果在里面再加入一个 string 的字段,去读取就会导致 panic,但是这也恰恰说明这个案例很可怕,这种错误在线上实在太难发现了,而且很有可能会很致命。
这个案例还有一个衍生案例,大家有兴趣可以点开查看一下,并不是说要看起来一样才不会 panic https://www.ardanlabs.com/blog/2014/06/ice-cream-makers-and-data-races-part-ii.html
总结
回顾一下,这篇文章通过一个案例讲解了 data race 的使用方法:
1 |
|
然后讲述了 data race 如何通过 GORACE 环境变量进行配置
最后讲解了几个典型案例,看完这篇相信你对 data race 已经有了一个基本的了解,希望可以在接下来的工作学习当中对你有有所启发
最后在重申一下关键点:
- 善用 data race 这个工具帮助我们提前发现并发错误
- 不要对未定义的行为做任何假设,虽然有时候我们写的只是一行代码,但是 go 编译器可能后面坐了很多事情,并不是说一行写完就一定是原子的
- 即使是原子的出现了 data race 也不能保证安全,因为我们还有可见性的问题,上篇我们讲到了现代的 cpu 基本上都会有一些缓存的操作。
- 所有出现了 data race 的地方都需要进行处理
参考文献
- https://dave.cheney.net/2014/06/27/ice-cream-makers-and-data-races
- https://www.ardanlabs.com/blog/2014/06/ice-cream-makers-and-data-races-part-ii.html
- http://blog.golang.org/race-detector
- https://golang.org/doc/articles/race_detector.html
- https://dave.cheney.net/2018/01/06/if-aligned-memory-writes-are-atomic-why-do-we-need-the-sync-atomic-package 除了考虑原子性之外,还要考虑可见性,并不是说赋值原子了,并发操作就没有问题了
- https://golang.org/doc/effective_go.html#redeclaration
关注我获取更新
猜你喜欢
本博客所有文章除特别声明外,均采用 CC BY-SA 4.0 协议,转载请注明出处,禁止全文转载