Windows系统下Go语言如何实现goroutine的抢占？

Go在Windows平台上实现goroutine抢占，完全没有依赖POSIX风格的线程信号，而是基于Windows原生线程机制做了适配，核心流程如下：

• sysmon的监控与标记：sysmon goroutine会持续监控绑定在操作系统线程（M）上的goroutine运行时长，当发现某个goroutine耗尽时间片后，会给对应的M打上「需要抢占」的标记。
• 线程暂停与上下文修改：sysmon调用Windows原生API SuspendThread暂停目标M对应的操作系统线程；线程暂停后，运行时会修改该线程的执行上下文（比如修改栈帧的返回地址），让线程恢复后直接进入抢占处理逻辑。
• 恢复线程并完成抢占：调用ResumeThread恢复线程执行，线程恢复后会执行注入的抢占逻辑，主动让出CPU，调度器此时就能将该M切换到其他待运行的goroutine。

除了这种强制中断的方式，Go运行时还会在代码的安全检查点（比如函数调用前的栈检查、循环迭代中的morestack检测）主动检查抢占标记，长时间运行的goroutine会在这些检查点主动触发抢占，避免出现无法被中断的情况。

这种实现完全基于Windows原生API，没有依赖pthreads4w这类第三方POSIX线程库，是Go针对Windows平台特性专门设计的抢占方案。

内容的提问来源于stack exchange，提问作者Samuel Okechukwu