GMP调度器是Go并发的核心，由G（协程）、M（线程）、P（逻辑处理器）构成，通过本地队列、工作窃取和抢占式调度实现高效并发，支持高并发性能。
Go语言的并发模型核心是“协程+通信”，即通过轻量级的协程（goroutine）和基于通道（channel）的通信机制来实现高效、安全的并发编程。这种设计避免了传统多线程中复杂的锁管理，转而提倡“不要通过共享内存来通信，而应该通过通信来共享内存”的理念。
支撑这一模型的关键是Go的运行时调度系统——GMP调度器。它负责高效地管理和调度成千上万个goroutine在有限的操作系统线程上运行。
什么是GMP？
GMP是Go调度器的核心架构，由三个关键组件构成：
G（Goroutine）：代表一个Go协程，包含执行栈、程序计数器等上下文信息。它是用户编写的并发任务单元，轻量且创建成本极低。 M（Machine）：代表操作系统线程，真正执行代码的实体。M需要绑定P才能运行G。 P（Processor）：逻辑处理器，是调度的中间层，管理一组可运行的G，并为M提供执行环境。P的数量通常等于CPU核心数（可通过GOMAXPROCS设置）。
GMP模型通过P作为调度中枢，实现了M与G之间的解耦，使得调度更灵活、高效。
立即学习“go语言免费学习笔记（深入）”；
GMP调度的基本流程
当一个goroutine启动时，它会被放入P的本地运行队列中。调度器的工作就是让M绑定P，并从队列中取出G来执行。
每个P维护一个本地G队列，减少锁竞争，提升调度效率。 M在运行G时，会优先从绑定的P的本地队列获取任务。 如果本地队列为空，M会尝试从全局队列中偷取G。 若全局队列也空，M会触发“工作窃取”机制，从其他P的队列尾部偷取一半的G到自己P的队列中执行。
这种设计既保证了局部性，又实现了负载均衡。
调度器如何处理阻塞情况？
当G执行过程中发生阻塞（如系统调用、channel等待），调度器会做出相应调整，避免阻塞M导致资源浪费。
若G进行系统调用，M可能被阻塞。此时，Go运行时会将P与M解绑，并让另一个空闲M接管P继续执行其他G。 原M在系统调用结束后，若无法立即获得P，会将G交给全局队列，并进入休眠状态。 对于channel阻塞等非系统调用的阻塞，G会被移出运行队列，放入对应channel的等待队列，P可继续调度其他G。
这种机制确保了即使部分G阻塞，整个程序仍能充分利用CPU资源。
抢占式调度与协作式调度结合
早期Go使用协作式调度，依赖函数调用时的主动让出。但从Go 1.14开始，引入了基于信号的抢占式调度。
每个G在进入函数时会检查是否被标记为“需要抢占”。 运行时通过SIGURG信号通知M，触发调度检查。 长时间运行的G会被强制中断，交出CPU，防止独占资源。
这解决了CPU密集型任务阻塞调度的问题，提升了并发响应能力。
基本上就这些。GMP调度器的设计精巧地平衡了性能与复杂度，是Go高并发能力的底层支撑。理解它有助于写出更高效的Go程序。
以上就是Golang并发模型核心是什么 解析GMP调度器工作原理的详细内容，更多请关注创想鸟其它相关文章！
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。
如发现本站有涉嫌抄袭侵权/违法违规的内容， 请发送邮件至 chuangxiangniao@163.com 举报，一经查实，本站将立刻删除。
发布者：程序猿，转转请注明出处：https://www.chuangxiangniao.com/p/1401296.html
微信扫一扫 
支付宝扫一扫 
