竞争问题可能是程序员面临的最困难和最隐蔽的错误之一。作为Go开发人员,我们必须理解数据竞争和竞争条件,包括它们可能产生的影响以及如何避免。
1. 数据竞争与竞争条件
我们首先关注一下数据竞争。当两个或者多个goroutine同时访问同一个内存位置并且至少有一个正在写入时,就发生数据竞争。下面所示的代码是一个示例,其中两个goroutine会对一个共享变量加1:
i := 0
go func() {
i++
}()
go func() {
i++
}()
2.Go内存模型
上面我们讨论了同步goroute的三种主要技术:原子操作、互斥锁和channel。但是作为Go程序员,我们应该了解一些核心原则,例如,缓冲(buffered)和非缓冲(unbuffered)channel提供了不同的保证。为了避免由于对语言核心规范缺乏了解而导致的意外的数据竞争,我们必须看一看Go内存模型。
Go内存模型是一种规范,它定义了在不同的goroutine中写某个变量后,保证一个goroutine可以从这个变量读取到写入的数据(happen after)。换句话说,它提供了开发人员应牢记避免数据竞争和强制确定性输出的保证。
在单个goroutine中,不可能有不同步的访问。事实上,单个goroutine的happens-before顺序是由我们的程序所表达的顺序保证的。
然而,在多个goroutine中,我们应该牢记其中的一些保证。我们将使用符号A<B来表示事件A发生在事件B之前。
<