ViewVC Help
View File | Revision Log | Show Annotations | Download File | Root Listing
root/jsr166/jsr166/src/jsr166y/ForkJoinPool.java
(Generate patch)

Comparing jsr166/src/jsr166y/ForkJoinPool.java (file contents):
Revision 1.18 by jsr166, Thu Jul 23 23:23:41 2009 UTC vs.
Revision 1.57 by dl, Wed Jul 7 19:52:31 2010 UTC

# Line 5 | Line 5
5   */
6  
7   package jsr166y;
8 < import java.util.*;
8 >
9   import java.util.concurrent.*;
10 < import java.util.concurrent.locks.*;
11 < import java.util.concurrent.atomic.*;
12 < import sun.misc.Unsafe;
13 < import java.lang.reflect.*;
10 >
11 > import java.util.ArrayList;
12 > import java.util.Arrays;
13 > import java.util.Collection;
14 > import java.util.Collections;
15 > import java.util.List;
16 > import java.util.concurrent.locks.LockSupport;
17 > import java.util.concurrent.locks.ReentrantLock;
18 > import java.util.concurrent.atomic.AtomicInteger;
19 > import java.util.concurrent.CountDownLatch;
20  
21   /**
22 < * An {@link ExecutorService} for running {@link ForkJoinTask}s.  A
23 < * ForkJoinPool provides the entry point for submissions from
24 < * non-ForkJoinTasks, as well as management and monitoring operations.
25 < * Normally a single ForkJoinPool is used for a large number of
20 < * submitted tasks. Otherwise, use would not usually outweigh the
21 < * construction and bookkeeping overhead of creating a large set of
22 < * threads.
22 > * An {@link ExecutorService} for running {@link ForkJoinTask}s.
23 > * A {@code ForkJoinPool} provides the entry point for submissions
24 > * from non-{@code ForkJoinTask} clients, as well as management and
25 > * monitoring operations.
26   *
27 < * <p>ForkJoinPools differ from other kinds of Executors mainly in
28 < * that they provide <em>work-stealing</em>: all threads in the pool
29 < * attempt to find and execute subtasks created by other active tasks
30 < * (eventually blocking if none exist). This makes them efficient when
31 < * most tasks spawn other subtasks (as do most ForkJoinTasks), as well
32 < * as the mixed execution of some plain Runnable- or Callable- based
33 < * activities along with ForkJoinTasks. When setting
34 < * {@code setAsyncMode}, a ForkJoinPools may also be appropriate for
35 < * use with fine-grained tasks that are never joined. Otherwise, other
33 < * ExecutorService implementations are typically more appropriate
34 < * choices.
27 > * <p>A {@code ForkJoinPool} differs from other kinds of {@link
28 > * ExecutorService} mainly by virtue of employing
29 > * <em>work-stealing</em>: all threads in the pool attempt to find and
30 > * execute subtasks created by other active tasks (eventually blocking
31 > * waiting for work if none exist). This enables efficient processing
32 > * when most tasks spawn other subtasks (as do most {@code
33 > * ForkJoinTask}s). When setting <em>asyncMode</em> to true in
34 > * constructors, {@code ForkJoinPool}s may also be appropriate for use
35 > * with event-style tasks that are never joined.
36   *
37 < * <p>A ForkJoinPool may be constructed with a given parallelism level
38 < * (target pool size), which it attempts to maintain by dynamically
39 < * adding, suspending, or resuming threads, even if some tasks are
40 < * waiting to join others. However, no such adjustments are performed
41 < * in the face of blocked IO or other unmanaged synchronization. The
42 < * nested {@code ManagedBlocker} interface enables extension of
43 < * the kinds of synchronization accommodated.  The target parallelism
44 < * level may also be changed dynamically ({@code setParallelism})
45 < * and thread construction can be limited using methods
45 < * {@code setMaximumPoolSize} and/or
46 < * {@code setMaintainsParallelism}.
37 > * <p>A {@code ForkJoinPool} is constructed with a given target
38 > * parallelism level; by default, equal to the number of available
39 > * processors. The pool attempts to maintain enough active (or
40 > * available) threads by dynamically adding, suspending, or resuming
41 > * internal worker threads, even if some tasks are stalled waiting to
42 > * join others. However, no such adjustments are guaranteed in the
43 > * face of blocked IO or other unmanaged synchronization. The nested
44 > * {@link ManagedBlocker} interface enables extension of the kinds of
45 > * synchronization accommodated.
46   *
47   * <p>In addition to execution and lifecycle control methods, this
48   * class provides status check methods (for example
49 < * {@code getStealCount}) that are intended to aid in developing,
49 > * {@link #getStealCount}) that are intended to aid in developing,
50   * tuning, and monitoring fork/join applications. Also, method
51 < * {@code toString} returns indications of pool state in a
51 > * {@link #toString} returns indications of pool state in a
52   * convenient form for informal monitoring.
53   *
54 + * <p> As is the case with other ExecutorServices, there are three
55 + * main task execution methods summarized in the follwoing
56 + * table. These are designed to be used by clients not already engaged
57 + * in fork/join computations in the current pool.  The main forms of
58 + * these methods accept instances of {@code ForkJoinTask}, but
59 + * overloaded forms also allow mixed execution of plain {@code
60 + * Runnable}- or {@code Callable}- based activities as well.  However,
61 + * tasks that are already executing in a pool should normally
62 + * <em>NOT</em> use these pool execution methods, but instead use the
63 + * within-computation forms listed in the table. To avoid inadvertant
64 + * cyclic task dependencies and to improve performance, task
65 + * submissions to the current pool by an ongoing fork/join
66 + * computations may be implicitly translated to the corresponding
67 + * ForkJoinTask forms.
68 + *
69 + * <table BORDER CELLPADDING=3 CELLSPACING=1>
70 + *  <tr>
71 + *    <td></td>
72 + *    <td ALIGN=CENTER> <b>Call from non-fork/join clients</b></td>
73 + *    <td ALIGN=CENTER> <b>Call from within fork/join computations</b></td>
74 + *  </tr>
75 + *  <tr>
76 + *    <td> <b>Arange async execution</td>
77 + *    <td> {@link #execute(ForkJoinTask)}</td>
78 + *    <td> {@link ForkJoinTask#fork}</td>
79 + *  </tr>
80 + *  <tr>
81 + *    <td> <b>Await and obtain result</td>
82 + *    <td> {@link #invoke(ForkJoinTask)}</td>
83 + *    <td> {@link ForkJoinTask#invoke}</td>
84 + *  </tr>
85 + *  <tr>
86 + *    <td> <b>Arrange exec and obtain Future</td>
87 + *    <td> {@link #submit(ForkJoinTask)}</td>
88 + *    <td> {@link ForkJoinTask#fork} (ForkJoinTasks <em>are</em> Futures)</td>
89 + *  </tr>
90 + * </table>
91 + *
92 + * <p><b>Sample Usage.</b> Normally a single {@code ForkJoinPool} is
93 + * used for all parallel task execution in a program or subsystem.
94 + * Otherwise, use would not usually outweigh the construction and
95 + * bookkeeping overhead of creating a large set of threads. For
96 + * example, a common pool could be used for the {@code SortTasks}
97 + * illustrated in {@link RecursiveAction}. Because {@code
98 + * ForkJoinPool} uses threads in {@linkplain java.lang.Thread#isDaemon
99 + * daemon} mode, there is typically no need to explicitly {@link
100 + * #shutdown} such a pool upon program exit.
101 + *
102 + * <pre>
103 + * static final ForkJoinPool mainPool = new ForkJoinPool();
104 + * ...
105 + * public void sort(long[] array) {
106 + *   mainPool.invoke(new SortTask(array, 0, array.length));
107 + * }
108 + * </pre>
109 + *
110   * <p><b>Implementation notes</b>: This implementation restricts the
111   * maximum number of running threads to 32767. Attempts to create
112 < * pools with greater than the maximum result in
113 < * IllegalArgumentExceptions.
112 > * pools with greater than the maximum number result in
113 > * {@code IllegalArgumentException}.
114 > *
115 > * <p>This implementation rejects submitted tasks (that is, by throwing
116 > * {@link RejectedExecutionException}) only when the pool is shut down.
117   *
118   * @since 1.7
119   * @author Doug Lea
# Line 63 | Line 121 | import java.lang.reflect.*;
121   public class ForkJoinPool extends AbstractExecutorService {
122  
123      /*
124 <     * See the extended comments interspersed below for design,
125 <     * rationale, and walkthroughs.
126 <     */
127 <
128 <    /** Mask for packing and unpacking shorts */
129 <    private static final int  shortMask = 0xffff;
130 <
131 <    /** Max pool size -- must be a power of two minus 1 */
132 <    private static final int MAX_THREADS =  0x7FFF;
133 <
134 <    /**
135 <     * Factory for creating new ForkJoinWorkerThreads.  A
136 <     * ForkJoinWorkerThreadFactory must be defined and used for
137 <     * ForkJoinWorkerThread subclasses that extend base functionality
138 <     * or initialize threads with different contexts.
124 >     * Implementation Overview
125 >     *
126 >     * This class provides the central bookkeeping and control for a
127 >     * set of worker threads: Submissions from non-FJ threads enter
128 >     * into a submission queue. Workers take these tasks and typically
129 >     * split them into subtasks that may be stolen by other workers.
130 >     * The main work-stealing mechanics implemented in class
131 >     * ForkJoinWorkerThread give first priority to processing tasks
132 >     * from their own queues (LIFO or FIFO, depending on mode), then
133 >     * to randomized FIFO steals of tasks in other worker queues, and
134 >     * lastly to new submissions. These mechanics do not consider
135 >     * affinities, loads, cache localities, etc, so rarely provide the
136 >     * best possible performance on a given machine, but portably
137 >     * provide good throughput by averaging over these factors.
138 >     * (Further, even if we did try to use such information, we do not
139 >     * usually have a basis for exploiting it. For example, some sets
140 >     * of tasks profit from cache affinities, but others are harmed by
141 >     * cache pollution effects.)
142 >     *
143 >     * The main throughput advantages of work-stealing stem from
144 >     * decentralized control -- workers mostly steal tasks from each
145 >     * other. We do not want to negate this by creating bottlenecks
146 >     * implementing the management responsibilities of this class. So
147 >     * we use a collection of techniques that avoid, reduce, or cope
148 >     * well with contention. These entail several instances of
149 >     * bit-packing into CASable fields to maintain only the minimally
150 >     * required atomicity. To enable such packing, we restrict maximum
151 >     * parallelism to (1<<15)-1 (enabling twice this to fit into a 16
152 >     * bit field), which is far in excess of normal operating range.
153 >     * Even though updates to some of these bookkeeping fields do
154 >     * sometimes contend with each other, they don't normally
155 >     * cache-contend with updates to others enough to warrant memory
156 >     * padding or isolation. So they are all held as fields of
157 >     * ForkJoinPool objects.  The main capabilities are as follows:
158 >     *
159 >     * 1. Creating and removing workers. Workers are recorded in the
160 >     * "workers" array. This is an array as opposed to some other data
161 >     * structure to support index-based random steals by workers.
162 >     * Updates to the array recording new workers and unrecording
163 >     * terminated ones are protected from each other by a lock
164 >     * (workerLock) but the array is otherwise concurrently readable,
165 >     * and accessed directly by workers. To simplify index-based
166 >     * operations, the array size is always a power of two, and all
167 >     * readers must tolerate null slots. Currently, all worker thread
168 >     * creation is on-demand, triggered by task submissions,
169 >     * replacement of terminated workers, and/or compensation for
170 >     * blocked workers. However, all other support code is set up to
171 >     * work with other policies.
172 >     *
173 >     * 2. Bookkeeping for dynamically adding and removing workers. We
174 >     * aim to approximately maintain the given level of parallelism.
175 >     * When some workers are known to be blocked (on joins or via
176 >     * ManagedBlocker), we may create or resume others to take their
177 >     * place until they unblock (see below). Implementing this
178 >     * requires counts of the number of "running" threads (i.e., those
179 >     * that are neither blocked nor artifically suspended) as well as
180 >     * the total number.  These two values are packed into one field,
181 >     * "workerCounts" because we need accurate snapshots when deciding
182 >     * to create, resume or suspend.  To support these decisions,
183 >     * updates to spare counts must be prospective (not
184 >     * retrospective).  For example, the running count is decremented
185 >     * before blocking by a thread about to block as a spare, but
186 >     * incremented by the thread about to unblock it. Updates upon
187 >     * resumption ofr threads blocking in awaitJoin or awaitBlocker
188 >     * cannot usually be prospective, so the running count is in
189 >     * general an upper bound of the number of productively running
190 >     * threads Updates to the workerCounts field sometimes transiently
191 >     * encounter a fair amount of contention when join dependencies
192 >     * are such that many threads block or unblock at about the same
193 >     * time. We alleviate this by sometimes performing an alternative
194 >     * action on contention like releasing waiters or locating spares.
195 >     *
196 >     * 3. Maintaining global run state. The run state of the pool
197 >     * consists of a runLevel (SHUTDOWN, TERMINATING, etc) similar to
198 >     * those in other Executor implementations, as well as a count of
199 >     * "active" workers -- those that are, or soon will be, or
200 >     * recently were executing tasks. The runLevel and active count
201 >     * are packed together in order to correctly trigger shutdown and
202 >     * termination. Without care, active counts can be subject to very
203 >     * high contention.  We substantially reduce this contention by
204 >     * relaxing update rules.  A worker must claim active status
205 >     * prospectively, by activating if it sees that a submitted or
206 >     * stealable task exists (it may find after activating that the
207 >     * task no longer exists). It stays active while processing this
208 >     * task (if it exists) and any other local subtasks it produces,
209 >     * until it cannot find any other tasks. It then tries
210 >     * inactivating (see method preStep), but upon update contention
211 >     * instead scans for more tasks, later retrying inactivation if it
212 >     * doesn't find any.
213 >     *
214 >     * 4. Managing idle workers waiting for tasks. We cannot let
215 >     * workers spin indefinitely scanning for tasks when none are
216 >     * available. On the other hand, we must quickly prod them into
217 >     * action when new tasks are submitted or generated.  We
218 >     * park/unpark these idle workers using an event-count scheme.
219 >     * Field eventCount is incremented upon events that may enable
220 >     * workers that previously could not find a task to now find one:
221 >     * Submission of a new task to the pool, or another worker pushing
222 >     * a task onto a previously empty queue.  (We also use this
223 >     * mechanism for termination and reconfiguration actions that
224 >     * require wakeups of idle workers).  Each worker maintains its
225 >     * last known event count, and blocks when a scan for work did not
226 >     * find a task AND its lastEventCount matches the current
227 >     * eventCount. Waiting idle workers are recorded in a variant of
228 >     * Treiber stack headed by field eventWaiters which, when nonzero,
229 >     * encodes the thread index and count awaited for by the worker
230 >     * thread most recently calling eventSync. This thread in turn has
231 >     * a record (field nextEventWaiter) for the next waiting worker.
232 >     * In addition to allowing simpler decisions about need for
233 >     * wakeup, the event count bits in eventWaiters serve the role of
234 >     * tags to avoid ABA errors in Treiber stacks.  To reduce delays
235 >     * in task diffusion, workers not otherwise occupied may invoke
236 >     * method releaseWaiters, that removes and signals (unparks)
237 >     * workers not waiting on current count. To minimize task
238 >     * production stalls associate with signalling, any worker pushing
239 >     * a task on an empty queue invokes the weaker method signalWork,
240 >     * that only releases idle workers until it detects interference
241 >     * by other threads trying to release, and lets them take
242 >     * over. The net effect is a tree-like diffusion of signals, where
243 >     * released threads (and possibly others) help with unparks.  To
244 >     * further reduce contention effects a bit, failed CASes to
245 >     * increment field eventCount are tolerated without retries.
246 >     * Conceptually they are merged into the same event, which is OK
247 >     * when their only purpose is to enable workers to scan for work.
248 >     *
249 >     * 5. Managing suspension of extra workers. When a worker is about
250 >     * to block waiting for a join (or via ManagedBlockers), we may
251 >     * create a new thread to maintain parallelism level, or at least
252 >     * avoid starvation (see below). Usually, extra threads are needed
253 >     * for only very short periods, yet join dependencies are such
254 >     * that we sometimes need them in bursts. Rather than create new
255 >     * threads each time this happens, we suspend no-longer-needed
256 >     * extra ones as "spares". For most purposes, we don't distinguish
257 >     * "extra" spare threads from normal "core" threads: On each call
258 >     * to preStep (the only point at which we can do this) a worker
259 >     * checks to see if there are now too many running workers, and if
260 >     * so, suspends itself.  Methods awaitJoin and awaitBlocker look
261 >     * for suspended threads to resume before considering creating a
262 >     * new replacement. We don't need a special data structure to
263 >     * maintain spares; simply scanning the workers array looking for
264 >     * worker.isSuspended() is fine because the calling thread is
265 >     * otherwise not doing anything useful anyway; we are at least as
266 >     * happy if after locating a spare, the caller doesn't actually
267 >     * block because the join is ready before we try to adjust and
268 >     * compensate.  Note that this is intrinsically racy.  One thread
269 >     * may become a spare at about the same time as another is
270 >     * needlessly being created. We counteract this and related slop
271 >     * in part by requiring resumed spares to immediately recheck (in
272 >     * preStep) to see whether they they should re-suspend. The only
273 >     * effective difference between "extra" and "core" threads is that
274 >     * we allow the "extra" ones to time out and die if they are not
275 >     * resumed within a keep-alive interval of a few seconds. This is
276 >     * implemented mainly within ForkJoinWorkerThread, but requires
277 >     * some coordination (isTrimmed() -- meaning killed while
278 >     * suspended) to correctly maintain pool counts.
279 >     *
280 >     * 6. Deciding when to create new workers. The main dynamic
281 >     * control in this class is deciding when to create extra threads,
282 >     * in methods awaitJoin and awaitBlocker. We always need to create
283 >     * one when the number of running threads becomes zero. But
284 >     * because blocked joins are typically dependent, we don't
285 >     * necessarily need or want one-to-one replacement. Instead, we
286 >     * use a combination of heuristics that adds threads only when the
287 >     * pool appears to be approaching starvation.  These effectively
288 >     * reduce churn at the price of systematically undershooting
289 >     * target parallelism when many threads are blocked.  However,
290 >     * biasing toward undeshooting partially compensates for the above
291 >     * mechanics to suspend extra threads, that normally lead to
292 >     * overshoot because we can only suspend workers in-between
293 >     * top-level actions. It also better copes with the fact that some
294 >     * of the methods in this class tend to never become compiled (but
295 >     * are interpreted), so some components of the entire set of
296 >     * controls might execute many times faster than others. And
297 >     * similarly for cases where the apparent lack of work is just due
298 >     * to GC stalls and other transient system activity.
299 >     *
300 >     * Beware that there is a lot of representation-level coupling
301 >     * among classes ForkJoinPool, ForkJoinWorkerThread, and
302 >     * ForkJoinTask.  For example, direct access to "workers" array by
303 >     * workers, and direct access to ForkJoinTask.status by both
304 >     * ForkJoinPool and ForkJoinWorkerThread.  There is little point
305 >     * trying to reduce this, since any associated future changes in
306 >     * representations will need to be accompanied by algorithmic
307 >     * changes anyway.
308 >     *
309 >     * Style notes: There are lots of inline assignments (of form
310 >     * "while ((local = field) != 0)") which are usually the simplest
311 >     * way to ensure read orderings. Also several occurrences of the
312 >     * unusual "do {} while(!cas...)" which is the simplest way to
313 >     * force an update of a CAS'ed variable. There are also a few
314 >     * other coding oddities that help some methods perform reasonably
315 >     * even when interpreted (not compiled).
316 >     *
317 >     * The order of declarations in this file is: (1) statics (2)
318 >     * fields (along with constants used when unpacking some of them)
319 >     * (3) internal control methods (4) callbacks and other support
320 >     * for ForkJoinTask and ForkJoinWorkerThread classes, (5) exported
321 >     * methods (plus a few little helpers).
322 >     */
323 >
324 >    /**
325 >     * Factory for creating new {@link ForkJoinWorkerThread}s.
326 >     * A {@code ForkJoinWorkerThreadFactory} must be defined and used
327 >     * for {@code ForkJoinWorkerThread} subclasses that extend base
328 >     * functionality or initialize threads with different contexts.
329       */
330      public static interface ForkJoinWorkerThreadFactory {
331          /**
332           * Returns a new worker thread operating in the given pool.
333           *
334           * @param pool the pool this thread works in
335 <         * @throws NullPointerException if pool is null
335 >         * @throws NullPointerException if the pool is null
336           */
337          public ForkJoinWorkerThread newThread(ForkJoinPool pool);
338      }
# Line 93 | Line 341 | public class ForkJoinPool extends Abstra
341       * Default ForkJoinWorkerThreadFactory implementation; creates a
342       * new ForkJoinWorkerThread.
343       */
344 <    static class  DefaultForkJoinWorkerThreadFactory
344 >    static class DefaultForkJoinWorkerThreadFactory
345          implements ForkJoinWorkerThreadFactory {
346          public ForkJoinWorkerThread newThread(ForkJoinPool pool) {
347 <            try {
100 <                return new ForkJoinWorkerThread(pool);
101 <            } catch (OutOfMemoryError oom)  {
102 <                return null;
103 <            }
347 >            return new ForkJoinWorkerThread(pool);
348          }
349      }
350  
# Line 136 | Line 380 | public class ForkJoinPool extends Abstra
380          new AtomicInteger();
381  
382      /**
383 <     * Array holding all worker threads in the pool. Initialized upon
384 <     * first use. Array size must be a power of two.  Updates and
141 <     * replacements are protected by workerLock, but it is always kept
142 <     * in a consistent enough state to be randomly accessed without
143 <     * locking by workers performing work-stealing.
383 >     * Absolute bound for parallelism level. Twice this number must
384 >     * fit into a 16bit field to enable word-packing for some counts.
385       */
386 <    volatile ForkJoinWorkerThread[] workers;
386 >    private static final int MAX_THREADS = 0x7fff;
387  
388      /**
389 <     * Lock protecting access to workers.
389 >     * Array holding all worker threads in the pool.  Array size must
390 >     * be a power of two.  Updates and replacements are protected by
391 >     * workerLock, but the array is always kept in a consistent enough
392 >     * state to be randomly accessed without locking by workers
393 >     * performing work-stealing, as well as other traversal-based
394 >     * methods in this class. All readers must tolerate that some
395 >     * array slots may be null.
396       */
397 <    private final ReentrantLock workerLock;
397 >    volatile ForkJoinWorkerThread[] workers;
398  
399      /**
400 <     * Condition for awaitTermination.
400 >     * Queue for external submissions.
401       */
402 <    private final Condition termination;
402 >    private final LinkedTransferQueue<ForkJoinTask<?>> submissionQueue;
403  
404      /**
405 <     * The uncaught exception handler used when any worker
159 <     * abruptly terminates
405 >     * Lock protecting updates to workers array.
406       */
407 <    private Thread.UncaughtExceptionHandler ueh;
407 >    private final ReentrantLock workerLock;
408  
409      /**
410 <     * Creation factory for worker threads.
410 >     * Latch released upon termination.
411       */
412 <    private final ForkJoinWorkerThreadFactory factory;
412 >    private final Phaser termination;
413  
414      /**
415 <     * Head of stack of threads that were created to maintain
170 <     * parallelism when other threads blocked, but have since
171 <     * suspended when the parallelism level rose.
415 >     * Creation factory for worker threads.
416       */
417 <    private volatile WaitQueueNode spareStack;
417 >    private final ForkJoinWorkerThreadFactory factory;
418  
419      /**
420       * Sum of per-thread steal counts, updated only when threads are
421       * idle or terminating.
422       */
423 <    private final AtomicLong stealCount;
423 >    private volatile long stealCount;
424  
425      /**
426 <     * Queue for external submissions.
426 >     * Encoded record of top of treiber stack of threads waiting for
427 >     * events. The top 32 bits contain the count being waited for. The
428 >     * bottom word contains one plus the pool index of waiting worker
429 >     * thread.
430       */
431 <    private final LinkedTransferQueue<ForkJoinTask<?>> submissionQueue;
431 >    private volatile long eventWaiters;
432  
433 <    /**
434 <     * Head of Treiber stack for barrier sync. See below for explanation.
188 <     */
189 <    private volatile WaitQueueNode syncStack;
433 >    private static final int  EVENT_COUNT_SHIFT = 32;
434 >    private static final long WAITER_INDEX_MASK = (1L << EVENT_COUNT_SHIFT)-1L;
435  
436      /**
437 <     * The count for event barrier
437 >     * A counter for events that may wake up worker threads:
438 >     *   - Submission of a new task to the pool
439 >     *   - A worker pushing a task on an empty queue
440 >     *   - termination and reconfiguration
441       */
442 <    private volatile long eventCount;
442 >    private volatile int eventCount;
443  
444      /**
445 <     * Pool number, just for assigning useful names to worker threads
446 <     */
447 <    private final int poolNumber;
445 >     * Lifecycle control. The low word contains the number of workers
446 >     * that are (probably) executing tasks. This value is atomically
447 >     * incremented before a worker gets a task to run, and decremented
448 >     * when worker has no tasks and cannot find any.  Bits 16-18
449 >     * contain runLevel value. When all are zero, the pool is
450 >     * running. Level transitions are monotonic (running -> shutdown
451 >     * -> terminating -> terminated) so each transition adds a bit.
452 >     * These are bundled together to ensure consistent read for
453 >     * termination checks (i.e., that runLevel is at least SHUTDOWN
454 >     * and active threads is zero).
455 >     */
456 >    private volatile int runState;
457 >
458 >    // Note: The order among run level values matters.
459 >    private static final int RUNLEVEL_SHIFT     = 16;
460 >    private static final int SHUTDOWN           = 1 << RUNLEVEL_SHIFT;
461 >    private static final int TERMINATING        = 1 << (RUNLEVEL_SHIFT + 1);
462 >    private static final int TERMINATED         = 1 << (RUNLEVEL_SHIFT + 2);
463 >    private static final int ACTIVE_COUNT_MASK  = (1 << RUNLEVEL_SHIFT) - 1;
464 >    private static final int ONE_ACTIVE         = 1; // active update delta
465  
466      /**
467 <     * The maximum allowed pool size
467 >     * Holds number of total (i.e., created and not yet terminated)
468 >     * and running (i.e., not blocked on joins or other managed sync)
469 >     * threads, packed together to ensure consistent snapshot when
470 >     * making decisions about creating and suspending spare
471 >     * threads. Updated only by CAS. Note that adding a new worker
472 >     * requires incrementing both counts, since workers start off in
473 >     * running state.  This field is also used for memory-fencing
474 >     * configuration parameters.
475       */
476 <    private volatile int maxPoolSize;
476 >    private volatile int workerCounts;
477 >
478 >    private static final int TOTAL_COUNT_SHIFT  = 16;
479 >    private static final int RUNNING_COUNT_MASK = (1 << TOTAL_COUNT_SHIFT) - 1;
480 >    private static final int ONE_RUNNING        = 1;
481 >    private static final int ONE_TOTAL          = 1 << TOTAL_COUNT_SHIFT;
482  
483      /**
484 <     * The desired parallelism level, updated only under workerLock.
484 >     * The target parallelism level.
485 >     * Accessed directly by ForkJoinWorkerThreads.
486       */
487 <    private volatile int parallelism;
487 >    final int parallelism;
488  
489      /**
490       * True if use local fifo, not default lifo, for local polling
491 +     * Read by, and replicated by ForkJoinWorkerThreads
492       */
493 <    private volatile boolean locallyFifo;
493 >    final boolean locallyFifo;
494  
495      /**
496 <     * Holds number of total (i.e., created and not yet terminated)
497 <     * and running (i.e., not blocked on joins or other managed sync)
219 <     * threads, packed into one int to ensure consistent snapshot when
220 <     * making decisions about creating and suspending spare
221 <     * threads. Updated only by CAS.  Note: CASes in
222 <     * updateRunningCount and preJoin assume that running active count
223 <     * is in low word, so need to be modified if this changes.
496 >     * The uncaught exception handler used when any worker abruptly
497 >     * terminates.
498       */
499 <    private volatile int workerCounts;
226 <
227 <    private static int totalCountOf(int s)           { return s >>> 16;  }
228 <    private static int runningCountOf(int s)         { return s & shortMask; }
229 <    private static int workerCountsFor(int t, int r) { return (t << 16) + r; }
499 >    private final Thread.UncaughtExceptionHandler ueh;
500  
501      /**
502 <     * Adds delta (which may be negative) to running count.  This must
233 <     * be called before (with negative arg) and after (with positive)
234 <     * any managed synchronization (i.e., mainly, joins).
235 <     *
236 <     * @param delta the number to add
502 >     * Pool number, just for assigning useful names to worker threads
503       */
504 <    final void updateRunningCount(int delta) {
505 <        int s;
506 <        do {} while (!casWorkerCounts(s = workerCounts, s + delta));
241 <    }
504 >    private final int poolNumber;
505 >
506 >    // utilities for updating fields
507  
508      /**
509 <     * Adds delta (which may be negative) to both total and running
245 <     * count.  This must be called upon creation and termination of
246 <     * worker threads.
247 <     *
248 <     * @param delta the number to add
509 >     * Increments running count.  Also used by ForkJoinTask.
510       */
511 <    private void updateWorkerCount(int delta) {
512 <        int d = delta + (delta << 16); // add to both lo and hi parts
513 <        int s;
514 <        do {} while (!casWorkerCounts(s = workerCounts, s + d));
511 >    final void incrementRunningCount() {
512 >        int c;
513 >        do {} while (!UNSAFE.compareAndSwapInt(this, workerCountsOffset,
514 >                                               c = workerCounts,
515 >                                               c + ONE_RUNNING));
516      }
517 <
517 >    
518      /**
519 <     * Lifecycle control. High word contains runState, low word
258 <     * contains the number of workers that are (probably) executing
259 <     * tasks. This value is atomically incremented before a worker
260 <     * gets a task to run, and decremented when worker has no tasks
261 <     * and cannot find any. These two fields are bundled together to
262 <     * support correct termination triggering.  Note: activeCount
263 <     * CAS'es cheat by assuming active count is in low word, so need
264 <     * to be modified if this changes
519 >     * Tries to decrement running count unless already zero
520       */
521 <    private volatile int runControl;
522 <
523 <    // RunState values. Order among values matters
524 <    private static final int RUNNING     = 0;
525 <    private static final int SHUTDOWN    = 1;
526 <    private static final int TERMINATING = 2;
527 <    private static final int TERMINATED  = 3;
273 <
274 <    private static int runStateOf(int c)             { return c >>> 16; }
275 <    private static int activeCountOf(int c)          { return c & shortMask; }
276 <    private static int runControlFor(int r, int a)   { return (r << 16) + a; }
521 >    final boolean tryDecrementRunningCount() {
522 >        int wc = workerCounts;
523 >        if ((wc & RUNNING_COUNT_MASK) == 0)
524 >            return false;
525 >        return UNSAFE.compareAndSwapInt(this, workerCountsOffset,
526 >                                        wc, wc - ONE_RUNNING);
527 >    }
528  
529      /**
530       * Tries incrementing active count; fails on contention.
531 <     * Called by workers before/during executing tasks.
531 >     * Called by workers before executing tasks.
532       *
533       * @return true on success
534       */
535      final boolean tryIncrementActiveCount() {
536 <        int c = runControl;
537 <        return casRunControl(c, c+1);
536 >        int c;
537 >        return UNSAFE.compareAndSwapInt(this, runStateOffset,
538 >                                        c = runState, c + ONE_ACTIVE);
539      }
540  
541      /**
542       * Tries decrementing active count; fails on contention.
543 <     * Possibly triggers termination on success.
292 <     * Called by workers when they can't find tasks.
293 <     *
294 <     * @return true on success
543 >     * Called when workers cannot find tasks to run.
544       */
545      final boolean tryDecrementActiveCount() {
546 <        int c = runControl;
547 <        int nextc = c - 1;
548 <        if (!casRunControl(c, nextc))
300 <            return false;
301 <        if (canTerminateOnShutdown(nextc))
302 <            terminateOnShutdown();
303 <        return true;
546 >        int c;
547 >        return UNSAFE.compareAndSwapInt(this, runStateOffset,
548 >                                        c = runState, c - ONE_ACTIVE);
549      }
550  
551      /**
552 <     * Returns true if argument represents zero active count and
553 <     * nonzero runstate, which is the triggering condition for
309 <     * terminating on shutdown.
552 >     * Advances to at least the given level. Returns true if not
553 >     * already in at least the given level.
554       */
555 <    private static boolean canTerminateOnShutdown(int c) {
556 <        // i.e. least bit is nonzero runState bit
557 <        return ((c & -c) >>> 16) != 0;
555 >    private boolean advanceRunLevel(int level) {
556 >        for (;;) {
557 >            int s = runState;
558 >            if ((s & level) != 0)
559 >                return false;
560 >            if (UNSAFE.compareAndSwapInt(this, runStateOffset, s, s | level))
561 >                return true;
562 >        }
563      }
564  
565 +    // workers array maintenance
566 +
567      /**
568 <     * Transition run state to at least the given state. Return true
318 <     * if not already at least given state.
568 >     * Records and returns a workers array index for new worker.
569       */
570 <    private boolean transitionRunStateTo(int state) {
571 <        for (;;) {
572 <            int c = runControl;
573 <            if (runStateOf(c) >= state)
574 <                return false;
575 <            if (casRunControl(c, runControlFor(state, activeCountOf(c))))
576 <                return true;
570 >    private int recordWorker(ForkJoinWorkerThread w) {
571 >        // Try using slot totalCount-1. If not available, scan and/or resize
572 >        int k = (workerCounts >>> TOTAL_COUNT_SHIFT) - 1;
573 >        final ReentrantLock lock = this.workerLock;
574 >        lock.lock();
575 >        try {
576 >            ForkJoinWorkerThread[] ws = workers;
577 >            int nws = ws.length;
578 >            if (k < 0 || k >= nws || ws[k] != null) {
579 >                for (k = 0; k < nws && ws[k] != null; ++k)
580 >                    ;
581 >                if (k == nws)
582 >                    ws = Arrays.copyOf(ws, nws << 1);
583 >            }
584 >            ws[k] = w;
585 >            workers = ws; // volatile array write ensures slot visibility
586 >        } finally {
587 >            lock.unlock();
588          }
589 +        return k;
590      }
591  
592      /**
593 <     * Controls whether to add spares to maintain parallelism
593 >     * Nulls out record of worker in workers array
594       */
595 <    private volatile boolean maintainsParallelism;
595 >    private void forgetWorker(ForkJoinWorkerThread w) {
596 >        int idx = w.poolIndex;
597 >        // Locking helps method recordWorker avoid unecessary expansion
598 >        final ReentrantLock lock = this.workerLock;
599 >        lock.lock();
600 >        try {
601 >            ForkJoinWorkerThread[] ws = workers;
602 >            if (idx >= 0 && idx < ws.length && ws[idx] == w) // verify
603 >                ws[idx] = null;
604 >        } finally {
605 >            lock.unlock();
606 >        }
607 >    }
608  
609 <    // Constructors
609 >    // adding and removing workers
610  
611      /**
612 <     * Creates a ForkJoinPool with a pool size equal to the number of
613 <     * processors available on the system, using the default
614 <     * ForkJoinWorkerThreadFactory.
612 >     * Tries to create and add new worker. Assumes that worker counts
613 >     * are already updated to accommodate the worker, so adjusts on
614 >     * failure.
615       *
616 <     * @throws SecurityException if a security manager exists and
343 <     *         the caller is not permitted to modify threads
344 <     *         because it does not hold {@link
345 <     *         java.lang.RuntimePermission}{@code ("modifyThread")}
616 >     * @return new worker or null if creation failed
617       */
618 <    public ForkJoinPool() {
619 <        this(Runtime.getRuntime().availableProcessors(),
620 <             defaultForkJoinWorkerThreadFactory);
618 >    private ForkJoinWorkerThread addWorker() {
619 >        ForkJoinWorkerThread w = null;
620 >        try {
621 >            w = factory.newThread(this);
622 >        } finally { // Adjust on either null or exceptional factory return
623 >            if (w == null) {
624 >                onWorkerCreationFailure();
625 >                return null;
626 >            }
627 >        }
628 >        w.start(recordWorker(w), ueh);
629 >        return w;
630      }
631  
632      /**
633 <     * Creates a ForkJoinPool with the indicated parallelism level
354 <     * threads and using the default ForkJoinWorkerThreadFactory.
355 <     *
356 <     * @param parallelism the number of worker threads
357 <     * @throws IllegalArgumentException if parallelism less than or
358 <     * equal to zero
359 <     * @throws SecurityException if a security manager exists and
360 <     *         the caller is not permitted to modify threads
361 <     *         because it does not hold {@link
362 <     *         java.lang.RuntimePermission}{@code ("modifyThread")}
633 >     * Adjusts counts upon failure to create worker
634       */
635 <    public ForkJoinPool(int parallelism) {
636 <        this(parallelism, defaultForkJoinWorkerThreadFactory);
635 >    private void onWorkerCreationFailure() {
636 >        for (;;) {
637 >            int wc = workerCounts;
638 >            if ((wc >>> TOTAL_COUNT_SHIFT) > 0 &&
639 >                UNSAFE.compareAndSwapInt(this, workerCountsOffset,
640 >                                         wc, wc - (ONE_RUNNING|ONE_TOTAL)))
641 >                break;
642 >        }
643 >        tryTerminate(false); // in case of failure during shutdown
644      }
645  
646      /**
647 <     * Creates a ForkJoinPool with parallelism equal to the number of
648 <     * processors available on the system and using the given
371 <     * ForkJoinWorkerThreadFactory.
372 <     *
373 <     * @param factory the factory for creating new threads
374 <     * @throws NullPointerException if factory is null
375 <     * @throws SecurityException if a security manager exists and
376 <     *         the caller is not permitted to modify threads
377 <     *         because it does not hold {@link
378 <     *         java.lang.RuntimePermission}{@code ("modifyThread")}
647 >     * Create enough total workers to establish target parallelism,
648 >     * giving up if terminating or addWorker fails
649       */
650 <    public ForkJoinPool(ForkJoinWorkerThreadFactory factory) {
651 <        this(Runtime.getRuntime().availableProcessors(), factory);
650 >    private void ensureEnoughTotalWorkers() {
651 >        int wc;
652 >        while (((wc = workerCounts) >>> TOTAL_COUNT_SHIFT) < parallelism &&
653 >               runState < TERMINATING) {
654 >            if ((UNSAFE.compareAndSwapInt(this, workerCountsOffset,
655 >                                          wc, wc + (ONE_RUNNING|ONE_TOTAL)) &&
656 >                 addWorker() == null))
657 >                break;
658 >        }
659      }
660  
661      /**
662 <     * Creates a ForkJoinPool with the given parallelism and factory.
662 >     * Final callback from terminating worker.  Removes record of
663 >     * worker from array, and adjusts counts. If pool is shutting
664 >     * down, tries to complete terminatation, else possibly replaces
665 >     * the worker.
666       *
667 <     * @param parallelism the targeted number of worker threads
388 <     * @param factory the factory for creating new threads
389 <     * @throws IllegalArgumentException if parallelism less than or
390 <     * equal to zero, or greater than implementation limit
391 <     * @throws NullPointerException if factory is null
392 <     * @throws SecurityException if a security manager exists and
393 <     *         the caller is not permitted to modify threads
394 <     *         because it does not hold {@link
395 <     *         java.lang.RuntimePermission}{@code ("modifyThread")}
667 >     * @param w the worker
668       */
669 <    public ForkJoinPool(int parallelism, ForkJoinWorkerThreadFactory factory) {
670 <        if (parallelism <= 0 || parallelism > MAX_THREADS)
671 <            throw new IllegalArgumentException();
672 <        if (factory == null)
673 <            throw new NullPointerException();
674 <        checkPermission();
675 <        this.factory = factory;
676 <        this.parallelism = parallelism;
677 <        this.maxPoolSize = MAX_THREADS;
678 <        this.maintainsParallelism = true;
679 <        this.poolNumber = poolNumberGenerator.incrementAndGet();
680 <        this.workerLock = new ReentrantLock();
681 <        this.termination = workerLock.newCondition();
682 <        this.stealCount = new AtomicLong();
683 <        this.submissionQueue = new LinkedTransferQueue<ForkJoinTask<?>>();
684 <        // worker array and workers are lazily constructed
669 >    final void workerTerminated(ForkJoinWorkerThread w) {
670 >        if (w.active) { // force inactive
671 >            w.active = false;
672 >            do {} while (!tryDecrementActiveCount());
673 >        }
674 >        forgetWorker(w);
675 >
676 >        // Decrement total count, and if was running, running count
677 >        // Spin (waiting for other updates) if either would be negative
678 >        int nr = w.isTrimmed() ? 0 : ONE_RUNNING;
679 >        int unit = ONE_TOTAL + nr;
680 >        for (;;) {
681 >            int wc = workerCounts;
682 >            int rc = wc & RUNNING_COUNT_MASK;
683 >            if (rc - nr < 0 || (wc >>> TOTAL_COUNT_SHIFT) == 0)
684 >                Thread.yield(); // back off if waiting for other updates
685 >            else if (UNSAFE.compareAndSwapInt(this, workerCountsOffset,
686 >                                              wc, wc - unit))
687 >                break;
688 >        }
689 >
690 >        accumulateStealCount(w); // collect final count
691 >        if (!tryTerminate(false))
692 >            ensureEnoughTotalWorkers();
693      }
694  
695 +    // Waiting for and signalling events
696 +
697      /**
698 <     * Creates a new worker thread using factory.
417 <     *
418 <     * @param index the index to assign worker
419 <     * @return new worker, or null of factory failed
698 >     * Releases workers blocked on a count not equal to current count.
699       */
700 <    private ForkJoinWorkerThread createWorker(int index) {
701 <        Thread.UncaughtExceptionHandler h = ueh;
702 <        ForkJoinWorkerThread w = factory.newThread(this);
703 <        if (w != null) {
704 <            w.poolIndex = index;
705 <            w.setDaemon(true);
706 <            w.setAsyncMode(locallyFifo);
707 <            w.setName("ForkJoinPool-" + poolNumber + "-worker-" + index);
708 <            if (h != null)
709 <                w.setUncaughtExceptionHandler(h);
700 >    private void releaseWaiters() {
701 >        long top;
702 >        int id;
703 >        while ((id = (int)((top = eventWaiters) & WAITER_INDEX_MASK)) > 0 &&
704 >               (int)(top >>> EVENT_COUNT_SHIFT) != eventCount) {
705 >            ForkJoinWorkerThread[] ws = workers;
706 >            ForkJoinWorkerThread w;
707 >            if (ws.length >= id && (w = ws[id - 1]) != null &&
708 >                UNSAFE.compareAndSwapLong(this, eventWaitersOffset,
709 >                                          top, w.nextWaiter))
710 >                LockSupport.unpark(w);
711          }
432        return w;
712      }
713  
714      /**
715 <     * Returns a good size for worker array given pool size.
716 <     * Currently requires size to be a power of two.
715 >     * Ensures eventCount on exit is different (mod 2^32) than on
716 >     * entry and wakes up all waiters
717       */
718 <    private static int arraySizeFor(int poolSize) {
719 <        return (poolSize <= 1) ? 1 :
720 <            (1 << (32 - Integer.numberOfLeadingZeros(poolSize-1)));
718 >    private void signalEvent() {
719 >        int c;
720 >        do {} while (!UNSAFE.compareAndSwapInt(this, eventCountOffset,
721 >                                               c = eventCount, c+1));
722 >        releaseWaiters();
723      }
724  
725      /**
726 <     * Creates or resizes array if necessary to hold newLength.
727 <     * Call only under exclusion.
447 <     *
448 <     * @return the array
726 >     * Advances eventCount and releases waiters until interference by
727 >     * other releasing threads is detected.
728       */
729 <    private ForkJoinWorkerThread[] ensureWorkerArrayCapacity(int newLength) {
730 <        ForkJoinWorkerThread[] ws = workers;
731 <        if (ws == null)
732 <            return workers = new ForkJoinWorkerThread[arraySizeFor(newLength)];
733 <        else if (newLength > ws.length)
734 <            return workers = Arrays.copyOf(ws, arraySizeFor(newLength));
735 <        else
736 <            return ws;
729 >    final void signalWork() {
730 >        // EventCount CAS failures are OK -- any change in count suffices.
731 >        int ec;
732 >        UNSAFE.compareAndSwapInt(this, eventCountOffset, ec=eventCount, ec+1);
733 >        outer:for (;;) {
734 >            long top = eventWaiters;
735 >            ec = eventCount;
736 >            for (;;) {
737 >                ForkJoinWorkerThread[] ws; ForkJoinWorkerThread w;
738 >                int id = (int)(top & WAITER_INDEX_MASK);
739 >                if (id <= 0 || (int)(top >>> EVENT_COUNT_SHIFT) == ec)
740 >                    return;
741 >                if ((ws = workers).length < id || (w = ws[id - 1]) == null ||
742 >                    !UNSAFE.compareAndSwapLong(this, eventWaitersOffset,
743 >                                               top, top = w.nextWaiter))
744 >                    continue outer;      // possibly stale; reread
745 >                LockSupport.unpark(w);
746 >                if (top != eventWaiters) // let someone else take over
747 >                    return;
748 >            }
749 >        }
750      }
751  
752      /**
753 <     * Tries to shrink workers into smaller array after one or more terminate.
753 >     * If worker is inactive, blocks until terminating or event count
754 >     * advances from last value held by worker; in any case helps
755 >     * release others.
756 >     *
757 >     * @param w the calling worker thread
758       */
759 <    private void tryShrinkWorkerArray() {
760 <        ForkJoinWorkerThread[] ws = workers;
761 <        if (ws != null) {
762 <            int len = ws.length;
763 <            int last = len - 1;
764 <            while (last >= 0 && ws[last] == null)
765 <                --last;
766 <            int newLength = arraySizeFor(last+1);
767 <            if (newLength < len)
768 <                workers = Arrays.copyOf(ws, newLength);
759 >    private void eventSync(ForkJoinWorkerThread w) {
760 >        if (!w.active) {
761 >            int prev = w.lastEventCount;
762 >            long nextTop = (((long)prev << EVENT_COUNT_SHIFT) |
763 >                            ((long)(w.poolIndex + 1)));
764 >            long top;
765 >            while ((runState < SHUTDOWN || !tryTerminate(false)) &&
766 >                   (((int)(top = eventWaiters) & WAITER_INDEX_MASK) == 0 ||
767 >                    (int)(top >>> EVENT_COUNT_SHIFT) == prev) &&
768 >                   eventCount == prev) {
769 >                if (UNSAFE.compareAndSwapLong(this, eventWaitersOffset,
770 >                                              w.nextWaiter = top, nextTop)) {
771 >                    accumulateStealCount(w); // transfer steals while idle
772 >                    Thread.interrupted();    // clear/ignore interrupt
773 >                    while (eventCount == prev)
774 >                        w.doPark();
775 >                    break;
776 >                }
777 >            }
778 >            w.lastEventCount = eventCount;
779          }
780 +        releaseWaiters();
781      }
782  
783      /**
784 <     * Initializes workers if necessary.
784 >     * Callback from workers invoked upon each top-level action (i.e.,
785 >     * stealing a task or taking a submission and running
786 >     * it). Performs one or both of the following:
787 >     *
788 >     * * If the worker cannot find work, updates its active status to
789 >     * inactive and updates activeCount unless there is contention, in
790 >     * which case it may try again (either in this or a subsequent
791 >     * call).  Additionally, awaits the next task event and/or helps
792 >     * wake up other releasable waiters.
793 >     *
794 >     * * If there are too many running threads, suspends this worker
795 >     * (first forcing inactivation if necessary).  If it is not
796 >     * resumed before a keepAlive elapses, the worker may be "trimmed"
797 >     * -- killed while suspended within suspendAsSpare. Otherwise,
798 >     * upon resume it rechecks to make sure that it is still needed.
799 >     *
800 >     * @param w the worker
801 >     * @param worked false if the worker scanned for work but didn't
802 >     * find any (in which case it may block waiting for work).
803       */
804 <    final void ensureWorkerInitialization() {
805 <        ForkJoinWorkerThread[] ws = workers;
806 <        if (ws == null) {
807 <            final ReentrantLock lock = this.workerLock;
808 <            lock.lock();
809 <            try {
810 <                ws = workers;
811 <                if (ws == null) {
812 <                    int ps = parallelism;
813 <                    ws = ensureWorkerArrayCapacity(ps);
814 <                    for (int i = 0; i < ps; ++i) {
815 <                        ForkJoinWorkerThread w = createWorker(i);
816 <                        if (w != null) {
817 <                            ws[i] = w;
818 <                            w.start();
819 <                            updateWorkerCount(1);
820 <                        }
804 >    final void preStep(ForkJoinWorkerThread w, boolean worked) {
805 >        boolean active = w.active;
806 >        boolean inactivate = !worked & active;
807 >        for (;;) {
808 >            if (inactivate) {
809 >                int rs = runState;
810 >                if (UNSAFE.compareAndSwapInt(this, runStateOffset,
811 >                                             rs, rs - ONE_ACTIVE))
812 >                    inactivate = active = w.active = false;
813 >            }
814 >            int wc = workerCounts;
815 >            if ((wc & RUNNING_COUNT_MASK) <= parallelism) {
816 >                if (!worked)
817 >                    eventSync(w);
818 >                return;
819 >            }
820 >            if (!(inactivate |= active) &&  // must inactivate to suspend
821 >                UNSAFE.compareAndSwapInt(this, workerCountsOffset,
822 >                                         wc, wc - ONE_RUNNING) &&
823 >                !w.suspendAsSpare())        // false if trimmed
824 >                return;
825 >        }
826 >    }
827 >
828 >    /**
829 >     * Tries to decrement running count, and if so, possibly creates
830 >     * or resumes compensating threads before blocking on task joinMe.
831 >     * This code is sprawled out with manual inlining to evade some
832 >     * JIT oddities.
833 >     *
834 >     * @param joinMe the task to join
835 >     * @return task status on exit
836 >     */
837 >    final int tryAwaitJoin(ForkJoinTask<?> joinMe) {
838 >        int cw = workerCounts; // read now to spoil CAS if counts change as ...
839 >        releaseWaiters();      // ... a byproduct of releaseWaiters
840 >        int stat = joinMe.status;
841 >        if (stat >= 0 && // inline variant of tryDecrementRunningCount
842 >            (cw & RUNNING_COUNT_MASK) > 0 &&
843 >            UNSAFE.compareAndSwapInt(this, workerCountsOffset,
844 >                                     cw, cw - ONE_RUNNING)) {
845 >            int pc = parallelism;
846 >            int scans = 0;  // to require confirming passes to add threads
847 >            outer: while ((workerCounts & RUNNING_COUNT_MASK) < pc) {
848 >                if ((stat = joinMe.status) < 0)
849 >                    break;
850 >                ForkJoinWorkerThread spare = null;
851 >                ForkJoinWorkerThread[] ws = workers;
852 >                int nws = ws.length;
853 >                for (int i = 0; i < nws; ++i) {
854 >                    ForkJoinWorkerThread w = ws[i];
855 >                    if (w != null && w.isSuspended()) {
856 >                        spare = w;
857 >                        break;
858                      }
859                  }
860 <            } finally {
861 <                lock.unlock();
860 >                if ((stat = joinMe.status) < 0) // recheck to narrow race
861 >                    break;
862 >                int wc = workerCounts;
863 >                int rc = wc & RUNNING_COUNT_MASK;
864 >                if (rc >= pc)
865 >                    break;
866 >                if (spare != null) {
867 >                    if (spare.tryUnsuspend()) {
868 >                        int c; // inline incrementRunningCount
869 >                        do {} while (!UNSAFE.compareAndSwapInt
870 >                                     (this, workerCountsOffset,
871 >                                      c = workerCounts, c + ONE_RUNNING));
872 >                        LockSupport.unpark(spare);
873 >                        break;
874 >                    }
875 >                    continue;
876 >                }
877 >                int tc = wc >>> TOTAL_COUNT_SHIFT;
878 >                int sc = tc - pc;
879 >                if (rc > 0) {
880 >                    int p = pc;
881 >                    int s = sc;
882 >                    while (s-- >= 0) { // try keeping 3/4 live
883 >                        if (rc > (p -= (p >>> 2) + 1))
884 >                            break outer;
885 >                    }
886 >                }
887 >                if (scans++ > sc && tc < MAX_THREADS &&
888 >                    UNSAFE.compareAndSwapInt(this, workerCountsOffset, wc,
889 >                                             wc + (ONE_RUNNING|ONE_TOTAL))) {
890 >                    addWorker();
891 >                    break;
892 >                }
893              }
894 +            if (stat >= 0)
895 +                stat = joinMe.internalAwaitDone();
896 +            int c; // inline incrementRunningCount
897 +            do {} while (!UNSAFE.compareAndSwapInt
898 +                         (this, workerCountsOffset,
899 +                          c = workerCounts, c + ONE_RUNNING));
900          }
901 +        return stat;
902      }
903  
904      /**
905 <     * Worker creation and startup for threads added via setParallelism.
905 >     * Same idea as (and mostly pasted from) tryAwaitJoin, but
906 >     * self-contained
907       */
908 <    private void createAndStartAddedWorkers() {
909 <        resumeAllSpares();  // Allow spares to convert to nonspare
910 <        int ps = parallelism;
911 <        ForkJoinWorkerThread[] ws = ensureWorkerArrayCapacity(ps);
912 <        int len = ws.length;
913 <        // Sweep through slots, to keep lowest indices most populated
914 <        int k = 0;
915 <        while (k < len) {
916 <            if (ws[k] != null) {
917 <                ++k;
517 <                continue;
518 <            }
519 <            int s = workerCounts;
520 <            int tc = totalCountOf(s);
521 <            int rc = runningCountOf(s);
522 <            if (rc >= ps || tc >= ps)
908 >    final void awaitBlocker(ManagedBlocker blocker)
909 >        throws InterruptedException {
910 >        for (;;) {
911 >            if (blocker.isReleasable())
912 >                return;
913 >            int cw = workerCounts;
914 >            releaseWaiters();
915 >            if ((cw & RUNNING_COUNT_MASK) > 0 &&
916 >                UNSAFE.compareAndSwapInt(this, workerCountsOffset,
917 >                                         cw, cw - ONE_RUNNING))
918                  break;
919 <            if (casWorkerCounts (s, workerCountsFor(tc+1, rc+1))) {
920 <                ForkJoinWorkerThread w = createWorker(k);
921 <                if (w != null) {
922 <                    ws[k++] = w;
923 <                    w.start();
919 >        }
920 >        boolean done = false;
921 >        int pc = parallelism;
922 >        int scans = 0;
923 >        outer: while ((workerCounts & RUNNING_COUNT_MASK) < pc) {
924 >            if (done = blocker.isReleasable())
925 >                break;
926 >            ForkJoinWorkerThread spare = null;
927 >            ForkJoinWorkerThread[] ws = workers;
928 >            int nws = ws.length;
929 >            for (int i = 0; i < nws; ++i) {
930 >                ForkJoinWorkerThread w = ws[i];
931 >                if (w != null && w.isSuspended()) {
932 >                    spare = w;
933 >                    break;
934                  }
935 <                else {
936 <                    updateWorkerCount(-1); // back out on failed creation
935 >            }
936 >            if (done = blocker.isReleasable())
937 >                break;
938 >            int wc = workerCounts;
939 >            int rc = wc & RUNNING_COUNT_MASK;
940 >            if (rc >= pc)
941 >                break;
942 >            if (spare != null) {
943 >                if (spare.tryUnsuspend()) {
944 >                    int c;
945 >                    do {} while (!UNSAFE.compareAndSwapInt
946 >                                 (this, workerCountsOffset,
947 >                                  c = workerCounts, c + ONE_RUNNING));
948 >                    LockSupport.unpark(spare);
949                      break;
950                  }
951 +                continue;
952 +            }
953 +            int tc = wc >>> TOTAL_COUNT_SHIFT;
954 +            int sc = tc - pc;
955 +            if (rc > 0) {
956 +                int p = pc;
957 +                int s = sc;
958 +                while (s-- >= 0) {
959 +                    if (rc > (p -= (p >>> 2) + 1))
960 +                        break outer;
961 +                }
962 +            }
963 +            if (scans++ > sc && tc < MAX_THREADS &&
964 +                UNSAFE.compareAndSwapInt(this, workerCountsOffset, wc,
965 +                                         wc + (ONE_RUNNING|ONE_TOTAL))) {
966 +                addWorker();
967 +                break;
968              }
969          }
970 +        try {
971 +            if (!done)
972 +                do {} while (!blocker.isReleasable() &&
973 +                             !blocker.block());
974 +        } finally {
975 +            int c;
976 +            do {} while (!UNSAFE.compareAndSwapInt
977 +                         (this, workerCountsOffset,
978 +                          c = workerCounts, c + ONE_RUNNING));
979 +        }
980 +    }  
981 +
982 +    /**
983 +     * Possibly initiates and/or completes termination.
984 +     *
985 +     * @param now if true, unconditionally terminate, else only
986 +     * if shutdown and empty queue and no active workers
987 +     * @return true if now terminating or terminated
988 +     */
989 +    private boolean tryTerminate(boolean now) {
990 +        if (now)
991 +            advanceRunLevel(SHUTDOWN); // ensure at least SHUTDOWN
992 +        else if (runState < SHUTDOWN ||
993 +                 !submissionQueue.isEmpty() ||
994 +                 (runState & ACTIVE_COUNT_MASK) != 0)
995 +            return false;
996 +
997 +        if (advanceRunLevel(TERMINATING))
998 +            startTerminating();
999 +
1000 +        // Finish now if all threads terminated; else in some subsequent call
1001 +        if ((workerCounts >>> TOTAL_COUNT_SHIFT) == 0) {
1002 +            advanceRunLevel(TERMINATED);
1003 +            termination.arrive();
1004 +        }
1005 +        return true;
1006 +    }
1007 +
1008 +    /**
1009 +     * Actions on transition to TERMINATING
1010 +     */
1011 +    private void startTerminating() {
1012 +        for (int i = 0; i < 2; ++i) { // twice to mop up newly created workers
1013 +            cancelSubmissions();
1014 +            shutdownWorkers();
1015 +            cancelWorkerTasks();
1016 +            signalEvent();
1017 +            interruptWorkers();
1018 +        }
1019 +    }
1020 +
1021 +    /**
1022 +     * Clear out and cancel submissions, ignoring exceptions
1023 +     */
1024 +    private void cancelSubmissions() {
1025 +        ForkJoinTask<?> task;
1026 +        while ((task = submissionQueue.poll()) != null) {
1027 +            try {
1028 +                task.cancel(false);
1029 +            } catch (Throwable ignore) {
1030 +            }
1031 +        }
1032 +    }
1033 +
1034 +    /**
1035 +     * Sets all worker run states to at least shutdown,
1036 +     * also resuming suspended workers
1037 +     */
1038 +    private void shutdownWorkers() {
1039 +        ForkJoinWorkerThread[] ws = workers;
1040 +        int nws = ws.length;
1041 +        for (int i = 0; i < nws; ++i) {
1042 +            ForkJoinWorkerThread w = ws[i];
1043 +            if (w != null)
1044 +                w.shutdown();
1045 +        }
1046 +    }
1047 +
1048 +    /**
1049 +     * Clears out and cancels all locally queued tasks
1050 +     */
1051 +    private void cancelWorkerTasks() {
1052 +        ForkJoinWorkerThread[] ws = workers;
1053 +        int nws = ws.length;
1054 +        for (int i = 0; i < nws; ++i) {
1055 +            ForkJoinWorkerThread w = ws[i];
1056 +            if (w != null)
1057 +                w.cancelTasks();
1058 +        }
1059 +    }
1060 +
1061 +    /**
1062 +     * Unsticks all workers blocked on joins etc
1063 +     */
1064 +    private void interruptWorkers() {
1065 +        ForkJoinWorkerThread[] ws = workers;
1066 +        int nws = ws.length;
1067 +        for (int i = 0; i < nws; ++i) {
1068 +            ForkJoinWorkerThread w = ws[i];
1069 +            if (w != null && !w.isTerminated()) {
1070 +                try {
1071 +                    w.interrupt();
1072 +                } catch (SecurityException ignore) {
1073 +                }
1074 +            }
1075 +        }
1076 +    }
1077 +
1078 +    // misc support for ForkJoinWorkerThread
1079 +
1080 +    /**
1081 +     * Returns pool number
1082 +     */
1083 +    final int getPoolNumber() {
1084 +        return poolNumber;
1085 +    }
1086 +
1087 +    /**
1088 +     * Accumulates steal count from a worker, clearing
1089 +     * the worker's value
1090 +     */
1091 +    final void accumulateStealCount(ForkJoinWorkerThread w) {
1092 +        int sc = w.stealCount;
1093 +        if (sc != 0) {
1094 +            long c;
1095 +            w.stealCount = 0;
1096 +            do {} while (!UNSAFE.compareAndSwapLong(this, stealCountOffset,
1097 +                                                    c = stealCount, c + sc));
1098 +        }
1099 +    }
1100 +
1101 +    /**
1102 +     * Returns the approximate (non-atomic) number of idle threads per
1103 +     * active thread.
1104 +     */
1105 +    final int idlePerActive() {
1106 +        int pc = parallelism; // use targeted parallelism, not rc
1107 +        int ac = runState;    // no mask -- artifically boosts during shutdown
1108 +        // Use exact results for small values, saturate past 4
1109 +        return pc <= ac? 0 : pc >>> 1 <= ac? 1 : pc >>> 2 <= ac? 3 : pc >>> 3;
1110 +    }
1111 +
1112 +    // Public and protected methods
1113 +
1114 +    // Constructors
1115 +
1116 +    /**
1117 +     * Creates a {@code ForkJoinPool} with parallelism equal to {@link
1118 +     * java.lang.Runtime#availableProcessors}, using the {@linkplain
1119 +     * #defaultForkJoinWorkerThreadFactory default thread factory},
1120 +     * no UncaughtExceptionHandler, and non-async LIFO processing mode.
1121 +     *
1122 +     * @throws SecurityException if a security manager exists and
1123 +     *         the caller is not permitted to modify threads
1124 +     *         because it does not hold {@link
1125 +     *         java.lang.RuntimePermission}{@code ("modifyThread")}
1126 +     */
1127 +    public ForkJoinPool() {
1128 +        this(Runtime.getRuntime().availableProcessors(),
1129 +             defaultForkJoinWorkerThreadFactory, null, false);
1130 +    }
1131 +
1132 +    /**
1133 +     * Creates a {@code ForkJoinPool} with the indicated parallelism
1134 +     * level, the {@linkplain
1135 +     * #defaultForkJoinWorkerThreadFactory default thread factory},
1136 +     * no UncaughtExceptionHandler, and non-async LIFO processing mode.
1137 +     *
1138 +     * @param parallelism the parallelism level
1139 +     * @throws IllegalArgumentException if parallelism less than or
1140 +     *         equal to zero, or greater than implementation limit
1141 +     * @throws SecurityException if a security manager exists and
1142 +     *         the caller is not permitted to modify threads
1143 +     *         because it does not hold {@link
1144 +     *         java.lang.RuntimePermission}{@code ("modifyThread")}
1145 +     */
1146 +    public ForkJoinPool(int parallelism) {
1147 +        this(parallelism, defaultForkJoinWorkerThreadFactory, null, false);
1148 +    }
1149 +
1150 +    /**
1151 +     * Creates a {@code ForkJoinPool} with the given parameters.
1152 +     *
1153 +     * @param parallelism the parallelism level. For default value,
1154 +     * use {@link java.lang.Runtime#availableProcessors}.
1155 +     * @param factory the factory for creating new threads. For default value,
1156 +     * use {@link #defaultForkJoinWorkerThreadFactory}.
1157 +     * @param handler the handler for internal worker threads that
1158 +     * terminate due to unrecoverable errors encountered while executing
1159 +     * tasks. For default value, use <code>null</code>.
1160 +     * @param asyncMode if true,
1161 +     * establishes local first-in-first-out scheduling mode for forked
1162 +     * tasks that are never joined. This mode may be more appropriate
1163 +     * than default locally stack-based mode in applications in which
1164 +     * worker threads only process event-style asynchronous tasks.
1165 +     * For default value, use <code>false</code>.
1166 +     * @throws IllegalArgumentException if parallelism less than or
1167 +     *         equal to zero, or greater than implementation limit
1168 +     * @throws NullPointerException if the factory is null
1169 +     * @throws SecurityException if a security manager exists and
1170 +     *         the caller is not permitted to modify threads
1171 +     *         because it does not hold {@link
1172 +     *         java.lang.RuntimePermission}{@code ("modifyThread")}
1173 +     */
1174 +    public ForkJoinPool(int parallelism,
1175 +                        ForkJoinWorkerThreadFactory factory,
1176 +                        Thread.UncaughtExceptionHandler handler,
1177 +                        boolean asyncMode) {
1178 +        checkPermission();
1179 +        if (factory == null)
1180 +            throw new NullPointerException();
1181 +        if (parallelism <= 0 || parallelism > MAX_THREADS)
1182 +            throw new IllegalArgumentException();
1183 +        this.parallelism = parallelism;
1184 +        this.factory = factory;
1185 +        this.ueh = handler;
1186 +        this.locallyFifo = asyncMode;
1187 +        int arraySize = initialArraySizeFor(parallelism);
1188 +        this.workers = new ForkJoinWorkerThread[arraySize];
1189 +        this.submissionQueue = new LinkedTransferQueue<ForkJoinTask<?>>();
1190 +        this.workerLock = new ReentrantLock();
1191 +        this.termination = new Phaser(1);
1192 +        this.poolNumber = poolNumberGenerator.incrementAndGet();
1193 +    }
1194 +
1195 +    /**
1196 +     * Returns initial power of two size for workers array.
1197 +     * @param pc the initial parallelism level
1198 +     */
1199 +    private static int initialArraySizeFor(int pc) {
1200 +        // See Hackers Delight, sec 3.2. We know MAX_THREADS < (1 >>> 16)
1201 +        int size = pc < MAX_THREADS ? pc + 1 : MAX_THREADS;
1202 +        size |= size >>> 1;
1203 +        size |= size >>> 2;
1204 +        size |= size >>> 4;
1205 +        size |= size >>> 8;
1206 +        return size + 1;
1207      }
1208  
1209      // Execution methods
# Line 541 | Line 1212 | public class ForkJoinPool extends Abstra
1212       * Common code for execute, invoke and submit
1213       */
1214      private <T> void doSubmit(ForkJoinTask<T> task) {
1215 <        if (isShutdown())
1215 >        if (task == null)
1216 >            throw new NullPointerException();
1217 >        if (runState >= SHUTDOWN)
1218              throw new RejectedExecutionException();
1219 <        if (workers == null)
1220 <            ensureWorkerInitialization();
1221 <        submissionQueue.offer(task);
1222 <        signalIdleWorkers();
1219 >        // Convert submissions to current pool into forks
1220 >        Thread t = Thread.currentThread();
1221 >        ForkJoinWorkerThread w;
1222 >        if ((t instanceof ForkJoinWorkerThread) &&
1223 >            (w = (ForkJoinWorkerThread) t).pool == this)
1224 >            w.pushTask(task);
1225 >        else {
1226 >            submissionQueue.offer(task);
1227 >            signalEvent();
1228 >            ensureEnoughTotalWorkers();
1229 >        }
1230      }
1231  
1232      /**
1233       * Performs the given task, returning its result upon completion.
1234 +     * If the caller is already engaged in a fork/join computation in
1235 +     * the current pool, this method is equivalent in effect to
1236 +     * {@link ForkJoinTask#invoke}.
1237       *
1238       * @param task the task
1239       * @return the task's result
1240 <     * @throws NullPointerException if task is null
1241 <     * @throws RejectedExecutionException if pool is shut down
1240 >     * @throws NullPointerException if the task is null
1241 >     * @throws RejectedExecutionException if the task cannot be
1242 >     *         scheduled for execution
1243       */
1244      public <T> T invoke(ForkJoinTask<T> task) {
1245          doSubmit(task);
# Line 564 | Line 1248 | public class ForkJoinPool extends Abstra
1248  
1249      /**
1250       * Arranges for (asynchronous) execution of the given task.
1251 +     * If the caller is already engaged in a fork/join computation in
1252 +     * the current pool, this method is equivalent in effect to
1253 +     * {@link ForkJoinTask#fork}.
1254       *
1255       * @param task the task
1256 <     * @throws NullPointerException if task is null
1257 <     * @throws RejectedExecutionException if pool is shut down
1256 >     * @throws NullPointerException if the task is null
1257 >     * @throws RejectedExecutionException if the task cannot be
1258 >     *         scheduled for execution
1259       */
1260 <    public <T> void execute(ForkJoinTask<T> task) {
1260 >    public void execute(ForkJoinTask<?> task) {
1261          doSubmit(task);
1262      }
1263  
1264      // AbstractExecutorService methods
1265  
1266 +    /**
1267 +     * @throws NullPointerException if the task is null
1268 +     * @throws RejectedExecutionException if the task cannot be
1269 +     *         scheduled for execution
1270 +     */
1271      public void execute(Runnable task) {
1272 <        doSubmit(new AdaptedRunnable<Void>(task, null));
1272 >        ForkJoinTask<?> job;
1273 >        if (task instanceof ForkJoinTask<?>) // avoid re-wrap
1274 >            job = (ForkJoinTask<?>) task;
1275 >        else
1276 >            job = ForkJoinTask.adapt(task, null);
1277 >        doSubmit(job);
1278      }
1279  
1280 +    /**
1281 +     * Submits a ForkJoinTask for execution.
1282 +     * If the caller is already engaged in a fork/join computation in
1283 +     * the current pool, this method is equivalent in effect to
1284 +     * {@link ForkJoinTask#fork}.
1285 +     *
1286 +     * @param task the task to submit
1287 +     * @return the task
1288 +     * @throws NullPointerException if the task is null
1289 +     * @throws RejectedExecutionException if the task cannot be
1290 +     *         scheduled for execution
1291 +     */
1292 +    public <T> ForkJoinTask<T> submit(ForkJoinTask<T> task) {
1293 +        doSubmit(task);
1294 +        return task;
1295 +    }
1296 +
1297 +    /**
1298 +     * @throws NullPointerException if the task is null
1299 +     * @throws RejectedExecutionException if the task cannot be
1300 +     *         scheduled for execution
1301 +     */
1302      public <T> ForkJoinTask<T> submit(Callable<T> task) {
1303 <        ForkJoinTask<T> job = new AdaptedCallable<T>(task);
1303 >        ForkJoinTask<T> job = ForkJoinTask.adapt(task);
1304          doSubmit(job);
1305          return job;
1306      }
1307  
1308 +    /**
1309 +     * @throws NullPointerException if the task is null
1310 +     * @throws RejectedExecutionException if the task cannot be
1311 +     *         scheduled for execution
1312 +     */
1313      public <T> ForkJoinTask<T> submit(Runnable task, T result) {
1314 <        ForkJoinTask<T> job = new AdaptedRunnable<T>(task, result);
1314 >        ForkJoinTask<T> job = ForkJoinTask.adapt(task, result);
1315          doSubmit(job);
1316          return job;
1317      }
1318  
1319 +    /**
1320 +     * @throws NullPointerException if the task is null
1321 +     * @throws RejectedExecutionException if the task cannot be
1322 +     *         scheduled for execution
1323 +     */
1324      public ForkJoinTask<?> submit(Runnable task) {
1325 <        ForkJoinTask<Void> job = new AdaptedRunnable<Void>(task, null);
1325 >        ForkJoinTask<?> job;
1326 >        if (task instanceof ForkJoinTask<?>) // avoid re-wrap
1327 >            job = (ForkJoinTask<?>) task;
1328 >        else
1329 >            job = ForkJoinTask.adapt(task, null);
1330          doSubmit(job);
1331          return job;
1332      }
1333  
1334      /**
1335 <     * Adaptor for Runnables. This implements RunnableFuture
1336 <     * to be compliant with AbstractExecutorService constraints.
1335 >     * @throws NullPointerException       {@inheritDoc}
1336 >     * @throws RejectedExecutionException {@inheritDoc}
1337       */
604    static final class AdaptedRunnable<T> extends ForkJoinTask<T>
605        implements RunnableFuture<T> {
606        final Runnable runnable;
607        final T resultOnCompletion;
608        T result;
609        AdaptedRunnable(Runnable runnable, T result) {
610            if (runnable == null) throw new NullPointerException();
611            this.runnable = runnable;
612            this.resultOnCompletion = result;
613        }
614        public T getRawResult() { return result; }
615        public void setRawResult(T v) { result = v; }
616        public boolean exec() {
617            runnable.run();
618            result = resultOnCompletion;
619            return true;
620        }
621        public void run() { invoke(); }
622        private static final long serialVersionUID = 5232453952276885070L;
623    }
624
625    /**
626     * Adaptor for Callables
627     */
628    static final class AdaptedCallable<T> extends ForkJoinTask<T>
629        implements RunnableFuture<T> {
630        final Callable<T> callable;
631        T result;
632        AdaptedCallable(Callable<T> callable) {
633            if (callable == null) throw new NullPointerException();
634            this.callable = callable;
635        }
636        public T getRawResult() { return result; }
637        public void setRawResult(T v) { result = v; }
638        public boolean exec() {
639            try {
640                result = callable.call();
641                return true;
642            } catch (Error err) {
643                throw err;
644            } catch (RuntimeException rex) {
645                throw rex;
646            } catch (Exception ex) {
647                throw new RuntimeException(ex);
648            }
649        }
650        public void run() { invoke(); }
651        private static final long serialVersionUID = 2838392045355241008L;
652    }
653
1338      public <T> List<Future<T>> invokeAll(Collection<? extends Callable<T>> tasks) {
1339 <        ArrayList<ForkJoinTask<T>> ts =
1339 >        ArrayList<ForkJoinTask<T>> forkJoinTasks =
1340              new ArrayList<ForkJoinTask<T>>(tasks.size());
1341 <        for (Callable<T> c : tasks)
1342 <            ts.add(new AdaptedCallable<T>(c));
1343 <        invoke(new InvokeAll<T>(ts));
1344 <        return (List<Future<T>>) (List) ts;
1341 >        for (Callable<T> task : tasks)
1342 >            forkJoinTasks.add(ForkJoinTask.adapt(task));
1343 >        invoke(new InvokeAll<T>(forkJoinTasks));
1344 >
1345 >        @SuppressWarnings({"unchecked", "rawtypes"})
1346 >            List<Future<T>> futures = (List<Future<T>>) (List) forkJoinTasks;
1347 >        return futures;
1348      }
1349  
1350      static final class InvokeAll<T> extends RecursiveAction {
# Line 670 | Line 1357 | public class ForkJoinPool extends Abstra
1357          private static final long serialVersionUID = -7914297376763021607L;
1358      }
1359  
673    // Configuration and status settings and queries
674
1360      /**
1361       * Returns the factory used for constructing new workers.
1362       *
# Line 685 | Line 1370 | public class ForkJoinPool extends Abstra
1370       * Returns the handler for internal worker threads that terminate
1371       * due to unrecoverable errors encountered while executing tasks.
1372       *
1373 <     * @return the handler, or null if none
1373 >     * @return the handler, or {@code null} if none
1374       */
1375      public Thread.UncaughtExceptionHandler getUncaughtExceptionHandler() {
1376 <        Thread.UncaughtExceptionHandler h;
692 <        final ReentrantLock lock = this.workerLock;
693 <        lock.lock();
694 <        try {
695 <            h = ueh;
696 <        } finally {
697 <            lock.unlock();
698 <        }
699 <        return h;
1376 >        return ueh;
1377      }
1378  
1379      /**
1380 <     * Sets the handler for internal worker threads that terminate due
704 <     * to unrecoverable errors encountered while executing tasks.
705 <     * Unless set, the current default or ThreadGroup handler is used
706 <     * as handler.
1380 >     * Returns the targeted parallelism level of this pool.
1381       *
1382 <     * @param h the new handler
709 <     * @return the old handler, or null if none
710 <     * @throws SecurityException if a security manager exists and
711 <     *         the caller is not permitted to modify threads
712 <     *         because it does not hold {@link
713 <     *         java.lang.RuntimePermission}{@code ("modifyThread")}
714 <     */
715 <    public Thread.UncaughtExceptionHandler
716 <        setUncaughtExceptionHandler(Thread.UncaughtExceptionHandler h) {
717 <        checkPermission();
718 <        Thread.UncaughtExceptionHandler old = null;
719 <        final ReentrantLock lock = this.workerLock;
720 <        lock.lock();
721 <        try {
722 <            old = ueh;
723 <            ueh = h;
724 <            ForkJoinWorkerThread[] ws = workers;
725 <            if (ws != null) {
726 <                for (int i = 0; i < ws.length; ++i) {
727 <                    ForkJoinWorkerThread w = ws[i];
728 <                    if (w != null)
729 <                        w.setUncaughtExceptionHandler(h);
730 <                }
731 <            }
732 <        } finally {
733 <            lock.unlock();
734 <        }
735 <        return old;
736 <    }
737 <
738 <
739 <    /**
740 <     * Sets the target parallelism level of this pool.
741 <     *
742 <     * @param parallelism the target parallelism
743 <     * @throws IllegalArgumentException if parallelism less than or
744 <     * equal to zero or greater than maximum size bounds
745 <     * @throws SecurityException if a security manager exists and
746 <     *         the caller is not permitted to modify threads
747 <     *         because it does not hold {@link
748 <     *         java.lang.RuntimePermission}{@code ("modifyThread")}
749 <     */
750 <    public void setParallelism(int parallelism) {
751 <        checkPermission();
752 <        if (parallelism <= 0 || parallelism > maxPoolSize)
753 <            throw new IllegalArgumentException();
754 <        final ReentrantLock lock = this.workerLock;
755 <        lock.lock();
756 <        try {
757 <            if (!isTerminating()) {
758 <                int p = this.parallelism;
759 <                this.parallelism = parallelism;
760 <                if (parallelism > p)
761 <                    createAndStartAddedWorkers();
762 <                else
763 <                    trimSpares();
764 <            }
765 <        } finally {
766 <            lock.unlock();
767 <        }
768 <        signalIdleWorkers();
769 <    }
770 <
771 <    /**
772 <     * Returns the targeted number of worker threads in this pool.
773 <     *
774 <     * @return the targeted number of worker threads in this pool
1382 >     * @return the targeted parallelism level of this pool
1383       */
1384      public int getParallelism() {
1385          return parallelism;
# Line 780 | Line 1388 | public class ForkJoinPool extends Abstra
1388      /**
1389       * Returns the number of worker threads that have started but not
1390       * yet terminated.  This result returned by this method may differ
1391 <     * from {@code getParallelism} when threads are created to
1391 >     * from {@link #getParallelism} when threads are created to
1392       * maintain parallelism when others are cooperatively blocked.
1393       *
1394       * @return the number of worker threads
1395       */
1396      public int getPoolSize() {
1397 <        return totalCountOf(workerCounts);
790 <    }
791 <
792 <    /**
793 <     * Returns the maximum number of threads allowed to exist in the
794 <     * pool, even if there are insufficient unblocked running threads.
795 <     *
796 <     * @return the maximum
797 <     */
798 <    public int getMaximumPoolSize() {
799 <        return maxPoolSize;
1397 >        return workerCounts >>> TOTAL_COUNT_SHIFT;
1398      }
1399  
1400      /**
1401 <     * Sets the maximum number of threads allowed to exist in the
804 <     * pool, even if there are insufficient unblocked running threads.
805 <     * Setting this value has no effect on current pool size. It
806 <     * controls construction of new threads.
807 <     *
808 <     * @throws IllegalArgumentException if negative or greater then
809 <     * internal implementation limit
810 <     */
811 <    public void setMaximumPoolSize(int newMax) {
812 <        if (newMax < 0 || newMax > MAX_THREADS)
813 <            throw new IllegalArgumentException();
814 <        maxPoolSize = newMax;
815 <    }
816 <
817 <
818 <    /**
819 <     * Returns true if this pool dynamically maintains its target
820 <     * parallelism level. If false, new threads are added only to
821 <     * avoid possible starvation.
822 <     * This setting is by default true.
823 <     *
824 <     * @return true if maintains parallelism
825 <     */
826 <    public boolean getMaintainsParallelism() {
827 <        return maintainsParallelism;
828 <    }
829 <
830 <    /**
831 <     * Sets whether this pool dynamically maintains its target
832 <     * parallelism level. If false, new threads are added only to
833 <     * avoid possible starvation.
834 <     *
835 <     * @param enable true to maintains parallelism
836 <     */
837 <    public void setMaintainsParallelism(boolean enable) {
838 <        maintainsParallelism = enable;
839 <    }
840 <
841 <    /**
842 <     * Establishes local first-in-first-out scheduling mode for forked
843 <     * tasks that are never joined. This mode may be more appropriate
844 <     * than default locally stack-based mode in applications in which
845 <     * worker threads only process asynchronous tasks.  This method is
846 <     * designed to be invoked only when pool is quiescent, and
847 <     * typically only before any tasks are submitted. The effects of
848 <     * invocations at other times may be unpredictable.
849 <     *
850 <     * @param async if true, use locally FIFO scheduling
851 <     * @return the previous mode
852 <     */
853 <    public boolean setAsyncMode(boolean async) {
854 <        boolean oldMode = locallyFifo;
855 <        locallyFifo = async;
856 <        ForkJoinWorkerThread[] ws = workers;
857 <        if (ws != null) {
858 <            for (int i = 0; i < ws.length; ++i) {
859 <                ForkJoinWorkerThread t = ws[i];
860 <                if (t != null)
861 <                    t.setAsyncMode(async);
862 <            }
863 <        }
864 <        return oldMode;
865 <    }
866 <
867 <    /**
868 <     * Returns true if this pool uses local first-in-first-out
1401 >     * Returns {@code true} if this pool uses local first-in-first-out
1402       * scheduling mode for forked tasks that are never joined.
1403       *
1404 <     * @return true if this pool uses async mode
1404 >     * @return {@code true} if this pool uses async mode
1405       */
1406      public boolean getAsyncMode() {
1407          return locallyFifo;
# Line 877 | Line 1410 | public class ForkJoinPool extends Abstra
1410      /**
1411       * Returns an estimate of the number of worker threads that are
1412       * not blocked waiting to join tasks or for other managed
1413 <     * synchronization.
1413 >     * synchronization. This method may overestimate the
1414 >     * number of running threads.
1415       *
1416       * @return the number of worker threads
1417       */
1418      public int getRunningThreadCount() {
1419 <        return runningCountOf(workerCounts);
1419 >        return workerCounts & RUNNING_COUNT_MASK;
1420      }
1421  
1422      /**
# Line 893 | Line 1427 | public class ForkJoinPool extends Abstra
1427       * @return the number of active threads
1428       */
1429      public int getActiveThreadCount() {
1430 <        return activeCountOf(runControl);
897 <    }
898 <
899 <    /**
900 <     * Returns an estimate of the number of threads that are currently
901 <     * idle waiting for tasks. This method may underestimate the
902 <     * number of idle threads.
903 <     *
904 <     * @return the number of idle threads
905 <     */
906 <    final int getIdleThreadCount() {
907 <        int c = runningCountOf(workerCounts) - activeCountOf(runControl);
908 <        return (c <= 0) ? 0 : c;
1430 >        return runState & ACTIVE_COUNT_MASK;
1431      }
1432  
1433      /**
1434 <     * Returns true if all worker threads are currently idle. An idle
1435 <     * worker is one that cannot obtain a task to execute because none
1436 <     * are available to steal from other threads, and there are no
1437 <     * pending submissions to the pool. This method is conservative;
1438 <     * it might not return true immediately upon idleness of all
1439 <     * threads, but will eventually become true if threads remain
1440 <     * inactive.
1434 >     * Returns {@code true} if all worker threads are currently idle.
1435 >     * An idle worker is one that cannot obtain a task to execute
1436 >     * because none are available to steal from other threads, and
1437 >     * there are no pending submissions to the pool. This method is
1438 >     * conservative; it might not return {@code true} immediately upon
1439 >     * idleness of all threads, but will eventually become true if
1440 >     * threads remain inactive.
1441       *
1442 <     * @return true if all threads are currently idle
1442 >     * @return {@code true} if all threads are currently idle
1443       */
1444      public boolean isQuiescent() {
1445 <        return activeCountOf(runControl) == 0;
1445 >        return (runState & ACTIVE_COUNT_MASK) == 0;
1446      }
1447  
1448      /**
# Line 935 | Line 1457 | public class ForkJoinPool extends Abstra
1457       * @return the number of steals
1458       */
1459      public long getStealCount() {
1460 <        return stealCount.get();
939 <    }
940 <
941 <    /**
942 <     * Accumulates steal count from a worker.
943 <     * Call only when worker known to be idle.
944 <     */
945 <    private void updateStealCount(ForkJoinWorkerThread w) {
946 <        int sc = w.getAndClearStealCount();
947 <        if (sc != 0)
948 <            stealCount.addAndGet(sc);
1460 >        return stealCount;
1461      }
1462  
1463      /**
# Line 961 | Line 1473 | public class ForkJoinPool extends Abstra
1473      public long getQueuedTaskCount() {
1474          long count = 0;
1475          ForkJoinWorkerThread[] ws = workers;
1476 <        if (ws != null) {
1477 <            for (int i = 0; i < ws.length; ++i) {
1478 <                ForkJoinWorkerThread t = ws[i];
1479 <                if (t != null)
1480 <                    count += t.getQueueSize();
969 <            }
1476 >        int nws = ws.length;
1477 >        for (int i = 0; i < nws; ++i) {
1478 >            ForkJoinWorkerThread w = ws[i];
1479 >            if (w != null)
1480 >                count += w.getQueueSize();
1481          }
1482          return count;
1483      }
1484  
1485      /**
1486 <     * Returns an estimate of the number tasks submitted to this pool
1487 <     * that have not yet begun executing. This method takes time
1486 >     * Returns an estimate of the number of tasks submitted to this
1487 >     * pool that have not yet begun executing.  This method takes time
1488       * proportional to the number of submissions.
1489       *
1490       * @return the number of queued submissions
# Line 983 | Line 1494 | public class ForkJoinPool extends Abstra
1494      }
1495  
1496      /**
1497 <     * Returns true if there are any tasks submitted to this pool
1498 <     * that have not yet begun executing.
1497 >     * Returns {@code true} if there are any tasks submitted to this
1498 >     * pool that have not yet begun executing.
1499       *
1500       * @return {@code true} if there are any queued submissions
1501       */
# Line 997 | Line 1508 | public class ForkJoinPool extends Abstra
1508       * available.  This method may be useful in extensions to this
1509       * class that re-assign work in systems with multiple pools.
1510       *
1511 <     * @return the next submission, or null if none
1511 >     * @return the next submission, or {@code null} if none
1512       */
1513      protected ForkJoinTask<?> pollSubmission() {
1514          return submissionQueue.poll();
# Line 1007 | Line 1518 | public class ForkJoinPool extends Abstra
1518       * Removes all available unexecuted submitted and forked tasks
1519       * from scheduling queues and adds them to the given collection,
1520       * without altering their execution status. These may include
1521 <     * artificially generated or wrapped tasks. This method is designed
1522 <     * to be invoked only when the pool is known to be
1521 >     * artificially generated or wrapped tasks. This method is
1522 >     * designed to be invoked only when the pool is known to be
1523       * quiescent. Invocations at other times may not remove all
1524       * tasks. A failure encountered while attempting to add elements
1525       * to collection {@code c} may result in elements being in
# Line 1020 | Line 1531 | public class ForkJoinPool extends Abstra
1531       * @param c the collection to transfer elements into
1532       * @return the number of elements transferred
1533       */
1534 <    protected int drainTasksTo(Collection<ForkJoinTask<?>> c) {
1534 >    protected int drainTasksTo(Collection<? super ForkJoinTask<?>> c) {
1535          int n = submissionQueue.drainTo(c);
1536          ForkJoinWorkerThread[] ws = workers;
1537 <        if (ws != null) {
1538 <            for (int i = 0; i < ws.length; ++i) {
1539 <                ForkJoinWorkerThread w = ws[i];
1540 <                if (w != null)
1541 <                    n += w.drainTasksTo(c);
1031 <            }
1537 >        int nws = ws.length;
1538 >        for (int i = 0; i < nws; ++i) {
1539 >            ForkJoinWorkerThread w = ws[i];
1540 >            if (w != null)
1541 >                n += w.drainTasksTo(c);
1542          }
1543          return n;
1544      }
1545  
1546      /**
1547 +     * Returns count of total parks by existing workers.
1548 +     * Used during development only since not meaningful to users.
1549 +     */
1550 +    private int collectParkCount() {
1551 +        int count = 0;
1552 +        ForkJoinWorkerThread[] ws = workers;
1553 +        int nws = ws.length;
1554 +        for (int i = 0; i < nws; ++i) {
1555 +            ForkJoinWorkerThread w = ws[i];
1556 +            if (w != null)
1557 +                count += w.parkCount;
1558 +        }
1559 +        return count;
1560 +    }
1561 +
1562 +    /**
1563       * Returns a string identifying this pool, as well as its state,
1564       * including indications of run state, parallelism level, and
1565       * worker and task counts.
# Line 1041 | Line 1567 | public class ForkJoinPool extends Abstra
1567       * @return a string identifying this pool, as well as its state
1568       */
1569      public String toString() {
1044        int ps = parallelism;
1045        int wc = workerCounts;
1046        int rc = runControl;
1570          long st = getStealCount();
1571          long qt = getQueuedTaskCount();
1572          long qs = getQueuedSubmissionCount();
1573 +        int wc = workerCounts;
1574 +        int tc = wc >>> TOTAL_COUNT_SHIFT;
1575 +        int rc = wc & RUNNING_COUNT_MASK;
1576 +        int pc = parallelism;
1577 +        int rs = runState;
1578 +        int ac = rs & ACTIVE_COUNT_MASK;
1579 +        //        int pk = collectParkCount();
1580          return super.toString() +
1581 <            "[" + runStateToString(runStateOf(rc)) +
1582 <            ", parallelism = " + ps +
1583 <            ", size = " + totalCountOf(wc) +
1584 <            ", active = " + activeCountOf(rc) +
1585 <            ", running = " + runningCountOf(wc) +
1581 >            "[" + runLevelToString(rs) +
1582 >            ", parallelism = " + pc +
1583 >            ", size = " + tc +
1584 >            ", active = " + ac +
1585 >            ", running = " + rc +
1586              ", steals = " + st +
1587              ", tasks = " + qt +
1588              ", submissions = " + qs +
1589 +            //            ", parks = " + pk +
1590              "]";
1591      }
1592  
1593 <    private static String runStateToString(int rs) {
1594 <        switch(rs) {
1595 <        case RUNNING: return "Running";
1596 <        case SHUTDOWN: return "Shutting down";
1597 <        case TERMINATING: return "Terminating";
1067 <        case TERMINATED: return "Terminated";
1068 <        default: throw new Error("Unknown run state");
1069 <        }
1593 >    private static String runLevelToString(int s) {
1594 >        return ((s & TERMINATED) != 0 ? "Terminated" :
1595 >                ((s & TERMINATING) != 0 ? "Terminating" :
1596 >                 ((s & SHUTDOWN) != 0 ? "Shutting down" :
1597 >                  "Running")));
1598      }
1599  
1072    // lifecycle control
1073
1600      /**
1601       * Initiates an orderly shutdown in which previously submitted
1602       * tasks are executed, but no new tasks will be accepted.
# Line 1085 | Line 1611 | public class ForkJoinPool extends Abstra
1611       */
1612      public void shutdown() {
1613          checkPermission();
1614 <        transitionRunStateTo(SHUTDOWN);
1615 <        if (canTerminateOnShutdown(runControl))
1090 <            terminateOnShutdown();
1614 >        advanceRunLevel(SHUTDOWN);
1615 >        tryTerminate(false);
1616      }
1617  
1618      /**
1619 <     * Attempts to stop all actively executing tasks, and cancels all
1620 <     * waiting tasks.  Tasks that are in the process of being
1621 <     * submitted or executed concurrently during the course of this
1622 <     * method may or may not be rejected. Unlike some other executors,
1623 <     * this method cancels rather than collects non-executed tasks
1624 <     * upon termination, so always returns an empty list. However, you
1625 <     * can use method {@code drainTasksTo} before invoking this
1626 <     * method to transfer unexecuted tasks to another collection.
1619 >     * Attempts to cancel and/or stop all tasks, and reject all
1620 >     * subsequently submitted tasks.  Tasks that are in the process of
1621 >     * being submitted or executed concurrently during the course of
1622 >     * this method may or may not be rejected. This method cancels
1623 >     * both existing and unexecuted tasks, in order to permit
1624 >     * termination in the presence of task dependencies. So the method
1625 >     * always returns an empty list (unlike the case for some other
1626 >     * Executors).
1627       *
1628       * @return an empty list
1629       * @throws SecurityException if a security manager exists and
# Line 1108 | Line 1633 | public class ForkJoinPool extends Abstra
1633       */
1634      public List<Runnable> shutdownNow() {
1635          checkPermission();
1636 <        terminate();
1636 >        tryTerminate(true);
1637          return Collections.emptyList();
1638      }
1639  
# Line 1118 | Line 1643 | public class ForkJoinPool extends Abstra
1643       * @return {@code true} if all tasks have completed following shut down
1644       */
1645      public boolean isTerminated() {
1646 <        return runStateOf(runControl) == TERMINATED;
1646 >        return runState >= TERMINATED;
1647      }
1648  
1649      /**
1650       * Returns {@code true} if the process of termination has
1651 <     * commenced but possibly not yet completed.
1651 >     * commenced but not yet completed.  This method may be useful for
1652 >     * debugging. A return of {@code true} reported a sufficient
1653 >     * period after shutdown may indicate that submitted tasks have
1654 >     * ignored or suppressed interruption, causing this executor not
1655 >     * to properly terminate.
1656       *
1657 <     * @return {@code true} if terminating
1657 >     * @return {@code true} if terminating but not yet terminated
1658       */
1659      public boolean isTerminating() {
1660 <        return runStateOf(runControl) >= TERMINATING;
1660 >        return (runState & (TERMINATING|TERMINATED)) == TERMINATING;
1661      }
1662  
1663      /**
# Line 1137 | Line 1666 | public class ForkJoinPool extends Abstra
1666       * @return {@code true} if this pool has been shut down
1667       */
1668      public boolean isShutdown() {
1669 <        return runStateOf(runControl) >= SHUTDOWN;
1669 >        return runState >= SHUTDOWN;
1670      }
1671  
1672      /**
# Line 1153 | Line 1682 | public class ForkJoinPool extends Abstra
1682       */
1683      public boolean awaitTermination(long timeout, TimeUnit unit)
1684          throws InterruptedException {
1156        long nanos = unit.toNanos(timeout);
1157        final ReentrantLock lock = this.workerLock;
1158        lock.lock();
1159        try {
1160            for (;;) {
1161                if (isTerminated())
1162                    return true;
1163                if (nanos <= 0)
1164                    return false;
1165                nanos = termination.awaitNanos(nanos);
1166            }
1167        } finally {
1168            lock.unlock();
1169        }
1170    }
1171
1172    // Shutdown and termination support
1173
1174    /**
1175     * Callback from terminating worker. Nulls out the corresponding
1176     * workers slot, and if terminating, tries to terminate; else
1177     * tries to shrink workers array.
1178     *
1179     * @param w the worker
1180     */
1181    final void workerTerminated(ForkJoinWorkerThread w) {
1182        updateStealCount(w);
1183        updateWorkerCount(-1);
1184        final ReentrantLock lock = this.workerLock;
1185        lock.lock();
1685          try {
1686 <            ForkJoinWorkerThread[] ws = workers;
1687 <            if (ws != null) {
1189 <                int idx = w.poolIndex;
1190 <                if (idx >= 0 && idx < ws.length && ws[idx] == w)
1191 <                    ws[idx] = null;
1192 <                if (totalCountOf(workerCounts) == 0) {
1193 <                    terminate(); // no-op if already terminating
1194 <                    transitionRunStateTo(TERMINATED);
1195 <                    termination.signalAll();
1196 <                }
1197 <                else if (!isTerminating()) {
1198 <                    tryShrinkWorkerArray();
1199 <                    tryResumeSpare(true); // allow replacement
1200 <                }
1201 <            }
1202 <        } finally {
1203 <            lock.unlock();
1204 <        }
1205 <        signalIdleWorkers();
1206 <    }
1207 <
1208 <    /**
1209 <     * Initiates termination.
1210 <     */
1211 <    private void terminate() {
1212 <        if (transitionRunStateTo(TERMINATING)) {
1213 <            stopAllWorkers();
1214 <            resumeAllSpares();
1215 <            signalIdleWorkers();
1216 <            cancelQueuedSubmissions();
1217 <            cancelQueuedWorkerTasks();
1218 <            interruptUnterminatedWorkers();
1219 <            signalIdleWorkers(); // resignal after interrupt
1220 <        }
1221 <    }
1222 <
1223 <    /**
1224 <     * Possibly terminates when on shutdown state.
1225 <     */
1226 <    private void terminateOnShutdown() {
1227 <        if (!hasQueuedSubmissions() && canTerminateOnShutdown(runControl))
1228 <            terminate();
1229 <    }
1230 <
1231 <    /**
1232 <     * Clears out and cancels submissions.
1233 <     */
1234 <    private void cancelQueuedSubmissions() {
1235 <        ForkJoinTask<?> task;
1236 <        while ((task = pollSubmission()) != null)
1237 <            task.cancel(false);
1238 <    }
1239 <
1240 <    /**
1241 <     * Cleans out worker queues.
1242 <     */
1243 <    private void cancelQueuedWorkerTasks() {
1244 <        final ReentrantLock lock = this.workerLock;
1245 <        lock.lock();
1246 <        try {
1247 <            ForkJoinWorkerThread[] ws = workers;
1248 <            if (ws != null) {
1249 <                for (int i = 0; i < ws.length; ++i) {
1250 <                    ForkJoinWorkerThread t = ws[i];
1251 <                    if (t != null)
1252 <                        t.cancelTasks();
1253 <                }
1254 <            }
1255 <        } finally {
1256 <            lock.unlock();
1257 <        }
1258 <    }
1259 <
1260 <    /**
1261 <     * Sets each worker's status to terminating. Requires lock to avoid
1262 <     * conflicts with add/remove.
1263 <     */
1264 <    private void stopAllWorkers() {
1265 <        final ReentrantLock lock = this.workerLock;
1266 <        lock.lock();
1267 <        try {
1268 <            ForkJoinWorkerThread[] ws = workers;
1269 <            if (ws != null) {
1270 <                for (int i = 0; i < ws.length; ++i) {
1271 <                    ForkJoinWorkerThread t = ws[i];
1272 <                    if (t != null)
1273 <                        t.shutdownNow();
1274 <                }
1275 <            }
1276 <        } finally {
1277 <            lock.unlock();
1278 <        }
1279 <    }
1280 <
1281 <    /**
1282 <     * Interrupts all unterminated workers.  This is not required for
1283 <     * sake of internal control, but may help unstick user code during
1284 <     * shutdown.
1285 <     */
1286 <    private void interruptUnterminatedWorkers() {
1287 <        final ReentrantLock lock = this.workerLock;
1288 <        lock.lock();
1289 <        try {
1290 <            ForkJoinWorkerThread[] ws = workers;
1291 <            if (ws != null) {
1292 <                for (int i = 0; i < ws.length; ++i) {
1293 <                    ForkJoinWorkerThread t = ws[i];
1294 <                    if (t != null && !t.isTerminated()) {
1295 <                        try {
1296 <                            t.interrupt();
1297 <                        } catch (SecurityException ignore) {
1298 <                        }
1299 <                    }
1300 <                }
1301 <            }
1302 <        } finally {
1303 <            lock.unlock();
1304 <        }
1305 <    }
1306 <
1307 <
1308 <    /*
1309 <     * Nodes for event barrier to manage idle threads.  Queue nodes
1310 <     * are basic Treiber stack nodes, also used for spare stack.
1311 <     *
1312 <     * The event barrier has an event count and a wait queue (actually
1313 <     * a Treiber stack).  Workers are enabled to look for work when
1314 <     * the eventCount is incremented. If they fail to find work, they
1315 <     * may wait for next count. Upon release, threads help others wake
1316 <     * up.
1317 <     *
1318 <     * Synchronization events occur only in enough contexts to
1319 <     * maintain overall liveness:
1320 <     *
1321 <     *   - Submission of a new task to the pool
1322 <     *   - Resizes or other changes to the workers array
1323 <     *   - pool termination
1324 <     *   - A worker pushing a task on an empty queue
1325 <     *
1326 <     * The case of pushing a task occurs often enough, and is heavy
1327 <     * enough compared to simple stack pushes, to require special
1328 <     * handling: Method signalWork returns without advancing count if
1329 <     * the queue appears to be empty.  This would ordinarily result in
1330 <     * races causing some queued waiters not to be woken up. To avoid
1331 <     * this, the first worker enqueued in method sync (see
1332 <     * syncIsReleasable) rescans for tasks after being enqueued, and
1333 <     * helps signal if any are found. This works well because the
1334 <     * worker has nothing better to do, and so might as well help
1335 <     * alleviate the overhead and contention on the threads actually
1336 <     * doing work.  Also, since event counts increments on task
1337 <     * availability exist to maintain liveness (rather than to force
1338 <     * refreshes etc), it is OK for callers to exit early if
1339 <     * contending with another signaller.
1340 <     */
1341 <    static final class WaitQueueNode {
1342 <        WaitQueueNode next; // only written before enqueued
1343 <        volatile ForkJoinWorkerThread thread; // nulled to cancel wait
1344 <        final long count; // unused for spare stack
1345 <
1346 <        WaitQueueNode(long c, ForkJoinWorkerThread w) {
1347 <            count = c;
1348 <            thread = w;
1349 <        }
1350 <
1351 <        /**
1352 <         * Wakes up waiter, returning false if known to already
1353 <         */
1354 <        boolean signal() {
1355 <            ForkJoinWorkerThread t = thread;
1356 <            if (t == null)
1357 <                return false;
1358 <            thread = null;
1359 <            LockSupport.unpark(t);
1360 <            return true;
1361 <        }
1362 <
1363 <        /**
1364 <         * Awaits release on sync.
1365 <         */
1366 <        void awaitSyncRelease(ForkJoinPool p) {
1367 <            while (thread != null && !p.syncIsReleasable(this))
1368 <                LockSupport.park(this);
1369 <        }
1370 <
1371 <        /**
1372 <         * Awaits resumption as spare.
1373 <         */
1374 <        void awaitSpareRelease() {
1375 <            while (thread != null) {
1376 <                if (!Thread.interrupted())
1377 <                    LockSupport.park(this);
1378 <            }
1379 <        }
1380 <    }
1381 <
1382 <    /**
1383 <     * Ensures that no thread is waiting for count to advance from the
1384 <     * current value of eventCount read on entry to this method, by
1385 <     * releasing waiting threads if necessary.
1386 <     *
1387 <     * @return the count
1388 <     */
1389 <    final long ensureSync() {
1390 <        long c = eventCount;
1391 <        WaitQueueNode q;
1392 <        while ((q = syncStack) != null && q.count < c) {
1393 <            if (casBarrierStack(q, null)) {
1394 <                do {
1395 <                    q.signal();
1396 <                } while ((q = q.next) != null);
1397 <                break;
1398 <            }
1399 <        }
1400 <        return c;
1401 <    }
1402 <
1403 <    /**
1404 <     * Increments event count and releases waiting threads.
1405 <     */
1406 <    private void signalIdleWorkers() {
1407 <        long c;
1408 <        do {} while (!casEventCount(c = eventCount, c+1));
1409 <        ensureSync();
1410 <    }
1411 <
1412 <    /**
1413 <     * Signals threads waiting to poll a task. Because method sync
1414 <     * rechecks availability, it is OK to only proceed if queue
1415 <     * appears to be non-empty, and OK to skip under contention to
1416 <     * increment count (since some other thread succeeded).
1417 <     */
1418 <    final void signalWork() {
1419 <        long c;
1420 <        WaitQueueNode q;
1421 <        if (syncStack != null &&
1422 <            casEventCount(c = eventCount, c+1) &&
1423 <            (((q = syncStack) != null && q.count <= c) &&
1424 <             (!casBarrierStack(q, q.next) || !q.signal())))
1425 <            ensureSync();
1426 <    }
1427 <
1428 <    /**
1429 <     * Waits until event count advances from last value held by
1430 <     * caller, or if excess threads, caller is resumed as spare, or
1431 <     * caller or pool is terminating. Updates caller's event on exit.
1432 <     *
1433 <     * @param w the calling worker thread
1434 <     */
1435 <    final void sync(ForkJoinWorkerThread w) {
1436 <        updateStealCount(w); // Transfer w's count while it is idle
1437 <
1438 <        while (!w.isShutdown() && !isTerminating() && !suspendIfSpare(w)) {
1439 <            long prev = w.lastEventCount;
1440 <            WaitQueueNode node = null;
1441 <            WaitQueueNode h;
1442 <            while (eventCount == prev &&
1443 <                   ((h = syncStack) == null || h.count == prev)) {
1444 <                if (node == null)
1445 <                    node = new WaitQueueNode(prev, w);
1446 <                if (casBarrierStack(node.next = h, node)) {
1447 <                    node.awaitSyncRelease(this);
1448 <                    break;
1449 <                }
1450 <            }
1451 <            long ec = ensureSync();
1452 <            if (ec != prev) {
1453 <                w.lastEventCount = ec;
1454 <                break;
1455 <            }
1456 <        }
1457 <    }
1458 <
1459 <    /**
1460 <     * Returns true if worker waiting on sync can proceed:
1461 <     *  - on signal (thread == null)
1462 <     *  - on event count advance (winning race to notify vs signaller)
1463 <     *  - on interrupt
1464 <     *  - if the first queued node, we find work available
1465 <     * If node was not signalled and event count not advanced on exit,
1466 <     * then we also help advance event count.
1467 <     *
1468 <     * @return true if node can be released
1469 <     */
1470 <    final boolean syncIsReleasable(WaitQueueNode node) {
1471 <        long prev = node.count;
1472 <        if (!Thread.interrupted() && node.thread != null &&
1473 <            (node.next != null ||
1474 <             !ForkJoinWorkerThread.hasQueuedTasks(workers)) &&
1475 <            eventCount == prev)
1686 >            return termination.awaitAdvanceInterruptibly(0, timeout, unit) > 0;
1687 >        } catch(TimeoutException ex) {
1688              return false;
1477        if (node.thread != null) {
1478            node.thread = null;
1479            long ec = eventCount;
1480            if (prev <= ec) // help signal
1481                casEventCount(ec, ec+1);
1482        }
1483        return true;
1484    }
1485
1486    /**
1487     * Returns true if a new sync event occurred since last call to
1488     * sync or this method, if so, updating caller's count.
1489     */
1490    final boolean hasNewSyncEvent(ForkJoinWorkerThread w) {
1491        long lc = w.lastEventCount;
1492        long ec = ensureSync();
1493        if (ec == lc)
1494            return false;
1495        w.lastEventCount = ec;
1496        return true;
1497    }
1498
1499    //  Parallelism maintenance
1500
1501    /**
1502     * Decrements running count; if too low, adds spare.
1503     *
1504     * Conceptually, all we need to do here is add or resume a
1505     * spare thread when one is about to block (and remove or
1506     * suspend it later when unblocked -- see suspendIfSpare).
1507     * However, implementing this idea requires coping with
1508     * several problems: we have imperfect information about the
1509     * states of threads. Some count updates can and usually do
1510     * lag run state changes, despite arrangements to keep them
1511     * accurate (for example, when possible, updating counts
1512     * before signalling or resuming), especially when running on
1513     * dynamic JVMs that don't optimize the infrequent paths that
1514     * update counts. Generating too many threads can make these
1515     * problems become worse, because excess threads are more
1516     * likely to be context-switched with others, slowing them all
1517     * down, especially if there is no work available, so all are
1518     * busy scanning or idling.  Also, excess spare threads can
1519     * only be suspended or removed when they are idle, not
1520     * immediately when they aren't needed. So adding threads will
1521     * raise parallelism level for longer than necessary.  Also,
1522     * FJ applications often encounter highly transient peaks when
1523     * many threads are blocked joining, but for less time than it
1524     * takes to create or resume spares.
1525     *
1526     * @param joinMe if non-null, return early if done
1527     * @param maintainParallelism if true, try to stay within
1528     * target counts, else create only to avoid starvation
1529     * @return true if joinMe known to be done
1530     */
1531    final boolean preJoin(ForkJoinTask<?> joinMe,
1532                          boolean maintainParallelism) {
1533        maintainParallelism &= maintainsParallelism; // overrride
1534        boolean dec = false;  // true when running count decremented
1535        while (spareStack == null || !tryResumeSpare(dec)) {
1536            int counts = workerCounts;
1537            if (dec || (dec = casWorkerCounts(counts, --counts))) {
1538                // CAS cheat
1539                if (!needSpare(counts, maintainParallelism))
1540                    break;
1541                if (joinMe.status < 0)
1542                    return true;
1543                if (tryAddSpare(counts))
1544                    break;
1545            }
1546        }
1547        return false;
1548    }
1549
1550    /**
1551     * Same idea as preJoin
1552     */
1553    final boolean preBlock(ManagedBlocker blocker,
1554                           boolean maintainParallelism) {
1555        maintainParallelism &= maintainsParallelism;
1556        boolean dec = false;
1557        while (spareStack == null || !tryResumeSpare(dec)) {
1558            int counts = workerCounts;
1559            if (dec || (dec = casWorkerCounts(counts, --counts))) {
1560                if (!needSpare(counts, maintainParallelism))
1561                    break;
1562                if (blocker.isReleasable())
1563                    return true;
1564                if (tryAddSpare(counts))
1565                    break;
1566            }
1567        }
1568        return false;
1569    }
1570
1571    /**
1572     * Returns true if a spare thread appears to be needed.  If
1573     * maintaining parallelism, returns true when the deficit in
1574     * running threads is more than the surplus of total threads, and
1575     * there is apparently some work to do.  This self-limiting rule
1576     * means that the more threads that have already been added, the
1577     * less parallelism we will tolerate before adding another.
1578     *
1579     * @param counts current worker counts
1580     * @param maintainParallelism try to maintain parallelism
1581     */
1582    private boolean needSpare(int counts, boolean maintainParallelism) {
1583        int ps = parallelism;
1584        int rc = runningCountOf(counts);
1585        int tc = totalCountOf(counts);
1586        int runningDeficit = ps - rc;
1587        int totalSurplus = tc - ps;
1588        return (tc < maxPoolSize &&
1589                (rc == 0 || totalSurplus < 0 ||
1590                 (maintainParallelism &&
1591                  runningDeficit > totalSurplus &&
1592                  ForkJoinWorkerThread.hasQueuedTasks(workers))));
1593    }
1594
1595    /**
1596     * Adds a spare worker if lock available and no more than the
1597     * expected numbers of threads exist.
1598     *
1599     * @return true if successful
1600     */
1601    private boolean tryAddSpare(int expectedCounts) {
1602        final ReentrantLock lock = this.workerLock;
1603        int expectedRunning = runningCountOf(expectedCounts);
1604        int expectedTotal = totalCountOf(expectedCounts);
1605        boolean success = false;
1606        boolean locked = false;
1607        // confirm counts while locking; CAS after obtaining lock
1608        try {
1609            for (;;) {
1610                int s = workerCounts;
1611                int tc = totalCountOf(s);
1612                int rc = runningCountOf(s);
1613                if (rc > expectedRunning || tc > expectedTotal)
1614                    break;
1615                if (!locked && !(locked = lock.tryLock()))
1616                    break;
1617                if (casWorkerCounts(s, workerCountsFor(tc+1, rc+1))) {
1618                    createAndStartSpare(tc);
1619                    success = true;
1620                    break;
1621                }
1622            }
1623        } finally {
1624            if (locked)
1625                lock.unlock();
1626        }
1627        return success;
1628    }
1629
1630    /**
1631     * Adds the kth spare worker. On entry, pool counts are already
1632     * adjusted to reflect addition.
1633     */
1634    private void createAndStartSpare(int k) {
1635        ForkJoinWorkerThread w = null;
1636        ForkJoinWorkerThread[] ws = ensureWorkerArrayCapacity(k + 1);
1637        int len = ws.length;
1638        // Probably, we can place at slot k. If not, find empty slot
1639        if (k < len && ws[k] != null) {
1640            for (k = 0; k < len && ws[k] != null; ++k)
1641                ;
1642        }
1643        if (k < len && !isTerminating() && (w = createWorker(k)) != null) {
1644            ws[k] = w;
1645            w.start();
1646        }
1647        else
1648            updateWorkerCount(-1); // adjust on failure
1649        signalIdleWorkers();
1650    }
1651
1652    /**
1653     * Suspends calling thread w if there are excess threads.  Called
1654     * only from sync.  Spares are enqueued in a Treiber stack using
1655     * the same WaitQueueNodes as barriers.  They are resumed mainly
1656     * in preJoin, but are also woken on pool events that require all
1657     * threads to check run state.
1658     *
1659     * @param w the caller
1660     */
1661    private boolean suspendIfSpare(ForkJoinWorkerThread w) {
1662        WaitQueueNode node = null;
1663        int s;
1664        while (parallelism < runningCountOf(s = workerCounts)) {
1665            if (node == null)
1666                node = new WaitQueueNode(0, w);
1667            if (casWorkerCounts(s, s-1)) { // representation-dependent
1668                // push onto stack
1669                do {} while (!casSpareStack(node.next = spareStack, node));
1670                // block until released by resumeSpare
1671                node.awaitSpareRelease();
1672                return true;
1673            }
1674        }
1675        return false;
1676    }
1677
1678    /**
1679     * Tries to pop and resume a spare thread.
1680     *
1681     * @param updateCount if true, increment running count on success
1682     * @return true if successful
1683     */
1684    private boolean tryResumeSpare(boolean updateCount) {
1685        WaitQueueNode q;
1686        while ((q = spareStack) != null) {
1687            if (casSpareStack(q, q.next)) {
1688                if (updateCount)
1689                    updateRunningCount(1);
1690                q.signal();
1691                return true;
1692            }
1693        }
1694        return false;
1695    }
1696
1697    /**
1698     * Pops and resumes all spare threads. Same idea as ensureSync.
1699     *
1700     * @return true if any spares released
1701     */
1702    private boolean resumeAllSpares() {
1703        WaitQueueNode q;
1704        while ( (q = spareStack) != null) {
1705            if (casSpareStack(q, null)) {
1706                do {
1707                    updateRunningCount(1);
1708                    q.signal();
1709                } while ((q = q.next) != null);
1710                return true;
1711            }
1712        }
1713        return false;
1714    }
1715
1716    /**
1717     * Pops and shuts down excessive spare threads. Call only while
1718     * holding lock. This is not guaranteed to eliminate all excess
1719     * threads, only those suspended as spares, which are the ones
1720     * unlikely to be needed in the future.
1721     */
1722    private void trimSpares() {
1723        int surplus = totalCountOf(workerCounts) - parallelism;
1724        WaitQueueNode q;
1725        while (surplus > 0 && (q = spareStack) != null) {
1726            if (casSpareStack(q, null)) {
1727                do {
1728                    updateRunningCount(1);
1729                    ForkJoinWorkerThread w = q.thread;
1730                    if (w != null && surplus > 0 &&
1731                        runningCountOf(workerCounts) > 0 && w.shutdown())
1732                        --surplus;
1733                    q.signal();
1734                } while ((q = q.next) != null);
1735            }
1689          }
1690      }
1691  
1692      /**
1693       * Interface for extending managed parallelism for tasks running
1694 <     * in ForkJoinPools. A ManagedBlocker provides two methods.
1695 <     * Method {@code isReleasable} must return true if blocking is not
1696 <     * necessary. Method {@code block} blocks the current thread if
1697 <     * necessary (perhaps internally invoking {@code isReleasable}
1698 <     * before actually blocking.).
1694 >     * in {@link ForkJoinPool}s.
1695 >     *
1696 >     * <p>A {@code ManagedBlocker} provides two methods.
1697 >     * Method {@code isReleasable} must return {@code true} if
1698 >     * blocking is not necessary. Method {@code block} blocks the
1699 >     * current thread if necessary (perhaps internally invoking
1700 >     * {@code isReleasable} before actually blocking).
1701       *
1702       * <p>For example, here is a ManagedBlocker based on a
1703       * ReentrantLock:
# Line 1766 | Line 1721 | public class ForkJoinPool extends Abstra
1721           * Possibly blocks the current thread, for example waiting for
1722           * a lock or condition.
1723           *
1724 <         * @return true if no additional blocking is necessary (i.e.,
1725 <         * if isReleasable would return true)
1724 >         * @return {@code true} if no additional blocking is necessary
1725 >         * (i.e., if isReleasable would return true)
1726           * @throws InterruptedException if interrupted while waiting
1727           * (the method is not required to do so, but is allowed to)
1728           */
1729          boolean block() throws InterruptedException;
1730  
1731          /**
1732 <         * Returns true if blocking is unnecessary.
1732 >         * Returns {@code true} if blocking is unnecessary.
1733           */
1734          boolean isReleasable();
1735      }
1736  
1737      /**
1738       * Blocks in accord with the given blocker.  If the current thread
1739 <     * is a ForkJoinWorkerThread, this method possibly arranges for a
1740 <     * spare thread to be activated if necessary to ensure parallelism
1741 <     * while the current thread is blocked.  If
1787 <     * {@code maintainParallelism} is true and the pool supports
1788 <     * it ({@link #getMaintainsParallelism}), this method attempts to
1789 <     * maintain the pool's nominal parallelism. Otherwise it activates
1790 <     * a thread only if necessary to avoid complete starvation. This
1791 <     * option may be preferable when blockages use timeouts, or are
1792 <     * almost always brief.
1739 >     * is a {@link ForkJoinWorkerThread}, this method possibly
1740 >     * arranges for a spare thread to be activated if necessary to
1741 >     * ensure sufficient parallelism while the current thread is blocked.
1742       *
1743 <     * <p> If the caller is not a ForkJoinTask, this method is behaviorally
1744 <     * equivalent to
1743 >     * <p>If the caller is not a {@link ForkJoinTask}, this method is
1744 >     * behaviorally equivalent to
1745       *  <pre> {@code
1746       * while (!blocker.isReleasable())
1747       *   if (blocker.block())
1748       *     return;
1749       * }</pre>
1750 <     * If the caller is a ForkJoinTask, then the pool may first
1751 <     * be expanded to ensure parallelism, and later adjusted.
1750 >     *
1751 >     * If the caller is a {@code ForkJoinTask}, then the pool may
1752 >     * first be expanded to ensure parallelism, and later adjusted.
1753       *
1754       * @param blocker the blocker
1805     * @param maintainParallelism if true and supported by this pool,
1806     * attempt to maintain the pool's nominal parallelism; otherwise
1807     * activate a thread only if necessary to avoid complete
1808     * starvation.
1755       * @throws InterruptedException if blocker.block did so
1756       */
1757 <    public static void managedBlock(ManagedBlocker blocker,
1812 <                                    boolean maintainParallelism)
1757 >    public static void managedBlock(ManagedBlocker blocker)
1758          throws InterruptedException {
1759          Thread t = Thread.currentThread();
1760 <        ForkJoinPool pool = ((t instanceof ForkJoinWorkerThread) ?
1761 <                             ((ForkJoinWorkerThread) t).pool : null);
1762 <        if (!blocker.isReleasable()) {
1763 <            try {
1819 <                if (pool == null ||
1820 <                    !pool.preBlock(blocker, maintainParallelism))
1821 <                    awaitBlocker(blocker);
1822 <            } finally {
1823 <                if (pool != null)
1824 <                    pool.updateRunningCount(1);
1825 <            }
1760 >        if (t instanceof ForkJoinWorkerThread)
1761 >            ((ForkJoinWorkerThread) t).pool.awaitBlocker(blocker);
1762 >        else {
1763 >            do {} while (!blocker.isReleasable() && !blocker.block());
1764          }
1765      }
1766  
1767 <    private static void awaitBlocker(ManagedBlocker blocker)
1768 <        throws InterruptedException {
1769 <        do {} while (!blocker.isReleasable() && !blocker.block());
1832 <    }
1833 <
1834 <    // AbstractExecutorService overrides
1767 >    // AbstractExecutorService overrides.  These rely on undocumented
1768 >    // fact that ForkJoinTask.adapt returns ForkJoinTasks that also
1769 >    // implement RunnableFuture.
1770  
1771      protected <T> RunnableFuture<T> newTaskFor(Runnable runnable, T value) {
1772 <        return new AdaptedRunnable(runnable, value);
1772 >        return (RunnableFuture<T>) ForkJoinTask.adapt(runnable, value);
1773      }
1774  
1775      protected <T> RunnableFuture<T> newTaskFor(Callable<T> callable) {
1776 <        return new AdaptedCallable(callable);
1776 >        return (RunnableFuture<T>) ForkJoinTask.adapt(callable);
1777      }
1778  
1779 +    // Unsafe mechanics
1780 +
1781 +    private static final sun.misc.Unsafe UNSAFE = getUnsafe();
1782 +    private static final long workerCountsOffset =
1783 +        objectFieldOffset("workerCounts", ForkJoinPool.class);
1784 +    private static final long runStateOffset =
1785 +        objectFieldOffset("runState", ForkJoinPool.class);
1786 +    private static final long eventCountOffset =
1787 +        objectFieldOffset("eventCount", ForkJoinPool.class);
1788 +    private static final long eventWaitersOffset =
1789 +        objectFieldOffset("eventWaiters",ForkJoinPool.class);
1790 +    private static final long stealCountOffset =
1791 +        objectFieldOffset("stealCount",ForkJoinPool.class);
1792 +
1793 +    private static long objectFieldOffset(String field, Class<?> klazz) {
1794 +        try {
1795 +            return UNSAFE.objectFieldOffset(klazz.getDeclaredField(field));
1796 +        } catch (NoSuchFieldException e) {
1797 +            // Convert Exception to corresponding Error
1798 +            NoSuchFieldError error = new NoSuchFieldError(field);
1799 +            error.initCause(e);
1800 +            throw error;
1801 +        }
1802 +    }
1803  
1804 <    // Temporary Unsafe mechanics for preliminary release
1805 <    private static Unsafe getUnsafe() throws Throwable {
1804 >    /**
1805 >     * Returns a sun.misc.Unsafe.  Suitable for use in a 3rd party package.
1806 >     * Replace with a simple call to Unsafe.getUnsafe when integrating
1807 >     * into a jdk.
1808 >     *
1809 >     * @return a sun.misc.Unsafe
1810 >     */
1811 >    private static sun.misc.Unsafe getUnsafe() {
1812          try {
1813 <            return Unsafe.getUnsafe();
1813 >            return sun.misc.Unsafe.getUnsafe();
1814          } catch (SecurityException se) {
1815              try {
1816                  return java.security.AccessController.doPrivileged
1817 <                    (new java.security.PrivilegedExceptionAction<Unsafe>() {
1818 <                        public Unsafe run() throws Exception {
1819 <                            return getUnsafePrivileged();
1817 >                    (new java.security
1818 >                     .PrivilegedExceptionAction<sun.misc.Unsafe>() {
1819 >                        public sun.misc.Unsafe run() throws Exception {
1820 >                            java.lang.reflect.Field f = sun.misc
1821 >                                .Unsafe.class.getDeclaredField("theUnsafe");
1822 >                            f.setAccessible(true);
1823 >                            return (sun.misc.Unsafe) f.get(null);
1824                          }});
1825              } catch (java.security.PrivilegedActionException e) {
1826 <                throw e.getCause();
1826 >                throw new RuntimeException("Could not initialize intrinsics",
1827 >                                           e.getCause());
1828              }
1829          }
1830      }
1861
1862    private static Unsafe getUnsafePrivileged()
1863            throws NoSuchFieldException, IllegalAccessException {
1864        Field f = Unsafe.class.getDeclaredField("theUnsafe");
1865        f.setAccessible(true);
1866        return (Unsafe) f.get(null);
1867    }
1868
1869    private static long fieldOffset(String fieldName)
1870            throws NoSuchFieldException {
1871        return UNSAFE.objectFieldOffset
1872            (ForkJoinPool.class.getDeclaredField(fieldName));
1873    }
1874
1875    static final Unsafe UNSAFE;
1876    static final long eventCountOffset;
1877    static final long workerCountsOffset;
1878    static final long runControlOffset;
1879    static final long syncStackOffset;
1880    static final long spareStackOffset;
1881
1882    static {
1883        try {
1884            UNSAFE = getUnsafe();
1885            eventCountOffset = fieldOffset("eventCount");
1886            workerCountsOffset = fieldOffset("workerCounts");
1887            runControlOffset = fieldOffset("runControl");
1888            syncStackOffset = fieldOffset("syncStack");
1889            spareStackOffset = fieldOffset("spareStack");
1890        } catch (Throwable e) {
1891            throw new RuntimeException("Could not initialize intrinsics", e);
1892        }
1893    }
1894
1895    private boolean casEventCount(long cmp, long val) {
1896        return UNSAFE.compareAndSwapLong(this, eventCountOffset, cmp, val);
1897    }
1898    private boolean casWorkerCounts(int cmp, int val) {
1899        return UNSAFE.compareAndSwapInt(this, workerCountsOffset, cmp, val);
1900    }
1901    private boolean casRunControl(int cmp, int val) {
1902        return UNSAFE.compareAndSwapInt(this, runControlOffset, cmp, val);
1903    }
1904    private boolean casSpareStack(WaitQueueNode cmp, WaitQueueNode val) {
1905        return UNSAFE.compareAndSwapObject(this, spareStackOffset, cmp, val);
1906    }
1907    private boolean casBarrierStack(WaitQueueNode cmp, WaitQueueNode val) {
1908        return UNSAFE.compareAndSwapObject(this, syncStackOffset, cmp, val);
1909    }
1831   }

Diff Legend

Removed lines
+ Added lines
< Changed lines
> Changed lines