
go 程序中若主 goroutine 进入空忙循环(如 `for {}`),会彻底阻塞调度器,导致其他 goroutine 无法被调度执行;解决方法是避免忙等待,改用 `time.sleep` 或更优的 `select {}` 阻塞。
在 Go 并发编程中,一个常见误区是认为只要调用 runtime.GOMAXPROCS(n) 设置了最大并行线程数,就能确保多个 goroutine 在不同 OS 线程上“同时运行”。但实际调度行为受 Go 运行时调度器(GMP 模型)严格控制——它仅在 goroutine 主动让出控制权时(如系统调用、channel 操作、time.Sleep、函数调用或垃圾回收点)才进行抢占式调度。
你提供的代码存在根本性问题:
func main() {
runtime.GOMAXPROCS(runtime.NumCPU() * 8) // ✅ 设置有效,但非关键
go func() {
for {
time.Sleep(1 * time.Second)
fmt.Println("From routine")
}
}()
for {} // ❌ 致命:无限空循环,不触发任何调度点!
}for {} 是纯 CPU 密集型忙等待,既不调用函数、也不触发系统调用或阻塞操作,导致当前 goroutine(main)永不交出时间片。即使后台已启动新 goroutine,调度器也完全无机会将其分配到其他 M(OS 线程)上执行——GOMAXPROCS 不是“强制并行”,而是“最多可用 P 的数量”;没有调度点,P 就无法切换 G。
✅ 正确做法:让出控制权
方案一:插入轻量级休眠(快速验证用)
func main() {
runtime.GOMAXPROCS(runtime.NumCPU() * 2) // 建议设为逻辑 CPU 数即可,过高无益
go func() {
for i := 0; i < 5; i++ {
time.Sleep(1 * time.Second)
fmt.Println("From goroutine:", i)
}
}()
time.Sleep(6 * time.Second) // 主 goroutine 主动休眠,释放调度权
}输出:
From goroutine: 0 From goroutine: 1 ...
方案二(推荐):使用 select {} 永久阻塞
func main() {
go func() {
ticker := time.NewTicker(1 * time.Second)
defer ticker.Stop()
for range ticker.C {
fmt.Println("From goroutine")
}
}()
select {} // ✅ 零 CPU 占用、永久阻塞,且明确表达“等待所有其他 goroutine 完成”的语义
}? select {} 是 Go 中最地道的“主线程挂起等待”写法:它不消耗 CPU,不依赖超时,且向阅读者清晰传达“本 goroutine 已完成职责,静待程序终止”。
⚠️ 注意事项
- LockOSThread() 不会解决此问题:它仅将当前 goroutine 绑定到某个 OS 线程,但若该 goroutine 自身不 yield,仍会饿死其他 goroutine。
- GOMAXPROCS 默认值已是 NumCPU(),显式设置过高(如 *8)通常无意义,甚至可能因线程切换开销降低性能。
- 真实项目中应避免 for {},优先使用 channel 同步、sync.WaitGroup 或 context 控制生命周期。
✅ 总结
Go 的并发模型依赖协作式调度,而非抢占式多线程。要让 goroutine 正常工作,主 goroutine 必须主动让出控制权——select {} 是最佳实践,time.Sleep 适用于简单场景,而 for {} 应视为反模式。理解调度时机,比调整 GOMAXPROCS 更重要。







