Golang并发模型与GMP调度详解

哈喽！大家好，很高兴又见面了，我是golang学习网的一名作者，今天由我给大家带来一篇《Golang并发模型核心与GMP调度解析》，本文主要会讲到等等知识点，希望大家一起学习进步，也欢迎大家关注、点赞、收藏、转发! 下面就一起来看看吧！

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之间的解耦，使得调度更灵活、高效。

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调度详解》的详细内容，更多关于Goroutine,并发模型,工作窃取,抢占式调度,GMP调度器的资料请关注golang学习网公众号！