GMP调度模型详解与手绘图解全攻略
GMP调度模型是Go运行时的用户态并发调度机制，由G（goroutine）、M（OS线程）、P（逻辑处理器）协同实现高效复用与负载均衡。
GMP调度模型是Go运行时的用户态并发调度机制，由G（goroutine）、M（OS线程）、P（逻辑处理器）协同实现高效复用与负载均衡。
GMP调度模型是Go语言运行时实现并发的核心机制，它用三个关键角色（G、M、P）协同工作，让成千上万个goroutine能在少量操作系统线程上高效、公平地运行。它不是操作系统级的调度，而是Go自己在用户态做的“二次调度”，目标是减少系统调用开销、提升CPU利用率、隐藏I/O等待时间。
三个主角：G、M、P 分别是什么？
G（Goroutine）：轻量级协程，Go里的并发执行单元。每个G只占2KB栈空间（可动态伸缩），创建销毁成本极低。它不绑定线程，只保存自己的执行上下文（如PC、栈指针、寄存器等）。
M（Machine）：对应一个OS线程（比如Linux上的pthread）。M负责真正执行G的代码。M数量默认无硬上限，但受P数量和阻塞操作影响——当M因系统调用或锁等待而阻塞时，Go运行时会尝试复用其他M。
P（Processor）：逻辑处理器，是G调度的关键枢纽。P的数量默认等于CPU核心数（可通过GOMAXPROCS设置），它持有：
• 本地G队列（最多256个，FIFO）
• 全局G队列（所有P共享，有锁）
• 可运行G的“所有权”——只有拥有P的M才能执行G
• 内存分配缓存（mcache）、垃圾回收状态等
调度是怎么流动起来的？
一个G从诞生到执行，经历典型的“入队→获取P→被M执行→可能让出/阻塞→再调度”过程：
- 新G创建后，优先加入当前P的本地队列；若本地队列满，则入全局队列
- M需绑定一个P才能运行G：启动时抢一个空闲P；若M阻塞（如syscall），会释放P供其他M使用
- M从自己绑定的P中按顺序取G执行；若本地队列空，先尝试从全局队列偷一批（至少1/4），再尝试“工作窃取”（steal）——从其他P的本地队列尾部偷一半
- G主动让出（如调用runtime.Gosched()）、被抢占（如超过10ms的连续运行，由sysmon线程触发）、或进入阻塞（如channel收发、网络读写、time.Sleep），都会触发调度器介入，保存现场并寻找下一个可运行G
几个关键设计细节，决定它为什么快又稳
非抢占式 + 有限抢占：Go早期完全协作式，现在通过sysmon监控线程，对长时间运行的G强制插入抢占点（如函数入口、循环回边），避免某个G饿死其他G。
系统调用处理巧妙：M进入阻塞系统调用前，会将P解绑并转入自旋状态（尝试找新M接管）；调用返回后，M优先尝试重新获取原P；失败则把G放回全局队列，自己休眠——避免P空转、也避免M堆积。
内存与GC友好：每个P自带mcache，小对象分配无需锁；GC的三色标记也以P为单位并发扫描，提升停顿控制能力。
一张图看懂核心流转（文字版示意）
（想象手绘草图结构）
顶部：多个P（P0, P1, P2…）并排，每个P下挂一个“本地G队列”（竖列小方块G1-G5）
中间：若干M（M0-M3）箭头指向各自绑定的P；M0正在执行P0的G1，M1空闲等待P，M2卡在syscall（画个云朵标“阻塞中”）
底部：一个“全局G队列”+“netpoller”（处理异步网络事件）+“sysmon”（小哨兵图标，监视M和G）
箭头穿插：G从全局队列→P本地队列；M从P偷G；阻塞M释放P→空闲M抢P；sysmon向G发送抢占信号
不复杂但容易忽略：GMP不是静态绑定，而是一套动态借还、平衡负载的协作协议。理解它，能帮你写出更少竞争、更低延迟、更易诊断的Go并发代码。
正软商城本月促销专区，汇集办公、设计、安全、影音、系统工具及AI软件等正版软件优惠活动，提供限时折扣、特价授权和优惠购买信息，活动库存及价格以页面实时展示为准。
正软商城装机必备专区，精选办公、浏览器、安全防护、影音播放、压缩解压、设计创作和系统工具等电脑常用正版软件，帮助用户快速完成新电脑软件配置。
正软商城Windows软件专区，汇集适用于Windows电脑的办公、设计、安全防护、影音播放、开发工具和系统优化软件，提供软件介绍、系统要求、正版授权及购买下载服务。
正软商城macOS软件专区，精选适用于Mac电脑的办公、设计、影音、效率、开发和系统工具，提供软件功能介绍、macOS兼容版本、正版授权及购买下载服务。
正软商城iOS软件专区，精选适用于iPhone和iPad的办公、学习、影音、设计、效率及AI应用，提供功能介绍、适用设备、系统要求和正版获取方式等信息。
正软商城AI软件专区，汇集AI写作、AI绘画、AI视频、AI办公、AI编程、AI翻译、智能客服和数据分析等人工智能工具，提供功能介绍、适用平台、收费方式及正版购买信息。
正软商城PDF教程频道提供PDF编辑、转换、合并、拆分、压缩及格式处理方法，同时介绍常用PDF软件和工具的使用技巧。
赤友清理大师是一款为 Mac 设计的智能清理优化工具，可精准扫描垃圾、大文件、重复文件等，释放磁盘空间。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
Mountain Duck 是一款能将多个网盘挂载到本地的工具，像本地磁盘一样使用网盘。清理链路的完整性会更好一些，做应用卸载、残留处理和空间整理时，通常能少走很多手动排查步骤。
极度公式是一款跨平台专业LaTeX公式识别编辑软件，支持OCR公式识别和多平台编辑。和使用说明，避免使用，享受完整功能与稳定支持。做扫描整理、文字提取和表格转换时，它能把识别后的处理步骤接得更顺，资料录入这类场景会省下不少时间。
一款文字处理软件，一种订阅式的跨平台办公软件，基于云平台提供多种服务，通过将 Excel 和 Outlook 等应用与 OneDrive 和 Microsoft Teams 等强大的云服务相结合，Office 365 可让任何人使用任何设备随时随地创建和共享内容。
Wise Folder Hider Pro 是一款专业级文件和文件夹隐藏加密软件，为私密数据添加多重保护。高频操作更强调就近处理，浏览、整理和跨目录移动文件时，来回切换和重复点击都会少很多。
CodeExpander 是一款快捷短语输入增强工具，通过键入缩写自动展开为自定义文段，提升工作效率。任务管理和过程控制会更完整，持续下载、批量同步或需要稳定传输流程的场景会更适合它。
Mountain Duck 是一款能将多个网盘挂载到本地的工具，像本地磁盘一样使用网盘。清理链路的完整性会更好一些，做应用卸载、残留处理和空间整理时，通常能少走很多手动排查步骤。
