「Java线程池」 java.util.concurrent ThreadPoolExecutor 源码分析

线程池概述

线程池，是指管理一组同构工作线程的资源池。
线程池在工作队列（Work Queue）中保存了所有等待执行的任务。工作者线程（Work Thread）会从工作队列中获取一个任务并执行，然后返回线程池并等待下一个任务。

线程池比执行任务再创建线程会有以下优势：

1. 节省资源。通过重用线程来省去在线程创建和销毁过程中产生的开销。
2. 提高响应性。当执行请求到达时，工作线程通常已经存在，因此不需要等待线程创建，从而提高了响应性。
3. 防止资源耗尽。通过调整线程池的大小，防止过多线程相互竞争资源。

ThreadPoolExecutor 是Java中线程池的实现类。下图是继承关系：

AbstractExecutorService

«Interface»

Executor

«Interface»

ExecutorService

ThreadPoolExecutor

• Executor ，基于生产者-消费者模式，提交相当于生产者，执行任务相当于消费者。通过该模式将任务的提交与执行解耦开来。
• ExecutorService，是Executor 的实现，该接口基于Executor 提供了生命周期的支持，例如任务的运行、关闭和中止，以及通过 submit 方法来创建一个异步任务 Future。
• AbstractExecutorService，是ExecutorService 的实现，使得下层实现只需要关注任务的执行。
• ThreadPoolExecutor，是Java中线程池的实现。

下图是ThreadPoolExecutor的大致结构

 

> 参考 [Java线程池实现原理及其在美团业务中的实践](
https://tech.meituan.com/2020/04/02/java-pooling-pratice-in-meituan.html)

生命周期

Executor 的实现通常会创建线程来执行任务。由于 Executor 以异步的方式来执行任务，因此之前提交任务的状态不是立即可见的，有些任务已经完成，有些还在运行，有些在等待执行。当关闭应用程序时，是完成当前任务并不接受新任务，还是直接关闭所有任务（不管是在执行还是没有执行）。
为了解决执行服务的生命周期问题，Executor 扩展了 ExecutorService 接口，该接口提供了对生命周期管理的方法。

public interface ExecutorService extends Executor {void shutdown();List<Runnable> shutdownNow();boolean awaitTermination(long timeout, TimeUnit unit);boolean isShutdown();boolean isTerminated();// 以及一些用于创建异步任务的方法<T> List<Future<T>> invokeAll(Collection<? extends Callable<T>> tasks)；Future<?> submit(Runnable task);....}

在ThreadPoolExecutor中提供了五种状态：

状态	描述	转换
RUNTIME	接受新任务并处理队列任务
SHUTDOWN	不接受新任务，但是处理队列中任务	RUNTIME->SHUTDOWN:执行 shutdown()
STOP	不接受新任务，不处理队列中任务，并中断正在运行中的任务	RUNTIME->STOP:执行 shutdownNow()
TIDYING	所有任务已经终止，工作者线程为0，之后会执行一个钩子函数(TERMINATED())用于清理	SHUTDOWN->TIDYING:队列和线程池都为空 STOP->TIDYING: 线程池为空
TERMINATED	钩子函数执行完毕	TIDYING->TERMINATED

下图是状态之间的转换关系：

 

​

如果任务队列被填满（在队列大小有限的情况下）或者某个任务被提交到一个已经被关闭的Executor中时应该怎么处理这些情况？JDK提供了一种策略来处理这些情况--饱和策略

在ThreadPoolExecutor中通过ctl字段来维护了线程池的运行状态和线程数量（工作者线程）

private final AtomicInteger ctl = new AtomicInteger(ctlOf(RUNNING, 0));

具体的可以通过两个参数来说明：

• COUNT_BIT的值为29（32-3）
• COUNT_MASK 则为高三位为0、低29位全1的字段

private static final int COUNT_BITS = I