Java并发之线程池ThreadPoolExecutor源码分析学习
线程池学习
以下所有内容以及源码分析都是基于jdk1.8的，请知悉。
我写博客就真的比较没有顺序了，这可能跟我的学习方式有关，我自己也觉得这样挺不好的，但是没办法说服自己去改变，所以也只能这样想到什么学什么了。
池化技术真的是一门在我看来非常牛逼的技术，因为它做到了在有限资源内实现了资源利用的最大化，这让我想到了一门课程，那就是运筹学，当时在上运筹学的时候就经常做这种类似的问题。
言归正传吧，我接下来会进行一次线程池方面知识点的学习，也会记录下来分享给大家。
线程池的内容当中有涉及到aqs同步器的知识点，如果对aqs同步器知识点感觉有点薄弱，可以去看我的上一篇文章。
线程池的优势
既然说到线程池了，而且大多数的大牛也都会建议我们使用池化技术来管理一些资源，那线程池肯定也是有它的好处的，要不然怎么会那么出名并且让大家使用呢？
我们就来看看它究竟有什么优势？
资源可控性：使用线程池可以避免创建大量线程而导致内存的消耗
提高响应速度：线程池地创建实际上是很消耗时间和性能的，由线程池创建好有任务就运行，提升响应速度。
便于管理：池化技术最突出的一个特点就是可以帮助我们对池子里的资源进行管理。由线程池统一分配和管理。
线程池的创建
我们要用线程池来统一分配和管理我们的线程，那首先我们要创建一个线程池出来，还是有很多大牛已经帮我们写好了很多方面的代码的，executors的工厂方法就给我们提供了创建多种不同线程池的方法。因为这个类只是一个创建对象的工厂，并没有涉及到很多的具体实现，所以我不会过于详细地去说明。
老规矩，还是直接上代码吧。
public static executorservice newfixedthreadpool(int nthreads) {
return new threadpoolexecutor(nthreads, nthreads,
0l, timeunit.milliseconds,
new linkedblockingqueue<runnable>());
}
这里也就举出一个方法的例子来进行之后的讲解吧，我们可以看出，executors只是个工厂而已，方法也只是来实例化不同的对象，实际上实例化出来的关键类就是threadpoolexecutor。现在我们就先来简单地对threadpoolexecutor构造函数内的每个参数进行解释一下吧。
corepoolsize(核心线程池大小)：当提交一个任务到线程池时，线程池会创建一个线程来执行任务，即使其他空闲的基本线程能够执行新任务也会创建线程，当任务数大于核心线程数的时候就不会再创建。在这里要注意一点，线程池刚创建的时候，其中并没有创建任何线程，而是等任务来才去创建线程，除非调用了
prestartallcorethreads()或者prestartcorethread()方法 ，这样才会预先创建好corepoolsize个线程或者一个线程。maximumpoolsize(线程池最大线程数)：线程池允许创建的最大线程数，如果队列满了，并且已创建的线程数小于最大线程数，则线程池会再创建新的线程执行任务。值得注意的是，如果使用了*队列，此参数就没有意义了。
keepalivetime(线程活动保持时间)：此参数默认在线程数大于
corepoolsize的情况下才会起作用， 当线程的空闲时间达到keepalivetime的时候就会终止，直至线程数目小于corepoolsize。不过如果调用了allowcorethreadtimeout方法，则当线程数目小于corepoolsize的时候也会起作用.unit(keelalivetime的时间单位)：keelalivetime的时间单位，一共有7种，在这里就不列举了。
-
workqueue(阻塞队列)：阻塞队列，用来存储等待执行的任务，这个参数也是非常重要的，在这里简单介绍一下几个阻塞队列。
arrayblockingqueue：这是一个基于数组结构的有界阻塞队列，此队列按照fifo的原则对元素进行排序。
linkedblockingqueue：一个基于链表结构的阻塞队列，此队列按照fifo排序元素，吞吐量通常要高于arrayblockingqueue。静态工厂方法
executors.newfixedthreadpool()就是使用了这个队列。synchronousqueue：一个不存储元素的阻塞队列。每个插入操作必须等到另一个线程调用移除操作，否则插入操作一直处于阻塞状态。吞吐量通常要高于linkedblockingqueue，静态工厂方法
executors.newcachedthreadpool()就使用了这个队列。priorityblockingqueue：一个具有优先级的无阻塞队列。
-
handler(饱和策略)；当线程池和队列都满了，说明线程池已经处于饱和状态了，那么必须采取一种策略来处理还在提交过来的新任务。这个饱和策略默认情况下是
abortpolicy，表示无法处理新任务时抛出异常。共有四种饱和策略提供，当然我们也可以选择自己实现饱和策略。abortpolicy：直接丢弃并且抛出
rejectedexecutionexception异常callerrunspolicy：只用调用者所在线程来运行任务。
discardoldestpolicy：丢弃队列里最近的一个任务，并执行当前任务。
discardpolicy：丢弃任务并且不抛出异常。
线程池的执行流程就用参考资料里的图介绍一下了，具体我们还是通过代码去讲解。
在上面我们简单的讲解了一下executors这个工厂类里的工厂方法，并且讲述了一下创建线程池的一些参数以及它们的作用，当然上面的讲解并不是很深入，因为想要弄懂的话是需要持续地花时间去看去理解的，而博主自己也还是没有完全弄懂，不过博主的学习方法是先学了个大概，再回头来看看之前的知识点，可能会更加好理解，所以我们接着往下面讲吧。
threadpoolexecutor源码分析
在上面我们就发现了，executors的工厂方法主要就返回了threadpoolexecutor对象，至于另一个在这里暂时不讲，也就是说，要学习线程池，其实关键的还是得学会分析threadpoolexecutor这个对象里面的源码，我们接下来就会对threadpoolexecutor里的关键代码进行分析。
atomicinteger ctl
ctl是主要的控制状态，是一个复合类型的变量，其中包括了两个概念。
workercount：表示有效的线程数目
-
runstate：线程池里线程的运行状态
我们来分析一下跟ctl有关的一些源代码吧，直接上代码
private final atomicinteger ctl = new atomicinteger(ctlof(running, 0));
//用来表示线程池数量的位数，很明显是29，integer.size=32
private static final int count_bits = integer.size - 3;
//线程池最大数量，2^29 - 1
private static final int capacity = (1 << count_bits) - 1;
// runstate is stored in the high-order bits
//我们可以看出有5种runstate状态，证明至少需要3位来表示runstate状态
//所以高三位就是表示runstate了
private static final int running = -1 << count_bits;
private static final int shutdown = 0 << count_bits;
private static final int stop = 1 << count_bits;
private static final int tidying = 2 << count_bits;
private static final int terminated = 3 << count_bits;
// packing and unpacking ctl
private static int runstateof(int c) { return c & ~capacity; }
private static int workercountof(int c) { return c & capacity; }
private static int ctlof(int rs, int wc) { return rs | wc; }
//用于存放线程任务的阻塞队列
private final blockingqueue<runnable> workqueue;
//重入锁
private final reentrantlock mainlock = new reentrantlock();
//线程池当中的线程集合，只有当拥有mainlock锁的时候，才可以进行访问
private final hashset<worker> workers = new hashset<worker>();
//等待条件支持终止
private final condition termination = mainlock.newcondition();
//创建新线程的线程工厂
private volatile threadfactory threadfactory;
//饱和策略
private volatile rejectedexecutionhandler handler;
-
capacity
在这里我们讲一下这个线程池最大数量的计算吧，因为这里涉及到源码以及位移之类的操作，我感觉大多数人都还是不太会这个，因为我一开始看的时候也是不太会的。
private static final int capacity = (1 << count_bits) - 1;
从代码我们可以看出，是需要1往左移29位，然后再减去1，那个1往左移29位是怎么计算的呢？
1 << count_bits
1的32位2进制是
00000000 00000000 00000000 00000001
左移29位的话就是
00100000 00000000 00000000 00000000
再进行减一的操作
000 11111 11111111 11111111 11111111
也就是说线程池最大数目就是
000 11111 11111111 11111111 11111111
2.runstate
正数的原码、反码、补码都是一样的
在计算机底层，是用补码来表示的
private static final int running = -1 << count_bits; private static final int shutdown = 0 << count_bits; private static final int stop = 1 << count_bits; private static final int tidying = 2 << count_bits; private static final int terminated = 3 << count_bits;
-
running
可以接受新任务并且处理已经在阻塞队列的任务
高3位全部是1的话，就是running状态
-1 << count_bits
这里是-1往左移29位，稍微有点不一样，-1的话需要我们自己算出补码来
-1的原码
10000000 00000000 00000000 00000001
-1的反码，负数的反码是将原码除符号位以外全部取反
11111111 11111111 11111111 11111110
-1的补码，负数的补码就是将反码+1
11111111 11111111 11111111 11111111
关键了，往左移29位，所以高3位全是1就是running状态
111 00000 00000000 00000000 00000000
-
shutdown
不接受新任务，但是处理已经在阻塞队列的任务
高3位全是0，就是shutdown状态
0 << count_bits
0的表示
00000000 00000000 00000000 00000000
往左移29位
00000000 00000000 00000000 00000000
-
stop
不接受新任务，也不处理阻塞队列里的任务，并且会中断正在处理的任务
所以高3位是001，就是stop状态
1 << count_bits
1的表示
00000000 00000000 00000000 00000001
往左移29位
00100000 00000000 00000000 00000000
-
tidying
所有任务都被中止，workercount是0，线程状态转化为tidying并且调用terminated()钩子方法
所以高3位是010，就是tidying状态
2 << count_bits
2的32位2进制
00000000 00000000 00000000 00000010
往左移29位
01000000 00000000 00000000 00000000
-
terminated
terminated()钩子方法已经完成
所以高3位是110，就是terminated状态
3 << count_bits
3的32位2进制
00000000 00000000 00000000 00000011
往左移29位
11000000 00000000 00000000 00000000
3.部分方法介绍
- runstateof(int c)
实时获取runstate的方法
private static int runstateof(int c) { return c & ~capacity; }
~capacity
~是按位取反的意思
&是按位与的意思
而capacity是，高位3个0，低29位都是1，所以是
000 11111 11111111 11111111 11111111
取反的话就是
111 00000 00000000 00000000 00000000
传进来的c参数与取反的capacity进行按位与操作
1、低位29个0进行按位与，还是29个0
2、高位3个1，既保持c参数的高3位
既高位保持原样，低29位都是0，这也就获得了线程池的运行状态runstate
- workercountof(int c)
获取线程池的当前有效线程数目
private static int workercountof(int c) { return c & capacity; }
capacity的32位2进制是
000 11111 11111111 11111111 11111111
用入参c跟capacity进行按位与操作
1、低29位都是1，所以保留c的低29位，也就是有效线程数
2、高3位都是0，所以c的高3位也是0
这样获取出来的便是workercount的值
-
ctlof(int rs, int wc)
原子整型变量ctl的初始化方法
//结合这几句代码来看
private static final int running = -1 << count_bits;
private final atomicinteger ctl = new atomicinteger(ctlof(running, 0));
private static int ctlof(int rs, int wc) { return rs | wc; }
running是
111 00000 00000000 00000000 00000000
ctlof是将rs和wc进行按位或的操作
初始化的时候是将running和0进行按位或
0的32位2进制是
00000000 00000000 00000000 00000000
所以初始化的ctl是
111 00000 00000000 00000000 00000000
核心方法源码分析
- execute(runnable command)方法
public void execute(runnable command) {
//需要执行的任务command为空，抛出空指针异常
if (command == null) // 1
throw new nullpointerexception();
/*
*执行的流程实际上分为三步
*1、如果运行的线程小于corepoolsize，以用户给定的runable对象新开一个线程去执行
* 并且执行addworker方法会以原子性操作去检查runstate和workercount，以防止当返回false的
* 时候添加了不应该添加的线程
*2、 如果任务能够成功添加到队列当中，我们仍需要对添加的线程进行双重检查，有可能添加的线程在前
* 一次检查时已经死亡，又或者在进入该方法的时候线程池关闭了。所以我们需要复查状态，并有有必
* 要的话需要在停止时回滚入列操作，或者在没有线程的时候新开一个线程
*3、如果任务无法入列，那我们需要尝试新增一个线程，如果新建线程失败了，我们就知道线程可能关闭了
* 或者饱和了，就需要拒绝这个任务
*
*/
//获取线程池的控制状态
int c = ctl.get(); // 2
//通过workcountof方法算workercount值，小于corepoolsize
if (workercountof(c) < corepoolsize) {
//添加任务到worker集合当中
if (addworker(command, true))
return; //成功返回
//失败的话再次获取线程池的控制状态
c = ctl.get();
}
/*
*判断线程池是否正处于running状态
*是的话添加runnable对象到workqueue队列当中
*/
if (isrunning(c) && workqueue.offer(command)) { // 3
//再次获取线程池的状态
int recheck = ctl.get();
//再次检查状态
//线程池不处于running状态，将任务从workqueue队列中移除
if (! isrunning(recheck) && remove(command))
//拒绝任务
reject(command);
//workercount等于0
else if (workercountof(recheck) == 0) // 4
//添加worker
addworker(null, false);
}
//加入阻塞队列失败，则尝试以线程池最大线程数新开线程去执行该任务
else if (!addworker(command, false)) // 5
//执行失败则拒绝任务
reject(command);
}
我们来说一下上面这个代码的流程：
1、首先判断任务是否为空，空则抛出空指针异常
2、不为空则获取线程池控制状态，判断小于corepoolsize，添加到worker集合当中执行，
- 如成功，则返回
- 失败的话再接着获取线程池控制状态，因为只有状态变了才会失败，所以重新获取
3、判断线程池是否处于运行状态，是的话则添加command到阻塞队列，加入时也会再次获取状态并且检测
状态是否不处于运行状态，不处于的话则将command从阻塞队列移除，并且拒绝任务
4、如果线程池里没有了线程，则创建新的线程去执行获取阻塞队列的任务执行
5、如果以上都没执行成功，则需要开启最大线程池里的线程来执行任务，失败的话就丢弃
有时候再多的文字也不如一个流程图来的明白，所以还是画了个execute的流程图给大家方便理解。
2.addworker(runnable firsttask, boolean core)
private boolean addworker(runnable firsttask, boolean core) {
//外部循环标记
retry:
//外层死循环
for (;;) {
//获取线程池控制状态
int c = ctl.get();
//获取runstate
int rs = runstateof(c);
// check if queue empty only if necessary.
/**
*1.如果线程池runstate至少已经是shutdown
*2\. 有一个是false则addworker失败，看false的情况
* - runstate==shutdown，即状态已经大于shutdown了
* - firsttask为null，即传进来的任务为空，结合上面就是runstate是shutdown，但是
* firsttask不为空，代表线程池已经关闭了还在传任务进来
* - 队列为空，既然任务已经为空，队列为空，就不需要往线程池添加任务了
*/
if (rs >= shutdown && //runstate大于等于shutdown,初始位running
! (rs == shutdown && //runstate等于shutdown
firsttask == null && //firsttask为null
! workqueue.isempty())) //workqueue队列不为空
return false;
//内层死循环
for (;;) {
//获取线程池的workercount数量
int wc = workercountof(c);
//如果workercount超出最大值或者大于corepoolsize/maximumpoolsize
//返回false
if (wc >= capacity ||
wc >= (core ? corepoolsize : maximumpoolsize))
return false;
//通过cas操作，使workercount数量+1，成功则跳出循环，回到retry标记
if (compareandincrementworkercount(c))
break retry;
//cas操作失败，再次获取线程池的控制状态
c = ctl.get(); // re-read ctl
//如果当前runstate不等于刚开始获取的runstate，则跳出内层循环，继续外层循环
if (runstateof(c) != rs)
continue retry;
// else cas failed due to workercount change; retry inner loop
//cas由于更改workercount而失败，继续内层循环
}
}
//通过以上循环，能执行到这是workercount成功+1了
//worker开始标记
boolean workerstarted = false;
//worker添加标记
boolean workeradded = false;
//初始化worker为null
worker w = null;
try {
//初始化一个当前runnable对象的worker对象
w = new worker(firsttask);
//获取该worker对应的线程
final thread t = w.thread;
//如果线程不为null
if (t != null) {
//初始线程池的锁
final reentrantlock mainlock = this.mainlock;
//获取锁
mainlock.lock();
try {
// recheck while holding lock.
// back out on threadfactory failure or if
// shut down before lock acquired.
//获取锁后再次检查，获取线程池runstate
int rs = runstateof(ctl.get());
//当runstate小于shutdown或者runstate等于shutdown并且firsttask为null
if (rs < shutdown ||
(rs == shutdown && firsttask == null)) {
//线程已存活
if (t.isalive()) // precheck that t is startable
//线程未启动就存活，抛出illegalthreadstateexception异常
throw new illegalthreadstateexception();
//将worker对象添加到workers集合当中
workers.add(w);
//获取workers集合的大小
int s = workers.size();
//如果大小超过largestpoolsize
if (s > largestpoolsize)
//重新设置largestpoolsize
largestpoolsize = s;
//标记worker已经被添加
workeradded = true;
}
} finally {
//释放锁
mainlock.unlock();
}
//如果worker添加成功
if (workeradded) {
//启动线程
t.start();
//标记worker已经启动
workerstarted = true;
}
}
} finally {
//如果worker没有启动成功
if (! workerstarted)
//workercount-1的操作
addworkerfailed(w);
}
//返回worker是否启动的标记
return workerstarted;
}
我们也简单说一下这个代码的流程吧，还真的是挺难的，博主写的时候都停了好多次，想砸键盘的说：
1、获取线程池的控制状态，进行判断，不符合则返回false，符合则下一步
2、死循环，判断workercount是否大于上限，或者大于corepoolsize/maximumpoolsize，没有的话则对workercount+1操作，
3、如果不符合上述判断或+1操作失败，再次获取线程池的控制状态，获取runstate与刚开始获取的runstate相比，不一致则跳出内层循环继续外层循环，否则继续内层循环
4、+1操作成功后，使用重入锁reentrantlock来保证往workers当中添加worker实例，添加成功就启动该实例。
接下来看看流程图来理解一下上面代码的一个执行流程
3.addworkerfailed(worker w)
addworker方法添加worker失败，并且没有成功启动任务的时候，就会调用此方法，将任务从workers中移除，并且workercount做-1操作。
private void addworkerfailed(worker w) {
//重入锁
final reentrantlock mainlock = this.mainlock;
//获取锁
mainlock.lock();
try {
//如果worker不为null
if (w != null)
//workers移除worker
workers.remove(w);
//通过cas操作，workercount-1
decrementworkercount();
tryterminate();
} finally {
//释放锁
mainlock.unlock();
}
}
4.tryterminate()
当对线程池执行了非正常成功逻辑的操作时，都会需要执行tryterminate尝试终止线程池
final void tryterminate() {
//死循环
for (;;) {
//获取线程池控制状态
int c = ctl.get();
/*
*线程池处于running状态
*线程池状态最小大于tidying
*线程池==shutdown并且workqueue不为空
*直接return，不能终止
*/
if (isrunning(c) ||
runstateatleast(c, tidying) ||
(runstateof(c) == shutdown && ! workqueue.isempty()))
return;
//如果workercount不为0
if (workercountof(c) != 0) { // eligible to terminate
interruptidleworkers(only_one);
return;
}
//获取线程池的锁
final reentrantlock mainlock = this.mainlock;
//获取锁
mainlock.lock();
try {
//通过cas操作，设置线程池状态为tidying
if (ctl.compareandset(c, ctlof(tidying, 0))) {
try {
terminated();
} finally {
//设置线程池的状态为terminated
ctl.set(ctlof(terminated, 0));
//发送释放信号给在termination条件上等待的线程
termination.signalall();
}
return;
}
} finally {
//释放锁
mainlock.unlock();
}
// else retry on failed cas
}
}
5.runworker(worker w)
该方法的作用就是去执行任务
final void runworker(worker w) {
//获取当前线程
thread wt = thread.currentthread();
//获取worker里的任务
runnable task = w.firsttask;
//将worker实例的任务赋值为null
w.firsttask = null;
/*
*unlock方法会调用aqs的release方法
*release方法会调用具体实现类也就是worker的tryrelease方法
*也就是将aqs状态置为0，允许中断
*/
w.unlock(); // allow interrupts
//是否突然完成
boolean completedabruptly = true;
try {
//worker实例的task不为空，或者通过gettask获取的不为空
while (task != null || (task = gettask()) != null) {
//获取锁
w.lock();
// if pool is stopping, ensure thread is interrupted;
// if not, ensure thread is not interrupted. this
// requires a recheck in second case to deal with
// shutdownnow race while clearing interrupt
/*
*获取线程池的控制状态，至少要大于stop状态
*如果状态不对，检查当前线程是否中断并清除中断状态，并且再次检查线程池状态是否大于stop
*如果上述满足，检查该对象是否处于中断状态，不清除中断标记
*/
if ((runstateatleast(ctl.get(), stop) ||
(thread.interrupted() &&
runstateatleast(ctl.get(), stop))) &&
!wt.isinterrupted())
//中断改对象
wt.interrupt();
try {
//执行前的方法，由子类具体实现
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
task = null;
//已完成任务数+1
w.completedtasks++;
//释放锁
w.unlock();
}
}
completedabruptly = false;
} finally {
//处理并退出当前worker
processworkerexit(w, completedabruptly);
}
}
接下来我们用文字来说明一下执行任务这个方法的具体逻辑和流程。
- 首先在方法一进来，就执行了w.unlock()，这是为了将aqs的状态改为0，因为只有getstate() >= 0的时候，线程才可以被中断；
- 判断firsttask是否为空，为空则通过gettask()获取任务，不为空接着往下执行
- 判断是否符合中断状态，符合的话设置中断标记
- 执行beforeexecute()，task.run()，afterexecute()方法
- 任何一个出异常都会导致任务执行的终止；进入processworkerexit来退出任务
- 正常执行的话会接着回到步骤2
附上一副简单的流程图:
6.gettask()
在上面的runworker方法当中我们可以看出，当firsttask为空的时候，会通过该方法来接着获取任务去执行，那我们就看看获取任务这个方法到底是怎么样的？
private runnable gettask() {
//标志是否获取任务超时
boolean timedout = false; // did the last poll() time out?
//死循环
for (;;) {
//获取线程池的控制状态
int c = ctl.get();
//获取线程池的runstate
int rs = runstateof(c);
// check if queue empty only if necessary.
/*
*判断线程池的状态，出现以下两种情况
*1、runstate大于等于shutdown状态
*2、runstate大于等于stop或者阻塞队列为空
*将会通过cas操作，进行workercount-1并返回null
*/
if (rs >= shutdown && (rs >= stop || workqueue.isempty())) {
decrementworkercount();
return null;
}
//获取线程池的workercount
int wc = workercountof(c);
// are workers subject to culling?
/*
*allowcorethreadtimeout：是否允许core thread超时，默认false
*workercount是否大于核心核心线程池
*/
boolean timed = allowcorethreadtimeout || wc > corepoolsize;
/*
*1、wc大于maximumpoolsize或者已超时
*2、队列不为空时保证至少有一个任务
*/
if ((wc > maximumpoolsize || (timed && timedout))
&& (wc > 1 || workqueue.isempty())) {
/*
*通过cas操作，workercount-1
*能进行-1操作，证明wc大于maximumpoolsize或者已经超时
*/
if (compareanddecrementworkercount(c))
//-1操作成功，返回null
return null;
//-1操作失败，继续循环
continue;
}
try {
/*
*wc大于核心线程池
*执行poll方法
*小于核心线程池
*执行take方法
*/
runnable r = timed ?
workqueue.poll(keepalivetime, timeunit.nanoseconds) :
workqueue.take();
//判断任务不为空返回任务
if (r != null)
return r;
//获取一段时间没有获取到，获取超时
timedout = true;
} catch (interruptedexception retry) {
timedout = false;
}
}
}
还是文字解说一下上面的代码逻辑和流程：
- 获取线程池控制状态和runstate，判断线程池是否已经关闭或者正在关闭，是的话则workercount-1操作返回null
- 获取workercount判断是否大于核心线程池
- 判断workercount是否大于最大线程池数目或者已经超时，是的话workercount-1，-1成功则返回null，不成功则回到步骤1重新继续
- 判断workercount是否大于核心线程池，大于则用poll方法从队列获取任务，否则用take方法从队列获取任务
- 判断任务是否为空，不为空则返回获取的任务，否则回到步骤1重新继续
接下来依然有一副流程图：
7.processworkerexit
明显的，在执行任务当中，会去获取任务进行执行，那既然是执行任务，肯定就会有执行完或者出现异常中断执行的时候，那这时候肯定也会有相对应的操作，至于具体操作是怎么样的，我们还是直接去看源码最实际。
private void processworkerexit(worker w, boolean completedabruptly) {
/*
*completedabruptly:在runworker出现，代表是否突然完成的意思
*也就是在执行任务过程当中出现异常，就会突然完成，传true
*
*如果是突然完成，需要通过cas操作，workercount-1
*不是突然完成，则不需要-1，因为gettask方法当中已经-1
*
*下面的代码注释貌似与代码意思相反了
*/
if (completedabruptly) // if abrupt, then workercount wasn't adjusted
decrementworkercount();
//生成重入锁
final reentrantlock mainlock = this.mainlock;
//获取锁
mainlock.lock();
try {
//线程池统计的完成任务数completedtaskcount加上worker当中完成的任务数
completedtaskcount += w.completedtasks;
//从hashset<worker>中移除
workers.remove(w);
} finally {
//释放锁
mainlock.unlock();
}
//因为上述操作是释放任务或线程，所以会判断线程池状态，尝试终止线程池
tryterminate();
//获取线程池的控制状态
int c = ctl.get();
//判断runstate是否小鱼stop，即是running或者shutdown
//如果是running或者shutdown，代表没有成功终止线程池
if (runstatelessthan(c, stop)) {
/*
*是否突然完成
*如若不是，代表已经没有任务可获取完成，因为gettask当中是while循环
*/
if (!completedabruptly) {
/*
*allowcorethreadtimeout:是否允许core thread超时，默认false
*min-默认是corepoolsize
*/
int min = allowcorethreadtimeout ? 0 : corepoolsize;
//允许core thread超时并且队列不为空
//min为0，即允许core thread超时，这样就不需要维护核心核心线程池了
//如果workqueue不为空，则至少保持一个线程存活
if (min == 0 && ! workqueue.isempty())
min = 1;
//如果workercount大于min，则表示满足所需，可以直接返回
if (workercountof(c) >= min)
return; // replacement not needed
}
//如果是突然完成，添加一个空任务的worker线程--这里我也不太理解
addworker(null, false);
}
}
- 首先判断线程是否突然终止，如果是突然终止，通过cas，workercount-1
- 统计线程池完成任务数，并将worker从workers当中移除
- 判断线程池状态，尝试终止线程池
- 线程池没有成功终止
- 判断是否突然完成任务，不是则进行下一步，是则进行第三步
- 如允许核心线程超时，队列不为空，则至少保证一个线程存活
- 添加一个空任务的worker线程
worker内部类
我们在上面已经算是挺详细地讲了线程池执行任务execute的执行流程和一些细节，在上面频繁地出现了一个字眼，那就是worker实例，那么这个worker究竟是什么呢？里面都包含了一些什么信息，以及worker这个任务究竟是怎么执行的呢？
我们就在这个部分来介绍一下吧，还是直接上源码：
我们可以看到worker内部类继承aqs同步器并且实现了runnable接口，所以worker很明显就是一个可执行任务并且又可以控制中断、起到锁效果的类。
private final class worker
extends abstractqueuedsynchronizer
implements runnable
{
/**
* this class will never be serialized, but we provide a
* serialversionuid to suppress a javac warning.
*/
private static final long serialversionuid = 6138294804551838833l;
/** 工作线程，如果工厂失败则为空. */
final thread thread;
/** 初始化任务，有可能为空 */
runnable firsttask;
/** 已完成的任务计数 */
volatile long completedtasks;
/**
* 创建并初始化第一个任务，使用线程工厂来创建线程
* 初始化有3步
*1、设置aqs的同步状态为-1，表示该对象需要被唤醒
*2、初始化第一个任务
*3、调用threadfactory来使自身创建一个线程，并赋值给worker的成员变量thread
*/
worker(runnable firsttask) {
setstate(-1); // inhibit interrupts until runworker
this.firsttask = firsttask;
this.thread = getthreadfactory().newthread(this);
}
//重写runnable的run方法
/** delegates main run loop to outer runworker */
public void run() {
//调用threadpoolexecutor的runworker方法
runworker(this);
}
// lock methods
//
// the value 0 represents the unlocked state.
// the value 1 represents the locked state.
//代表是否独占锁，0-非独占 1-独占
protected boolean isheldexclusively() {
return getstate() != 0;
}
//重写aqs的tryacquire方法尝试获取锁
protected boolean tryacquire(int unused) {
//尝试将aqs的同步状态从0改为1
if (compareandsetstate(0, 1)) {
//如果改变成，则将当前独占模式的线程设置为当前线程并返回true
setexclusiveownerthread(thread.currentthread());
return true;
}
//否则返回false
return false;
}
//重写aqs的tryrelease尝试释放锁
protected boolean tryrelease(int unused) {
//设置当前独占模式的线程为null
setexclusiveownerthread(null);
//设置aqs同步状态为0
setstate(0);
//返回true
return true;
}
//获取锁
public void lock() { acquire(1); }
//尝试获取锁
public boolean trylock() { return tryacquire(1); }
//释放锁
public void unlock() { release(1); }
//是否被独占
public boolean islocked() { return isheldexclusively(); }
void interruptifstarted() {
thread t;
if (getstate() >= 0 && (t = thread) != null && !t.isinterrupted()) {
try {
t.interrupt();
} catch (securityexception ignore) {
}
}
}
}
小结
写这个线程池就真的是不容易了，历时两个星期，中途有很多的地方不懂，而且《java并发编程的艺术》的这本书当中对线程池的介绍其实并不算多，所以自己看起来也挺痛苦的，还经常会看了这个方法就不知道为什么要调用这个以及调用这个方法是出何用意。而且在这学习的过程当中，有在怀疑自己的学习方法对不对，因为也有人跟我说不需要一句句去看去分析源码，只需要知道流程就可以了，但是后来还是想想按照自己的学习路线走，多读源码总是有好处的，在这里我也给程序猿一些建议，有自己的学习方法的时候，按照自己的方式坚定走下去。
参考资料
方腾飞：《java并发编程的艺术》
如需转载，请务必注明出处，毕竟一块块搬砖也不是容易的事情。
推荐阅读
-
Java并发系列之Semaphore源码分析
-
Java并发系列之CyclicBarrier源码分析
-
Java并发系列之ConcurrentHashMap源码分析
-
Java并发系列之CountDownLatch源码分析
-
Java并发编程中线程池源码分析及使用
-
Java并发之串行线程池实例解析
-
并发编程（十）—— Java 并发队列 BlockingQueue 实现之 SynchronousQueue源码分析
-
Java 线程池源码分析
-
Java 并发包之线程池和原子计数 ThreadPooljava线程池并发包Java计数
-
并发编程（十三）—— Java 线程池 实现原理与源码深度解析 之 Executors（三）