1.线程池状态
// 接收新任务,处理阻塞队列中任务
private static final int RUNNING = -1 << COUNT_BITS;
// 拒绝新任务,但是会处理阻塞队列中任务
private static final int SHUTDOWN = 0 << COUNT_BITS;
// 拒绝新任务并且抛弃阻塞队列中任务,同时中断正在处理的任务
private static final int STOP = 1 << COUNT_BITS;
// 所有任务处理完毕(包括阻塞队列中任务),当前活跃线程数为0,将要调用terminated 方法。
private static final int TIDYING = 2 << COUNT_BITS;
// 终止状态 调用terminated 方法后的状态
private static final int TERMINATED = 3 << COUNT_BITS;
2.线程池状态转换
- RUNNING => SHUTDOWN:显式调用shutdown()方法 或者隐式调用了finalize()方法里面的shutdown()方法
- (RUNNING SHUTDOWN)=> STOP:显式调用shutdownNow()方法
- SHUTDOWN=>TIDYING:当线程池和任务队列都为空时
- STOP=> TIDYING:当线程池为空时
- TIDYING- TERMINATED:terminated() hook方法执行完成
3.线程池的参数
• corePoolSize:线程池核心线程个数。
• workQueue:用于保存等待执行的任务的阻 队列,比如基于数组的有界ArrayBlockingQueue、基于链表的无界 LinkedBlockingQueue、最多只有一个元素的同步队列SynchronousQueue及优先级队列PriorityBlockingQueue 等。
• maximunPoolSize 线程池最大线程数量。
• ThreadFactory :创建线程的工厂
• RejectedExecutionHandler :饱和策略,队列满并且线程个数达到 maximunPoolSize后采取策略,比如AbortPolicy(抛出异常默认)、 CallerRunsPolicy(使用调用者所在线程来运行任务)、DiscardOldestPolicy(调用 poll 丢弃 个任务,执行当前任务)、DiscardPolicy (默默丢弃,不抛出异常)。
• keeyAliveTime :存活时间 如果当前线程池中的线程数量比核心线程数多,并且是闲置状态,则这些闲置的线程能存活的最大时间。
• TimeUnit 存活时间的时间单位
4.线程池个数与状态
5.线程池模型
线程池实现实际是一个生产消费模型,用户添加任务到线程池相当于生产元素,workers线程工作集中的线程直接执行任务或者从任务队列获取任务时则相当于消费者消费元素。
6.任务交给线程池执行过程
-
当前线程池中线程个数是否小于corePoolSize ,小于则开启新线程运行。
线程数大于核心线程数,并且线程池处于RUNNING状态,则添加任务到阻塞队。进行二次检查,确定线程池状态。二次检查发现线程池不在RUNNING状态,从阻塞队列移除任务,并且执行拒绝策略。发现是运行状态并且线程池为空,添加一个线程。不为空像队列添加新增线程,新增失败执行拒绝策略。
public void execute(Runnable command) {
// (1)如果任务为null,则抛出NPE异常
if (command == null)
throw new NullPointerException();
// (2)获取当前线程池的状态+线程数量的组合值
int c = ctl.get();
// (3)当前线程池中线程个数是否小于corePoolSize ,小于则开启新线程运行
if (workerCountOf(c) < corePoolSize) {
if (addWorker(command, true))
return;
c = ctl.get();
}
// (4)如果线程池处于RUNNING状态,则添加任务到阻塞队
if (isRunning(c) && workQueue.offer(command)) {
// 二次检查
int recheck = ctl.get();
// 线程池状态不是RUNNING,移除任务执行拒绝策略
if (! isRunning(recheck) && remove(command))
reject(command);
// 线程池为空,添加一个线程
else if (workerCountOf(recheck) == 0)
addWorker(null, false);
}
// 线程队列满,新增线程,失败执行拒绝策略。
else if (!addWorker(command, false))
reject(command);
}
// 新增线程的方法
private boolean addWorker(Runnable firstTask, boolean core) {
retry:
for (;;) {
// 获取线程池状态
int c = ctl.get();
// 获取线程池状态
int rs = runStateOf(c);
// 检查队列是否只在必要时为空
if (rs >= SHUTDOWN &&
! (rs == SHUTDOWN &&
firstTask == null &&
! workQueue.isEmpty()))
return false;
// 循环CAS增加线程个数
for (;;) {
// 获取线程吃个数
int wc = workerCountOf(c);
// 如果线程个数超限则返回 false
if (wc >= CAPACITY ||
wc >= (core ? corePoolSize : maximumPoolSize))
return false;
// 改变线程池个数
if (compareAndIncrementWorkerCount(c))
break retry;
// cas改变失败,看线程池状态是否变化,变化跳出到外层循环重新获取线程池状态,否则内层循环重新cas。
c = ctl.get(); // Re-read ctl
if (runStateOf(c) != rs)
continue retry;
// else CAS failed due to workerCount change; retry inner loop
}
}
// cas增加线程数成功
boolean workerStarted = false;
boolean workerAdded = false;
Worker w = null;
try {
// 创建worker
w = new Worker(firstTask);
final Thread t = w.thread;
if (t != null) {
final ReentrantLock mainLock = this.mainLock;
// 加独占锁,为了实现workers同步,因为可能多个线程调用了线程池的execute方法
mainLock.lock();
try {
// 重新检查线程池状态,以避免在获取锁前调用了shutdown
int rs = runStateOf(ctl.get());
if (rs < SHUTDOWN ||
(rs == SHUTDOWN && firstTask == null)) {
if (t.isAlive()) // precheck that t is startable
throw new IllegalThreadStateException();
// 添加任务
workers.add(w);
int s = workers.size();
if (s > largestPoolSize)
largestPoolSize = s;
workerAdded = true;
}
} finally {
mainLock.unlock();
}
// 添加任务成功后启动任务
if (workerAdded) {
t.start();
workerStarted = true;
}
}
} finally {
if (! workerStarted)
addWorkerFailed(w);
}
return workerStarted;
}
6.1工作线程 Worker 的执行
Worker(Runnable firstTask) {
setState(-1); // inhibit interrupts until runWorker
this.firstTask = firstTask;
this.thread = getThreadFactory().newThread(this);
}
worker的构造函数,状态为-1,这 是为了避免当前 Worker 在调用runWorker 方法前被中断(当其他线程调用了线程池的 shutdownNow时,如果 Worker状态>=0则会中断新该线程)。这里设置了线程的状态,所以该线程就不会被中断了。在如下 runWorker代码中,运行代码(会调用 unlock 方法,该方法把status设置为了0,所以这时候调用 shutdownNow 会中断 Worker 程。
final void runWorker(Worker w) {
Thread wt = Thread.currentThread();
Runnable task = w.firstTask;
w.firstTask = null;
w.unlock(); //(9)将state设置为0,允许中断
boolean completedAbruptly = true;
try {
while (task != null || (task = getTask()) != null) {
w.lock();
if ((runStateAtLeast(ctl.get(), STOP) ||
(Thread.interrupted() &&
runStateAtLeast(ctl.get(), STOP))) &&
!wt.isInterrupted())
wt.interrupt();
try {
// (10.2)执行任务前干一些事情
beforeExecute(wt, task);
Throwable thrown = null;
try {
// 执行任务
task.run();
} catch (RuntimeException x) {
thrown = x; throw x;
} catch (Error x) {
thrown = x; throw x;
} catch (Throwable x) {
thrown = x; throw new Error(x);
} finally {
afterExecute(task, thrown);
}
} finally {
task = null;
w.completedTasks++;
w.unlock();
}
}
completedAbruptly = false;
} finally {
processWorkerExit(w, completedAbruptly);
}
}