GMP中P的作用

在 Go 语言的 GMP 调度模型中，P（Processor，逻辑处理器）扮演着调度的核心中枢与M（系统线程）和 G（Goroutine）之间的解耦层。它的引入主要是为了解决早期 GM 模型中全局锁竞争严重、多核利用率低以及线程复用差等痛点。

具体而言，P 在 GMP 模型中发挥着以下四个核心作用：

1. 维护本地队列，大幅降低全局锁竞争

P 内部维护了一个本地的 Goroutine 队列（LRQ，默认长度为 256）。当创建新的 G 或 G 执行完毕时，调度器会优先将其放入当前 P 的本地队列中。因为从本地队列获取和放入 G 是不需要加锁的，这极大减少了对全局队列的依赖，从而缓解了早期 GM 模型中因频繁争抢全局锁带来的性能瓶颈。

2. 控制并行度，实现真正的多核并行

P 的数量通常由环境变量 GOMAXPROCS 决定，默认等于 CPU 核心数。在 GMP 模型中，一个 P 在同一时间只能绑定一个 M，而一个 M 同一时间只能运行一个 G。因此，P 的数量直接决定了系统同时可以并行运行的 Goroutine 数量，使得 Go 程序能够真正匹配硬件核心数，实现高效的多核并行。

3. 解耦 M 与 G，提升线程复用率

P 作为 M 和 G 之间的协调者，使得 M 和 G 彻底解耦。当 M 在执行 G 时遇到阻塞（如系统调用、网络 I/O），M 会主动释放绑定的 P（Hand-off 机制），此时 P 会立刻寻找另一个空闲的 M（或创建新 M）来接管本地队列中剩余的 G 继续执行。当阻塞的 M 恢复后，它会尝试获取一个空闲的 P 继续工作；如果没有空闲 P，则进入休眠等待复用。这种机制避免了频繁创建和销毁内核线程的巨大开销。

4. 支撑“工作窃取”算法，实现负载均衡

为了保持所有 CPU 核心都在高效工作，P 是“工作窃取（Work Stealing）”算法的基础。当一个 P 的本地队列为空时，它会优先尝试从全局队列获取 G；如果全局队列也为空，该 P 会尝试从其他繁忙的 P 的本地队列尾部“偷取”一半的 G 过来执行。这种机制在保证数据局部性的同时，完美实现了多核之间的负载均衡。

一句话总结：P 就像是工地上的“任务清单和调度员”，它持有任务（本地队列），工人（M）从它这里领取任务（G）干活。当工人罢工（阻塞）时，调度员会立刻换一个新工人继续干活，从而保证了整个工程（并发程序）的高效运转。