Go中用切片+sync.Pool实现无锁双端队列worker stealing：本地尾部入/出（LIFO），偷任务时头部截断（FIFO），避免竞争；需手动清空切片、控制cap、防止STW期间栈增长。
Go 里怎么用双端队列实现 worker stealing
Go 标准库没有内置双端队列（deque），worker stealing 队列得自己搭。核心思路是：每个 worker 维护一个 sync.Pool 管理的本地双端队列（通常用切片模拟），任务入队优先 append 到尾部，偷任务时从头部 copy 出一部分——这样能避免和本地 worker 的尾部操作竞争。
常见错误是直接用 container/list：它不是并发安全的，且指针跳转开销大，偷任务时遍历链表效率低；更糟的是，有人把整个队列锁住再偷，彻底废掉 stealing 的意义。
- 本地任务推入用
append(queue, task)，O(1) 均摊 - 偷任务时用
queue = queue[stealSize:]截断头部，比 pop 更快也更安全 - 用
sync.Pool复用切片底层数组，避免频繁分配——Get()返回的切片长度为 0，但 cap 可能很大 - 偷任务前先
len(queue) > 2*stealSize再动手，防止偷空后本地立刻饥饿
为什么偷任务必须从队列头部取，而不是随机或尾部
因为本地 worker 总是从尾部消费（LIFO 局部性更好，缓存友好），如果偷也从尾部拿，就会和本地执行发生写冲突（两个 goroutine 同时改切片末尾）。从头部偷（FIFO）天然错开访问位置，配合 queue = queue[n:] 截断，既无锁又无竞争。
实际中有人试过用原子操作维护两个索引（head/tail），结果发现：在高并发下，原子读写反而比切片截断慢 2–3 倍，且容易因 ABA 问题导致任务丢失。
立即学习“go语言免费学习笔记（深入）”；
- 本地执行：始终
task := queue[len(queue)-1]; queue = queue[:len(queue)-1] - steal 执行：只读取
queue[0:stealSize]，然后queue = queue[stealSize:] - 切片截断不触发内存拷贝，只是修改 header 中的 len/cap 字段
- 切忌用
queue = append(queue[:0], queue[stealSize:]...)—— 这会强制 copy，完全抵消 stealing 优势
sync.Pool 复用 deque 切片时的三个坑
sync.Pool 是好东西，但复用切片时容易踩进“残留数据”“cap 泄露”“误判空队列”三个坑。最典型的现象是：worker 偷到的任务里混着上一轮的老任务，或者某次偷完发现队列长度突然变负（其实是 cap 被误当 len 用了）。
根本原因是 Go 切片 header 包含 ptr/len/cap，而 sync.Pool.Put 不清空内容，也不重置 len。下次 Get 拿回来的切片，len 是 0，但 cap 可能还是上次的 1024。
- Put 前必须手动清空：用
queue = queue[:0]，不能只赋nil - Get 后别直接
len(queue)判空——要检查是否刚从 Pool 拿来，初始 len 就是 0；应统一用len(queue) == 0判逻辑空 - 避免用
make([]Task, 0, 1024)初始化后直接 Put：这会让 Pool 里塞满高 cap 小 len 的切片，后续 Get 到的都是“虚胖”队列，浪费内存 - 推荐初始化方式：
pool.Put(make([]Task, 0))，让 Pool 自动管理 cap 增长
worker stealing 在 GC 停顿期的实际表现
很多人以为 stealing 能绕过 GC 影响，其实不能。当 STW 发生时，所有 goroutine 暂停，正在 steal 的 goroutine 卡在 len(queue) 或 copy 上，等 GC 结束才继续。更麻烦的是：如果偷任务过程中触发了栈增长（比如切片扩容），而此时 GC 正在扫描栈，可能造成死锁或 crash。
这不是理论风险。实测中，当单个任务平均耗时超过 5ms、队列 cap > 8k 时，STW 期间发生栈增长的概率显著上升。解决方案不是禁用 stealing，而是控制队列尺寸和任务粒度。
- 限制单个本地队列最大 cap 为 1024，超了就强制 flush 到全局队列
- 任务函数入口加
//go:noinline，避免编译器内联后扩大栈帧 - steal 动作本身不分配内存——所有 copy 都复用已有切片底层数组
- 不要在 steal 路径里调用
runtime.GC()或任何可能触发辅助 GC 的操作
真正难的不是实现 deque，而是让 stealing 在 GC、调度器抢占、栈分裂这些底层机制之间不掉链子。每处看似微小的切片操作，背后都连着运行时的神经末梢。
