讲师中心 微信公众号
AI工具推荐 视频效率加速

Go并发编程为什么会发生死锁_Go死锁问题分析

老雪大大_6812

老雪大大_6812

发布时间:2026-01-18 14:45:09

|

484人浏览过

|

来源于php中文网

原创

死锁根本原因是所有goroutine均阻塞且无人可唤醒,运行时直接panic;for range ch卡死主因是通道未关闭,无缓冲channel收发必须同步就位。

go并发编程为什么会发生死锁_go死锁问题分析

Go并发编程中发生死锁,根本原因只有一个:所有goroutine都阻塞在同步原语上,且无人能唤醒它们。这不是程序“慢了”,而是运行时直接 panic 报错:fatal error: all goroutines are asleep - deadlock!。它不靠竞态检测触发,也不依赖超时——只要调度器发现没有一个 goroutine 处于 runnable 状态,就立刻终止程序。

为什么 for range ch 会卡死?——通道未关闭是最常见诱因

当你写 for v := range ch { ... },Go 实际执行的是“持续接收直到 ch 被关闭”。如果没人调用 close(ch),这个循环就永远等下去。

  • Walk 递归遍历完树后不会自动关 channel,这是设计使然(避免多处 close 引发 panic)
  • 主 goroutine 卡在 range ch1,而发送 goroutine 已退出,ch1 永远没被 close → 无其他 goroutine 可推进 → 死锁
  • 哪怕只漏关一个 channel(比如只关 ch1 没关 ch2),只要主逻辑还依赖另一个未关的 channel,照样死锁

向无缓冲 channel 发送却没人收,是“秒级死锁”

无缓冲 channel 的收发必须“同时就位”。下面这段代码运行即死锁:

func main() {
    ch := make(chan int)
    ch <- 1 // 阻塞:主 goroutine 在这里挂起
}
  • 没有其他 goroutine 启动并执行 <-ch,发送操作就永远无法完成
  • 带缓冲 channel(如 make(chan int, 1))可暂存数据,但缓冲区满后仍会阻塞,本质相同
  • 解决思路不是“加缓冲”,而是明确通信契约:谁发、谁收、何时收完

锁嵌套顺序不一致,是隐蔽的死锁温床

两个 goroutine 分别按不同顺序获取两把互斥锁,极易形成循环等待:

go func() {
    mu1.Lock()
    time.Sleep(10 * time.Millisecond)
    mu2.Lock() // 等 mu2
    mu2.Unlock()
    mu1.Unlock()
}()
go func() {
    mu2.Lock()
    time.Sleep(10 * time.Millisecond)
    mu1.Lock() // 等 mu1 → 死锁!
    mu1.Unlock()
    mu2.Unlock()
}()
  • goroutine A 持 mu1 等 mu2,B 持 mu2 等 mu1
  • 这种死锁不会被 go run -race 捕获,因为不涉及数据竞争,只涉及逻辑等待
  • 预防方法:全局约定锁获取顺序(如总是先 mu1 后 mu2),或改用 channel 通信代替共享内存

真正难排查的不是“明显卡住”的场景,而是那些看似合理、实则缺少退出条件的循环——比如用 select {} 等待多个 channel 却忘了关其中任何一个,或者用 sync.WaitGroup 但 Done() 调用次数少了一次。死锁从不预告,它只在所有路都被堵死时,才亮出那行红色错误。

相关文章

编程速学教程(入门课程)
编程速学教程(入门课程)

编程怎么学习?编程怎么入门?编程在哪学?编程怎么学才快?不用担心,这里为大家提供了编程速学教程(入门课程),有需要的小伙伴保存下载就能学习啦!

下载

相关标签:

本站声明:本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系admin@php.cn

热门AI工具

更多
DeepSeek

DeepSeek是一款面向对话、写作、编程和推理场景的AI大模型工具。

LibLibAI
LibLibAI Hot

一款AI视频创作工具,主要用于国内领先的AI创意平台,以海量模型、低门槛操作与“创作-分享-商业化”生态,让小白与专业创作者都能高效实现图文乃至视频创意表达,适合需要提升相关任务效率的用户。

WorkBuddy

一款AI办公效率工具,主要用于腾讯云推出的AI原生桌面智能体工作台,适合需要提升相关任务效率的用户。

Atoms
Atoms Hot

Atoms是一款AI智能体工具,第一支自动构建真实业务的 AI 团队。

豆包大模型

豆包大模型是一款由字节跳动推出的企业级大语言模型服务平台。

AionClaw
AionClaw Hot

AionClaw是一款面向办公、创作和编程任务的AI桌面智能体。

蛙蛙写作

一款AI论文写作工具,主要用于超级AI智能写作助手,适合需要提升相关任务效率的用户。

二狗PPT
二狗PPT Hot

一款AI演示文稿工具,主要用于专为中式职场打造的AI PPT生成工具,适合需要提升相关任务效率的用户。

Laper
Laper Hot

Laper是专为编剧、导演和制片人推出的 AI 原生剧本创作工具。

相关专题

更多
scripterror怎么解决
scripterror怎么解决

scripterror的解决办法有检查语法、文件路径、检查网络连接、浏览器兼容性、使用try-catch语句、使用开发者工具进行调试、更新浏览器和JavaScript库或寻求专业帮助等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

889

2023.10.18

500error怎么解决
500error怎么解决

500error的解决办法有检查服务器日志、检查代码、检查服务器配置、更新软件版本、重新启动服务、调试代码和寻求帮助等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2440

2023.10.25

string转int
string转int

在编程中,我们经常会遇到需要将字符串(str)转换为整数(int)的情况。这可能是因为我们需要对字符串进行数值计算,或者需要将用户输入的字符串转换为整数进行处理。php中文网给大家带来了相关的教程以及文章,欢迎大家前来学习阅读。

5319

2023.08.02

int占多少字节
int占多少字节

int占4个字节,意味着一个int变量可以存储范围在-2,147,483,648到2,147,483,647之间的整数值,在某些情况下也可能是2个字节或8个字节,int是一种常用的数据类型,用于表示整数,需要根据具体情况选择合适的数据类型,以确保程序的正确性和性能。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

2705

2024.08.29

c++怎么把double转成int
c++怎么把double转成int

本专题整合了 c++ double相关教程,阅读专题下面的文章了解更多详细内容。

3328

2025.08.29

C++中int的含义
C++中int的含义

本专题整合了C++中int相关内容,阅读专题下面的文章了解更多详细内容。

2405

2025.08.29

Golang channel原理
Golang channel原理

本专题整合了Golang channel通信相关介绍,阅读专题下面的文章了解更多详细内容。

434

2025.11.14

golang channel相关教程
golang channel相关教程

本专题整合了golang处理channel相关教程,阅读专题下面的文章了解更多详细内容。

579

2025.11.17

Buffalo框架数据库开发全教程
Buffalo框架数据库开发全教程

本专题围绕Buffalo框架数据库开发,讲解database.yml多环境配置、soda与fizz迁移生成回滚、模型结构体标签、增删改查与条件查询、一对多与多对多关联、数据校验、回调钩子、事务处理及原生SQL执行能力。

160

2026.09.23

热门下载

更多
网站特效
/
网站源码
/
网站素材
/
前端模板

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
关于我们 免责申明 举报中心 意见反馈 讲师合作 广告合作 最新更新
php中文网:公益在线php培训,帮助PHP学习者快速成长!
关注服务号
PHP中文网订阅号
每天精选资源文章推送

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn