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中活跃的函数的调用栈

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

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