Go语言调度的本质是什么
本篇内容介绍了“Go语言调度的本质是什么”的有关知识,在实际案例的操作过程中,不少人都会遇到这样的困境,接下来就让小编带领大家学习一下如何处理这些情况吧!希望大家仔细阅读,能够学有所成!
成都创新互联公司自2013年创立以来,是专业互联网技术服务公司,拥有项目成都网站设计、做网站网站策划,项目实施与项目整合能力。我们以让每一个梦想脱颖而出为使命,1280元石楼做网站,已为上家服务,为石楼各地企业和个人服务,联系电话:18982081108
首先抛出本文的结论:Go 调度的本质是一个生产-消费流程。
生产者-消费者
生产者-消费者模型
我们平时用 Go 最爽的一点莫过于用一句 go func(){}() 就启动了一个 goroutine 来并发地执行任务。这比用 C/C++ 启动一个线程并发地去执行任务方便太多。这句代码实际上就生产出了一个 goroutine,并进入可运行队列,等待和 m 来找它从而可以得到运行。
熟悉 GMP 模型的朋友都知道,goroutine 最终在 m 上得以执行,因为操作系统感知不到 goroutine,它只能感知线程,并且线程可以看成是 m。
所以,m 拿到 goroutine 并运行它的过程就是一个消费过程。
生产-消费过程
生产过程——三级队列
生产出的 goroutine 需要找一个地方存放,这个地方就是可运行队列。在 Go 程序中,可运行队列是分级的,分为三级:
三级可运行队列
runnext 实际上只能指向一个 goroutine,所以它是一个特殊的队列。
那把 goroutine 放到哪个可运行队列呢?看情况。
首先,如果 runnext 为空,那么 goroutine 就会顺利地放入 runnext,接下来,它会以最高优先级得到运行,即优先被消费。
如果 runnext 不为空,那就先负责把 runnext 上的 old goroutine 踢走,再把 new goroutine 放上来。具体踢到哪里呢?又得分情况。
local queue 是一个大小为 256 的数组,实际上用 head 和 tail 指针把它当成一个环形数组在使用。如果 local queue 不满,则将 runnext 放入 local queue;否则,P 的本地队列上的 goroutine 太多了,说明当前 P 的任务太重了,需要减负,因此需要得到其他 P 协助。从而,将 runnext 以及当前 P 的一半 goroutine 一起打包丢到 global queue 里去。
当然,这部分课程里有非常生动的动画,这里贴一个截图大家感受一下:
生产者动画
消费过程——调度循环
之前的文章里也讲到过调度循环是咋回事,它实际上就是 Go 程序在启动的时候,会创建和 CPU 核心数相等个数的 P,会创建初始的 m,称为 m0。这个 m0 会启动一个调度循环:不断地找 g,执行,再找 g……
伪代码是这样的:
调度循环
随着程序的运行,m 更多地被创建出来,因此会有更多的调度循环在执行。
那边生产者在不断地生产 g,这边 m 的调度循环不断地在消费 g,整个过程就 run 起来了。
找 g 的过程中当然也是从上面的三级队列里找:
先看 runnext,再看 local queue,再看 global queue。当然,如果实在找不到,就去其他 p 去偷。
“Go语言调度的本质是什么”的内容就介绍到这里了,感谢大家的阅读。如果想了解更多行业相关的知识可以关注创新互联网站,小编将为大家输出更多高质量的实用文章!
网页标题:Go语言调度的本质是什么
网页链接:http://myzitong.com/article/jsosds.html