工作窃取是让空闲线程从其他线程队列尾部窃取任务的智能调度机制，核心是提升CPU利用率；采用双端队列实现本地LIFO执行与外部FIFO窃取，降低竞争并优化缓存；适用于可递归拆分的计算密集型任务，不适用于含阻塞I/O或强顺序依赖的任务。
工作窃取（Work-Stealing）不是“偷懒”，而是让空闲线程主动帮忙干活的智能调度机制。它的核心目标就一个：不让任何CPU核心闲着，尤其在任务粒度细、执行时间不均的并行场景下，显著提升整体吞吐和资源利用率。
每个线程配一个双端队列（Deque）
在ForkJoinPool中，每个工作线程（ForkJoinWorkerThread）都拥有自己的任务队列，且这个队列是双端的——支持从头（top）和尾（base）两个方向操作：
- 线程自己取任务时，总是从头部（top）弹出，实现LIFO顺序，有利于局部性、快速释放递归栈
- 其他线程来“窃取”时，只能从尾部（base）拿走一个任务，即FIFO式窃取，避免和原线程直接竞争同一端
- 任务刚被fork出来时，会追加到自己队列的尾部，保证新任务不干扰当前正在处理的栈顶任务
空闲线程怎么找活干？
当一个线程把自己队列的任务全执行完（队列为空），它不会阻塞或休眠，而是启动窃取流程：
- 随机挑选另一个工作线程（不是固定轮询，减少热点竞争）
- 尝试从对方队列的尾部（base）取一个任务；若失败（比如对方也刚清空或被抢占），再换一个线程重试
- 如果所有其他队列都空，还会检查全局提交队列（external queue）或等待任务涌入
- 整个过程无锁或轻量同步，靠原子操作+指针偏移（如base/top CAS）保障安全
为什么用双端队列而不是普通队列？
这是工作窃取高效的关键设计，直接解决两个痛点：
立即学习“Java免费学习笔记（深入）”；
- 降低竞争：生产（本线程入队尾）和消费（本线程出队头）完全错开；窃取（别线程出队尾）与本线程操作也不冲突
- 提升缓存友好性：LIFO本地执行让最近分解的子任务优先完成，数据更可能还在CPU缓存里；而FIFO式窃取拿走的是“最老”的待执行任务，天然更均衡
- 避免虚假共享：top和base指针通常被缓存行对齐隔离，防止多核频繁刷新同一缓存行
它适合什么任务？不适合什么？
工作窃取不是万能调度器，有明确适用边界：
- 适合：可递归拆分、子任务独立、计算密集型任务（如数组求和、归并排序、树遍历、图像滤波）
- 不适合：含阻塞I/O、依赖外部锁、需严格执行顺序、或单个子任务耗时极长（导致窃取失效）的任务
- 注意：ForkJoinTask必须只用fork/join协作，不能混用synchronized、wait/notify等传统同步，否则窃取线程会被卡住
基本上就这些。它不复杂但容易忽略细节——比如误以为“窃取”是主动抢，其实它是被动发现空闲后才触发的协作行为。
