G:goroutine
P:逻辑处理器
M:真正执行计算的资源
每个goroutine都有一个状态，Scheduler根据状态知道要运行哪个goroutine
-
可运行（Running）
-
正在运行(Runnable)
-
已经阻塞(Blocked)
M:N 有一个全局运行队列(Global Run Queue) , 某些操作会将新的Goroutines放入运行队列。
但是那些阻塞的Goroutines会在哪里呢？
可能阻塞的情况:
-
Channel上 send or receive
-
I/O
-
阻塞的系统调用
-
定时器
-
互斥锁
基本原理:阻塞的goroutines不应该阻塞内核底层线程
多个运行队列：
-
本地全局运行队列
-
全局运行队列
-
网络轮询器
队列轮询顺序：
-
本地
-
全局
-
网络
-
工作偷窃
Scheduler功能:
-
并行处理（使用多线程）
-
处理阻塞系统调用和网络I/O
-
处理用户级别(like Channel)阻塞调用
-
可伸缩扩展
Channel阻塞或者I/O阻塞情况下的调度：
G被放到wait队列里面,然后M尝试运行下一个runnable的G,没有的话M解绑P进入Sleep State,阻塞完成唤醒G 标记为runnable放到P的队列中等待执行.
System Call阻塞情况下的调度:
这种情况下执行G的M也要解绑P,与G一起进入Sleep状态,如果此时有空间的M,则P与其绑定继续执行G,如果没有则创建新的M.
阻塞的G完成syscall后,G会去尝试获取一个可用的P,如果没有将G标记为Runnable,之前Sleep的M再次Sleep.