0

0

Golang Channel发送接收的阻塞条件_底层源码逻辑分析

P粉602998670

P粉602998670

发布时间:2026-02-11 12:54:11

|

421人浏览过

|

来源于php中文网

原创

ch

golang channel发送接收的阻塞条件_底层源码逻辑分析

channel 发送时什么时候会阻塞

发送操作 ch 阻塞,只取决于当前 channel 的状态和缓冲区,跟接收方是否“准备好”无关——它只看有没有地方放数据。

  • 如果是无缓冲 channel(make(chan int)),发送方永远会阻塞,直到有 goroutine 在同一时刻执行 (即同步配对)
  • 如果是有缓冲 channel(make(chan int, 5)),仅当缓冲区已满(len == cap)时才阻塞;否则直接拷贝进底层数组并返回
  • 注意:即使接收方 goroutine 已启动但还没执行到 ,只要缓冲区有空位,发送就不会卡住

常见错误现象:fatal error: all goroutines are asleep - deadlock,往往是因为发完没接收、或接收逻辑被条件跳过,导致发送端永久等待。

channel 接收时为什么有时不阻塞,有时 panic

接收行为 是否阻塞,取决于 channel 是否关闭 + 是否有可读数据:

  • 未关闭且缓冲区为空(或无缓冲 channel 没人发)→ 阻塞,直到有数据或 channel 关闭
  • 已关闭且缓冲区为空 → 立即返回零值,不阻塞
  • 已关闭但缓冲区还有数据 → 先读完缓冲区,再返回零值

容易踩的坑:

立即学习go语言免费学习笔记(深入)”;

  • 对已关闭的 channel 反复接收不会 panic,但可能拿到意料之外的零值(比如 0nil""),需配合 ok-idiom 判断:v, ok :=
  • 向已关闭的 channel 发送会 panic:panic: send on closed channel,这个检查在运行时由 chan.send 函数完成,不是编译期检查
  • 不要依赖“接收返回 false 就代表关完了”,因为关闭后还能读缓冲区剩余数据,ok 为 false 仅表示“此后不会再有新数据”

底层 runtime.chansend 和 runtime.chanrecv 怎么决定是否挂起 goroutine

Go 运行时用一个循环队列(buf)+ 两个等待队列(sendqrecvq)管理 channel。

SolidPoint
SolidPoint

Youtube视频总结器,快速将Youtube长视频压缩成文字摘要

下载
  • chansend 先尝试:缓冲区有空位 → 拷贝数据 → 返回;否则检查 recvq 是否非空 → 有则直接配对唤醒接收者 → 返回;否则将当前 goroutine 加入 sendq 并调用 gopark 挂起
  • chanrecv 类似:缓冲区有数据 → 直接取 → 返回;否则查 sendq → 有则配对唤醒发送者 → 返回;否则挂起进 recvq

