Fork/Join双端队列头尾分离设计实现协同优化：本地线程从头部LIFO取任务以提升局部性与递归效率，窃取线程从尾部FIFO取任务以保障全局公平与低延迟。
这是因为 fork/join 的双端队列（workqueue）被设计为“一头执行、一头被偷”，用不同访问策略分别优化本地执行效率和全局负载均衡，不是矛盾，而是协同。
本地线程从头部取任务（LIFO）：为递归局部性提速
每个工作线程维护自己的双端队列，调用 fork() 时把子任务压入队列尾部（top 指针上移），但执行时却从头部（base 端）弹出——这等效于 LIFO（后进先出）行为：
- 最新 fork 出的子任务离当前调用栈最近，计算量通常更小、数据局部性更强，CPU 缓存命中率高，执行快
- 快速处理新子任务能尽早释放栈帧，降低递归深度压力，避免栈溢出风险
- 天然匹配分治递归的“深度优先展开”：比如归并排序中，先一路拆到叶子再回溯合并，LIFO 让这个路径更顺滑
窃取线程从尾部拿任务（FIFO）：为整体延迟兜底
当某线程本地队列为空，它会随机选一个其他线程的队列，从其尾部（base 端）尝试窃取——注意：这里“尾部”是相对该队列的入队顺序而言，实际取的是最早入队、等待最久的任务：
- 避免老任务长期积压在某个线程队列里，导致整体响应延迟升高（即防止“饥饿”）
- 被偷走的往往是较早生成、尚未进一步拆分的大粒度中间任务，不会打断原线程正在执行的深度优先路径
- 头尾操作由不同角色主导（自己只动头，别人只动尾），几乎无 CAS 竞争，也规避了伪共享问题
关键细节：指针命名易混淆，但逻辑很清晰
源码中：
-
top是栈顶（任务入队/本地执行的“尾”端），值越大表示越新 -
base是队列底（任务出队/被窃取的“头”端），值越小表示越老 - 本地执行调用
pop()（基于top-1），本质是 LIFO - 窃取调用
poll()（基于base），本质是 FIFO
一句话总结
本地 LIFO 是为了“快而轻”的局部执行，窃取 FIFO 是为了“稳而公”的全局调度；两者共存，让 Fork/Join 在递归密集型场景下既快又稳。
