请解释 Go 语言中 GPM 模型的基本概念及其作用。

回答思路

1. 【回答框架 1】GPM 模型是 Go 运行时实现并发调度的核心架构，G 代表 goroutine，即轻量级用户态协程；P 代表 processor，即逻辑处理器，负责执行 G 并维护本地运行队列；M 代表 machine，即操作系统线程，实际执行计算。
2. 【回答框架 2】调度循环中，P 从本地或全局队列获取 G，绑定到 M 上执行；当 G 发生阻塞或系统调用时，M 可能被释放或重新绑定，P 则寻找其他空闲 M 继续调度，实现高并发下的高效复用。
3. 【回答框架 3】GPM 模型通过 P 的数量限制并发执行的 goroutine 数，默认等于 CPU 核心数，减少了线程上下文切换开销，并利用工作窃取算法平衡各 P 的负载。
4. 【回答框架 4】该模型使得 goroutine 的创建和切换成本远低于线程，支持大规模并发，同时通过调度器协作式抢占和异步系统调用，提升了整体吞吐量。
5. 【关键点 1】G 是 goroutine，P 是逻辑处理器，M 是操作系统线程。
6. 【关键点 2】P 的数量决定同时运行的 goroutine 数量，默认等于 CPU 核心数。
7. 【关键点 3】调度器通过工作窃取和本地队列减少锁竞争，提高效率。
8. 【关键点 4】G 阻塞时，M 可被释放或复用，P 继续调度其他 G。
9. 【易错点 1】不能将 GPM 模型等同于完全无锁或绝对高效，实际性能受系统调用和竞争影响。
10. 【易错点 2】P 数量并非越大越好，过多会增加调度开销，需根据负载调整。