go 协程（goroutine）由 go 运行时自主调度，而非依赖操作系统内核进行抢占式时间片分配；这种协作式调度显著降低了并发开销，是 go 高性能并发模型的核心基础。
go 协程（goroutine）由 go 运行时自主调度，而非依赖操作系统内核进行抢占式时间片分配；这种协作式调度显著降低了并发开销，是 go 高性能并发模型的核心基础。
在传统操作系统中，线程（OS thread）的调度由内核完成：内核为每个线程分配固定时间片（如 10ms），到期即强制中断（preemption），切换上下文并执行下一个线程。这一过程称为抢占式调度（preemptive scheduling），虽保障公平性与响应性，但伴随高昂的上下文切换开销（涉及寄存器保存、TLB 刷新、内核态/用户态切换等）。
而 Go 采用的是协作式调度（cooperative scheduling）——更准确地说，是用户态 M:N 调度模型（M goroutines 映射到 N OS threads）：
- Go 运行时内置一个轻量级调度器（runtime.scheduler）；
- 所有 goroutine 运行在由 Go 管理的用户态“逻辑线程”（G）、“工作线程”（M）和“处理器”（P）三元组之上；
- 调度决策（如 goroutine 挂起、唤醒、迁移）完全在用户空间完成，无需陷入内核；
- goroutine 主动让出控制权的典型场景包括：调用 runtime.Gosched()、发生阻塞系统调用（此时 M 会脱离 P，P 可绑定新 M 继续运行其他 G）、channel 收发、网络 I/O 等。
以下是一个直观示例，展示协作式调度如何体现：
package main
import (
"fmt"
"runtime"
"time"
)
func worker(id int) {
for i := 0; i < 3; i++ {
fmt.Printf("Worker %d: step %d\n", id, i)
// 主动让出 CPU，模拟协作点（非必需，仅用于演示）
runtime.Gosched()
}
}
func main() {
// 启动两个 goroutine
go worker(1)
go worker(2)
// 主 goroutine 短暂等待，确保子 goroutine 执行
time.Sleep(100 * time.Millisecond)
}运行输出可能为（顺序不固定，体现调度不确定性）：
Worker 1: step 0 Worker 2: step 0 Worker 1: step 1 Worker 2: step 1 Worker 1: step 2 Worker 2: step 2
⚠️ 注意事项：
- “协作式”不等于“需手动 yield”：现代 Go（1.14+）已实现异步抢占（asynchronous preemption），通过向线程发送信号（如 SIGURG）在安全点中断长时间运行的 goroutine，避免因某个 goroutine 死循环导致整个 P 饿死；因此开发者无需显式调用 Gosched() 来保障公平性（但仍可在特定场景下使用）。
- 与 OS 线程对比：启动 10 万个 goroutine 仅消耗约几十 MB 内存，而同等数量的 OS 线程将耗尽内存并触发 OOM；这是因 goroutine 初始栈仅 2KB（可动态伸缩），且无内核资源绑定开销。
- 调度器透明性：绝大多数 Go 开发者无需感知 G-M-P 细节，但理解其原理有助于编写高效、低延迟的并发程序（例如避免在 goroutine 中执行阻塞 C 调用，或合理使用 GOMAXPROCS 控制 P 数量）。
总结而言，Go 的调度模型本质是在用户态构建了一层高效的并发抽象层：它复用少量 OS 线程承载海量轻量协程，在保证高吞吐与低延迟的同时，将复杂性封装于运行时内部——这正是 Go “并发编程应简单而健壮”理念的底层支撑。
