java - 在 Java 的 ForkJoinTask 中，fork/join 的顺序重要吗？

Question

假设我们扩展了一个名为 MyRecursiveTask 的 RecursiveTask。

然后在 forkJoinTask 的范围内创建两个子任务:

MyRecursiveTask t1 = new MyRecursiveTask()
MyRecursiveTask t2 = new MyRecursiveTask()
t1.fork()
t2.fork()

我认为“t2”将位于 Workqueue 的顶部(这是一个双端队列，它用作 worker 本身的堆栈)，因为我看到 fork 方法的实现是这样的:

public final ForkJoinTask<V> fork() {
    Thread t;
    if ((t = Thread.currentThread()) instanceof ForkJoinWorkerThread)
        ((ForkJoinWorkerThread)t).workQueue.push(this);
    else
        ForkJoinPool.common.externalPush(this);
    return this;
}

如果是这样，下面两个表达式的性能是否有差异:

表达式 1:

t1.join() + t2.join()

表达式 2:

t2.join() + t1.join()

我认为这可能很重要。在t2.join() 完成之前，t1.join() 将一直处于阻塞状态(如果没有工作窃取)，因为只有位于 workQueue 顶部的任务可以被弹出。 (换句话说，t2 必须在 t1 弹出之前弹出)。下面是 doJoin 和 tryUnpush 的代码。

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();
}

/**
 * Pops the given task only if it is at the current top.
 * (A shared version is available only via FJP.tryExternalUnpush)
*/
final boolean tryUnpush(ForkJoinTask<?> t) {
    ForkJoinTask<?>[] a; int s;
    if ((a = array) != null && (s = top) != base &&
        U.compareAndSwapObject
        (a, (((a.length - 1) & --s) << ASHIFT) + ABASE, t, null)) {
        U.putOrderedInt(this, QTOP, s);
        return true;
    }
    return false;
}

有人对此有想法吗？谢谢!

Answer 1

使用 Java7 还是 Java8 很重要。在 Java7 中，框架为 join() 创建延续线程。在 Java8 中，框架主要因 join() 而停止。 See here. 自 2010 年以来，我一直在撰写有关此框架的评论。

使用 RecursiveTask 的建议(来自 JavaDoc):

return f2.compute() + f1.join();

这样拆分线程会继续自己的操作。

不建议依赖 F/J 代码来指示方向，因为此代码经常更改。例如，在 Java8 中使用嵌套并行流导致过多的补偿线程，因此在 Java8u40 中重新编写代码只会导致更多问题。 See here .

如果您必须执行多个连接，那么您连接 () 的顺序实际上无关紧要。每个 fork() 使任务可用于任何线程。