ThreadPoolExecutor源码解读（二），Java性能优化最佳实践

reject(command);

//若线程数为0则启动一个空线程从workQueue中取任务

else if (workerCountOf(recheck) == 0)

addWorker(null, false);

}

//不是running或者任务加入阻塞队列失败（阻塞队列满了）

//3、判断maximumPoolSize，阻塞队列已满且小于maximumPoolSize，创建新的worker

else if (!addWorker(command, false))

//4、大于等于maximumPoolSize，拒绝策略

reject(command);

}

当线程数大于等于corePoolSize，任务被加入workQueue时，对线程池的状态进行了double check，这是有必要的：

1. 在将任务加入workQueue前判断线程池是否是RUNNING，不是则不加入workQueue。

2. 任务加入workQueue后还需要再判断一次线程池的状态是否是RUNNING，因为在这个过程中可能线程池死亡或者外部调用了shundown() 或者 shutdownNow()使得线程池正在销毁，此时需要删除刚加入工作队列的任务，并触发拒绝策略。

当任务加入workQueue后判断此时工作线程数为0，则启动一个空工作线程消费workQueue中的任务。

三、addWorker() 创建并启动工作线程

---

execute()的核心在addWorker(Runnable firstTask, boolean core)，它是如何创建并启动一个工作线程的呢？addWorker第二个参数为true时线程数与corePoolSize比较，false时线程数与maximumPoolSize比较。

addWorker代码很长，有两个大的for循环，逻辑主要涉及2步：

• 第一个for循环：自旋CAS操作workerCount加1。

• 第二个for循环：创建并启动新Worker线程。

在worderCount加1和创建worker时都反复判断线程池当前的运行状态，是为了当线程池调用了shutdown()或者shutdownNow()时做出相应的措施。

private boolean addWorker(Runnable firstTask, boolean core) {

//1、这个循环主要是为了自旋 cas workerCount+1，成功之后就创建worder

// 因为代码块没有加锁，且是有可能多个线程同时操作，所以采用了cas乐观锁的方式。

retry:

for (;😉 {

int c = ctl.get();

int rs = runStateOf©;

// Check if queue empty only if necessary.

//线程池状态 大于等于SHUTDOWN（不是running），且非（SHUTDOWN 且task为null且阻塞队列不为空）

if (rs >= SHUTDOWN &&

! (rs == SHUTDOWN &&a