请详细说明Go语言运行时是如何实现goroutine之间调度的？包括调度模型、调度流程以及关键机制。

回答思路

1. 【回答框架 1】Go语言的协程（goroutine）由运行时调度器管理，采用GMP模型：G代表goroutine，M代表操作系统线程，P代表逻辑处理器。每个P维护一个本地可运行G队列，全局还有一个G队列。
2. 【回答框架 2】调度器通过P来绑定M，M执行P队列中的G。当G执行阻塞操作如系统调用时，M会解绑P，P可以绑定新的M继续执行其他G，从而实现高并发。
3. 【回答框架 3】调度循环由M执行，每次从P的本地队列取出一个G运行，运行到时间片或G主动让出（如channel操作、系统调用）时，会保存上下文并调度下一个G。
4. 【回答框架 4】调度器有周期性调度，通过sysmon监控，抢占长时间运行的G，避免某个G独占CPU。还包括work stealing机制，当P本地队列为空时，从其他P或全局队列偷取G。
5. 【关键点 1】GMP模型中的P数量由GOMAXPROCS决定，默认等于CPU核心数。
6. 【关键点 2】goroutine的调度是非抢占式协作调度，但通过sysmon和信号实现抢占式调度。
7. 【关键点 3】M的数量可能大于P，因为阻塞的M会与P解绑。
8. 【易错点 1】不能将goroutine直接映射为操作系统线程，它们是用户态协程。
9. 【易错点 2】忽略调度器的抢占机制，误以为goroutine完全没有抢占能力。