RecursiveAction
public abstract class RecursiveAction
extends ForkJoinTask<Void>
java.lang.Object | ||
↳ | java.util.concurrent.ForkJoinTask<java.lang.Void> | |
↳ | java.util.concurrent.RecursiveAction |
A recursive resultless ForkJoinTask
. This class establishes conventions to parameterize resultless actions as Void
ForkJoinTask
s. Because null
is the only valid value of type Void
, methods such as join
always return null
upon completion.
Sample Usages. Here is a simple but complete ForkJoin sort that sorts a given long[]
array:
static class SortTask extends RecursiveAction { final long[] array; final int lo, hi; SortTask(long[] array, int lo, int hi) { this.array = array; this.lo = lo; this.hi = hi; } SortTask(long[] array) { this(array, 0, array.length); } protected void compute() { if (hi - lo < THRESHOLD) sortSequentially(lo, hi); else { int mid = (lo + hi) >>> 1; invokeAll(new SortTask(array, lo, mid), new SortTask(array, mid, hi)); merge(lo, mid, hi); } } // implementation details follow: static final int THRESHOLD = 1000; void sortSequentially(int lo, int hi) { Arrays.sort(array, lo, hi); } void merge(int lo, int mid, int hi) { long[] buf = Arrays.copyOfRange(array, lo, mid); for (int i = 0, j = lo, k = mid; i < buf.length; j++) array[j] = (k == hi || buf[i] < array[k]) ? buf[i++] : array[k++]; } }
anArray
by creating new SortTask(anArray)
and invoking it in a ForkJoinPool. As a more concrete simple example, the following task increments each element of an array: class IncrementTask extends RecursiveAction { final long[] array; final int lo, hi; IncrementTask(long[] array, int lo, int hi) { this.array = array; this.lo = lo; this.hi = hi; } protected void compute() { if (hi - lo < THRESHOLD) { for (int i = lo; i < hi; ++i) array[i]++; } else { int mid = (lo + hi) >>> 1; invokeAll(new IncrementTask(array, lo, mid), new IncrementTask(array, mid, hi)); } } }
The following example illustrates some refinements and idioms that may lead to better performance: RecursiveActions need not be fully recursive, so long as they maintain the basic divide-and-conquer approach. Here is a class that sums the squares of each element of a double array, by subdividing out only the right-hand-sides of repeated divisions by two, and keeping track of them with a chain of next
references. It uses a dynamic threshold based on method getSurplusQueuedTaskCount
, but counterbalances potential excess partitioning by directly performing leaf actions on unstolen tasks rather than further subdividing.
double sumOfSquares(ForkJoinPool pool, double[] array) { int n = array.length; Applyer a = new Applyer(array, 0, n, null); pool.invoke(a); return a.result; } class Applyer extends RecursiveAction { final double[] array; final int lo, hi; double result; Applyer next; // keeps track of right-hand-side tasks Applyer(double[] array, int lo, int hi, Applyer next) { this.array = array; this.lo = lo; this.hi = hi; this.next = next; } double atLeaf(int l, int h) { double sum = 0; for (int i = l; i < h; ++i) // perform leftmost base step sum += array[i] * array[i]; return sum; } protected void compute() { int l = lo; int h = hi; Applyer right = null; while (h - l > 1 && getSurplusQueuedTaskCount() <= 3) { int mid = (l + h) >>> 1; right = new Applyer(array, mid, h, right); right.fork(); h = mid; } double sum = atLeaf(l, h); while (right != null) { if (right.tryUnfork()) // directly calculate if not stolen sum += right.atLeaf(right.lo, right.hi); else { right.join(); sum += right.result; } right = right.next; } result = sum; } }
Summary
Public constructors | |
---|---|
RecursiveAction() Constructor for subclasses to call. |
Public methods | |
---|---|
final Void | getRawResult() Always returns |
Protected methods | |
---|---|
abstract void | compute() The main computation performed by this task. |
final boolean | exec() Implements execution conventions for RecursiveActions. |
final void | setRawResult(Void mustBeNull) Requires null completion value. |
Inherited methods | |
---|---|
Public constructors
Public methods
getRawResult
public final Void getRawResult ()
Always returns null
.
Returns | |
---|---|
Void | null always |
Protected methods
compute
protected abstract void compute ()
The main computation performed by this task.
exec
protected final boolean exec ()
Implements execution conventions for RecursiveActions.
Returns | |
---|---|
boolean | true if this task is known to have completed normally |
setRawResult
protected final void setRawResult (Void mustBeNull)
Requires null completion value.
Parameters | |
---|---|
mustBeNull | Void : the value |