Go运行时是否保证OS线程数不少于上下文(P)的数量？

Go运行时不保证操作系统线程（OS Threads）的数量至少等于上下文（P）的数量，哪怕你设置了GOMAXPROCS的值。

比如当GOMAXPROCS=5时，Go程序启动初期可能仅存在1个OS线程，只有当goroutine调度需求增加时，运行时才会逐步创建更多线程；当线程空闲且无goroutine需要执行时，运行时还会销毁多余线程，不会强制维持至少5个OS线程。

这源于Go的M:N调度机制：

• P（上下文）是执行goroutine的资源集合，GOMAXPROCS控制的是同时可运行goroutine的逻辑处理器数量
• M（OS线程）是实际执行的载体，运行时会根据当前goroutine的负载动态调整M的数量：
  • 当所有M都被阻塞（比如系统调用、IO等待），运行时会创建新的M绑定空闲P，继续执行goroutine
  • 当M空闲且无待执行goroutine时，运行时会销毁多余M以节省系统资源

简言之，P的数量是逻辑并发的上限，而M的数量是动态变化的，仅在需要时增加，不需要时减少，不会保证M的数量≥P的数量。

内容的提问来源于stack exchange，提问作者Diego L