JAVA并发编程Fork\Join分而治之--RecursiveTask（有返回值）和RecursiveAction（无返回值）

本文链接：https://blog.youkuaiyun.com/qqzhengwei/article/details/115312622

fork/join 分而治之
1.什么是Fork/join框架？
从JDK1.7开始，Java提供Fork/Join框架用于并行执行任务。它的思想就是讲一个大任务分割成若干小任务，最终汇总每个小任务的结果得到这个大任务的结果。如下图：

2.什么是分而治之思想
可以简单的理解为：将规模为N的问题，当N<阈值，直接解决；当N>阈值，将N分解为K个小规模子问题，子问题互相对立，与原问题形式相同，将子问题的解合并得到原问题的解。

3. 工作窃取（work-stealing）

假如我们需要做一个比较大的任务，我们可以把这个任务分割为若干互不依赖的子任务，为了减少线程间的竞争，于是把这些子任务分别放到不同的队列里，并为每个队列创建一个单独的线程来执行队列里的任务，线程和队列一一对应，比如A线程负责处理A队列里的任务。如果现场A的任务执行完成后，于是它就去其他线程B的队列里窃取一个任务来执行。而在这时它们会访问同一个队列，所以为了减少窃取任务线程和被窃取任务线程之间的竞争，通常会使用双端队列，被窃取任务线程永远从双端队列的头部拿任务执行，而窃取任务的线程永远从双端队列的尾部拿任务执行,也就是线程B从头部拿取，而线程A从尾部获取任务开始执行。

工作窃取算法的优点是充分利用线程进行并行计算，并减少了线程间的竞争，其缺点是在某些情况下还是存在竞争，比如双端队列里只有一个任务时。并且消耗了更多的系统资源，比如创建多个线程和多个双端队列。

4.如何实现Fork/join
java 的ForkJoinTask 抽象类中提供compute方法给我们实现这种思想。java又提供两个抽象类继承ForkJoinTask ，分别是RecursiveAction和RecursiveTask.他们的区别在于：RecursiveTask有返回值，RecursiveAction无返回值。

4.1 fork/join标准规范

在这里插入图片描述
4.2 RecursiveTask的有返回值实现：
接下来我们以这样的例子，Fork/Join的同步用法实现有返回结果值：统计整形数组中所有元素的和


//RecursiveTask有返回值
public class FaceCompareTask extends RecursiveTask<FaceFeature> {

    private static final Logger logger = LoggerFactory.getLogger(FaceCompareTask.class);

    private final Spliterator<FaceFeature> sp