Go deadlock 初体验

为了学习 Go 通过 channel 实现同步的机制,我写了以下代码来试验:

import (
 "fmt"
 "sync"
)
​
var (
 counter int64
 wg      sync.WaitGroup
)
​
func main() {
 ch := make(chan int64)
​
 wg.Add(2)
​
 go incCounter(ch)
 go incCounter(ch)
 ch <- counter
​
 // wait until two goroutines exit
 wg.Wait()
​
 // expected value is 4
 fmt.Println("Final Counter:", counter)
}
func incCounter(ch chan int64) {
 defer wg.Done()
​
 for count := 0; count < 2; count++ {
 // receive data from channel
 value := <-ch
​
 value++
 counter = value
​
 // send data to channel
 ch <- counter
 }
}

上面的代码很简单,就是有两个 goroutine 共享counter这个变量进行读写操作,counter最终的输出值应该是4。为了避免出现不同步的情况,把counter放入一个无缓冲的 channel 中,通过这个 channel 在两个 goroutine 之间传递counter

运行之后程序报错:

fatal error: all goroutines are asleep - deadlock!

这意味着所有 goroutine 都被阻塞了,整个程序进入死锁状态,可是为什么?

第一个坑

一开始我是百思不得其解,于是就在 Stack Overflow 上求助,有位哥们一语道破天机。他解释道,上面这段程序的执行流程是这样的:

deadlock.jpg

原来是没有 goroutine 在最后从 channel 中取出counter,而这又是个无缓冲的 channel,所有 goroutine 都被阻塞了,自然也就死锁了。

解决方法

很简单,在main中把fmt.Println("Final Counter:", counter)修改为:

fmt.Println("Final Counter:", <-ch)

也就是让主 goroutine 负责取出最终的counter

第二个坑

本来以为这样就行了,没想到运行之后还是死锁。我 debug 了很久之后终于找出了第二个坑。

程序中使用了sync.WaitGroup这个类型来阻止主 goroutine 在其他子 goroutine 之前终止,也就是不让main函数提前退出。wg.Add(2)就是告诉main要等两个 goroutine 终止之后才能退出,而在 goroutine 中则是通过wg.Done()来通知main函数某个 goroutine 已终止。

wg.Done()前面加上了一个defer,也就是要等到incCounter中其他代码都执行完了才会调用wg.Done()。这就是问题所在,像上面那张图展示的那样,goroutine 2 把counter放入 channel 中,等着主 goroutine 取出;但在main函数中, fmt.Println("Final Counter:", <-ch)之前有一句wg.Wait(),也就是说要等wg.Wait()方法退出了才能执行下一句。然而此时这个方法并没有退出,因为 goroutine 2 还在被ch <- counter阻塞中,也就没法退出循环体,那么也就没法执行wg.Done()!程序也就又死锁了。

解决

必须手动调用wg.Done()而不能依赖defer的延迟调用机制:

func incCounter(ch chan int64) {
 for count := 0; count < 2; count++ {
 // receive data from channel
 value := <-ch
​
 value++
 counter = value
​
 // if this goroutine has incremented counter twice,
 // it will exit
 if count == 1 {
 wg.Done()
 }
​
 // send data to channel
 ch <- counter
 }
}

至此,程序终于可以正常运行,counter最后的输出为4,两个 goroutine 实现了同步。

©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 194,390评论 5 459
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 81,821评论 2 371
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 141,632评论 0 319
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 52,170评论 1 263
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 61,033评论 4 355
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 46,098评论 1 272
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 36,511评论 3 381
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 35,204评论 0 253
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 39,479评论 1 290
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 34,572评论 2 309
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 36,341评论 1 326
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 32,213评论 3 312
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 37,576评论 3 298
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 28,893评论 0 17
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 30,171评论 1 250
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 41,486评论 2 341
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 40,676评论 2 335

推荐阅读更多精彩内容