Go 协程的协作式调度机制与防饥饿策略精解
Go 的 goroutine 采用协作式调度，但现代运行时已通过函数调用点、系统调用、GC 触发等机制主动插入调度点，避免 CPU 密集型循环长期独占线程；单线程下若无任何调度点（如纯计算无函数调用），确实可能导致其他 goroutine 饥饿，但实践中 fmt.Println 等标准库调用几乎总能触发调度，保障基本公平性。
go 的 goroutine 采用协作式调度，但现代运行时已通过函数调用点、系统调用、gc 触发等机制主动插入调度点，避免 cpu 密集型循环长期独占线程；单线程下若无任何调度点（如纯计算无函数调用），确实可能导致其他 goroutine 饥饿，但实践中 `fmt.println` 等标准库调用几乎总能触发调度，保障基本公平性。
在 Go 并发模型中，“goroutine 是协作式调度（cooperatively scheduled）”这一表述常被误解为“必须显式让出 CPU 才能切换”。实际上，Go 运行时（runtime）早已超越传统协程的纯协作范式，演化为一种混合调度模型：它既保留了协作式调度的轻量本质，又在关键位置（如函数调用、系统调用、channel 操作、垃圾回收等）隐式注入调度检查点（preemption points），从而在不破坏性能的前提下有效防止 goroutine 饥饿。
以问题中的示例为例：
func sum(x int) { sum := 0 for i := 0; i < x; i++ { sum += i } fmt.Println(sum) // ✅ 关键调度点！}
虽然 for 循环本身是纯计算、无阻塞操作，但末尾的 fmt.Println(sum) 并非原子操作——它会触发一系列底层函数调用（如 fmt.Fprintln → io.WriteString → write 系统调用准备），而Go 运行时会在每次函数调用入口处检查是否需进行调度（自 Go 1.14 起，已支持基于信号的异步抢占，进一步强化了对长循环的防护）。因此，即使 GOMAXPROCS=1（仅使用一个 OS 线程），上述四个 goroutine 也不会严格串行执行，而是大概率交错运行，尤其当 x 值较大时，fmt.Println 的调用开销足以让调度器介入，将控制权交予其他就绪的 goroutine。
⚠️ 但需注意边界情况：
- 若完全移除 fmt.Println，改写为纯计算且无任何函数调用（例如 for {} 或 for i := 0; i < 1e9; i++ { sum += i } 后直接 return），则该 goroutine 在当前 M（OS 线程）上将持续占用 CPU 直至完成或被 GC 抢占（Go 1.14+ 引入基于信号的协作式抢占，可在栈增长、GC 标记等时机中断长时间运行的 goroutine）；
- GOMAXPROCS > 1 并不能彻底解决单个 goroutine 饥饿问题——因为抢占仍依赖运行时机制，而非操作系统级时间片轮转；过度依赖多线程掩盖调度缺陷反而会掩盖并发 bug。
✅ 正确实践建议：
- 避免无终止条件的空循环：for {} 在 Go 中是反模式，应替换为 select {}（永久阻塞并让出线程）或配合 runtime.Gosched() 显式让渡；
- 善用标准库的“天然调度点”：fmt.*、time.Sleep、os.Write、net.Conn.Read 等均内置调度检查，可作为隐式 yield 的可靠锚点；
- CPU 密集型任务务必解耦：若需执行大量计算，应主动插入 runtime.Gosched()（每千次迭代一次），或拆分为多个小任务并通过 channel 异步分发；
- 理解 GOMAXPROCS 的真实作用：它仅控制可同时执行用户代码的 OS 线程数，不改变调度逻辑；提升该值有助于 I/O 密集型场景的并行吞吐，但对纯 CPU 饥饿无根治效果。
总结而言，Go 的调度哲学是：“尽可能协作，必要时抢占”。它既不像早期协程那样脆弱，也不像 OS 线程那样高开销。开发者无需手动管理线程，但需尊重运行时的调度契约——只要代码中存在至少一个函数调用、系统交互或同步原语，调度器就有机会介入；而纯粹的算术密集型循环，则是少数需要主动干预的例外场景。
