一次golang deadlock的讨论

背景

在微信群一位同学抛出的一段代码, 各位看官猜想一下程序的执行结果

// 程序1
func main() {
    fmt.Println("running, not deadlock")
    server, err := net.Listen("tcp", "127.0.0.1:9001")
    if err != nil {
        fmt.Println(err)
    }

    waitQueue := make(chan int)
    for {
        connection, err := server.Accept()
        if err != nil {
            panic("server")
        }
        fmt.Printf("Received connection from %s.\n", connection.RemoteAddr())
        waitQueue <- 1
    }
}

我猜想大部分同学都会说是: fatal error: all goroutines are asleep - deadlock!. 因为waitQueue是个没有缓冲的channel, waitQueue <- 1向里面send一个值, 理论上程序一运行就会报deadlock的错误

如下面这个例子

// 程序1
func main() {
    waitQueue := make(chan int)
    for {
        waitQueue <- 1
    }
}

这个程序的结果毫无疑问是: fatal error: all goroutines are asleep - deadlock!

但是文章一开头的这个程序, 同学们在自己机器上运行一下, 我想99%的人应该得到的是下面的结果: running, not deadlock

我甚至把程序写的更极端些

// 程序3
func main() {
    fmt.Println("running, not deadlock")
    waitQueue := make(chan int)
    waitQueue <- 1
    return

    server, err := net.Listen("tcp", "127.0.0.1:9001")
    if err != nil {
        fmt.Println(err)
    }

    for {
        connection, err := server.Accept()
        if err != nil {
            panic("server")
        }
        fmt.Printf("Received connection from %s.\n", connection.RemoteAddr())
    }
}

程序3和程序1不同的地方是: 我把整个channel放在了程序开始, 甚至直接return, 依然不会出现deadlock

是不是陷入了深深的怀疑之中?

我分别在macOS, linux, ubuntu上面验证了1.10, 1.12.2, 1.12.5, 1.12.6都不会出现deadlock

于是我在golang的GitHub上提了这个issue, bcmills很快回复了为什么不会出现deadlock的提示. 他的大概意思是golang built-in deadlock detector 在某些情况下是被禁用, 如通过C库进行系统调用. deadlock detector触发依赖于goroutine的调度和系统调用的具体实现. deadlock detector是一个有用的工具, 但是不能完全替代集成测试和负载测试

deadlock2
deadlock1
deadlock

具体讨论内容可以查看: https://github.com/golang/go/issues/33004

也不是说所有的环境下都不会出现deadlock, 至少在golang playground就出现了

deadlock

具体在往深处我就没有去追究built-in deadlock detector的实现了, 等后面再补充这个. 不过从这里也可以看出来, 我们不能还是要写好单元测试, 集成测试等避免goroutine leaks出现, 不能过分依赖与deadlock detector

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

推荐阅读更多精彩内容