gopl-zh.github.com/ch9/ch9-01.md

175 lines
12 KiB
Markdown
Raw Normal View History

2016-02-15 03:06:34 +00:00
## 9.1. 竞争条件
2015-12-09 07:45:11 +00:00
2017-08-24 14:30:37 +00:00
在一个线性(就是说只有一个goroutine的)的程序中,程序的执行顺序只由程序的逻辑来决定。例如,我们有一段语句序列,第一个在第二个之前(废话)以此类推。在有两个或更多goroutine的程序中每一个goroutine内的语句也是按照既定的顺序去执行的但是一般情况下我们没法去知道分别位于两个goroutine的事件x和y的执行顺序x是在y之前还是之后还是同时发生是没法判断的。当我们没有办法自信地确认一个事件是在另一个事件的前面或者后面发生的话就说明x和y这两个事件是并发的。
2016-01-13 08:43:51 +00:00
2017-05-05 15:20:47 +00:00
考虑一下,一个函数在线性程序中可以正确地工作。如果在并发的情况下,这个函数依然可以正确地工作的话,那么我们就说这个函数是并发安全的,并发安全的函数不需要额外的同步工作。我们可以把这个概念概括为一个特定类型的一些方法和操作函数,对于某个类型来说,如果其所有可访问的方法和操作都是并发安全的话,那么类型便是并发安全的。
2016-01-13 08:43:51 +00:00
2017-08-24 14:30:37 +00:00
在一个程序中有非并发安全的类型的情况下我们依然可以使这个程序并发安全。确实并发安全的类型是例外而不是规则所以只有当文档中明确地说明了其是并发安全的情况下你才可以并发地去访问它。我们会避免并发访问大多数的类型无论是将变量局限在单一的一个goroutine内还是用互斥条件维持更高级别的不变性都是为了这个目的。我们会在本章中说明这些术语。
2016-01-13 08:43:51 +00:00
2017-08-24 14:30:37 +00:00
相反包级别的导出函数一般情况下都是并发安全的。由于package级的变量没法被限制在单一的gorouine所以修改这些变量“必须”使用互斥条件。
2016-01-13 08:43:51 +00:00
2016-02-15 03:06:34 +00:00
一个函数在并发调用时没法工作的原因太多了,比如死锁(deadlock)、活锁(livelock)和饿死(resource starvation)。我们没有空去讨论所有的问题,这里我们只聚焦在竞争条件上。
2016-01-13 08:43:51 +00:00
2016-02-15 03:06:34 +00:00
竞争条件指的是程序在多个goroutine交叉执行操作时没有给出正确的结果。竞争条件是很恶劣的一种场景因为这种问题会一直潜伏在你的程序里然后在非常少见的时候蹦出来或许只是会在很大的负载时才会发生又或许是会在使用了某一个编译器、某一种平台或者某一种架构的时候才会出现。这些使得竞争条件带来的问题非常难以复现而且难以分析诊断。
2016-01-13 08:43:51 +00:00
2016-02-15 03:06:34 +00:00
传统上经常用经济损失来为竞争条件做比喻,所以我们来看一个简单的银行账户程序。
2016-01-13 08:43:51 +00:00
```go
// Package bank implements a bank with only one account.
package bank
var balance int
func Deposit(amount int) { balance = balance + amount }
func Balance() int { return balance }
```
2016-02-15 03:06:34 +00:00
(当然我们也可以把Deposit存款函数写成balance += amount这种形式也是等价的不过长一些的形式解释起来更方便一些。)
2016-01-13 08:43:51 +00:00
2017-05-05 15:20:47 +00:00
对于这个简单的程序而言我们一眼就能看出以任意顺序调用函数Deposit和Balance都会得到正确的结果。也就是说Balance函数会给出之前的所有存入的额度之和。然而当我们并发地而不是顺序地调用这些函数的话Balance就再也没办法保证结果正确了。考虑一下下面的两个goroutine其代表了一个银行联合账户的两笔交易
2016-01-13 08:43:51 +00:00
```go
// Alice:
go func() {
2016-01-13 08:56:39 +00:00
bank.Deposit(200) // A1
fmt.Println("=", bank.Balance()) // A2
2016-01-13 08:43:51 +00:00
}()
// Bob:
go bank.Deposit(100) // B
```
2016-02-15 03:06:34 +00:00
Alice存了$200然后检查她的余额同时Bob存了$100。因为A1和A2是和B并发执行的我们没法预测他们发生的先后顺序。直观地来看的话我们会认为其执行顺序只有三种可能性“Alice先”“Bob先”以及“Alice/Bob/Alice”交错执行。下面的表格会展示经过每一步骤后balance变量的值。引号里的字符串表示余额单。
2016-01-13 08:43:51 +00:00
```
Alice first Bob first Alice/Bob/Alice
0 0 0
A1 200 B 100 A1 200
A2 "=200" A1 300 B 300
B 300 A2 "=300" A2 "=300"
```
2016-02-15 03:06:34 +00:00
所有情况下最终的余额都是$300。唯一的变数是Alice的余额单是否包含了Bob交易不过无论怎么着客户都不会在意。
2016-01-13 08:43:51 +00:00
2016-02-15 03:06:34 +00:00
但是事实是上面的直觉推断是错误的。第四种可能的结果是事实存在的这种情况下Bob的存款会在Alice存款操作中间在余额被读到(balance + amount)之后,在余额被更新之前(balance = ...)这样会导致Bob的交易丢失。而这是因为Alice的存款操作A1实际上是两个操作的一个序列读取然后写可以称之为A1r和A1w。下面是交叉时产生的问题
2016-01-13 08:43:51 +00:00
```
Data race
0
A1r 0 ... = balance + amount
B 100
A1w 200 balance = ...
A2 "= 200"
```
2016-02-15 03:06:34 +00:00
在A1r之后balance + amount会被计算为200所以这是A1w会写入的值并不受其它存款操作的干预。最终的余额是$200。银行的账户上的资产比Bob实际的资产多了$100。(译注因为丢失了Bob的存款操作所以其实是说Bob的钱丢了)
2016-01-13 08:43:51 +00:00
2016-02-15 03:06:34 +00:00
这个程序包含了一个特定的竞争条件叫作数据竞争。无论任何时候只要有两个goroutine并发访问同一变量且至少其中的一个是写操作的时候就会发生数据竞争。
2016-01-13 08:43:51 +00:00
2016-02-15 03:06:34 +00:00
如果数据竞争的对象是一个比一个机器字(译注32位机器上一个字=4个字节)更大的类型时事情就变得更麻烦了比如interfacestring或者slice类型都是如此。下面的代码会并发地更新两个不同长度的slice
2016-01-13 08:43:51 +00:00
```go
var x []int
go func() { x = make([]int, 10) }()
go func() { x = make([]int, 1000000) }()
x[999999] = 1 // NOTE: undefined behavior; memory corruption possible!
```
2016-10-05 05:56:07 +00:00
最后一个语句中的x的值是未定义的其可能是nil或者也可能是一个长度为10的slice也可能是一个长度为1,000,000的slice。但是回忆一下slice的三个组成部分指针(pointer)、长度(length)和容量(capacity)。如果指针是从第一个make调用来而长度从第二个make来x就变成了一个混合体一个自称长度为1,000,000但实际上内部只有10个元素的slice。这样导致的结果是存储999,999元素的位置会碰撞一个遥远的内存位置这种情况下难以对值进行预测而且debug也会变成噩梦。这种语义雷区被称为未定义行为对C程序员来说应该很熟悉幸运的是在Go语言里造成的麻烦要比C里小得多。
2016-01-13 08:43:51 +00:00
2016-02-15 03:06:34 +00:00
尽管并发程序的概念让我们知道并发并不是简单的语句交叉执行。我们将会在9.4节中看到数据竞争可能会有奇怪的结果。许多程序员甚至一些非常聪明的人也还是会偶尔提出一些理由来允许数据竞争比如“互斥条件代价太高”“这个逻辑只是用来做logging”“我不介意丢失一些消息”等等。因为在他们的编译器或者平台上很少遇到问题可能给了他们错误的信心。一个好的经验法则是根本就没有什么所谓的良性数据竞争。所以我们一定要避免数据竞争那么在我们的程序中要如何做到呢
2016-01-13 08:43:51 +00:00
2016-02-15 03:06:34 +00:00
我们来重复一下数据竞争的定义因为实在太重要了数据竞争会在两个以上的goroutine并发访问相同的变量且至少其中一个为写操作时发生。根据上述定义有三种方式可以避免数据竞争
2016-01-13 08:43:51 +00:00
2016-02-15 03:06:34 +00:00
第一种方法是不要去写变量。考虑一下下面的map会被“懒”填充也就是说在每个key被第一次请求到的时候才会去填值。如果Icon是被顺序调用的话这个程序会工作很正常但如果Icon被并发调用那么对于这个map来说就会存在数据竞争。
2016-01-13 08:43:51 +00:00
```go
var icons = make(map[string]image.Image)
func loadIcon(name string) image.Image
// NOTE: not concurrency-safe!
func Icon(name string) image.Image {
2016-01-13 08:56:39 +00:00
icon, ok := icons[name]
if !ok {
icon = loadIcon(name)
icons[name] = icon
}
return icon
2016-01-13 08:43:51 +00:00
}
```
2016-02-15 03:06:34 +00:00
反之如果我们在创建goroutine之前的初始化阶段就初始化了map中的所有条目并且再也不去修改它们那么任意数量的goroutine并发访问Icon都是安全的因为每一个goroutine都只是去读取而已。
2016-01-13 08:43:51 +00:00
```go
var icons = map[string]image.Image{
2016-01-13 08:56:39 +00:00
"spades.png": loadIcon("spades.png"),
"hearts.png": loadIcon("hearts.png"),
"diamonds.png": loadIcon("diamonds.png"),
"clubs.png": loadIcon("clubs.png"),
2016-01-13 08:43:51 +00:00
}
// Concurrency-safe.
func Icon(name string) image.Image { return icons[name] }
```
2016-02-15 03:06:34 +00:00
上面的例子里icons变量在包初始化阶段就已经被赋值了包的初始化是在程序main函数开始执行之前就完成了的。只要初始化完成了icons就再也不会修改的或者不变量是本来就并发安全的这种变量不需要进行同步。不过显然我们没法用这种方法因为update操作是必要的操作尤其对于银行账户来说。
2016-01-13 08:43:51 +00:00
2016-02-15 03:06:34 +00:00
第二种避免数据竞争的方法是避免从多个goroutine访问变量。这也是前一章中大多数程序所采用的方法。例如前面的并发web爬虫(§8.6)的main goroutine是唯一一个能够访问seen map的goroutine而聊天服务器(§8.10)中的broadcaster goroutine是唯一一个能够访问clients map的goroutine。这些变量都被限定在了一个单独的goroutine中。
2016-01-13 08:43:51 +00:00
2017-08-24 14:30:37 +00:00
由于其它的goroutine不能够直接访问变量它们只能使用一个channel来发送请求给指定的goroutine来查询更新变量。这也就是Go的口头禅“不要使用共享数据来通信使用通信来共享数据”。一个提供对一个指定的变量通过channel来请求的goroutine叫做这个变量的monitor监控goroutine。例如broadcaster goroutine会监控clients map的全部访问。
2016-01-13 08:43:51 +00:00
2016-02-15 03:06:34 +00:00
下面是一个重写了的银行的例子这个例子中balance变量被限制在了monitor goroutine中名为teller
2016-01-13 08:43:51 +00:00
2016-01-21 02:44:23 +00:00
<u><i>gopl.io/ch9/bank1</i></u>
2016-01-13 08:43:51 +00:00
```go
// Package bank provides a concurrency-safe bank with one account.
package bank
var deposits = make(chan int) // send amount to deposit
var balances = make(chan int) // receive balance
func Deposit(amount int) { deposits <- amount }
func Balance() int { return <-balances }
func teller() {
2016-01-13 08:56:39 +00:00
var balance int // balance is confined to teller goroutine
for {
select {
case amount := <-deposits:
balance += amount
case balances <- balance:
}
}
2016-01-13 08:43:51 +00:00
}
func init() {
2016-01-13 08:56:39 +00:00
go teller() // start the monitor goroutine
2016-01-13 08:43:51 +00:00
}
```
2017-05-05 15:20:47 +00:00
即使当一个变量无法在其整个生命周期内被绑定到一个独立的goroutine绑定依然是并发问题的一个解决方案。例如在一条流水线上的goroutine之间共享变量是很普遍的行为在这两者间会通过channel来传输地址信息。如果流水线的每一个阶段都能够避免在将变量传送到下一阶段后再去访问它那么对这个变量的所有访问就是线性的。其效果是变量会被绑定到流水线的一个阶段传送完之后被绑定到下一个以此类推。这种规则有时被称为串行绑定。
2016-01-13 08:43:51 +00:00
2016-02-15 03:06:34 +00:00
下面的例子中Cakes会被严格地顺序访问先是baker gorouine然后是icer gorouine
2016-01-13 08:43:51 +00:00
```go
type Cake struct{ state string }
func baker(cooked chan<- *Cake) {
2016-01-13 08:56:39 +00:00
for {
cake := new(Cake)
cake.state = "cooked"
cooked <- cake // baker never touches this cake again
}
2016-01-13 08:43:51 +00:00
}
func icer(iced chan<- *Cake, cooked <-chan *Cake) {
2016-01-13 08:56:39 +00:00
for cake := range cooked {
cake.state = "iced"
iced <- cake // icer never touches this cake again
}
2016-01-13 08:43:51 +00:00
}
```
2016-02-15 03:06:34 +00:00
第三种避免数据竞争的方法是允许很多goroutine去访问变量但是在同一个时刻最多只有一个goroutine在访问。这种方式被称为“互斥”在下一节来讨论这个主题。
2016-01-13 08:43:51 +00:00
2016-02-15 03:06:34 +00:00
**练习 9.1** 给gopl.io/ch9/bank1程序添加一个Withdraw(amount int)取款函数。其返回结果应该要表明事务是成功了还是因为没有足够资金失败了。这条消息会被发送给monitor的goroutine且消息需要包含取款的额度和一个新的channel这个新channel会被monitor goroutine来把boolean结果发回给Withdraw。
2016-01-13 08:43:51 +00:00