栏目分类:
子分类:
返回
名师互学网用户登录
快速导航关闭
当前搜索
当前分类
子分类
实用工具
热门搜索
名师互学网 > IT > 软件开发 > 后端开发 > Java

Go语言圣经 - 第9章 基于共享变量的并发 - 9.6 竞争条件检测

Java 更新时间: 发布时间: IT归档 最新发布 模块sitemap 名妆网 法律咨询 聚返吧 英语巴士网 伯小乐 网商动力

Go语言圣经 - 第9章 基于共享变量的并发 - 9.6 竞争条件检测

第9章 基于共享变量的并发

前一章我们使用了goroutine和channel这样直接而自然的方式来实现并发的方法,有时候它们会存在一些问题

本章我们会更详细的介绍并发机制,尤其在goroutine之间共享变量,我们还会介绍goroutine和操作系统线程之间一些技术差别

9.6 竞争条件检测

并发程序要考虑的点事比较多的,错误在所难免,但是go的runtime和工具链给我们提供了一个动态分析分析工具,竞争检查器

在go build / go run / go test 命令后加上 - race的flag,编译器就会创建一个我们写的程序的修改版或者一个附带了能够记录所有运行期对共享变量访问工具的test,并且会记录下每一个读或者写共享变量的goroutine的身份信息。另外,修改版的程序会记录下所有的同步事件,比如go语句,channel操作,以及对(*sync.Mutex).Lock,(*sync.WaitGroup).Wait 等等的调用(完整的同步事件集合请查看文档)

竞争检查器会检查这些事件,会寻找在哪一个goroutine中出现这样的case,例如其读或者写了一个共享变量,这个共享变量是被另一个goroutine在没有进行干预同步操作便直接写入的

这种情况也表明了我们并发访问了一个共享变量,即数据竞争

这个工具会打印一份报告,内容包含变量身份,读取和写入的goroutine中活跃的函数的调用栈

竞争检查器会报告所有已经发生的数据竞争,然而,它只能检测到运行时的竞争条件,并不能证明之后不会发生数据竞争,所以为了使结果尽量正确,请保证你的测试并发的覆盖到了你的包

另外,由于需要额外的记录,因此构建时增加了竞争检测的程序会慢一点,且需要更大的内存,即使这样,但是还可以接受,毕竟让竞争检查器干活比人力干要好太多了

转载请注明:文章转载自 www.mshxw.com
本文地址:https://www.mshxw.com/it/709066.html
我们一直用心在做
关于我们 文章归档 网站地图 联系我们

版权所有 (c)2021-2022 MSHXW.COM

ICP备案号:晋ICP备2021003244-6号