简介
它是Java中具体的线程池实现类， 实现了ExecutorService接口。
ForkJoinPool 的核心思想是 分治算法。它将一个大任务递归地拆分成多个足够小的子任务（Fork），然后并行执行这些子任务，最后将所有子任务的结果合并成一个总结果（Join）。
核心参数
- 并行级别(parallelism) 期望的并发级别， 默认是CPU核心数， 最重要的参数， 表示期望同时运行的任务数多少
- 核心线程数 corePoolSize
- 最大线程数 maximumPoolSize
- 工作模式asyncMode （第二重要的参数）， 就两种模式， 栈（LIFO Last in First out）模式 和 队列(FIFO First in First out )模式
并行级别指导算法行为和任务拆分， 核心线程数和最大线程数控制线程资源的利用
核心流程 ： 工作窃取（Work-Stealing）
- 每一个工作线程都会维护一个双端队列， 用来存放自己生成的任务（Fork出来的子任务）
- 线程优先从自己的队列的头部 取任务执行
- 当某个线程发现自己的队列为空， 不会进入空闲 ， 而是会随机选择另一个线程 ，从其队列尾部 "窃取" 一个任务来执行
核心流程就是上面的， 但是工作模式的不同， 细节上有一些区别。
比如
- 如果是 栈模式， 任务会从 队列的头部 进， 也会从头部被取出来
- 毕竟后进先出， 所以 如果是分治算法， 小的任务 一般在最后 就会被执行
- 如果是 队列模式， 任务则从 队列的尾部 进， 同样从头部被取出来
- 此时的模式 是先进先出， 严格保证 任务处理的顺序， 比较适合 事件处理。
需要注意的是， 不管是哪种模式 线程空闲的时候， 去窃取别的线程的任务时 都是窃取的队列尾部的任务， 因为不管哪个模式 队列尾部的 都比较老， 可能你会觉得队列模式 不是 从尾部放进去， 那不是新的吗？ 但是 队列模式处理任务的时候是先进先出， 意味着 最后放进去的最后才会被处理， 尾部的任务可能已经等挺久的了。
核心类
- ForkJoinPool本身， 管理线程和任务队列
- ForKJoinTask, 他是所有在ForkJoinPool中运行的任务的父类， 就像任务模版。
- ForKJoinTask的两个子类， RecursiveTask (有返回值 对标 Callable) 和 RecursiveAction (无返回值 对标Runnable) 只需要实现compute方法（写清楚如何拆分任务，执行小任务和合并结果）
栈模式
- 后进先出， 优先处理分治算法中最新拆分的小任务， 小任务通常计算量小， 能快速完成，减少线程栈的内存占用。 然后后面处理大任务的时候内存更多，处理的速度也就更快。 适合处理任务之间没有什么依赖的场景
队列模式
- 先进先出， 执行顺序稳定 ，适合处理任务之间有依赖的场景
应用场景
- 适合处理可以拆分成大量小任务的大任务（比如大规模计算 ，批量数据处理）， 尤其是当你利用"工作窃取"提高CPU利用率的时候。