在 Go 语言中，抢占式调度指的是什么？请阐述其实现机制，并说明它在运行时中的必要性。

回答思路

1. 【回答框架 1】抢占式调度是指操作系统或运行时可以强制中断当前正在执行的 goroutine，将 CPU 时间分配给其他等待运行的 goroutine。在 Go 中，调度器采用基于信号的异步抢占机制，而不是完全依赖协作式调度中的主动让出。
2. 【回答框架 2】运行时通过监控 goroutine 的执行时间，当某个 goroutine 运行超过一定阈值（例如 10ms）时，会发送信号触发抢占。该信号由运行时处理，中断当前 goroutine 的执行，并保存其上下文，然后调度另一个 goroutine。这与早期 Go 版本中完全依赖 goroutine 在特定点主动让出（如函数调用）的协作式调度不同。
3. 【回答框架 3】抢占式调度的必要性在于防止某些长时间运行的 goroutine（如循环密集计算）垄断 P，导致其他 goroutine 饥饿。通过抢占，运行时能够保证公平性，使得所有 goroutine 都有机会获得执行时间，这对于需要响应性的应用（如网络服务）尤其重要。
4. 【回答框架 4】实现上，Go 在关键位置（如函数序言）插入了抢占检查点，同时利用操作系统的信号（SIGURG）来打断正在执行的 goroutine。调度器会处理该信号，将 goroutine 重新放入可运行队列，并切换到其他 goroutine。这一机制平衡了延迟和开销，使得调度更加高效。
5. 【回答框架 5】需要注意的是，抢占点可能不会出现在所有指令序列中，例如极端优化的汇编代码可能无法被抢占，但运行时通过协调避免这种极端情况，确保整体调度公平性。
6. 【关键点 1】抢占式调度基于信号机制，强制中断长时间运行的 goroutine，确保调度公平性。
7. 【关键点 2】协作式调度依赖 goroutine 主动让出，可能导致饥饿问题，抢占式调度解决了这一问题。
8. 【关键点 3】运行时通过监控执行时间和抢占检查点实现抢占，其开销较低且对应用透明。
9. 【易错点 1】不能认为抢占式调度能够完全解决所有 goroutine 的饥饿问题，极端情况下仍可能存在调度延迟。
10. 【易错点 2】抢占式调度并非实时抢占，它依赖运行时监控和信号，存在一定的延迟窗口。