M0
1、启动程序后的编号为0的主线程(当前启动一个进程时,进程中会包含一个线程,进程中的第一个线程的编号设置为M0)
如果进程中不开任何线程,可以理解为一个进程就是一个线程。
2、在全局变量runtime.M0中,不需要在heap(堆)上分配。(M0在整个进程中是唯一的,无需在堆上分配)
3、负责执行初始化操作和启动第一个G(M0是负责启动第一个G的,go语言是跑在协程上)
4、启动第一个G之后,M0就和其他的M一样了(负责给其他M进行抢占)
G0
1、每次启动一个M,都会第一个创建的goroutine,就是G0(G0不是整个进程唯一的,而是一个线程中唯一的)
2、G0仅用于负责调度其他的G(M可能会有很多的G,然后G0用来保持调度栈的信息)
当一个M从G1切换到G2,首先应该切换到G0,通过G0把G1干掉,把G2加进来,可以理解G0是一个转换的桥梁
3、G0不指向任何可执行的函数
4、每一个M都会有一个自己的G0
5、在调度或系统调用是会使用M会切换到G0。来进行调度其他的G。
6、M0的G0会放在全局空间
创建一个M就会有一个G0,创建其他的M也会有其他的G0。
首先创建一个M0,M0是全局唯一的。创建一个M就会绑定一个G0,然后初始化goMaxProcs、P的本地队列和全局队列。
M0首先会创建一个第一个G,Main的goroutine,创建完后M0会和G0解绑,执行Main,M0需要找到一个空闲的P去捆绑。
然后将Main放入捆绑的P的本地队列中,然后Main就跟正常的G是一样的了。如果要执行Main就把Main从P的本地队列中
拿过去执行、
可能执行一半时间片(10ms)超时了,Main就依然回到P的本地队列中,再去执行,只到Main函数执行完。或者panic或exit
执行完,Main函数才会被消失。