ViewVC Help
View File | Revision Log | Show Annotations | Download File | Root Listing
root/jsr166/jsr166/src/main/java/util/concurrent/ThreadPoolExecutor.java
Revision: 1.120
Committed: Wed Aug 8 16:46:16 2007 UTC (16 years, 10 months ago) by jsr166
Branch: MAIN
Changes since 1.119: +44 -10 lines
Log Message:
6576792: ThreadPoolExecutor methods leak interrupts when run in pool threads

File Contents

# Content
1 /*
2 * Written by Doug Lea with assistance from members of JCP JSR-166
3 * Expert Group and released to the public domain, as explained at
4 * http://creativecommons.org/licenses/publicdomain
5 */
6
7 package java.util.concurrent;
8 import java.util.concurrent.locks.*;
9 import java.util.concurrent.atomic.*;
10 import java.util.*;
11
12 /**
13 * An {@link ExecutorService} that executes each submitted task using
14 * one of possibly several pooled threads, normally configured
15 * using {@link Executors} factory methods.
16 *
17 * <p>Thread pools address two different problems: they usually
18 * provide improved performance when executing large numbers of
19 * asynchronous tasks, due to reduced per-task invocation overhead,
20 * and they provide a means of bounding and managing the resources,
21 * including threads, consumed when executing a collection of tasks.
22 * Each {@code ThreadPoolExecutor} also maintains some basic
23 * statistics, such as the number of completed tasks.
24 *
25 * <p>To be useful across a wide range of contexts, this class
26 * provides many adjustable parameters and extensibility
27 * hooks. However, programmers are urged to use the more convenient
28 * {@link Executors} factory methods {@link
29 * Executors#newCachedThreadPool} (unbounded thread pool, with
30 * automatic thread reclamation), {@link Executors#newFixedThreadPool}
31 * (fixed size thread pool) and {@link
32 * Executors#newSingleThreadExecutor} (single background thread), that
33 * preconfigure settings for the most common usage
34 * scenarios. Otherwise, use the following guide when manually
35 * configuring and tuning this class:
36 *
37 * <dl>
38 *
39 * <dt>Core and maximum pool sizes</dt>
40 *
41 * <dd>A {@code ThreadPoolExecutor} will automatically adjust the
42 * pool size (see {@link #getPoolSize})
43 * according to the bounds set by
44 * corePoolSize (see {@link #getCorePoolSize}) and
45 * maximumPoolSize (see {@link #getMaximumPoolSize}).
46 *
47 * When a new task is submitted in method {@link #execute}, and fewer
48 * than corePoolSize threads are running, a new thread is created to
49 * handle the request, even if other worker threads are idle. If
50 * there are more than corePoolSize but less than maximumPoolSize
51 * threads running, a new thread will be created only if the queue is
52 * full. By setting corePoolSize and maximumPoolSize the same, you
53 * create a fixed-size thread pool. By setting maximumPoolSize to an
54 * essentially unbounded value such as {@code Integer.MAX_VALUE}, you
55 * allow the pool to accommodate an arbitrary number of concurrent
56 * tasks. Most typically, core and maximum pool sizes are set only
57 * upon construction, but they may also be changed dynamically using
58 * {@link #setCorePoolSize} and {@link #setMaximumPoolSize}. </dd>
59 *
60 * <dt>On-demand construction</dt>
61 *
62 * <dd> By default, even core threads are initially created and
63 * started only when new tasks arrive, but this can be overridden
64 * dynamically using method {@link #prestartCoreThread} or {@link
65 * #prestartAllCoreThreads}. You probably want to prestart threads if
66 * you construct the pool with a non-empty queue. </dd>
67 *
68 * <dt>Creating new threads</dt>
69 *
70 * <dd>New threads are created using a {@link ThreadFactory}. If not
71 * otherwise specified, a {@link Executors#defaultThreadFactory} is
72 * used, that creates threads to all be in the same {@link
73 * ThreadGroup} and with the same {@code NORM_PRIORITY} priority and
74 * non-daemon status. By supplying a different ThreadFactory, you can
75 * alter the thread's name, thread group, priority, daemon status,
76 * etc. If a {@code ThreadFactory} fails to create a thread when asked
77 * by returning null from {@code newThread}, the executor will
78 * continue, but might not be able to execute any tasks. Threads
79 * should possess the "modifyThread" {@code RuntimePermission}. If
80 * worker threads or other threads using the pool do not possess this
81 * permission, service may be degraded: configuration changes may not
82 * take effect in a timely manner, and a shutdown pool may remain in a
83 * state in which termination is possible but not completed.</dd>
84 *
85 * <dt>Keep-alive times</dt>
86 *
87 * <dd>If the pool currently has more than corePoolSize threads,
88 * excess threads will be terminated if they have been idle for more
89 * than the keepAliveTime (see {@link #getKeepAliveTime}). This
90 * provides a means of reducing resource consumption when the pool is
91 * not being actively used. If the pool becomes more active later, new
92 * threads will be constructed. This parameter can also be changed
93 * dynamically using method {@link #setKeepAliveTime}. Using a value
94 * of {@code Long.MAX_VALUE} {@link TimeUnit#NANOSECONDS} effectively
95 * disables idle threads from ever terminating prior to shut down. By
96 * default, the keep-alive policy applies only when there are more
97 * than corePoolSizeThreads. But method {@link
98 * #allowCoreThreadTimeOut(boolean)} can be used to apply this
99 * time-out policy to core threads as well, so long as the
100 * keepAliveTime value is non-zero. </dd>
101 *
102 * <dt>Queuing</dt>
103 *
104 * <dd>Any {@link BlockingQueue} may be used to transfer and hold
105 * submitted tasks. The use of this queue interacts with pool sizing:
106 *
107 * <ul>
108 *
109 * <li> If fewer than corePoolSize threads are running, the Executor
110 * always prefers adding a new thread
111 * rather than queuing.</li>
112 *
113 * <li> If corePoolSize or more threads are running, the Executor
114 * always prefers queuing a request rather than adding a new
115 * thread.</li>
116 *
117 * <li> If a request cannot be queued, a new thread is created unless
118 * this would exceed maximumPoolSize, in which case, the task will be
119 * rejected.</li>
120 *
121 * </ul>
122 *
123 * There are three general strategies for queuing:
124 * <ol>
125 *
126 * <li> <em> Direct handoffs.</em> A good default choice for a work
127 * queue is a {@link SynchronousQueue} that hands off tasks to threads
128 * without otherwise holding them. Here, an attempt to queue a task
129 * will fail if no threads are immediately available to run it, so a
130 * new thread will be constructed. This policy avoids lockups when
131 * handling sets of requests that might have internal dependencies.
132 * Direct handoffs generally require unbounded maximumPoolSizes to
133 * avoid rejection of new submitted tasks. This in turn admits the
134 * possibility of unbounded thread growth when commands continue to
135 * arrive on average faster than they can be processed. </li>
136 *
137 * <li><em> Unbounded queues.</em> Using an unbounded queue (for
138 * example a {@link LinkedBlockingQueue} without a predefined
139 * capacity) will cause new tasks to wait in the queue when all
140 * corePoolSize threads are busy. Thus, no more than corePoolSize
141 * threads will ever be created. (And the value of the maximumPoolSize
142 * therefore doesn't have any effect.) This may be appropriate when
143 * each task is completely independent of others, so tasks cannot
144 * affect each others execution; for example, in a web page server.
145 * While this style of queuing can be useful in smoothing out
146 * transient bursts of requests, it admits the possibility of
147 * unbounded work queue growth when commands continue to arrive on
148 * average faster than they can be processed. </li>
149 *
150 * <li><em>Bounded queues.</em> A bounded queue (for example, an
151 * {@link ArrayBlockingQueue}) helps prevent resource exhaustion when
152 * used with finite maximumPoolSizes, but can be more difficult to
153 * tune and control. Queue sizes and maximum pool sizes may be traded
154 * off for each other: Using large queues and small pools minimizes
155 * CPU usage, OS resources, and context-switching overhead, but can
156 * lead to artificially low throughput. If tasks frequently block (for
157 * example if they are I/O bound), a system may be able to schedule
158 * time for more threads than you otherwise allow. Use of small queues
159 * generally requires larger pool sizes, which keeps CPUs busier but
160 * may encounter unacceptable scheduling overhead, which also
161 * decreases throughput. </li>
162 *
163 * </ol>
164 *
165 * </dd>
166 *
167 * <dt>Rejected tasks</dt>
168 *
169 * <dd> New tasks submitted in method {@link #execute} will be
170 * <em>rejected</em> when the Executor has been shut down, and also
171 * when the Executor uses finite bounds for both maximum threads and
172 * work queue capacity, and is saturated. In either case, the {@code
173 * execute} method invokes the {@link
174 * RejectedExecutionHandler#rejectedExecution} method of its {@link
175 * RejectedExecutionHandler}. Four predefined handler policies are
176 * provided:
177 *
178 * <ol>
179 *
180 * <li> In the default {@link ThreadPoolExecutor.AbortPolicy}, the
181 * handler throws a runtime {@link RejectedExecutionException} upon
182 * rejection. </li>
183 *
184 * <li> In {@link ThreadPoolExecutor.CallerRunsPolicy}, the thread
185 * that invokes {@code execute} itself runs the task. This provides a
186 * simple feedback control mechanism that will slow down the rate that
187 * new tasks are submitted. </li>
188 *
189 * <li> In {@link ThreadPoolExecutor.DiscardPolicy}, a task that
190 * cannot be executed is simply dropped. </li>
191 *
192 * <li>In {@link ThreadPoolExecutor.DiscardOldestPolicy}, if the
193 * executor is not shut down, the task at the head of the work queue
194 * is dropped, and then execution is retried (which can fail again,
195 * causing this to be repeated.) </li>
196 *
197 * </ol>
198 *
199 * It is possible to define and use other kinds of {@link
200 * RejectedExecutionHandler} classes. Doing so requires some care
201 * especially when policies are designed to work only under particular
202 * capacity or queuing policies. </dd>
203 *
204 * <dt>Hook methods</dt>
205 *
206 * <dd>This class provides {@code protected} overridable {@link
207 * #beforeExecute} and {@link #afterExecute} methods that are called
208 * before and after execution of each task. These can be used to
209 * manipulate the execution environment; for example, reinitializing
210 * ThreadLocals, gathering statistics, or adding log
211 * entries. Additionally, method {@link #terminated} can be overridden
212 * to perform any special processing that needs to be done once the
213 * Executor has fully terminated.
214 *
215 * <p>If hook or callback methods throw exceptions, internal worker
216 * threads may in turn fail and abruptly terminate.</dd>
217 *
218 * <dt>Queue maintenance</dt>
219 *
220 * <dd> Method {@link #getQueue} allows access to the work queue for
221 * purposes of monitoring and debugging. Use of this method for any
222 * other purpose is strongly discouraged. Two supplied methods,
223 * {@link #remove} and {@link #purge} are available to assist in
224 * storage reclamation when large numbers of queued tasks become
225 * cancelled.</dd>
226 *
227 * <dt>Finalization</dt>
228 *
229 * <dd> A pool that is no longer referenced in a program <em>AND</em>
230 * has no remaining threads will be {@code shutdown} automatically. If
231 * you would like to ensure that unreferenced pools are reclaimed even
232 * if users forget to call {@link #shutdown}, then you must arrange
233 * that unused threads eventually die, by setting appropriate
234 * keep-alive times, using a lower bound of zero core threads and/or
235 * setting {@link #allowCoreThreadTimeOut(boolean)}. </dd>
236 *
237 * </dl>
238 *
239 * <p> <b>Extension example</b>. Most extensions of this class
240 * override one or more of the protected hook methods. For example,
241 * here is a subclass that adds a simple pause/resume feature:
242 *
243 * <pre> {@code
244 * class PausableThreadPoolExecutor extends ThreadPoolExecutor {
245 * private boolean isPaused;
246 * private ReentrantLock pauseLock = new ReentrantLock();
247 * private Condition unpaused = pauseLock.newCondition();
248 *
249 * public PausableThreadPoolExecutor(...) { super(...); }
250 *
251 * protected void beforeExecute(Thread t, Runnable r) {
252 * super.beforeExecute(t, r);
253 * pauseLock.lock();
254 * try {
255 * while (isPaused) unpaused.await();
256 * } catch (InterruptedException ie) {
257 * t.interrupt();
258 * } finally {
259 * pauseLock.unlock();
260 * }
261 * }
262 *
263 * public void pause() {
264 * pauseLock.lock();
265 * try {
266 * isPaused = true;
267 * } finally {
268 * pauseLock.unlock();
269 * }
270 * }
271 *
272 * public void resume() {
273 * pauseLock.lock();
274 * try {
275 * isPaused = false;
276 * unpaused.signalAll();
277 * } finally {
278 * pauseLock.unlock();
279 * }
280 * }
281 * }}</pre>
282 *
283 * @since 1.5
284 * @author Doug Lea
285 */
286 public class ThreadPoolExecutor extends AbstractExecutorService {
287 /**
288 * The main pool control state, ctl, is an atomic integer packing
289 * two conceptual fields
290 * workerCount, indicating the effective number of threads
291 * runState, indicating whether running, shutting down etc
292 *
293 * In order to pack them into one int, we limit workerCount to
294 * (2^29)-1 (about 500 million) threads rather than (2^31)-1 (2
295 * billion) otherwise representable. If this is ever an issue in
296 * the future, the variable can be changed to be an AtomicLong,
297 * and the shift/mask constants below adjusted. But until the need
298 * arises, this code is a bit faster and simpler using an int.
299 *
300 * The workerCount is the number of workers that have been
301 * permitted to start and not permitted to stop. The value may be
302 * transiently different from the actual number of live threads,
303 * for example when a ThreadFactory fails to create a thread when
304 * asked, and when exiting threads are still performing
305 * bookkeeping before terminating. The user-visible pool size is
306 * reported as the current size of the workers set.
307 *
308 * The runState provides the main lifecyle control, taking on values:
309 *
310 * RUNNING: Accept new tasks and process queued tasks
311 * SHUTDOWN: Don't accept new tasks, but process queued tasks
312 * STOP: Don't accept new tasks, don't process queued tasks,
313 * and interrupt in-progress tasks
314 * TIDYING: All tasks have terminated, workerCount is zero,
315 * the thread transitioning to state TIDYING
316 * will run the terminated() hook method
317 * TERMINATED: terminated() has completed
318 *
319 * The numerical order among these values matters, to allow
320 * ordered comparisons. The runState monotonically increases over
321 * time, but need not hit each state. The transitions are:
322 *
323 * RUNNING -> SHUTDOWN
324 * On invocation of shutdown(), perhaps implicitly in finalize()
325 * (RUNNING or SHUTDOWN) -> STOP
326 * On invocation of shutdownNow()
327 * SHUTDOWN -> TIDYING
328 * When both queue and pool are empty
329 * STOP -> TIDYING
330 * When pool is empty
331 * TIDYING -> TERMINATED
332 * When the terminated() hook method has completed
333 *
334 * Threads waiting in awaitTermination() will return when the
335 * state reaches TERMINATED.
336 *
337 * Detecting the transition from SHUTDOWN to TIDYING is less
338 * straightforward than you'd like because the queue may become
339 * empty after non-empty and vice versa during SHUTDOWN state, but
340 * we can only terminate if, after seeing that it is empty, we see
341 * that workerCount is 0 (which sometimes entails a recheck -- see
342 * below).
343 */
344 private final AtomicInteger ctl = new AtomicInteger(ctlOf(RUNNING, 0));
345 private static final int COUNT_BITS = Integer.SIZE - 3;
346 private static final int CAPACITY = (1 << COUNT_BITS) - 1;
347
348 // runState is stored in the high-order bits
349 private static final int RUNNING = -1 << COUNT_BITS;
350 private static final int SHUTDOWN = 0 << COUNT_BITS;
351 private static final int STOP = 1 << COUNT_BITS;
352 private static final int TIDYING = 2 << COUNT_BITS;
353 private static final int TERMINATED = 3 << COUNT_BITS;
354
355 // Packing and unpacking ctl
356 private static int runStateOf(int c) { return c & ~CAPACITY; }
357 private static int workerCountOf(int c) { return c & CAPACITY; }
358 private static int ctlOf(int rs, int wc) { return rs | wc; }
359
360 /*
361 * Bit field accessors that don't require unpacking ctl.
362 * These depend on the bit layout and on workerCount being never negative.
363 */
364
365 private static boolean runStateLessThan(int c, int s) {
366 return c < s;
367 }
368
369 private static boolean runStateAtLeast(int c, int s) {
370 return c >= s;
371 }
372
373 private static boolean isRunning(int c) {
374 return c < SHUTDOWN;
375 }
376
377 /**
378 * Attempt to CAS-increment the workerCount field of ctl.
379 */
380 private boolean compareAndIncrementWorkerCount(int expect) {
381 return ctl.compareAndSet(expect, expect + 1);
382 }
383
384 /**
385 * Attempt to CAS-decrement the workerCount field of ctl.
386 */
387 private boolean compareAndDecrementWorkerCount(int expect) {
388 return ctl.compareAndSet(expect, expect - 1);
389 }
390
391 /**
392 * Decrements the workerCount field of ctl. This is called only on
393 * abrupt termination of a thread (see processWorkerExit). Other
394 * decrements are performed within getTask.
395 */
396 private void decrementWorkerCount() {
397 do {} while (! compareAndDecrementWorkerCount(ctl.get()));
398 }
399
400 /**
401 * The queue used for holding tasks and handing off to worker
402 * threads. We do not require that workQueue.poll() returning
403 * null necessarily means that workQueue.isEmpty(), so rely
404 * solely on isEmpty to see if the queue is empty (which we must
405 * do for example when deciding whether to transition from
406 * SHUTDOWN to TIDYING). This accommodates special-purpose
407 * queues such as DelayQueues for which poll() is allowed to
408 * return null even if it may later return non-null when delays
409 * expire.
410 */
411 private final BlockingQueue<Runnable> workQueue;
412
413 /**
414 * Lock held on access to workers set and related bookkeeping.
415 * While we could use a concurrent set of some sort, it turns out
416 * to be generally preferable to use a lock. Among the reasons is
417 * that this serializes interruptIdleWorkers, which avoids
418 * unnecessary interrupt storms, especially during shutdown.
419 * Otherwise exiting threads would concurrently interrupt those
420 * that have not yet interrupted. It also simplifies some of the
421 * associated statistics bookkeeping of largestPoolSize etc. We
422 * also hold mainLock on shutdown and shutdownNow, for the sake of
423 * ensuring workers set is stable while separately checking
424 * permission to interrupt and actually interrupting.
425 */
426 private final ReentrantLock mainLock = new ReentrantLock();
427
428 /**
429 * Set containing all worker threads in pool. Accessed only when
430 * holding mainLock.
431 */
432 private final HashSet<Worker> workers = new HashSet<Worker>();
433
434 /**
435 * Wait condition to support awaitTermination
436 */
437 private final Condition termination = mainLock.newCondition();
438
439 /**
440 * Tracks largest attained pool size. Accessed only under
441 * mainLock.
442 */
443 private int largestPoolSize;
444
445 /**
446 * Counter for completed tasks. Updated only on termination of
447 * worker threads. Accessed only under mainLock.
448 */
449 private long completedTaskCount;
450
451 /*
452 * All user control parameters are declared as volatiles so that
453 * ongoing actions are based on freshest values, but without need
454 * for locking, since no internal invariants depend on them
455 * changing synchronously with respect to other actions.
456 */
457
458 /**
459 * Factory for new threads. All threads are created using this
460 * factory (via method addWorker). All callers must be prepared
461 * for addWorker to fail, which may reflect a system or user's
462 * policy limiting the number of threads. Even though it is not
463 * treated as an error, failure to create threads may result in
464 * new tasks being rejected or existing ones remaining stuck in
465 * the queue. On the other hand, no special precautions exist to
466 * handle OutOfMemoryErrors that might be thrown while trying to
467 * create threads, since there is generally no recourse from
468 * within this class.
469 */
470 private volatile ThreadFactory threadFactory;
471
472 /**
473 * Handler called when saturated or shutdown in execute.
474 */
475 private volatile RejectedExecutionHandler handler;
476
477 /**
478 * Timeout in nanoseconds for idle threads waiting for work.
479 * Threads use this timeout when there are more than corePoolSize
480 * present or if allowCoreThreadTimeOut. Otherwise they wait
481 * forever for new work.
482 */
483 private volatile long keepAliveTime;
484
485 /**
486 * If false (default), core threads stay alive even when idle.
487 * If true, core threads use keepAliveTime to time out waiting
488 * for work.
489 */
490 private volatile boolean allowCoreThreadTimeOut;
491
492 /**
493 * Core pool size is the minimum number of workers to keep alive
494 * (and not allow to time out etc) unless allowCoreThreadTimeOut
495 * is set, in which case the minimum is zero.
496 */
497 private volatile int corePoolSize;
498
499 /**
500 * Maximum pool size. Note that the actual maximum is internally
501 * bounded by CAPACITY.
502 */
503 private volatile int maximumPoolSize;
504
505 /**
506 * The default rejected execution handler
507 */
508 private static final RejectedExecutionHandler defaultHandler =
509 new AbortPolicy();
510
511 /**
512 * Permission required for callers of shutdown and shutdownNow.
513 * We additionally require (see checkShutdownAccess) that callers
514 * have permission to actually interrupt threads in the worker set
515 * (as governed by Thread.interrupt, which relies on
516 * ThreadGroup.checkAccess, which in turn relies on
517 * SecurityManager.checkAccess). Shutdowns are attempted only if
518 * these checks pass.
519 *
520 * All actual invocations of Thread.interrupt (see
521 * interruptIdleWorkers and interruptWorkers) ignore
522 * SecurityExceptions, meaning that the attempted interrupts
523 * silently fail. In the case of shutdown, they should not fail
524 * unless the SecurityManager has inconsistent policies, sometimes
525 * allowing access to a thread and sometimes not. In such cases,
526 * failure to actually interrupt threads may disable or delay full
527 * termination. Other uses of interruptIdleWorkers are advisory,
528 * and failure to actually interrupt will merely delay response to
529 * configuration changes so is not handled exceptionally.
530 */
531 private static final RuntimePermission shutdownPerm =
532 new RuntimePermission("modifyThread");
533
534 /**
535 * Class Worker mainly maintains interrupt control state for
536 * threads running tasks, along with other minor bookkeeping.
537 * This class opportunistically extends AbstractQueuedSynchronizer
538 * to simplify acquiring and releasing a lock surrounding each
539 * task execution. This protects against interrupts that are
540 * intended to wake up a worker thread waiting for a task from
541 * instead interrupting a task being run. We implement a simple
542 * non-reentrant mutual exclusion lock rather than use ReentrantLock
543 * because we do not want worker tasks to be able to reacquire the
544 * lock when they invoke pool control methods like setCorePoolSize.
545 */
546 private final class Worker
547 extends AbstractQueuedSynchronizer
548 implements Runnable
549 {
550 /**
551 * This class will never be serialized, but we provide a
552 * serialVersionUID to suppress a javac warning.
553 */
554 private static final long serialVersionUID = 6138294804551838833L;
555
556 /** Thread this worker is running in. Null if factory fails. */
557 final Thread thread;
558 /** Initial task to run. Possibly null. */
559 Runnable firstTask;
560 /** Per-thread task counter */
561 volatile long completedTasks;
562
563 /**
564 * Creates with given first task and thread from ThreadFactory.
565 * @param firstTask the first task (null if none)
566 */
567 Worker(Runnable firstTask) {
568 this.firstTask = firstTask;
569 this.thread = getThreadFactory().newThread(this);
570 }
571
572 /** Delegates main run loop to outer runWorker */
573 public void run() {
574 runWorker(this);
575 }
576
577 // Lock methods
578 //
579 // The value 0 represents the unlocked state.
580 // The value 1 represents the locked state.
581
582 protected boolean isHeldExclusively() {
583 return getState() == 1;
584 }
585
586 protected boolean tryAcquire(int unused) {
587 if (compareAndSetState(0, 1)) {
588 setExclusiveOwnerThread(Thread.currentThread());
589 return true;
590 }
591 return false;
592 }
593
594 protected boolean tryRelease(int unused) {
595 setExclusiveOwnerThread(null);
596 setState(0);
597 return true;
598 }
599
600 public void lock() { acquire(1); }
601 public boolean tryLock() { return tryAcquire(1); }
602 public void unlock() { release(1); }
603 public boolean isLocked() { return isHeldExclusively(); }
604 }
605
606 /*
607 * Methods for setting control state
608 */
609
610 /**
611 * Transitions runState to given target, or leaves it alone if
612 * already at least the given target.
613 *
614 * @param targetState the desired state, either SHUTDOWN or STOP
615 * (but not TIDYING or TERMINATED -- use tryTerminate for that)
616 */
617 private void advanceRunState(int targetState) {
618 for (;;) {
619 int c = ctl.get();
620 if (runStateAtLeast(c, targetState) ||
621 ctl.compareAndSet(c, ctlOf(targetState, workerCountOf(c))))
622 break;
623 }
624 }
625
626 /**
627 * Transitions to TERMINATED state if either (SHUTDOWN and pool
628 * and queue empty) or (STOP and pool empty). If otherwise
629 * eligible to terminate but workerCount is nonzero, interrupts an
630 * idle worker to ensure that shutdown signals propagate. This
631 * method must be called following any action that might make
632 * termination possible -- reducing worker count or removing tasks
633 * from the queue during shutdown. The method is non-private to
634 * allow access from ScheduledThreadPoolExecutor.
635 */
636 final void tryTerminate() {
637 for (;;) {
638 int c = ctl.get();
639 if (isRunning(c) ||
640 runStateAtLeast(c, TIDYING) ||
641 (runStateOf(c) == SHUTDOWN && ! workQueue.isEmpty()))
642 return;
643 if (workerCountOf(c) != 0) { // Eligible to terminate
644 interruptIdleWorkers(ONLY_ONE);
645 return;
646 }
647
648 final ReentrantLock mainLock = this.mainLock;
649 mainLock.lock();
650 try {
651 if (ctl.compareAndSet(c, ctlOf(TIDYING, 0))) {
652 try {
653 terminated();
654 } finally {
655 ctl.set(ctlOf(TERMINATED, 0));
656 termination.signalAll();
657 }
658 return;
659 }
660 } finally {
661 mainLock.unlock();
662 }
663 // else retry on failed CAS
664 }
665 }
666
667 /*
668 * Methods for controlling interrupts to worker threads.
669 */
670
671 /**
672 * If there is a security manager, makes sure caller has
673 * permission to shut down threads in general (see shutdownPerm).
674 * If this passes, additionally makes sure the caller is allowed
675 * to interrupt each worker thread. This might not be true even if
676 * first check passed, if the SecurityManager treats some threads
677 * specially.
678 */
679 private void checkShutdownAccess() {
680 SecurityManager security = System.getSecurityManager();
681 if (security != null) {
682 security.checkPermission(shutdownPerm);
683 final ReentrantLock mainLock = this.mainLock;
684 mainLock.lock();
685 try {
686 for (Worker w : workers)
687 security.checkAccess(w.thread);
688 } finally {
689 mainLock.unlock();
690 }
691 }
692 }
693
694 /**
695 * Interrupts all threads, even if active. Ignores SecurityExceptions
696 * (in which case some threads may remain uninterrupted).
697 */
698 private void interruptWorkers() {
699 final ReentrantLock mainLock = this.mainLock;
700 mainLock.lock();
701 try {
702 for (Worker w : workers) {
703 try {
704 w.thread.interrupt();
705 } catch (SecurityException ignore) {
706 }
707 }
708 } finally {
709 mainLock.unlock();
710 }
711 }
712
713 /**
714 * Interrupts threads that might be waiting for tasks (as
715 * indicated by not being locked) so they can check for
716 * termination or configuration changes. Ignores
717 * SecurityExceptions (in which case some threads may remain
718 * uninterrupted).
719 *
720 * @param onlyOne If true, interrupt at most one worker. This is
721 * called only from tryTerminate when termination is otherwise
722 * enabled but there are still other workers. In this case, at
723 * most one waiting worker is interrupted to propagate shutdown
724 * signals in case all threads are currently waiting.
725 * Interrupting any arbitrary thread ensures that newly arriving
726 * workers since shutdown began will also eventually exit.
727 * To guarantee eventual termination, it suffices to always
728 * interrupt only one idle worker, but shutdown() interrupts all
729 * idle workers so that redundant workers exit promptly, not
730 * waiting for a straggler task to finish.
731 */
732 private void interruptIdleWorkers(boolean onlyOne) {
733 final ReentrantLock mainLock = this.mainLock;
734 mainLock.lock();
735 try {
736 for (Worker w : workers) {
737 Thread t = w.thread;
738 if (!t.isInterrupted() && w.tryLock()) {
739 try {
740 t.interrupt();
741 } catch (SecurityException ignore) {
742 } finally {
743 w.unlock();
744 }
745 }
746 if (onlyOne)
747 break;
748 }
749 } finally {
750 mainLock.unlock();
751 }
752 }
753
754 /**
755 * Common form of interruptIdleWorkers, to avoid having to
756 * remember what the boolean argument means.
757 */
758 private void interruptIdleWorkers() {
759 interruptIdleWorkers(false);
760 }
761
762 private static final boolean ONLY_ONE = true;
763
764 /**
765 * Ensures that unless the pool is stopping, the current thread
766 * does not have its interrupt set. This requires a double-check
767 * of state in case the interrupt was cleared concurrently with a
768 * shutdownNow -- if so, the interrupt is re-enabled.
769 */
770 private void clearInterruptsForTaskRun() {
771 if (runStateLessThan(ctl.get(), STOP) &&
772 Thread.interrupted() &&
773 runStateAtLeast(ctl.get(), STOP))
774 Thread.currentThread().interrupt();
775 }
776
777 /*
778 * Misc utilities, most of which are also exported to
779 * ScheduledThreadPoolExecutor
780 */
781
782 /**
783 * Invokes the rejected execution handler for the given command.
784 * Package-protected for use by ScheduledThreadPoolExecutor.
785 */
786 final void reject(Runnable command) {
787 handler.rejectedExecution(command, this);
788 }
789
790 /**
791 * Performs any further cleanup following run state transition on
792 * invocation of shutdown. A no-op here, but used by
793 * ScheduledThreadPoolExecutor to cancel delayed tasks.
794 */
795 void onShutdown() {
796 }
797
798 /**
799 * State check needed by ScheduledThreadPoolExecutor to
800 * enable running tasks during shutdown.
801 *
802 * @param shutdownOK true if should return true if SHUTDOWN
803 */
804 final boolean isRunningOrShutdown(boolean shutdownOK) {
805 int rs = runStateOf(ctl.get());
806 return rs == RUNNING || (rs == SHUTDOWN && shutdownOK);
807 }
808
809 /**
810 * Drains the task queue into a new list, normally using
811 * drainTo. But if the queue is a DelayQueue or any other kind of
812 * queue for which poll or drainTo may fail to remove some
813 * elements, it deletes them one by one.
814 */
815 private List<Runnable> drainQueue() {
816 BlockingQueue<Runnable> q = workQueue;
817 List<Runnable> taskList = new ArrayList<Runnable>();
818 q.drainTo(taskList);
819 if (!q.isEmpty()) {
820 for (Runnable r : q.toArray(new Runnable[0])) {
821 if (q.remove(r))
822 taskList.add(r);
823 }
824 }
825 return taskList;
826 }
827
828 /*
829 * Methods for creating, running and cleaning up after workers
830 */
831
832 /**
833 * Checks if a new worker can be added with respect to current
834 * pool state and the given bound (either core or maximum). If so,
835 * the worker count is adjusted accordingly, and, if possible, a
836 * new worker is created and started running firstTask as its
837 * first task. This method returns false if the pool is stopped or
838 * eligible to shut down. It also returns false if the thread
839 * factory fails to create a thread when asked, which requires a
840 * backout of workerCount, and a recheck for termination, in case
841 * the existence of this worker was holding up termination.
842 *
843 * @param firstTask the task the new thread should run first (or
844 * null if none). Workers are created with an initial first task
845 * (in method execute()) to bypass queuing when there are fewer
846 * than corePoolSize threads (in which case we always start one),
847 * or when the queue is full (in which case we must bypass queue).
848 * Initially idle threads are usually created via
849 * prestartCoreThread or to replace other dying workers.
850 *
851 * @param core if true use corePoolSize as bound, else
852 * maximumPoolSize. (A boolean indicator is used here rather than a
853 * value to ensure reads of fresh values after checking other pool
854 * state).
855 * @return true if successful
856 */
857 private boolean addWorker(Runnable firstTask, boolean core) {
858 retry:
859 for (;;) {
860 int c = ctl.get();
861 int rs = runStateOf(c);
862
863 // Check if queue empty only if necessary.
864 if (rs >= SHUTDOWN &&
865 ! (rs == SHUTDOWN &&
866 firstTask == null &&
867 ! workQueue.isEmpty()))
868 return false;
869
870 for (;;) {
871 int wc = workerCountOf(c);
872 if (wc >= CAPACITY ||
873 wc >= (core ? corePoolSize : maximumPoolSize))
874 return false;
875 if (compareAndIncrementWorkerCount(c))
876 break retry;
877 c = ctl.get(); // Re-read ctl
878 if (runStateOf(c) != rs)
879 continue retry;
880 // else CAS failed due to workerCount change; retry inner loop
881 }
882 }
883
884 Worker w = new Worker(firstTask);
885 Thread t = w.thread;
886
887 final ReentrantLock mainLock = this.mainLock;
888 mainLock.lock();
889 try {
890 // Recheck while holding lock.
891 // Back out on ThreadFactory failure or if
892 // shut down before lock acquired.
893 int c = ctl.get();
894 int rs = runStateOf(c);
895
896 if (t == null ||
897 (rs >= SHUTDOWN &&
898 ! (rs == SHUTDOWN &&
899 firstTask == null))) {
900 decrementWorkerCount();
901 tryTerminate();
902 return false;
903 }
904
905 workers.add(w);
906
907 int s = workers.size();
908 if (s > largestPoolSize)
909 largestPoolSize = s;
910 } finally {
911 mainLock.unlock();
912 }
913
914 t.start();
915 // It is possible (but unlikely) for a thread to have been
916 // added to workers, but not yet started, during transition to
917 // STOP, which could result in a rare missed interrupt,
918 // because Thread.interrupt is not guaranteed to have any effect
919 // on a non-yet-started Thread (see Thread#interrupt).
920 if (runStateOf(ctl.get()) == STOP && ! t.isInterrupted())
921 t.interrupt();
922
923 return true;
924 }
925
926 /**
927 * Performs cleanup and bookkeeping for a dying worker. Called
928 * only from worker threads. Unless completedAbruptly is set,
929 * assumes that workerCount has already been adjusted to account
930 * for exit. This method removes thread from worker set, and
931 * possibly terminates the pool or replaces the worker if either
932 * it exited due to user task exception or if fewer than
933 * corePoolSize workers are running or queue is non-empty but
934 * there are no workers.
935 *
936 * @param w the worker
937 * @param completedAbruptly if the worker died due to user exception
938 */
939 private void processWorkerExit(Worker w, boolean completedAbruptly) {
940 if (completedAbruptly) // If abrupt, then workerCount wasn't adjusted
941 decrementWorkerCount();
942
943 final ReentrantLock mainLock = this.mainLock;
944 mainLock.lock();
945 try {
946 completedTaskCount += w.completedTasks;
947 workers.remove(w);
948 } finally {
949 mainLock.unlock();
950 }
951
952 tryTerminate();
953
954 int c = ctl.get();
955 if (runStateLessThan(c, STOP)) {
956 if (!completedAbruptly) {
957 int min = allowCoreThreadTimeOut ? 0 : corePoolSize;
958 if (min == 0 && ! workQueue.isEmpty())
959 min = 1;
960 if (workerCountOf(c) >= min)
961 return; // replacement not needed
962 }
963 addWorker(null, false);
964 }
965 }
966
967 /**
968 * Performs blocking or timed wait for a task, depending on
969 * current configuration settings, or returns null if this worker
970 * must exit because of any of:
971 * 1. There are more than maximumPoolSize workers (due to
972 * a call to setMaximumPoolSize).
973 * 2. The pool is stopped.
974 * 3. The pool is shutdown and the queue is empty.
975 * 4. This worker timed out waiting for a task, and timed-out
976 * workers are subject to termination (that is,
977 * {@code allowCoreThreadTimeOut || workerCount > corePoolSize})
978 * both before and after the timed wait.
979 *
980 * @return task, or null if the worker must exit, in which case
981 * workerCount is decremented
982 */
983 private Runnable getTask() {
984 boolean timedOut = false; // Did the last poll() time out?
985
986 retry:
987 for (;;) {
988 int c = ctl.get();
989 int rs = runStateOf(c);
990
991 // Check if queue empty only if necessary.
992 if (rs >= SHUTDOWN && (rs >= STOP || workQueue.isEmpty())) {
993 decrementWorkerCount();
994 return null;
995 }
996
997 boolean timed; // Are workers subject to culling?
998
999 for (;;) {
1000 int wc = workerCountOf(c);
1001 timed = allowCoreThreadTimeOut || wc > corePoolSize;
1002
1003 if (wc <= maximumPoolSize && ! (timedOut && timed))
1004 break;
1005 if (compareAndDecrementWorkerCount(c))
1006 return null;
1007 c = ctl.get(); // Re-read ctl
1008 if (runStateOf(c) != rs)
1009 continue retry;
1010 // else CAS failed due to workerCount change; retry inner loop
1011 }
1012
1013 try {
1014 Runnable r = timed ?
1015 workQueue.poll(keepAliveTime, TimeUnit.NANOSECONDS) :
1016 workQueue.take();
1017 if (r != null)
1018 return r;
1019 timedOut = true;
1020 } catch (InterruptedException retry) {
1021 timedOut = false;
1022 }
1023 }
1024 }
1025
1026 /**
1027 * Main worker run loop. Repeatedly gets tasks from queue and
1028 * executes them, while coping with a number of issues:
1029 *
1030 * 1. We may start out with an initial task, in which case we
1031 * don't need to get the first one. Otherwise, as long as pool is
1032 * running, we get tasks from getTask. If it returns null then the
1033 * worker exits due to changed pool state or configuration
1034 * parameters. Other exits result from exception throws in
1035 * external code, in which case completedAbruptly holds, which
1036 * usually leads processWorkerExit to replace this thread.
1037 *
1038 * 2. Before running any task, the lock is acquired to prevent
1039 * other pool interrupts while the task is executing, and
1040 * clearInterruptsForTaskRun called to ensure that unless pool is
1041 * stopping, this thread does not have its interrupt set.
1042 *
1043 * 3. Each task run is preceded by a call to beforeExecute, which
1044 * might throw an exception, in which case we cause thread to die
1045 * (breaking loop with completedAbruptly true) without processing
1046 * the task.
1047 *
1048 * 4. Assuming beforeExecute completes normally, we run the task,
1049 * gathering any of its thrown exceptions to send to
1050 * afterExecute. We separately handle RuntimeException, Error
1051 * (both of which the specs guarantee that we trap) and arbitrary
1052 * Throwables. Because we cannot rethrow Throwables within
1053 * Runnable.run, we wrap them within Errors on the way out (to the
1054 * thread's UncaughtExceptionHandler). Any thrown exception also
1055 * conservatively causes thread to die.
1056 *
1057 * 5. After task.run completes, we call afterExecute, which may
1058 * also throw an exception, which will also cause thread to
1059 * die. According to JLS Sec 14.20, this exception is the one that
1060 * will be in effect even if task.run throws.
1061 *
1062 * The net effect of the exception mechanics is that afterExecute
1063 * and the thread's UncaughtExceptionHandler have as accurate
1064 * information as we can provide about any problems encountered by
1065 * user code.
1066 *
1067 * @param w the worker
1068 */
1069 final void runWorker(Worker w) {
1070 Runnable task = w.firstTask;
1071 w.firstTask = null;
1072 boolean completedAbruptly = true;
1073 try {
1074 while (task != null || (task = getTask()) != null) {
1075 w.lock();
1076 clearInterruptsForTaskRun();
1077 try {
1078 beforeExecute(w.thread, task);
1079 Throwable thrown = null;
1080 try {
1081 task.run();
1082 } catch (RuntimeException x) {
1083 thrown = x; throw x;
1084 } catch (Error x) {
1085 thrown = x; throw x;
1086 } catch (Throwable x) {
1087 thrown = x; throw new Error(x);
1088 } finally {
1089 afterExecute(task, thrown);
1090 }
1091 } finally {
1092 task = null;
1093 w.completedTasks++;
1094 w.unlock();
1095 }
1096 }
1097 completedAbruptly = false;
1098 } finally {
1099 processWorkerExit(w, completedAbruptly);
1100 }
1101 }
1102
1103 // Public constructors and methods
1104
1105 /**
1106 * Creates a new {@code ThreadPoolExecutor} with the given initial
1107 * parameters and default thread factory and rejected execution handler.
1108 * It may be more convenient to use one of the {@link Executors} factory
1109 * methods instead of this general purpose constructor.
1110 *
1111 * @param corePoolSize the number of threads to keep in the pool, even
1112 * if they are idle, unless {@code allowCoreThreadTimeOut} is set
1113 * @param maximumPoolSize the maximum number of threads to allow in the
1114 * pool
1115 * @param keepAliveTime when the number of threads is greater than
1116 * the core, this is the maximum time that excess idle threads
1117 * will wait for new tasks before terminating.
1118 * @param unit the time unit for the {@code keepAliveTime} argument
1119 * @param workQueue the queue to use for holding tasks before they are
1120 * executed. This queue will hold only the {@code Runnable}
1121 * tasks submitted by the {@code execute} method.
1122 * @throws IllegalArgumentException if one of the following holds:<br>
1123 * {@code corePoolSize < 0}<br>
1124 * {@code keepAliveTime < 0}<br>
1125 * {@code maximumPoolSize <= 0}<br>
1126 * {@code maximumPoolSize < corePoolSize}
1127 * @throws NullPointerException if {@code workQueue} is null
1128 */
1129 public ThreadPoolExecutor(int corePoolSize,
1130 int maximumPoolSize,
1131 long keepAliveTime,
1132 TimeUnit unit,
1133 BlockingQueue<Runnable> workQueue) {
1134 this(corePoolSize, maximumPoolSize, keepAliveTime, unit, workQueue,
1135 Executors.defaultThreadFactory(), defaultHandler);
1136 }
1137
1138 /**
1139 * Creates a new {@code ThreadPoolExecutor} with the given initial
1140 * parameters and default rejected execution handler.
1141 *
1142 * @param corePoolSize the number of threads to keep in the pool, even
1143 * if they are idle, unless {@code allowCoreThreadTimeOut} is set
1144 * @param maximumPoolSize the maximum number of threads to allow in the
1145 * pool
1146 * @param keepAliveTime when the number of threads is greater than
1147 * the core, this is the maximum time that excess idle threads
1148 * will wait for new tasks before terminating.
1149 * @param unit the time unit for the {@code keepAliveTime} argument
1150 * @param workQueue the queue to use for holding tasks before they are
1151 * executed. This queue will hold only the {@code Runnable}
1152 * tasks submitted by the {@code execute} method.
1153 * @param threadFactory the factory to use when the executor
1154 * creates a new thread
1155 * @throws IllegalArgumentException if one of the following holds:<br>
1156 * {@code corePoolSize < 0}<br>
1157 * {@code keepAliveTime < 0}<br>
1158 * {@code maximumPoolSize <= 0}<br>
1159 * {@code maximumPoolSize < corePoolSize}
1160 * @throws NullPointerException if {@code workQueue}
1161 * or {@code threadFactory} is null
1162 */
1163 public ThreadPoolExecutor(int corePoolSize,
1164 int maximumPoolSize,
1165 long keepAliveTime,
1166 TimeUnit unit,
1167 BlockingQueue<Runnable> workQueue,
1168 ThreadFactory threadFactory) {
1169 this(corePoolSize, maximumPoolSize, keepAliveTime, unit, workQueue,
1170 threadFactory, defaultHandler);
1171 }
1172
1173 /**
1174 * Creates a new {@code ThreadPoolExecutor} with the given initial
1175 * parameters and default thread factory.
1176 *
1177 * @param corePoolSize the number of threads to keep in the pool, even
1178 * if they are idle, unless {@code allowCoreThreadTimeOut} is set
1179 * @param maximumPoolSize the maximum number of threads to allow in the
1180 * pool
1181 * @param keepAliveTime when the number of threads is greater than
1182 * the core, this is the maximum time that excess idle threads
1183 * will wait for new tasks before terminating.
1184 * @param unit the time unit for the {@code keepAliveTime} argument
1185 * @param workQueue the queue to use for holding tasks before they are
1186 * executed. This queue will hold only the {@code Runnable}
1187 * tasks submitted by the {@code execute} method.
1188 * @param handler the handler to use when execution is blocked
1189 * because the thread bounds and queue capacities are reached
1190 * @throws IllegalArgumentException if one of the following holds:<br>
1191 * {@code corePoolSize < 0}<br>
1192 * {@code keepAliveTime < 0}<br>
1193 * {@code maximumPoolSize <= 0}<br>
1194 * {@code maximumPoolSize < corePoolSize}
1195 * @throws NullPointerException if {@code workQueue}
1196 * or {@code handler} is null
1197 */
1198 public ThreadPoolExecutor(int corePoolSize,
1199 int maximumPoolSize,
1200 long keepAliveTime,
1201 TimeUnit unit,
1202 BlockingQueue<Runnable> workQueue,
1203 RejectedExecutionHandler handler) {
1204 this(corePoolSize, maximumPoolSize, keepAliveTime, unit, workQueue,
1205 Executors.defaultThreadFactory(), handler);
1206 }
1207
1208 /**
1209 * Creates a new {@code ThreadPoolExecutor} with the given initial
1210 * parameters.
1211 *
1212 * @param corePoolSize the number of threads to keep in the pool, even
1213 * if they are idle, unless {@code allowCoreThreadTimeOut} is set
1214 * @param maximumPoolSize the maximum number of threads to allow in the
1215 * pool
1216 * @param keepAliveTime when the number of threads is greater than
1217 * the core, this is the maximum time that excess idle threads
1218 * will wait for new tasks before terminating.
1219 * @param unit the time unit for the {@code keepAliveTime} argument
1220 * @param workQueue the queue to use for holding tasks before they are
1221 * executed. This queue will hold only the {@code Runnable}
1222 * tasks submitted by the {@code execute} method.
1223 * @param threadFactory the factory to use when the executor
1224 * creates a new thread
1225 * @param handler the handler to use when execution is blocked
1226 * because the thread bounds and queue capacities are reached
1227 * @throws IllegalArgumentException if one of the following holds:<br>
1228 * {@code corePoolSize < 0}<br>
1229 * {@code keepAliveTime < 0}<br>
1230 * {@code maximumPoolSize <= 0}<br>
1231 * {@code maximumPoolSize < corePoolSize}
1232 * @throws NullPointerException if {@code workQueue}
1233 * or {@code threadFactory} or {@code handler} is null
1234 */
1235 public ThreadPoolExecutor(int corePoolSize,
1236 int maximumPoolSize,
1237 long keepAliveTime,
1238 TimeUnit unit,
1239 BlockingQueue<Runnable> workQueue,
1240 ThreadFactory threadFactory,
1241 RejectedExecutionHandler handler) {
1242 if (corePoolSize < 0 ||
1243 maximumPoolSize <= 0 ||
1244 maximumPoolSize < corePoolSize ||
1245 keepAliveTime < 0)
1246 throw new IllegalArgumentException();
1247 if (workQueue == null || threadFactory == null || handler == null)
1248 throw new NullPointerException();
1249 this.corePoolSize = corePoolSize;
1250 this.maximumPoolSize = maximumPoolSize;
1251 this.workQueue = workQueue;
1252 this.keepAliveTime = unit.toNanos(keepAliveTime);
1253 this.threadFactory = threadFactory;
1254 this.handler = handler;
1255 }
1256
1257 /**
1258 * Executes the given task sometime in the future. The task
1259 * may execute in a new thread or in an existing pooled thread.
1260 *
1261 * If the task cannot be submitted for execution, either because this
1262 * executor has been shutdown or because its capacity has been reached,
1263 * the task is handled by the current {@code RejectedExecutionHandler}.
1264 *
1265 * @param command the task to execute
1266 * @throws RejectedExecutionException at discretion of
1267 * {@code RejectedExecutionHandler}, if the task
1268 * cannot be accepted for execution
1269 * @throws NullPointerException if {@code command} is null
1270 */
1271 public void execute(Runnable command) {
1272 if (command == null)
1273 throw new NullPointerException();
1274 /*
1275 * Proceed in 3 steps:
1276 *
1277 * 1. If fewer than corePoolSize threads are running, try to
1278 * start a new thread with the given command as its first
1279 * task. The call to addWorker atomically checks runState and
1280 * workerCount, and so prevents false alarms that would add
1281 * threads when it shouldn't, by returning false.
1282 *
1283 * 2. If a task can be successfully queued, then we still need
1284 * to double-check whether we should have added a thread
1285 * (because existing ones died since last checking) or that
1286 * the pool shut down since entry into this method. So we
1287 * recheck state and if necessary roll back the enqueuing if
1288 * stopped, or start a new thread if there are none.
1289 *
1290 * 3. If we cannot queue task, then we try to add a new
1291 * thread. If it fails, we know we are shut down or saturated
1292 * and so reject the task.
1293 */
1294 int c = ctl.get();
1295 if (workerCountOf(c) < corePoolSize) {
1296 if (addWorker(command, true))
1297 return;
1298 c = ctl.get();
1299 }
1300 if (isRunning(c) && workQueue.offer(command)) {
1301 int recheck = ctl.get();
1302 if (! isRunning(recheck) && remove(command))
1303 reject(command);
1304 else if (workerCountOf(recheck) == 0)
1305 addWorker(null, false);
1306 }
1307 else if (!addWorker(command, false))
1308 reject(command);
1309 }
1310
1311 /**
1312 * Initiates an orderly shutdown in which previously submitted
1313 * tasks are executed, but no new tasks will be accepted.
1314 * Invocation has no additional effect if already shut down.
1315 *
1316 * @throws SecurityException {@inheritDoc}
1317 */
1318 public void shutdown() {
1319 final ReentrantLock mainLock = this.mainLock;
1320 mainLock.lock();
1321 try {
1322 checkShutdownAccess();
1323 advanceRunState(SHUTDOWN);
1324 interruptIdleWorkers();
1325 onShutdown(); // hook for ScheduledThreadPoolExecutor
1326 } finally {
1327 mainLock.unlock();
1328 }
1329 tryTerminate();
1330 }
1331
1332 /**
1333 * Attempts to stop all actively executing tasks, halts the
1334 * processing of waiting tasks, and returns a list of the tasks
1335 * that were awaiting execution. These tasks are drained (removed)
1336 * from the task queue upon return from this method.
1337 *
1338 * <p>There are no guarantees beyond best-effort attempts to stop
1339 * processing actively executing tasks. This implementation
1340 * cancels tasks via {@link Thread#interrupt}, so any task that
1341 * fails to respond to interrupts may never terminate.
1342 *
1343 * @throws SecurityException {@inheritDoc}
1344 */
1345 public List<Runnable> shutdownNow() {
1346 List<Runnable> tasks;
1347 final ReentrantLock mainLock = this.mainLock;
1348 mainLock.lock();
1349 try {
1350 checkShutdownAccess();
1351 advanceRunState(STOP);
1352 interruptWorkers();
1353 tasks = drainQueue();
1354 } finally {
1355 mainLock.unlock();
1356 }
1357 tryTerminate();
1358 return tasks;
1359 }
1360
1361 public boolean isShutdown() {
1362 return ! isRunning(ctl.get());
1363 }
1364
1365 /**
1366 * Returns true if this executor is in the process of terminating
1367 * after {@link #shutdown} or {@link #shutdownNow} but has not
1368 * completely terminated. This method may be useful for
1369 * debugging. A return of {@code true} reported a sufficient
1370 * period after shutdown may indicate that submitted tasks have
1371 * ignored or suppressed interruption, causing this executor not
1372 * to properly terminate.
1373 *
1374 * @return true if terminating but not yet terminated
1375 */
1376 public boolean isTerminating() {
1377 int c = ctl.get();
1378 return ! isRunning(c) && runStateLessThan(c, TERMINATED);
1379 }
1380
1381 public boolean isTerminated() {
1382 return runStateAtLeast(ctl.get(), TERMINATED);
1383 }
1384
1385 public boolean awaitTermination(long timeout, TimeUnit unit)
1386 throws InterruptedException {
1387 long nanos = unit.toNanos(timeout);
1388 final ReentrantLock mainLock = this.mainLock;
1389 mainLock.lock();
1390 try {
1391 for (;;) {
1392 if (runStateAtLeast(ctl.get(), TERMINATED))
1393 return true;
1394 if (nanos <= 0)
1395 return false;
1396 nanos = termination.awaitNanos(nanos);
1397 }
1398 } finally {
1399 mainLock.unlock();
1400 }
1401 }
1402
1403 /**
1404 * Invokes {@code shutdown} when this executor is no longer
1405 * referenced and it has no threads.
1406 */
1407 protected void finalize() {
1408 shutdown();
1409 }
1410
1411 /**
1412 * Sets the thread factory used to create new threads.
1413 *
1414 * @param threadFactory the new thread factory
1415 * @throws NullPointerException if threadFactory is null
1416 * @see #getThreadFactory
1417 */
1418 public void setThreadFactory(ThreadFactory threadFactory) {
1419 if (threadFactory == null)
1420 throw new NullPointerException();
1421 this.threadFactory = threadFactory;
1422 }
1423
1424 /**
1425 * Returns the thread factory used to create new threads.
1426 *
1427 * @return the current thread factory
1428 * @see #setThreadFactory
1429 */
1430 public ThreadFactory getThreadFactory() {
1431 return threadFactory;
1432 }
1433
1434 /**
1435 * Sets a new handler for unexecutable tasks.
1436 *
1437 * @param handler the new handler
1438 * @throws NullPointerException if handler is null
1439 * @see #getRejectedExecutionHandler
1440 */
1441 public void setRejectedExecutionHandler(RejectedExecutionHandler handler) {
1442 if (handler == null)
1443 throw new NullPointerException();
1444 this.handler = handler;
1445 }
1446
1447 /**
1448 * Returns the current handler for unexecutable tasks.
1449 *
1450 * @return the current handler
1451 * @see #setRejectedExecutionHandler
1452 */
1453 public RejectedExecutionHandler getRejectedExecutionHandler() {
1454 return handler;
1455 }
1456
1457 /**
1458 * Sets the core number of threads. This overrides any value set
1459 * in the constructor. If the new value is smaller than the
1460 * current value, excess existing threads will be terminated when
1461 * they next become idle. If larger, new threads will, if needed,
1462 * be started to execute any queued tasks.
1463 *
1464 * @param corePoolSize the new core size
1465 * @throws IllegalArgumentException if {@code corePoolSize < 0}
1466 * @see #getCorePoolSize
1467 */
1468 public void setCorePoolSize(int corePoolSize) {
1469 if (corePoolSize < 0)
1470 throw new IllegalArgumentException();
1471 int delta = corePoolSize - this.corePoolSize;
1472 this.corePoolSize = corePoolSize;
1473 if (workerCountOf(ctl.get()) > corePoolSize)
1474 interruptIdleWorkers();
1475 else if (delta > 0) {
1476 // We don't really know how many new threads are "needed".
1477 // As a heuristic, prestart enough new workers (up to new
1478 // core size) to handle the current number of tasks in
1479 // queue, but stop if queue becomes empty while doing so.
1480 int k = Math.min(delta, workQueue.size());
1481 while (k-- > 0 && addWorker(null, true)) {
1482 if (workQueue.isEmpty())
1483 break;
1484 }
1485 }
1486 }
1487
1488 /**
1489 * Returns the core number of threads.
1490 *
1491 * @return the core number of threads
1492 * @see #setCorePoolSize
1493 */
1494 public int getCorePoolSize() {
1495 return corePoolSize;
1496 }
1497
1498 /**
1499 * Starts a core thread, causing it to idly wait for work. This
1500 * overrides the default policy of starting core threads only when
1501 * new tasks are executed. This method will return {@code false}
1502 * if all core threads have already been started.
1503 *
1504 * @return {@code true} if a thread was started
1505 */
1506 public boolean prestartCoreThread() {
1507 return workerCountOf(ctl.get()) < corePoolSize &&
1508 addWorker(null, true);
1509 }
1510
1511 /**
1512 * Starts all core threads, causing them to idly wait for work. This
1513 * overrides the default policy of starting core threads only when
1514 * new tasks are executed.
1515 *
1516 * @return the number of threads started
1517 */
1518 public int prestartAllCoreThreads() {
1519 int n = 0;
1520 while (addWorker(null, true))
1521 ++n;
1522 return n;
1523 }
1524
1525 /**
1526 * Returns true if this pool allows core threads to time out and
1527 * terminate if no tasks arrive within the keepAlive time, being
1528 * replaced if needed when new tasks arrive. When true, the same
1529 * keep-alive policy applying to non-core threads applies also to
1530 * core threads. When false (the default), core threads are never
1531 * terminated due to lack of incoming tasks.
1532 *
1533 * @return {@code true} if core threads are allowed to time out,
1534 * else {@code false}
1535 *
1536 * @since 1.6
1537 */
1538 public boolean allowsCoreThreadTimeOut() {
1539 return allowCoreThreadTimeOut;
1540 }
1541
1542 /**
1543 * Sets the policy governing whether core threads may time out and
1544 * terminate if no tasks arrive within the keep-alive time, being
1545 * replaced if needed when new tasks arrive. When false, core
1546 * threads are never terminated due to lack of incoming
1547 * tasks. When true, the same keep-alive policy applying to
1548 * non-core threads applies also to core threads. To avoid
1549 * continual thread replacement, the keep-alive time must be
1550 * greater than zero when setting {@code true}. This method
1551 * should in general be called before the pool is actively used.
1552 *
1553 * @param value {@code true} if should time out, else {@code false}
1554 * @throws IllegalArgumentException if value is {@code true}
1555 * and the current keep-alive time is not greater than zero
1556 *
1557 * @since 1.6
1558 */
1559 public void allowCoreThreadTimeOut(boolean value) {
1560 if (value && keepAliveTime <= 0)
1561 throw new IllegalArgumentException("Core threads must have nonzero keep alive times");
1562 if (value != allowCoreThreadTimeOut) {
1563 allowCoreThreadTimeOut = value;
1564 if (value)
1565 interruptIdleWorkers();
1566 }
1567 }
1568
1569 /**
1570 * Sets the maximum allowed number of threads. This overrides any
1571 * value set in the constructor. If the new value is smaller than
1572 * the current value, excess existing threads will be
1573 * terminated when they next become idle.
1574 *
1575 * @param maximumPoolSize the new maximum
1576 * @throws IllegalArgumentException if the new maximum is
1577 * less than or equal to zero, or
1578 * less than the {@linkplain #getCorePoolSize core pool size}
1579 * @see #getMaximumPoolSize
1580 */
1581 public void setMaximumPoolSize(int maximumPoolSize) {
1582 if (maximumPoolSize <= 0 || maximumPoolSize < corePoolSize)
1583 throw new IllegalArgumentException();
1584 this.maximumPoolSize = maximumPoolSize;
1585 if (workerCountOf(ctl.get()) > maximumPoolSize)
1586 interruptIdleWorkers();
1587 }
1588
1589 /**
1590 * Returns the maximum allowed number of threads.
1591 *
1592 * @return the maximum allowed number of threads
1593 * @see #setMaximumPoolSize
1594 */
1595 public int getMaximumPoolSize() {
1596 return maximumPoolSize;
1597 }
1598
1599 /**
1600 * Sets the time limit for which threads may remain idle before
1601 * being terminated. If there are more than the core number of
1602 * threads currently in the pool, after waiting this amount of
1603 * time without processing a task, excess threads will be
1604 * terminated. This overrides any value set in the constructor.
1605 *
1606 * @param time the time to wait. A time value of zero will cause
1607 * excess threads to terminate immediately after executing tasks.
1608 * @param unit the time unit of the {@code time} argument
1609 * @throws IllegalArgumentException if {@code time} less than zero or
1610 * if {@code time} is zero and {@code allowsCoreThreadTimeOut}
1611 * @see #getKeepAliveTime
1612 */
1613 public void setKeepAliveTime(long time, TimeUnit unit) {
1614 if (time < 0)
1615 throw new IllegalArgumentException();
1616 if (time == 0 && allowsCoreThreadTimeOut())
1617 throw new IllegalArgumentException("Core threads must have nonzero keep alive times");
1618 long keepAliveTime = unit.toNanos(time);
1619 long delta = keepAliveTime - this.keepAliveTime;
1620 this.keepAliveTime = keepAliveTime;
1621 if (delta < 0)
1622 interruptIdleWorkers();
1623 }
1624
1625 /**
1626 * Returns the thread keep-alive time, which is the amount of time
1627 * that threads in excess of the core pool size may remain
1628 * idle before being terminated.
1629 *
1630 * @param unit the desired time unit of the result
1631 * @return the time limit
1632 * @see #setKeepAliveTime
1633 */
1634 public long getKeepAliveTime(TimeUnit unit) {
1635 return unit.convert(keepAliveTime, TimeUnit.NANOSECONDS);
1636 }
1637
1638 /* User-level queue utilities */
1639
1640 /**
1641 * Returns the task queue used by this executor. Access to the
1642 * task queue is intended primarily for debugging and monitoring.
1643 * This queue may be in active use. Retrieving the task queue
1644 * does not prevent queued tasks from executing.
1645 *
1646 * @return the task queue
1647 */
1648 public BlockingQueue<Runnable> getQueue() {
1649 return workQueue;
1650 }
1651
1652 /**
1653 * Removes this task from the executor's internal queue if it is
1654 * present, thus causing it not to be run if it has not already
1655 * started.
1656 *
1657 * <p> This method may be useful as one part of a cancellation
1658 * scheme. It may fail to remove tasks that have been converted
1659 * into other forms before being placed on the internal queue. For
1660 * example, a task entered using {@code submit} might be
1661 * converted into a form that maintains {@code Future} status.
1662 * However, in such cases, method {@link #purge} may be used to
1663 * remove those Futures that have been cancelled.
1664 *
1665 * @param task the task to remove
1666 * @return true if the task was removed
1667 */
1668 public boolean remove(Runnable task) {
1669 boolean removed = workQueue.remove(task);
1670 tryTerminate(); // In case SHUTDOWN and now empty
1671 return removed;
1672 }
1673
1674 /**
1675 * Tries to remove from the work queue all {@link Future}
1676 * tasks that have been cancelled. This method can be useful as a
1677 * storage reclamation operation, that has no other impact on
1678 * functionality. Cancelled tasks are never executed, but may
1679 * accumulate in work queues until worker threads can actively
1680 * remove them. Invoking this method instead tries to remove them now.
1681 * However, this method may fail to remove tasks in
1682 * the presence of interference by other threads.
1683 */
1684 public void purge() {
1685 final BlockingQueue<Runnable> q = workQueue;
1686 try {
1687 Iterator<Runnable> it = q.iterator();
1688 while (it.hasNext()) {
1689 Runnable r = it.next();
1690 if (r instanceof Future<?> && ((Future<?>)r).isCancelled())
1691 it.remove();
1692 }
1693 } catch (ConcurrentModificationException fallThrough) {
1694 // Take slow path if we encounter interference during traversal.
1695 // Make copy for traversal and call remove for cancelled entries.
1696 // The slow path is more likely to be O(N*N).
1697 for (Object r : q.toArray())
1698 if (r instanceof Future<?> && ((Future<?>)r).isCancelled())
1699 q.remove(r);
1700 }
1701
1702 tryTerminate(); // In case SHUTDOWN and now empty
1703 }
1704
1705 /* Statistics */
1706
1707 /**
1708 * Returns the current number of threads in the pool.
1709 *
1710 * @return the number of threads
1711 */
1712 public int getPoolSize() {
1713 final ReentrantLock mainLock = this.mainLock;
1714 mainLock.lock();
1715 try {
1716 // Remove rare and surprising possibility of
1717 // isTerminated() && getPoolSize() > 0
1718 return runStateAtLeast(ctl.get(), TIDYING) ? 0
1719 : workers.size();
1720 } finally {
1721 mainLock.unlock();
1722 }
1723 }
1724
1725 /**
1726 * Returns the approximate number of threads that are actively
1727 * executing tasks.
1728 *
1729 * @return the number of threads
1730 */
1731 public int getActiveCount() {
1732 final ReentrantLock mainLock = this.mainLock;
1733 mainLock.lock();
1734 try {
1735 int n = 0;
1736 for (Worker w : workers)
1737 if (w.isLocked())
1738 ++n;
1739 return n;
1740 } finally {
1741 mainLock.unlock();
1742 }
1743 }
1744
1745 /**
1746 * Returns the largest number of threads that have ever
1747 * simultaneously been in the pool.
1748 *
1749 * @return the number of threads
1750 */
1751 public int getLargestPoolSize() {
1752 final ReentrantLock mainLock = this.mainLock;
1753 mainLock.lock();
1754 try {
1755 return largestPoolSize;
1756 } finally {
1757 mainLock.unlock();
1758 }
1759 }
1760
1761 /**
1762 * Returns the approximate total number of tasks that have ever been
1763 * scheduled for execution. Because the states of tasks and
1764 * threads may change dynamically during computation, the returned
1765 * value is only an approximation.
1766 *
1767 * @return the number of tasks
1768 */
1769 public long getTaskCount() {
1770 final ReentrantLock mainLock = this.mainLock;
1771 mainLock.lock();
1772 try {
1773 long n = completedTaskCount;
1774 for (Worker w : workers) {
1775 n += w.completedTasks;
1776 if (w.isLocked())
1777 ++n;
1778 }
1779 return n + workQueue.size();
1780 } finally {
1781 mainLock.unlock();
1782 }
1783 }
1784
1785 /**
1786 * Returns the approximate total number of tasks that have
1787 * completed execution. Because the states of tasks and threads
1788 * may change dynamically during computation, the returned value
1789 * is only an approximation, but one that does not ever decrease
1790 * across successive calls.
1791 *
1792 * @return the number of tasks
1793 */
1794 public long getCompletedTaskCount() {
1795 final ReentrantLock mainLock = this.mainLock;
1796 mainLock.lock();
1797 try {
1798 long n = completedTaskCount;
1799 for (Worker w : workers)
1800 n += w.completedTasks;
1801 return n;
1802 } finally {
1803 mainLock.unlock();
1804 }
1805 }
1806
1807 /* Extension hooks */
1808
1809 /**
1810 * Method invoked prior to executing the given Runnable in the
1811 * given thread. This method is invoked by thread {@code t} that
1812 * will execute task {@code r}, and may be used to re-initialize
1813 * ThreadLocals, or to perform logging.
1814 *
1815 * <p>This implementation does nothing, but may be customized in
1816 * subclasses. Note: To properly nest multiple overridings, subclasses
1817 * should generally invoke {@code super.beforeExecute} at the end of
1818 * this method.
1819 *
1820 * @param t the thread that will run task {@code r}
1821 * @param r the task that will be executed
1822 */
1823 protected void beforeExecute(Thread t, Runnable r) { }
1824
1825 /**
1826 * Method invoked upon completion of execution of the given Runnable.
1827 * This method is invoked by the thread that executed the task. If
1828 * non-null, the Throwable is the uncaught {@code RuntimeException}
1829 * or {@code Error} that caused execution to terminate abruptly.
1830 *
1831 * <p>This implementation does nothing, but may be customized in
1832 * subclasses. Note: To properly nest multiple overridings, subclasses
1833 * should generally invoke {@code super.afterExecute} at the
1834 * beginning of this method.
1835 *
1836 * <p><b>Note:</b> When actions are enclosed in tasks (such as
1837 * {@link FutureTask}) either explicitly or via methods such as
1838 * {@code submit}, these task objects catch and maintain
1839 * computational exceptions, and so they do not cause abrupt
1840 * termination, and the internal exceptions are <em>not</em>
1841 * passed to this method. If you would like to trap both kinds of
1842 * failures in this method, you can further probe for such cases,
1843 * as in this sample subclass that prints either the direct cause
1844 * or the underlying exception if a task has been aborted:
1845 *
1846 * <pre> {@code
1847 * class ExtendedExecutor extends ThreadPoolExecutor {
1848 * // ...
1849 * protected void afterExecute(Runnable r, Throwable t) {
1850 * super.afterExecute(r, t);
1851 * if (t == null && r instanceof Future<?>) {
1852 * try {
1853 * Object result = ((Future<?>) r).get();
1854 * } catch (CancellationException ce) {
1855 * t = ce;
1856 * } catch (ExecutionException ee) {
1857 * t = ee.getCause();
1858 * } catch (InterruptedException ie) {
1859 * Thread.currentThread().interrupt(); // ignore/reset
1860 * }
1861 * }
1862 * if (t != null)
1863 * System.out.println(t);
1864 * }
1865 * }}</pre>
1866 *
1867 * @param r the runnable that has completed
1868 * @param t the exception that caused termination, or null if
1869 * execution completed normally
1870 */
1871 protected void afterExecute(Runnable r, Throwable t) { }
1872
1873 /**
1874 * Method invoked when the Executor has terminated. Default
1875 * implementation does nothing. Note: To properly nest multiple
1876 * overridings, subclasses should generally invoke
1877 * {@code super.terminated} within this method.
1878 */
1879 protected void terminated() { }
1880
1881 /* Predefined RejectedExecutionHandlers */
1882
1883 /**
1884 * A handler for rejected tasks that runs the rejected task
1885 * directly in the calling thread of the {@code execute} method,
1886 * unless the executor has been shut down, in which case the task
1887 * is discarded.
1888 */
1889 public static class CallerRunsPolicy implements RejectedExecutionHandler {
1890 /**
1891 * Creates a {@code CallerRunsPolicy}.
1892 */
1893 public CallerRunsPolicy() { }
1894
1895 /**
1896 * Executes task r in the caller's thread, unless the executor
1897 * has been shut down, in which case the task is discarded.
1898 *
1899 * @param r the runnable task requested to be executed
1900 * @param e the executor attempting to execute this task
1901 */
1902 public void rejectedExecution(Runnable r, ThreadPoolExecutor e) {
1903 if (!e.isShutdown()) {
1904 r.run();
1905 }
1906 }
1907 }
1908
1909 /**
1910 * A handler for rejected tasks that throws a
1911 * {@code RejectedExecutionException}.
1912 */
1913 public static class AbortPolicy implements RejectedExecutionHandler {
1914 /**
1915 * Creates an {@code AbortPolicy}.
1916 */
1917 public AbortPolicy() { }
1918
1919 /**
1920 * Always throws RejectedExecutionException.
1921 *
1922 * @param r the runnable task requested to be executed
1923 * @param e the executor attempting to execute this task
1924 * @throws RejectedExecutionException always.
1925 */
1926 public void rejectedExecution(Runnable r, ThreadPoolExecutor e) {
1927 throw new RejectedExecutionException();
1928 }
1929 }
1930
1931 /**
1932 * A handler for rejected tasks that silently discards the
1933 * rejected task.
1934 */
1935 public static class DiscardPolicy implements RejectedExecutionHandler {
1936 /**
1937 * Creates a {@code DiscardPolicy}.
1938 */
1939 public DiscardPolicy() { }
1940
1941 /**
1942 * Does nothing, which has the effect of discarding task r.
1943 *
1944 * @param r the runnable task requested to be executed
1945 * @param e the executor attempting to execute this task
1946 */
1947 public void rejectedExecution(Runnable r, ThreadPoolExecutor e) {
1948 }
1949 }
1950
1951 /**
1952 * A handler for rejected tasks that discards the oldest unhandled
1953 * request and then retries {@code execute}, unless the executor
1954 * is shut down, in which case the task is discarded.
1955 */
1956 public static class DiscardOldestPolicy implements RejectedExecutionHandler {
1957 /**
1958 * Creates a {@code DiscardOldestPolicy} for the given executor.
1959 */
1960 public DiscardOldestPolicy() { }
1961
1962 /**
1963 * Obtains and ignores the next task that the executor
1964 * would otherwise execute, if one is immediately available,
1965 * and then retries execution of task r, unless the executor
1966 * is shut down, in which case task r is instead discarded.
1967 *
1968 * @param r the runnable task requested to be executed
1969 * @param e the executor attempting to execute this task
1970 */
1971 public void rejectedExecution(Runnable r, ThreadPoolExecutor e) {
1972 if (!e.isShutdown()) {
1973 e.getQueue().poll();
1974 e.execute(r);
1975 }
1976 }
1977 }
1978 }