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