请解释 Go 语言中的 Scheduler（调度器）是什么，它的主要作用和工作机制是怎样的？
考察说明
考察对 Go 运行时调度器的核心概念和基本工作原理的理解程度。
回答思路
- 【回答框架 1】Go Scheduler 是 Go 运行时（runtime）中负责协调和管理 goroutine（G）在多线程（M）上执行的调度器，它实现了用户态协作式与抢占式结合的调度机制。它并非操作系统线程，而是将大量 goroutine 多路复用到相对较少的操作系统线程上，从而支持高并发并降低创建和切换线程的开销。
- 【回答框架 2】其核心调度模型常被称为 G-M-P 模型：G 代表 goroutine，M 代表操作系统线程（Machine），P 代表处理器（Processor），它是执行 G 所需的上下文环境，并维护本地可运行队列。M 必须持有 P 才能执行 G，P 的数量通常默认为 GOMAXPROCS（默认为 CPU 逻辑核心数），这限制了并行的 G 数量。
- 【回答框架 3】调度循环主要包含：新建 G 时先放入 P 的本地队列，本地队列满或数量不足时会从全局队列或窃取其他 P 的 G（工作窃取），以均衡负载。当 G 遇到系统调用、通道操作、休眠或主动让出时，当前 M 会被释放或休眠，P 可能被其他 M 取走继续执行其他 G，从而实现高效的并发调度。Go 1.14 起引入了基于信号和栈扫描的异步抢占机制，防止某个 G 长时间占用 P 而饿死其他 G。
- 【回答框架 4】整个调度过程对用户透明，goroutine 的创建（约几 KB 栈）和切换（用户态切换）比原生线程更轻量，因此 Go 程序能轻松创建成千上万个 goroutine。调度器的设计使得 Go 能够充分利用多核 CPU，同时保持较高的吞吐和低延迟。
- 【关键点 1】Go Scheduler 是运行时用户态调度器，负责 goroutine 与操作系统线程的映射和调度。
- 【关键点 2】采用 G-M-P 模型，P 数量由 GOMAXPROCS 决定，影响并行度。
- 【关键点 3】调度包含本地队列、全局队列和工作窃取机制，以实现负载均衡。
- 【关键点 4】Go 1.14 起支持异步抢占，避免单个 G 长时间独占 P。
- 【关键点 5】通过用户态切换和轻量级 goroutine 实现高并发，降低调度和切换开销。
- 【易错点 1】不能将 GOMAXPROCS 视为线程数上限，它限制的是可并行的 P 数，实际 M 可能多于 P。
- 【易错点 2】不能认为 goroutine 是永远不会被操作系统线程抢占的，系统调用仍可能阻塞 M。
- 【易错点 3】工作窃取并非无代价，极端情况下可能带来额外的锁竞争和性能波动。