Go 中缓冲与非缓冲通道的死锁行为详解-Golang-PHP中文网

Go 中缓冲与非缓冲通道的死锁行为详解

本文深入剖析 Go 语言中非缓冲通道导致死锁的根本原因，通过对比缓冲大小为 0、1 和 ≥2 的三种场景，揭示 select 语句的就绪性判断机制、goroutine 协作模型及通道阻塞语义，帮助开发者避免典型并发陷阱。

本文深入剖析 go 语言中非缓冲通道导致死锁的根本原因，通过对比缓冲大小为 0、1 和 ≥2 的三种场景，揭示 `select` 语句的就绪性判断机制、goroutine 协作模型及通道阻塞语义，帮助开发者避免典型并发陷阱。

在 Go 并发编程中，通道（channel）是 goroutine 间通信的核心原语，而其是否带缓冲（buffered vs. unbuffered）会显著影响程序行为——尤其在多路 select 场景下，极易引发隐晦的死锁（deadlock）。下面以一个典型示例展开分析：

? 非缓冲通道（`make(chan string)`）：必然死锁

原始代码中，ch1 和 ch2 均为无缓冲通道（容量为 0）。此时发送操作 ch1 是同步阻塞的：它必须等待另一个 goroutine 同时执行才能完成。

我们来追踪执行流：

main 启动 test goroutine 后，立即向 ch1 发送 "hi"；
此时 test goroutine 刚启动，select 还未进入第一次循环（尚未读取任何通道），因此 ch1 无接收者 → ch1 永久阻塞；
main goroutine 在 ch1 处挂起，无法继续执行 ch2 ，更无法到达 fmt.Scanln()；
而 test goroutine 因 main 阻塞，永远无法开始运行 → 两个 goroutine 全部休眠，触发 runtime 死锁检测。

⚠️ 注意：timeout := time.After(2 * time.Second) 在 test 函数内定义，但该 goroutine 根本没机会执行到 select —— 所以“等待 2 秒后报错”是误解；实际是 main 在第一行发送时即阻塞，Go 运行时在所有 goroutine 无法推进时立即报 fatal error: all goroutines are asleep - deadlock!（你观察到的延迟可能源于终端输出刷新或调试环境干扰，但逻辑上死锁发生在 ch1 瞬间）。

至于为何总先打印 "hi 1"？因为 ch1 总是先于 ch2 执行，而 ch2 初始为空，select 的第二个 case 永远不可就绪（no sender → no receiver → no readiness），所以 select 只有第一个 case 可选，并非“随机”，而是唯一可行路径。交换 C/D 行序后同理，总是 "bye 2" 先触发。

? 缓冲大小为 1：看似运行，实则卡在单次交互

将通道改为 make(chan string, 1) 后：

ch1 := make(chan string, 1) // 可缓存 1 个值
ch2 := make(chan string, 1)

此时 ch1 和 ch2 均可立即成功（缓冲区空），main 顺利执行完两行发送并阻塞于 fmt.Scanln()；test goroutine 开始运行 select。

select 第一次循环：

ch1 有 "hi" → 执行 case : 输出 "hi 1"，然后尝试 ch2 ；
此时 ch2 缓冲区已存有 "bye"（来自 main），容量为 1 → 缓冲区满！ch2 阻塞；
test goroutine 卡在此处，main 在 Scanln 等待输入 → 无 goroutine 可推进 → 再次死锁（但因 main 未退出，运行时不报错，表现为“卡住”）。

同理，若 "bye" 先入 ch2，则 select 优先选 ch2 分支，输出 "bye 2" 后在 ch1 处阻塞。因此每次运行只打印一行，随后静默挂起。

✅ 缓冲大小 ≥2：闭环通信得以持续

当设为 make(chan string, 2)：

ch1 和 ch2 各可暂存 2 个值；
main 发送 "hi" 和 "bye" 后，缓冲区分别剩余 1 容量；
test 中 ch1 被消费后，执行 ch2 → ch2 原有 "bye" + 新 "ch2" = 2 个值，恰好填满不阻塞；
同理，ch2 被消费 "bye" 后，ch1 也能成功写入（ch1 此时只有 "hi" 被读走，空位≥1）；
于是形成稳定循环：ch1→ch2→ch1→ch2…，直到 timeout 触发退出。

关键点在于：缓冲容量必须 ≥ 循环中同一时刻可能积压的最大消息数。本例中，每个通道需同时容纳「外部输入（1）+ 内部响应（1）」共 2 个值。

? 最佳实践与总结

非缓冲通道 = 同步握手：适合需要严格配对的信号传递（如任务完成通知），但极易因时序错配导致死锁；
缓冲通道 = 异步解耦：降低 goroutine 间强依赖，但需精确计算峰值负载，避免内存浪费或隐式背压；
select 就绪性原则：仅当 case 对应的发送/接收操作能立即完成（不阻塞） 时才被视为就绪；空 select{} 永远阻塞，select with only blocked cases → deadlock；
调试技巧：使用 runtime.Stack() 或 pprof 查看 goroutine 状态；在关键通道操作前后加日志，明确阻塞点。