Golang-GMP调度模型

今天我们一起来聊一聊go语言高并发背后的底层原理------调度模型以及调度策略。

GM模型

GM模型是V1.1版本之前的调度模型，由于存在严重的锁竞争问题，后来被废弃了。其中：

协程G相当于是用户态的线程，CPU感知不到用户态线程的存在并且用户态线程不能够被CPU调度执行，必须通过内核态线程来运行。用户态线程和内核态线程之间的关系有1:1、1:N、M:N。

在GM调度模型中，所有的G都存放在一个全局协程队列中，全局队列由于是多个M的共享资源，因此需要加上一个用于同步以及互斥作用的锁。

M想要执行G、放回G都需要访问全局队列，并且M有多个，为了防止多线程并发访问资源的不安全，每次访问时都需要加锁、释放锁。

因此，GM调度模型存在以下缺点：

创建、销毁、调度G都需要每个M获取锁，这形成了激烈的锁竞争。
M转移派生的G时，会造成延迟和额外的系统负担。比如：当G运行过程中新创建了协程G'，需要先将新创建的G'放入到全局队列中，之后等待其他M从全局队列中取出G'。一存一取，需要两次加锁操作，这会让G'的运行延迟并造成额外的系统开销。
系统调用导致频繁的线程阻塞和取消阻塞操作增加了系统开销。

为了避免GM调度模型的问题，Go语言在V1.1版本中又引入了P，形成了GMP调度模型。其中：

在GMP模型中，M在运行G的过程中，如果派生出了新的协程，优先放置到P的本地队列当中，只有当本地队列已满的时候，才会放入全局队列当中。通过本地队列和轮训调度策略，减少派生协程的延迟执行和系统开销。

移交机制 hand off：

如果M在执行G的过程中如果发生了系统调用或阻塞，这时候，会释放掉自身所持有的P，交给一个空闲的M或新创建的M（没有空闲则新建），继续执行P本地队列中的G。

窃取机制 work stealing：

新创建的G优先放置到创建者的本地队列中，这就可能会造成多个处理器P的本地队列G的数量是不均匀的，导致部分P非常繁忙，而部分P空闲。为了充分利用CPU资源，当P没有需要调度的G时，会从其他队列中窃取一半的G放入到本地队列中。

通过 GOMAXPROCS 设置 P 的数量，最多有 GOMAXPROCS 个线程分布在多个 CPU 上同时运行。

M持有P之后，会依次轮转本地队列中的G。在这个过程中，为避免某个协程长时间执行，而阻碍其他协程被调度的情况。处理器会监测每个协程的执行时长，一旦执行时间过长的话，P会把协程暂停，去调度其他的协程执行。

只有当M的本地队列为空时，才会访问全局队列，从全局队列中获取一部分G放入到自己的本地队列中。