前言
并发:在有多个goroutine的程序中,每一个goroutine内的语句也是按照既定的顺序去执行的,但是一般情况下我们没法去知道分别位于两个goroutine的事件x和y的执行顺序。当我们不能确认一个事件x是在另一个事件y的前或者后发生的话,就说明x和y这两个事件是并发的。
并发安全:一个函数在线性程序中可以正确地工作,如果在并发的情况下,依然可以正确地工作的话,那么我们就说这个函数是并发安全的,并发安全的函数不需要额外的同步工作。对于某个类型来说,如果其所有可访问的方法和操作都是并发安全的话,那么类型便是并发安全的。
1.竞争条件(Race Conditions)
什么叫正确地执行呢?其中一种情况是竞争条件,指的是程序在多个goroutine交叉执行操作时,没有给出正确的结果。
数据竞争会在两个以上的goroutine并发访问相同的变量且至少其中一个为写操作时发生,通常表现为更新丢失。
这都是通用地概念,Java并发编程部分都有过涉及,go有哪些方式避免数据竞争情况呢?
- 不变性:不要去写变量
- 不共享:变量限定在单个goroutine A,其余goroutine通过channel让A去更新或查询变量状态
- 互斥访问:同一个时刻最多只有一个goroutine在访问
1.1 检测
Go的runtime和工具链为我们提供了一个复杂但好用的动态分析工具,竞争检查器(the race detector)。只要在go build,go run或者go test命令后面加上-race的flag,就会使编译器创建一个你的应用的“修改”版或者一个附带了能够记录所有运行期对共享变量访问工具的test,并且会记录下每一个读或者写共享变量的