本文主要是介绍ThreadPoolExecutor部分方法解读,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!
文章目录
- 状态与位移运算、或与非
- field分析:
- 方法分析:
- execute(Runnable command)分析
- addWorker(Runnable firstTask, boolean core)
- 使用技巧
- 代码疑问
状态与位移运算、或与非
private final AtomicInteger ctl = new AtomicInteger(ctlOf(RUNNING, 0));private static final int COUNT_BITS = Integer.SIZE - 3;private static final int CAPACITY = (1 << COUNT_BITS) - 1;// runState is stored in the high-order bitsprivate 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 ctlprivate 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; }
ctl:
使用AtomicInteger
,目前够用,如果未来会有问题,可以改成AtomicLong,现在来说执行效率更高.
c = ctl.get() < SHUTDOWN 表示在运行中的状态
field分析:
COUNT_BITS是29, 各常量的二进制字节码如下:
CAPACITY: 00011111111111111111111111111111(前3位是0,后29位是1,共32位,约5亿)
RUNNING: 11100000000000000000000000000000(负数,前3位是1,后29位是0,共32位)
SHUTDOWN: 00000000000000000000000000000000(正数)
STOP: 00100000000000000000000000000000(正数)
TIDYING: 01000000000000000000000000000000(正数)
TERMINATED: 01100000000000000000000000000000(正数)
以上可知:
- 1.CAPACITY和RUNNING是相互取反的关系
- 2.ctl:是runState和workerCounter的结合体,初始值等于RUNNING和0的或运算的拼接结果
ctlOf(RUNNING, 0) - 3.ctl#get的值,调用workerCountOf方法获取线程数,调用runStateOf方法得到线程池状态.
方法分析:
// 与运算后只有c的后29位有效
private static int workerCountOf(int c) { return c & CAPACITY; }
中的入参c,即为ctl的值.该方法含义是:获取工作线程数(取后29位),初始值是0
// 取前三位,~表示非运算
private static int runStateOf(int c) { return c & ~CAPACITY; }
先对CAPACITY进行非运算,变为11100000000000000000000000000000,再进行与运算,取前三位,表示线程的状态
private static int ctlOf(int rs, int wc) { return rs | wc; }
运行状态runState和工作线程数workerCount取或,即二者拼接起来.
execute(Runnable command)分析
- 1.比较工作线程数与核心线程数corePoolSize,如果小于,则创建线程 并执行任务
if (workerCountOf(c) < corePoolSize) {if (addWorker(command, true))return;c = ctl.get();}
- 2.当核心线程都已经创建完成,仍然有任务加入,就丢到队列里面
if (isRunning(c) && workQueue.offer(command)) {int recheck = ctl.get();if (! isRunning(recheck) && remove(command))reject(command);else if (workerCountOf(recheck) == 0)addWorker(null, false);}
这一步的前提是: 线程池在运行中,队列未满.
如果线程池已经关闭,要移除任务,执行拒绝策略.
如果工作线程已经死了(workerCountOf(recheck) == 0),需要重新创建线程.(这里要怎么理解呢?不是已经创建了核心线程吗,怎么会有工作线程为0的情况?)
addWorker(null, false)这里false表示是非核心线程,加的任务是null,是因为任务在前面已经放到队列里面了:workQueue.offer(command)
addWorker(Runnable firstTask, boolean core)
if (rs >= SHUTDOWN &&! (rs == SHUTDOWN &&firstTask == null &&! workQueue.isEmpty()))return false;
addWorker前先做判断:
如果线程池为RUNNING状态或者为SHUTDOWN状态且此时任务队列仍有任务未执行完时,可以继续调用addWorker添加工作线程,但不能新建任务,即firstTask参数必须为null.否则这里将返回false,即新建工作线程失败。
简单地说,就是如果是shutdown状态,就不能再往队列里面加任务了.但是如果shutdown状态下任务队列还有任务,就还可以创建线程去执行任务.
for (;;) {int wc = workerCountOf(c);if (wc >= CAPACITY ||wc >= (core ? corePoolSize : maximumPoolSize))return false;if (compareAndIncrementWorkerCount(c))break retry;c = ctl.get(); // Re-read ctlif (runStateOf(c) != rs)continue retry;// else CAS failed due to workerCount change; retry inner loop}
如果 工作线程数大于CAPACITY 或者大于corePoolSize或maximumPoolSize(视入参core而定),则返回false.
compareAndIncrementWorkerCount
将ctl的值+1, 成功就跳出循环往下执行.否则就重新获取ctl的值,判断是否已经更新,以确定继续进行内部循环(未更新)或者外部循环(已更新)
随后使用可重入锁同步创建worker对象,并启动线程.
如果addWorker
返回成功,那么这时候线程已经开始执行相应的任务了;
使用技巧
性质不同的任务可以用不同规模的线程池分开处理。CPU密集型任务配置尽可能少的线程数量,如配置Ncpu+1个线程的线程池,以减少线程切换带来的性能开销。IO密集型任务则由于需要等待IO操作,线程并不是一直在执行任务,则配置尽可能多的线程,如2*Ncpu。混合型的任务,如果可以拆分,则将其拆分成一个CPU密集型任务和一个IO密集型任务,只要这两个任务执行的时间相差不是太大,那么分解后执行的吞吐率要高于串行执行的吞吐率,如果这两个任务执行时间相差太大,则没必要进行分解。我们可以通过Runtime.getRuntime().availableProcessors()方法获得当前设备的CPU个数。
优先级不同的任务可以使用优先级队列PriorityBlockingQueue来处理。它可以让优先级高的任务先得到执行,需要注意的是如果一直有优先级高的任务提交到队列里,那么优先级低的任务可能永远不能执行。
代码疑问
对于runWorker方法,一开始对代码
try {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 interruptif ((runStateAtLeast(ctl.get(), STOP) ||(Thread.interrupted() &&runStateAtLeast(ctl.get(), STOP))) &&!wt.isInterrupted())wt.interrupt();// 此处省略部分代码...}completedAbruptly = false;} finally {processWorkerExit(w, completedAbruptly);}
中的processWorkerExit部分不解,以为走到这里不就是销毁worker对象了吗?那么岂不是每个任务都要创建worker对象,即创建新线程?
其实不是这样的.里面的while (task != null || (task = getTask()) != null)
部分会一直执行下去,如果没有task,代码会阻塞在这里,直到从队列里面获取到task为止.
try {while (count == 0)notEmpty.await();return dequeue();} finally {lock.unlock();}
而processWorkerExit方法的执行的条件是上面的while循环结束了.while循环结束的原因是:
线程池SHUTDOWN,或者工作线程数 > corePoolSize,且队列为空,没有task.
这就好理解了:
线程池关闭 --> 销毁全部worker对象,
线程数 > corePoolSize,且队列为空 --> 销毁大于核心线程数的worker对象!
细节代码区分:
这2处需要区分一下.
t.start()的t是worker里面的Thread对象,该对象封装的Runnable对象正是worker.所以start方法启动线程后就是执行worker#run方法,即worker#runWorker方法.
task.run()的task就是传入的用户写的任务.
这篇关于ThreadPoolExecutor部分方法解读的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!