golang channel什么情况main会deadlock?主协程是什么?

在 Go 语言中,main 函数是程序的入口点,它运行在主协程(也称为主 goroutine)中。主协程是程序启动后自动创建的第一个 goroutine。当 main 函数执行完毕后,整个 Go 程序就会退出,无论其他 goroutine 是否仍在运行。

什么情况下 main 会发生死锁(deadlock)?

deadlock 是指程序中的所有 goroutine 都处于等待状态,没有任何一个 goroutine 能够继续执行。当 main 函数(主协程)以及其他所有的 goroutine 都在等待某种资源(比如 channel 上的消息)而无法继续执行时,就会发生死锁。

常见的导致 main 死锁的情况:
  1. 无数据发送的 channel 接收操作 :

    当主协程在等待从一个未关闭且没有数据发送的 channel 中接收数据时,如果没有其他 goroutine 向该 channel 发送数据,main 函数将会死锁。

    go 复制代码
    package main
    
    func main() {
        ch := make(chan int)
        <-ch // 主协程在此阻塞等待从 ch 接收数据
    }

    在这个例子中,main 函数会在等待从 ch channel 接收数据时阻塞,但由于没有其他 goroutine 向 ch 发送数据,程序会陷入死锁。

  2. 所有 goroutine 都在等待 :

    如果所有的 goroutine(包括主协程)都在等待某个 channel 上的操作,并且没有任何一个 goroutine 能继续执行以释放其他 goroutine,程序就会进入死锁状态。

    go 复制代码
    package main
    
    func main() {
        ch := make(chan int)
    
        go func() {
            ch <- 1 // 子协程在等待接收方
        }()
    
        <-ch // 主协程在等待发送方
        <-ch // 主协程再等待一次,这会导致死锁
    }

    在这个例子中,当主协程从 ch 中接收到第一个值后,第二个接收操作会陷入死锁,因为没有其他 goroutine 再次向 ch 发送数据。

  3. 未关闭的 channel :

    如果所有的 goroutine 都在等待从一个未关闭的 channel 中接收数据,而没有任何一个 goroutine 负责关闭该 channel,程序可能会陷入死锁。

    go 复制代码
    package main
    
    func main() {
        ch := make(chan int)
    
        go func() {
            for range ch { // 子协程等待从 channel 接收数据
            }
        }()
    
        ch <- 1 // 主协程发送数据
        <-ch    // 主协程等待数据,但没有其他 goroutine 发送
    }

    在这个例子中,主协程试图接收来自 ch 的数据,但没有其他 goroutine 能够发送数据或关闭 ch,导致程序死锁。

总结

  • 主协程 :main 函数在 Go 程序中运行在主协程中。它是程序的入口点和主执行流程。
  • main 死锁的情况:通常发生在所有 goroutine 都在等待某个 channel 上的操作而无法继续执行时,导致程序无法继续运行,最终 Go 运行时会检测到死锁并报错。
  • 避免死锁的策略 :确保所有的 channel 操作都有对应的发送和接收方,并且注意在适当的时候关闭 channel,以防止 goroutine 永远阻塞在接收操作上。还可以通过设计良好的并发控制机制(如使用 sync.WaitGroup 或其他同步原语)来避免死锁。
相关推荐
阿俊-全栈开发3 小时前
LikeShop 单商户SaaS商城分销模块二开:佣金计算与结算逻辑实现
java·开发语言·微服务·likeshop·likeshop开源商城·likeshop多商户
m0_380743876 小时前
C++中的freopen的用法实例详解
开发语言·c++
Escalating_xu7 小时前
【Python】基础语法(1):常量、变量、类型、输入输出与运算符
开发语言·python
jimy17 小时前
polymorph.cpp里面的“析构函数、智能指针”问题
开发语言·c++
m0_380743877 小时前
PHP 8.3 缓存清除不生效怎么排查
开发语言·php
朝朝辞暮i8 小时前
C++ 第 6 课:switch —— 多状态选择
开发语言·c++·算法
小凡geo8 小时前
本地商家 GEO:用脚本一键生成 FAQPage 结构化数据,让 AI 切片更稳
开发语言·人工智能·python·microsoft·搜索引擎·ai
辻弋2018 小时前
【无标题】
大数据·服务器·前端·搜索引擎·开源软件
朝朝辞暮i8 小时前
C++ 第 4 课:if / else —— 让程序自己做决定
开发语言·c++
波力海苔夹心脆6758 小时前
C# 值类型与引用类型详解:存储位置、赋值机制、参数传递、相等比较、装箱拆箱与常见陷阱
开发语言·jvm·经验分享·笔记·c#·.net