golang深度学习-协程与GMP模型

老狼伙计

关注

最新推荐文章于 2026-08-04 21:16:23 发布 · 952 阅读

原创

本文为博客 VIP 文章，开通 VIP 后可阅读全文

开通 VIP

操作系统进程管理

在现今流行的操作系统中，线程是进程的组成部分。一个进程中可以存在多个线程，这些线程并发执行并共享进程的内存（例如全局变量）等资源。而进程之间相对独立，不同进程具有不同的内存地址空间、代表程序运行的机器码、进程状态、操作系统资源描述符等。线程是CPU执行的最小单元，而进程是程序运行的实例。

虽然多核处理器可以保证并行计算，但是实际中程序的数量以及实际运行的线程数量会比CPU核心数多得多。因此，为了平衡每个线程能够被CPU处理的时间并最大化利用CPU资源，操作系统需要在适当的时间通过定时器中断（Timer Interrupt）、I/O设备中断、系统调用时执行上下文切换（Context Switch）。

当发生线程上下文切换时，需要从操作系统用户态转移到内核态，记录上一个线程的重要寄存器值（例如栈寄存器SP）、进程状态等信息，这些信息存储在操作系统线程控制块（Thread Control Block）中。当切换到下一个要执行的线程时，需要加载重要的CPU寄存器值，并从内核态转移到操作系统用户态。如果线程在上下文切换时属于不同的进程，那么需要更新额外的状态信息及内存地址空间，同时将新的页表（Page Tables）导入内存。

进程之间的上下文切换最大的问题在于内存地址空间的切换导致的缓存失效（例如：CPU中用于缓存虚拟地址与物理地址之间映射的TLB表、缓存行），所以不同进程的切换要显著慢于同一进程中线程的切换。

在这里插入图片描述

协程

在Go语言中，协程被认为是轻量级的线程。和线程不同的是，操作系统内核感知不到协程的存在，协程的管理依赖Go语言运行时自身提供的调度器。同时，Go语言中的协程是从属于某一个线程的。

调度方式
协程是用户态的。协程的管理依赖Go语言运行时的调度器。同时，Go语言中的协程是从属于某一个线程的，协程与线程的对应关系为M：N，即多对多。Go语言调度器可以将多个协程调度到一个线程中，一个协程也可能切换到多个线程中执行。
上下文切换速度
协程的速度要快于线程，其原因在于协程切换不用经过操作系统用户态与内核态的切换，并且Go语言中的协程切换只需要保留极少的状态和寄存器变量值（SP/BP/PC），而线程切换会保留额外的寄存器变量值（例如浮点寄存器）。上下文切换的速度受到诸多因素的影响，如：线程切换的速度大约为1～2微秒，Go语言中协程切换的速度比它快数倍，为0.2微秒左右。
调度策略(主动、被动、抢占式调度)
线程的调度在大部分时间是抢占式的，操作系统调度器为了均衡每个线程的执行周期，会定时发出中断信号强制执行线程上下文切换(也叫作时间片)。
而Go语言中的协程在一般情况下是协作式调度的，当一个协程处理完自己的任务后，可以主动将执行权限让渡给其他协程。这意味着协程可以更好地在规定时间内完成自己的工作，而不会轻易被抢占。当一个协程运行了过长时间时，Go语言调度器才会强制抢占其执行。
协程栈
线程的栈大小一般是在创建时指定的，为了避免出现栈溢出（Stack Overflow），默认的栈会相对较大（例如2MB），这意味着每创建1000个线程就需要消耗2GB的虚拟内存，大大限制了线程创建的数量。
而Go语言中的协程栈默认为2KB，在实践中，经常会看到成千上万的协程存在。同时，线程的栈在运行时不能更改，但是Go语言中的协程栈在Go运行时的帮助下会动态检测栈的大小，并动态地进行扩容，可以通过runtime/debug中的SetMaxStack函数设置最大值(默认最大1G)。因此，在实践中，可以将协程看作轻量的资源。