关键点:

  • 所有判断和队列操作都在临界区(加锁)中完成,保证原子性
  • 挂起前会把 goroutine 标记为 waiting on channel,并记录唤醒回调函数(runtime.goready
  • 唤醒不等于立即执行:只是从 waiting 状态变回 runnable,仍需等调度器分配 M

性能影响:频繁阻塞/唤醒会增加调度开销;若 channel 成为热点路径,建议用带缓冲 channel 或改用其他同步机制(如 sync.Mutex + slice)。

如何验证某个 channel 操作是否真的阻塞了

不能只靠日志或延时猜测,得看 goroutine 状态或运行时信息。

  • 使用 runtime.Stack 打印当前所有 goroutine 的栈,搜索 chan sendchan receive 字样,看到类似 runtime.gopark 就说明卡住了
  • 在调试模式下用 dlv attach 进程,执行 goroutines 查看状态,再用 goroutine bt 看具体在哪一行阻塞
  • 更轻量的方式:在发送/接收前后打时间戳,如果耗时远超预期(比如几毫秒以上),大概率是阻塞了(注意排除 GC STW 影响)

容易被忽略的地方:channel 阻塞是 goroutine 级别的,不是线程级;一个 goroutine 卡住不影响其他 goroutine 调度,但若大量 goroutine 堆积在同一个 channel 上,可能拖慢整个程序响应——这时候问题不在 channel 语法,而在设计节奏没对齐。

热门AI工具

更多
DeepSeek
DeepSeek

幻方量化公司旗下的开源大模型平台

豆包大模型
豆包大模型

字节跳动自主研发的一系列大型语言模型

通义千问
通义千问

阿里巴巴推出的全能AI助手

腾讯元宝
腾讯元宝

腾讯混元平台推出的AI助手

文心一言
文心一言

文心一言是百度开发的AI聊天机器人,通过对话可以生成各种形式的内容。

讯飞写作
讯飞写作

基于讯飞星火大模型的AI写作工具,可以快速生成新闻稿件、品宣文案、工作总结、心得体会等各种文文稿

即梦AI
即梦AI

一站式AI创作平台,免费AI图片和视频生成。

ChatGPT
ChatGPT

最最强大的AI聊天机器人程序,ChatGPT不单是聊天机器人,还能进行撰写邮件、视频脚本、文案、翻译、代码等任务。

相关专题

更多
golang如何定义变量
golang如何定义变量

golang定义变量的方法:1、声明变量并赋予初始值“var age int =值”;2、声明变量但不赋初始值“var age int”;3、使用短变量声明“age :=值”等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

206

2024.02.23

golang有哪些数据转换方法
golang有哪些数据转换方法

golang数据转换方法:1、类型转换操作符;2、类型断言;3、字符串和数字之间的转换;4、JSON序列化和反序列化;5、使用标准库进行数据转换;6、使用第三方库进行数据转换;7、自定义数据转换函数。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

233

2024.02.23

golang常用库有哪些
golang常用库有哪些

golang常用库有:1、标准库;2、字符串处理库;3、网络库;4、加密库;5、压缩库;6、xml和json解析库;7、日期和时间库;8、数据库操作库;9、文件操作库;10、图像处理库。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

345

2024.02.23

golang和python的区别是什么
golang和python的区别是什么

golang和python的区别是:1、golang是一种编译型语言,而python是一种解释型语言;2、golang天生支持并发编程,而python对并发与并行的支持相对较弱等等。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

212

2024.03.05

golang是免费的吗
golang是免费的吗

golang是免费的。golang是google开发的一种静态强类型、编译型、并发型,并具有垃圾回收功能的开源编程语言,采用bsd开源协议。本专题为大家提供相关的文章、下载、课程内容,供大家免费下载体验。

401

2024.05.21

golang结构体相关大全
golang结构体相关大全

本专题整合了golang结构体相关大全,想了解更多内容,请阅读专题下面的文章。

322

2025.06.09

golang相关判断方法
golang相关判断方法

本专题整合了golang相关判断方法,想了解更详细的相关内容,请阅读下面的文章。

196

2025.06.10

golang数组使用方法
golang数组使用方法

本专题整合了golang数组用法,想了解更多的相关内容,请阅读专题下面的文章。

762

2025.06.17

Rust异步编程与Tokio运行时实战
Rust异步编程与Tokio运行时实战

本专题聚焦 Rust 语言的异步编程模型,深入讲解 async/await 机制与 Tokio 运行时的核心原理。内容包括异步任务调度、Future 执行模型、并发安全、网络 IO 编程以及高并发场景下的性能优化。通过实战示例,帮助开发者使用 Rust 构建高性能、低延迟的后端服务与网络应用。

1

2026.02.11

热门下载

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

精品课程

更多
相关推荐
/
热门推荐
/
最新课程
Go 教程
Go 教程

共32课时 | 4.9万人学习

Go语言实战之 GraphQL
Go语言实战之 GraphQL

共10课时 | 0.8万人学习

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

Copyright 2014-2026 https://www.php.cn/ All Rights Reserved | php.cn | 湘ICP备2023035733号