请解释 Go 语言中工作窃取调度机制的具体含义及其在并发执行中的作用。
考察说明
考查对 Go 运行时调度器核心机制的理解，特别是工作窃取如何提升多核利用率。
回答思路
- 【回答框架 1】工作窃取是 Go 调度器（GMP 模型）中用于平衡各线程（M）本地任务队列负载的机制。每个 P 维护一个本地可运行队列，当某个 P 的队列为空时，它会从其他 P 的队列尾部窃取一半或部分 Goroutine 来执行，从而避免线程空闲。
- 【回答框架 2】该机制基于任务窃取算法，核心是让空闲的处理器主动从繁忙的处理器获取任务，减少全局锁竞争。Go 的调度器采用非对称队列，本地队列无锁或低锁，窃取时使用原子操作和随机选择目标，降低并发冲突。
- 【回答框架 3】工作窃取的优势在于提高多核 CPU 利用率，减少线程阻塞和上下文切换，尤其适合大量短小 Goroutine 的场景。它配合抢占式调度和网络轮询，实现高效的并发执行。
- 【回答框架 4】与工作共享（work sharing）不同，工作窃取是拉取模式，即空闲者主动取任务，而共享是推送模式。窃取策略更适应动态负载，减少任务迁移开销。
- 【回答框架 5】实际中，Go 的调度器还会处理系统调用、GC 等特殊场景，确保窃取不会破坏 Goroutine 的执行顺序或导致饥饿，通过限制窃取频率和队列长度保证公平性。
- 【关键点 1】工作窃取是 Go 调度器平衡 P 本地队列负载的机制，空闲 P 从其他 P 窃取 Goroutine。
- 【关键点 2】窃取采用尾部窃取，减少锁竞争，使用原子操作和随机目标选择。
- 【关键点 3】该机制提升多核利用率，适合大量短小任务，减少线程空闲。
- 【关键点 4】与工作共享相比，窃取是拉取模式，更适应动态负载。
- 【关键点 5】调度器通过抢占和公平策略避免窃取导致的饥饿问题。
- 【易错点 1】不能将工作窃取等同于全局任务队列，它仅针对本地队列的负载均衡。
- 【易错点 2】窃取可能增加缓存一致性开销，但 Go 通过尾部窃取和随机化缓解。
- 【易错点 3】工作窃取不保证任务执行顺序，依赖调度器的抢占机制保证公平性。