Go调度器通过工作窃取实现负载均衡，每个P维护本地双端队列，空闲时从其他P尾部偷取约一半任务，减少竞争，优先本地执行，提升并行效率。
Go 调度器的任务分配机制核心之一是工作窃取（Work Stealing），它有效提升了多核环境下 goroutine 的执行效率和资源利用率。Go 使用 M:N 调度模型，即多个 goroutine（G）被调度到少量操作系统线程（M）上，通过调度器（S）管理。每个工作线程绑定一个本地调度器（P），P 拥有本地任务队列，而工作窃取就发生在 P 之间的任务再平衡过程中。
本地队列与全局队列
每个 P（Processor）维护一个本地运行队列，用于存放待执行的 goroutine。本地队列使用双端队列（deque）结构，支持从头部出队（自己执行），也支持从尾部入队。
除了本地队列，Go 还有一个全局的运行队列（gflock 保护的全局队列），当本地队列满或 P 初始化时，goroutine 会进入全局队列。但全局队列使用频率较低，主要是为了在本地队列无法承载时提供后备。
工作窃取的触发时机
当某个 P 执行完本地队列中的所有 goroutine，进入空闲状态时，它不会立即休眠，而是尝试从其他 P 的队列中“偷”任务来执行，这个过程就是工作窃取。
立即学习“go语言免费学习笔记（深入）”；
具体行为包括：
- 空闲 P 会随机选择一个其他 P，尝试从其本地队列的尾部偷取大约一半的 goroutine
- 使用尾部偷取是为了减少和原 P 从头部取任务的冲突，提高并发效率
- 若随机尝试多次仍无法获取任务，P 会尝试从全局队列获取任务
- 若全局队列也为空，P 进入休眠状态，等待新任务唤醒
任务分配的负载均衡策略
工作窃取本质上是一种被动的负载均衡机制。它不主动推送任务，而是在某个 P 空闲时才触发，避免了频繁的任务迁移开销。
这种设计优势在于：
- 局部性好：P 优先执行本地队列任务，减少锁竞争和跨核通信
- 低开销：只有在空闲时才尝试窃取，避免主动调度的复杂性
- 动态平衡：无需中心调度器，各 P 自主协作实现负载均衡
实际场景中的表现
假设一个程序启动了 100 个 goroutine，初始时可能集中在某个 P 的本地队列。随着这些 goroutine 被快速执行，该 P 队列变空，而其他 P 可能长时间无事可做。此时，空闲 P 开始尝试从负载较重的 P 队列尾部偷取任务，使得计算负载在多个 CPU 核心间自然扩散。
例如：
- P0 队列有 10 个 goroutine，P1 队列为空
- P1 执行完任务后发现本地队列为空
- P1 随机选中 P0，从其队列尾部偷走约 5 个 goroutine
- 两个 P 继续并行执行，系统整体吞吐量提升
基本上就这些。Go 的工作窃取机制通过本地队列优先、尾部偷取、随机选择目标等策略，在保证高性能的同时实现了轻量级的负载均衡。不复杂但容易忽略的是，它依赖 P 的数量（GOMAXPROCS）来决定并行度，合理设置该值对性能至关重要。
