继上篇《ThreadPoolExecutor源码分析(一):重要成员变量》续...
作为一个执行服务ExecutorService的实例,ThreadPoolExecutor的首要任务当然是提交任务进行处理,那么,在任务提交时,ThreadPoolExecutor的处理流程是怎样的?它是一味的开启线程进行处理,还是有一套完整的逻辑来处理呢?本文,我们将继续分析ThreadPoolExecutor,看下它在任务提交时的主逻辑。
任务的提交是通过execute()方法完成的,代码如下:
/**
* Executes the given task sometime in the future. The task
* may execute in a new thread or in an existing pooled thread.
*
* If the task cannot be submitted for execution, either because this
* executor has been shutdown or because its capacity has been reached,
* the task is handled by the current {@code RejectedExecutionHandler}.
*
* @param command the task to execute
* @throws RejectedExecutionException at discretion of
* {@code RejectedExecutionHandler}, if the task
* cannot be accepted for execution
* @throws NullPointerException if {@code command} is null
*/
public void execute(Runnable command) {
if (command == null)
throw new NullPointerException();
/*
* Proceed in 3 steps:
*
* 1. If fewer than corePoolSize threads are running, try to
* start a new thread with the given command as its first
* task. The call to addWorker atomically checks runState and
* workerCount, and so prevents false alarms that would add
* threads when it shouldn't, by returning false.
* 1、如果少于corePoolSize数量的线程正在运行,尝试利用给定的Runnable实例command开启一个新的线程作为它的第一个任务。
* addWorker()方法的调用会对线程池运行状态runState、worker线程数量workerCount进行原子性检测,返回值为启动新线程结果。
*
* 2. If a task can be successfully queued, then we still need
* to double-check whether we should have added a thread
* (because existing ones died since last checking) or that
* the pool shut down since entry into this method. So we
* recheck state and if necessary roll back the enqueuing if
* stopped, or start a new thread if there are none.
* 2、如果一个任务可以成功地进入队列,然后我们还需要再次检查(即双份检查)自从进入这个方法后,我们是否应该添加一个线程
* (因为自从上一次检查以来可能存在死亡情况),
* 所以我们重新检查状态,如果有必要的话,即线程池已停止,回滚之前的入队操作,或者在没有线程时启动一个新线程。
*
* 3. If we cannot queue task, then we try to add a new
* thread. If it fails, we know we are shut down or saturated
* and so reject the task.
* 3、如果我们不能入列一个任务,那么我们尝试添加一个新线程。
* 如果添加失败,我们知道线程池可能已被关闭或者数量饱和,所以我们会拒绝这个任务。
*/
// 获取ctl的值c
int c = ctl.get();
// 如果c中有效线程数目小于corePoolSize大小,尝试添加新的worker线程处理任务command:
// 从c中获取有效线程数目调用的是workerCountOf()方法,
// 添加新的worker线程处理任务command调用的是addWorker()方法,
// 线程数的判断利用corePoolSize作为边界约束条件
// 方法返回值是标志添加worker是否成功的标志位,ture表示成功,false表示失败,
// 如果为true,则直接返回,否则重新获取ctl的值c
if (workerCountOf(c) < corePoolSize) {
if (addWorker(command, true))
return;
// 添加work线程失败则再次获取ctl的值
c = ctl.get();
}
// 根据c判断当前线程池的状态是否为RUNNING状态,即既可以接受新任务,又会处理队列任务的状态,
// 并且通过offer()方法,尝试将commond添加到队列workQueue中
// BlockingQueue的offer()方法表示如果可能的话,将参数对象加到BlockingQueue里,
// 即如果BlockingQueue可以容纳,则返回true,否则返回false
if (isRunning(c) && workQueue.offer(command)) {
// 如果当前线程池处于RUNNING状态,且workQueue能够容纳command,并添加成功的话,
// 再次获取ctl的值recheck,
int recheck = ctl.get();
// 如果当前线程池的状态不是RUNNING,并且从队列workQueue移除command成功的话,
// 调用reject()方法拒绝任务command,
if (! isRunning(recheck) && remove(command))
reject(command);
// 否则如果当前工作线程woker数目为0,尝试添加新的worker线程,但是不携带任务
else if (workerCountOf(recheck) == 0)
addWorker(null, false);
}
// 如果尝试添加新的worker线程处理任务command失败,
// 调用reject()方法拒绝任务command,线程数的判断利用maximumPoolSize作为边界约束条件
else if (!addWorker(command, false))
reject(command);
}
execute()方法的运行逻辑比较简单,它会首先检查待处理任务command是否为空,为空的话直接抛出空指针NullPointerException异常,并获取ctl的值c,ctl我们在上一篇文章中已讲到过,它是ThreadPoolExecutor当前线程池的一个综合控制状态,然后再根据当前ThreadPoolExecutor具体情况做如下处理:
1、如果当前线程池有效线程数目小于corePoolSize,那么尝试添加新的worker线程处理任务command:
从c中获取有效线程数目调用的是workerCountOf()方法,添加新的worker线程处理任务command调用的是addWorker()方法,且第二个参数为true表示线程数的判断利用corePoolSize作为边界约束条件,方法返回值是标志添加worker是否成功的标志位,ture表示成功,false表示失败,如果为true,则直接返回,否则重新获取ctl的值c;
2、根据c判断当前线程池的状态是否为RUNNING状态,即既可以接受新任务,又会处理队列任务的状态,注意此时c是重新获取的最新的数据,并且通过offer()方法,尝试将commond添加到队列workQueue中,BlockingQueue的offer()方法表示如果可能的话,将参数对象加到BlockingQueue里,即如果BlockingQueue可以容纳,则返回true,否则返回false:
此时,如果当前线程池处于RUNNING状态,且workQueue能够容纳command,并添加成功的话,再次获取ctl的值recheck,做第二次检查,如果当前线程池的状态不是RUNNING,并且从队列workQueue移除command成功的话,否则如果当前工作线程woker数目为0,尝试添加新的worker线程,但是不携带任务;
3、如果尝试添加新的worker线程处理任务command失败,调用reject()方法拒绝任务command,这时线程数的判断利用maximumPoolSize作为边界约束条件。
从上面的逻辑我们大致可以分析出如下一个主要思路:
1、如果ThreadPoolExecutor中当前有效线程数低于corePoolSize,那么我们总是优先尝试启动新的worker线程处理任务command;
2、如果ThreadPoolExecutor中当前有效线程数高于或等于corePoolSize,亦或者低于的情况下启动新的worker线程失败,我们会根据当前线程池状态是否为RUNNING,将任务command添加到任务队列workQueue中;
3、最后实在不行,在maximumPoolSize允许的情况下,强行开启一个线程处理任务。
这里,还有一点需要说明,在第2步中,既然已经将任务成功加入workQueue队列,为什么还需要再次做线程池状态检查呢?因为在我们刚刚把任务成功添加到任务队列workQueue中的那一刻,或者前一刻,任务还是RUNNING状态,但是保不齐其他调用者或者线程此时会修改线程池状态,那么此时我们就需要将任务再进行必要的移除,这是考虑复杂情况的一种安全机制的保障!