Golang GMP模型解析

Golang GMP模型解析

看文章之前，我先一句话说明GMP之间的关系，方便理解下面的内容。

一、为什么需要GMP？

在Go诞生前的多线程编程世界，开发者面临三重困境：

1. 线程成本高昂（1:1模型问题）

痛点：

• 线程创建成本高（系统调用）
• 内存消耗大（MB级栈空间）
• 上下文切换开销大（用户/内核态切换）

2. 协程调度低效（N:1模型问题）

痛点：

• 无法利用多核CPU
• 一个阻塞调用卡死所有协程
• 缺乏真正的并行能力

3. 复杂的锁同步机制

传统并发编程需处理：

• 互斥锁(Mutex)
• 读写锁(RWMutex)
• 条件变量(Condvar)
• 信号量(Semaphore)

二、GMP的革命性突破

Go团队提出的解决方案：Goroutine + M:P线程模型

GMP核心架构

三、GMP的核心价值

1. 解决线程成本问题

• Goroutine初始栈​：2KB，仅为线程的1/1024
• ​动态扩展​：最大可扩展到1GB（通过SetMaxStack配置）
• ​内存利用率​：10万Goroutine ≈ 200MB，同等数量线程需要200GB

创新点：

• Goroutine轻量级栈（初始2KB，可扩展）
• 用户态调度避免内核切换
• 快速创建/销毁（纳秒级）

2. 解决多核利用问题

创新点：

• P层作为任务分发枢纽
• M与CPU核心动态绑定
• 工作窃取算法自动平衡负载

3. 解决阻塞调用问题

创新点：

• 系统调用时解耦M和P
• P可迁移到新M继续调度
• 网络轮询器(netpoller)处理IO