5.1 协程与调度器
Go
语言的协程是它的一大特性,通过协程可以快速实现并发,提高了开发者的工作效率。
本节我们将深入探讨协程的底层实现原理以及调度实现,我们将了解到并发到底是怎么实现的、多个协程是怎么配合的。
本节我们将以:服务员点餐的例子进行并行、并发、协程及调度器的讲解。
本节代码存放目录为 lesson13
协程的实现原理
什么是并行?
并行也就是一起执行,指的是多个任务在同一时间一起执行。
也就是说多个服务员同时为多个客户点餐,这显然效率是很高的,但是缺点就是需要的服务员数量比较多。
什么是并发?
并发就是多个任务在同一时间段内交替执行,比如说先执行一下任务A
,再去执行一下任务B
,之后回来继续执行任务A
。
也就是同一个服务员先为A
点餐,在A
考虑的过程中再去为B
点餐,同理当B
在思考下一个菜的时候服务员再去为A
点餐。这种方式在服务员数量有限的情况下显然是效率最高的。
协程的实现方式
Go
语言中协程使用的就是并发的方式,也就是多个任务在同一时间交替的执行。
一个服务员我们可以理解为一个系统线程,Go
通过GMP
模型提高了服务员的工作效率,使得服务员可以在很多个客户之间交替点餐。
我们可以理解为这个服务员的效率特别高,他可以马上记录下A
的菜单,之后在A
思考的过程中可以马上记录下B
的菜单,在B
思考的过程中又可以快速记录下C
的菜单。
GMP模型及调度器
调度器
在Go
程序运行时,P
会从它维护的队列中选择一个Goroutine
,将其分配给M
执行。
如果一个Goroutine
阻塞了(例如等待 I/O
操作),P
会将这个 Goroutine
暂时挂起,并选择另一个Goroutine
继续执行。
P
之间可以通过工作窃取机制(Work Stealing
)来共享任务,从而提高 CPU
的利用率。
我们可以理解为,调度器就是餐厅经理,负责管理服务员的工作。经理根据顾客的需求和服务员的忙碌程度来分配任务。
如果某个服务员忙不过来,经理可以调派其他空闲的服务员来帮助完成工作。
如果某个顾客等待时间过长,经理会确保一个服务员优先处理这个顾客的需求。
需要注意的是,Go
语言使用的是协作式调度,也就是说协程会主动让出。比如说A
点完一个菜以后需要考虑,那么他会主动让服务员先去为别人点餐。
G(Goroutine)
G
也就是协程,它是实现并发的核心单位,包含了程序的栈、程序计数器、指向当前函数的指针,以及一些调度信息。
当一个Goroutine
被创建时,它会被分配到一个P
上,准备执行。
我们可以理解为,G
就是服务员的一个任务事项,比如:为A
客户点餐,A
客户坐在1
号桌,他们有3
个人,一共要点5
个菜,现在已经点了3
个了,A
客户还需要思考3
分钟。
M(Machine)
M
代表的就是内核线程,它是Go
程序运行时的实际执行载体,负责真正执行协程代码。
每个M
对应一个内核线程,M
负责执行P
中的Goroutine
。
我们可以理解为,M
就是一个服务员角