并发(concurrency)：在一个时间段内，可以执行多个任务。(需要借助上下文切换)
并行(parallelism)：在任意一个时间，可以执行多个任务。(多核处理器)

主协程与子协程

主协程(main Goroutine)：main函数是一个特殊的协程，当主协程退出时，程序直接退出。
子协程(child Goroutine)：使用 go 关键字创建的协程属于子协程。子协程之间没有父子关系。

GMP模型

Go进程中的众多协程其实依托于线程，借助操作系统将线程调度到CPU执行，从而最终执行协程。

G：代表的是Go语言中的协程（Goroutine）。由启动时环境变量$GOMAXPROCS或者是由runtime的方法GOMAXPROCS()决定。
M：代表的是实际的线程。go程序启动时，会设置M的最大数量，默认10000。可以通过runtime/debug中的SetMaxThreads函数，设置M的最大数量。当一个M阻塞了，会创建新的M。
P：代表的是Go逻辑处理器（Process）。
全局队列（Global Queue）：存放等待运行的G。
P的本地队列：同全局队列类似，存放的也是等待运行的G，存的数量有限，不超过256个。新建G时，G优先加入到P的本地队列，如果队列满了，则会把本地队列中一半的G移动到全局队列。

在这里插入图片描述
在任一时刻，一个P可能在其本地包含多个G，同时，一个P在任一时刻只能绑定一个M。但是一个G并不是固定绑定同一个P的，有很多情况(如：P销毁、任务窃取)会导致一个P中的G转移到其他的P中。同样的，一个P只能对应一个M，但是具体对应的是哪一个M也是不固定的。一个M可能在某些时候转移到其他的P中执行。

GMP模型与GM模型

从GMP的模型中可以发现，不引入P(Process)也是可以完成协程的调度。实际上Golang的早期模型就是使用的GM模型完成协程的调度，那么为什么引入了P呢？

我们先尝试推理下不引入P的前提下，即GM模型是如何工作的。

对于G(Goroutine)来说实际上是没有任何影响的，其次对于M(Machine)来说其实也没有太大的影响，因为M运行的是G。但是M的可执行的G是来自P的，那没有P，就需要从全局队列去获取G执行。因为有过个M可能有多个同时运行，那M在执行每一个G的时候，都需要去全局队列加锁获取。另外，当M正在执行的G阻塞时候，M无法换另外一个G去执行，因此只能整个M也陷入阻塞，与此同时一个新的M将会被创建用于执行新的G。由此可推断，当多个G均存在一些阻塞操作的时候，就可能会创建很多个M去执行G，那么多个线程竞争CPU资源的情况就会大大增加。

我们在来看看引入P之后，GMP又是如何提效的。

首先G和M的作用还是没有变化。但是M的任务获取就有很大的变化了。M的可执行G全部来自P的本地队列，那就意味着，M不在需要每次都从全局队列中加锁获取G，可以很快的从P的本地队列快速获取到G执行。另外，当M中执行的G陷入阻塞操作的时候，还是会新建一个M来继续执行G。但是陷入阻塞的M与它原来的P将会被解绑，从而这个P可以与新的M绑定继续执行。当陷入阻塞的M完成资源获取执行完后，由于它没有新的G可以获取到，因为P已经解绑，那他就会一直空闲在那里，之后就会被销毁。因此多个M去竞争CPU的情况就会大大降低。

当然引入P之后，还是有其他一些优势，比如P充当了一个中间层的角色，而中间层的作用往往都是伴有一个解耦的角色。因此P还可以负责管理一些资源，比如Goroutine的内存分配、网络轮询等。比如：当G执行阻塞操作时，P可以将其分离，让M继续执行其他G，而P则去寻找另一个可运行的G，避免阻塞整个线程，这个过程都是P来完成的。

总的来说，引入P的好处有几点：