在Go语言运行时中，goroutine的调度循环（schedule loop）具体是如何工作的？请描述其核心机制与主要步骤。

回答思路

1. 【回答框架 1】Go的调度循环是运行时调度器的核心，负责从本地或全局运行队列获取可运行的goroutine（G），并让它在某个线程（M）上执行。调度循环通常由mstart启动，并在每次调度点（如go语句、系统调用、阻塞操作）后进入。
2. 【回答框架 2】调度循环的主要步骤包括：先尝试从当前P的本地运行队列获取G，若为空则从全局队列或其他P窃取（work stealing），找到G后调用execute将其与M绑定并运行。运行结束后，若G退出或阻塞，会再次进入调度循环。
3. 【回答框架 3】调度循环还处理特殊G，如syscall Goroutine（处理系统调用返回）和finalizer Goroutine，并定期检查GC需要（如辅助GC标记）或中断的信号。GMP模型确保每个P同一时间只运行一个G，而M可多于P以处理阻塞或系统调用。
4. 【回答框架 4】调度循环的触发不仅限于G结束，还包括抢占（preemption）机制，当G运行过久或发生GC时，会通过信号或协作式检查触发重新调度。这一设计保证了公平性和系统响应性。
5. 【回答框架 5】整个循环是一个无限for循环，直到程序退出，其中包含对全局队列、本地队列、窃取以及时钟和网络轮询等逻辑，确保高并发下的负载均衡。
6. 【关键点 1】调度循环由mstart启动，是每个M的主循环。
7. 【关键点 2】核心步骤是获取G、执行G、G结束后重新获取。
8. 【关键点 3】通过work stealing实现负载均衡，从其他P窃取可运行G。
9. 【关键点 4】抢占和系统调用会触发重新调度，保证公平性和响应性。
10. 【易错点 1】不能认为调度循环只由G结束触发，抢占、系统调用和GC也会触发。
11. 【易错点 2】不要将M数量等同于G数量，M与P和G是解耦的，调度循环在M上运行但只为当前P取G。
12. 【易错点 3】忽略全局队列和窃取机制会导致对调度公平性和负载均衡的理解偏差。