Fork/Join 框架简介
- Fork/Join 它可以将一个大的任务拆分成多个子任务进行并行处理,最后将子 任务结果合并成最后的计算结果,并进行输出。Fork/Join 框架要完成两件事 情
- Fork:把一个复杂任务进行分拆,大事化小
- Join:把分拆任务的结果进行合并

- 任务分割:首先 Fork/Join 框架需要把大的任务分割成足够小的子任务,如果 子任务比较大的话还要对子任务进行继续分割
- 执行任务并合并结果:分割的子任务分别放到双端队列里,然后几个启动线程 分别从双端队列里获取任务执行。子任务执行完的结果都放在另外一个队列里, 启动一个线程从队列里取数据,然后合并这些数据
在 Java 的 Fork/Join 框架中,使用两个类完成上述操作


Fork 方法的实现原理: 当我们调用 ForkJoinTask 的 fork 方法时,程序会把 任务放在 ForkJoinWorkerThread 的 pushTask 的 workQueue 中,异步地 执行这个任务,然后立即返回结果
public final ForkJoinTask<V> fork() {Thread t;if ((t = Thread.currentThread()) instanceof ForkJoinWorkerThread)((ForkJoinWorkerThread)t).workQueue.push(this);elseForkJoinPool.common.externalPush(this);return this;}
- pushTask 方法把当前任务存放在 ForkJoinTask 数组队列里。然后再调用
ForkJoinPool 的 signalWork()方法唤醒或创建一个工作线程来执行任务。代
码如下:
final void push(ForkJoinTask<?> task) {ForkJoinTask<?>[] a;int s = top, d, cap, m;ForkJoinPool p = pool;if ((a = array) != null && (cap = a.length) > 0) {QA.setRelease(a, (m = cap - 1) & s, task);top = s + 1;if (((d = s - (int)BASE.getAcquire(this)) & ~1) == 0 &&p != null) { // size 0 or 1VarHandle.fullFence();p.signalWork();}else if (d == m)growArray(false);}}
join 方法
public final V join() {int s;if (((s = doJoin()) & ABNORMAL) != 0)reportException(s);return getRawResult();}
private int doJoin() {int s; Thread t; ForkJoinWorkerThread wt; ForkJoinPool.WorkQueue w;return (s = status) < 0 ? s :((t = Thread.currentThread()) instanceof ForkJoinWorkerThread) ?(w = (wt = (ForkJoinWorkerThread)t).workQueue).tryUnpush(this) && (s = doExec()) < 0 ? s :wt.pool.awaitJoin(w, this, 0L) :externalAwaitDone();}
private int doJoin() {int s; Thread t; ForkJoinWorkerThread wt; ForkJoinPool.WorkQueue w;return (s = status) < 0 ? s :((t = Thread.currentThread()) instanceof ForkJoinWorkerThread) ?(w = (wt = (ForkJoinWorkerThread)t).workQueue).tryUnpush(this) && (s = doExec()) < 0 ? s :wt.pool.awaitJoin(w, this, 0L) :externalAwaitDone();}
- 在 doJoin()方法流程如下:
- 首先通过查看任务的状态,看任务是否已经执行完成,如果执行完成,则直接 返回任务状态;
- 如果没有执行完,则从任务数组里取出任务并执行。
- 如果任务顺利执行完成,则设置任务状态为 NORMAL,如果出现异常,则记 录异常,并将任务状态设置为 EXCEPTIONAL
Fork/Join 框架的异常处理
- ForkJoinTask 在执行的时候可能会抛出异常,但是我们没办法在主线程里直接 捕获异常,所以 ForkJoinTask 提供了 isCompletedAbnormally()方法来检查 任务是否已经抛出异常或已经被取消了,并且可以通过 ForkJoinTask 的 getException 方法获取异常
- getException 方法返回 Throwable 对象,如果任务被取消了则返回 CancellationException。如果任务没有完成或者没有抛出异常则返回 null
计算1至100万的整数之和
class MyTask extends RecursiveTask<Integer> {private static final Integer VALUE = 10;private int begin;private int end;private int result;public MyTask(int begin, int end) {this.begin = begin;this.end = end;}@Overrideprotected Integer compute() {if ((end - begin) <= begin) {for (int i = begin; i <= end; i++) {result += i;}} else {int middle = (begin + end) / 2;MyTask myTask01 = new MyTask(begin, middle);MyTask myTask02 = new MyTask(middle + 1, end);myTask01.fork();myTask02.fork();result = myTask01.join() + myTask02.join();}return result;}}public class ForkJoinDemo1 {public static void main(String[] args) throws ExecutionException, InterruptedException {MyTask myTask = new MyTask(0, 1000000);ForkJoinPool forkJoinPool = new ForkJoinPool();ForkJoinTask<Integer> submit = forkJoinPool.submit(myTask);Integer integer = submit.get();System.err.println(integer);forkJoinPool.shutdown();}}
