1.1 协程与进程的区别

首先,我理解的操作系统调度等级为 进程 —— 线程 —— 协程。其中进程和线程的区别是本科学的知识,书上和网上都有。主要要说的就是协程和线程的区别。类比线程和进程,一个进程可以拥有多个线程,多个线程之间一起执行来实现并发,但是线程是操作系统级别提供的并发工具,线程太多会造成线程的切换,线程的切换需要系统调用,就会耗时。

协程这个时候作为一种轻量级的线程,那我们就可以理解成,一个线程可以拥有多个协程。协程的切换,只在用户态切换,不需要操作系统的系统调用,就好像是多个协程共用一个线程来实现并发。线程的切换需要记录上下文信息,程序的执行情况等,再进行系统调用,协程也需要记录上下文信息,程序的执行情况,但是不需要系统调用

1.2 Golang的GM模型

具体的分享推荐看最后的bilibili的视频,这个模型的优缺点,视频中都有详细的解释。单纯用它来理解一下协程。

GM模型.png

G 就是一个协程,M可以想成一个线程,一个M上可以运行多个G。mcache是GO内存模型中的概念,不展开了。

1.3 GPM

这里的话,圆圈代表一个协程,一个GM可以理解成一个线程,P可以理解成一个CPU,一个CPU上可以并发执行多个线程,一个线程上也可以调度多个协程。和之前的思路差不多,只不过调度方式变了。大概意思是,在上一张图,GM模型中,所有的协程会放到一个全局队列,但是现在,对每个P来说,都有本地的队列来调度,根据调度算法来确定到底是哪个M来执行G

偷来的图.png

=====================================
更新一波,根据这个理解的话,上面的说法其实有点错误


偷来的图2.png

都是个人的理解,有不对的地方麻烦指出交流

参考文献

一文摸清Go的并发调度
深入浅出 Golang Runtime 【 Go 夜读 】
Golang深入理解GPM模型