线程池监控和动态配置

左手的ㄟ右手 2023-09-23 18:43 83阅读 0赞

### 线程池 ###

线程池是一种 “池化” 的线程使用模式，通过创建一定数量的线程，让这些线程处于就绪状态来提高系统响应速度，在线程使用完成后归还到线程池来达到重复利用的目标，从而降低系统资源的消耗。

#### 池的好处 ####

使用线程池，有如下优势

1.  降低资源消耗
    
     *  通过重复利用已创建的线程降低线程创建和销毁造成的消耗
2.  提高响应速度
    
     *  当任务到达时，任务可以不需要等到线程创建就能立即执行
3.  提高线程的可管理性
    
     *  线程是稀缺资源，如果无限制的创建，不仅会消耗系统资源，还会降低系统的稳定性，使用线程池可以进行统一的分配，调优和监控
4.  提供更多更强大的功能
    
     *  线程池具备可拓展性，允许开发人员向其中增加更多的功能。比如延时定时线程池 `ScheduledThreadPoolExecutor`，就允许任务延期执行或定期执行

#### Executors ####

为了能更好的控制多线程，JDK 提供了一套 `Executor` 框架，其本质就是一个线程池，它的核心成员如下。

![4c9226649f86070e1c117ddaa0004ed7.png][]

<table> 
 <thead> 
  <tr> 
   <th>接口或类</th> 
   <th>说明</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td><code>Executor</code> 接口</td> 
   <td>定义了一个接收 <code>Runnable</code> 对象的方法 <code>executor</code></td> 
  </tr> 
  <tr> 
   <td><code>ExecutorService</code> 接口</td> 
   <td>一个比 <code>Executor</code> 使用更广泛的子类接口，其提供了生命周期管理的方法，以及可跟踪一个或多个异步任务执行状况返回 <code>Future</code> 的方法</td> 
  </tr> 
  <tr> 
   <td><code>AbstractExecutorService</code> 抽象类</td> 
   <td><code>ExecutorService</code> 执行方法的默认实现</td> 
  </tr> 
  <tr> 
   <td><code>ScheduledExecutorService</code> 接口</td> 
   <td>一个可定时调度任务的接口</td> 
  </tr> 
  <tr> 
   <td><code>ScheduledThreadPoolExecutor</code>类</td> 
   <td><code>ScheduledExecutorService</code> 的实现，一个可定时调度任务的线程池</td> 
  </tr> 
  <tr> 
   <td><code>ThreadPoolExecutor</code> 类</td> 
   <td>多用于创建线程池</td> 
  </tr> 
 </tbody> 
</table>

常用方法

`Executors` 常用方法如下

1.  `newCachedThreadPool()`
    
     *  创建一个可缓存的线程池
     *  `CachedThreadPool` 适用于并发执行大量短期耗时短的任务，或者负载较轻的服务器
2.  `newFiexedThreadPool(int nThreads)`
    
     *  创建固定数目线程的线程池
     *  `FiexedThreadPool` 适用于负载略重但任务不是特别多的场景，为了合理利用资源需要限制线程数量的场景
3.  `newSingleThreadExecutor()`
    
     *  创建一个单线程化的 `Executor`
     *  `SingleThreadExecutor` 适用于串行执行任务的场景，每个任务按顺序执行，不需要并发执行
4.  `newScheduledThreadPool(int corePoolSize)`
    
     *  创建一个支持定时及周期性的任务执行的线程池，多数情况下可用来替代 `Timer` 类
     *  `ScheduledThreadPool` 是一个调度池，其实现了 `schedule`、`scheduleAtFixedRate`、`scheduleWithFixedDelay` 三个方法，可以实现延迟执行、周期执行等操作
5.  `newSingleThreadScheduledExecutor()`
    
     *  创建一个 `corePoolSize` 为 1 的 `ScheduledThreadPoolExecutor`
6.  `newWorkStealingPool(int parallelism)`
    
     *  返回一个 `ForkJoinPool` 实例
     *  `ForkJoinPool` 主要用于实现 “分而治之” 的算法，适合于计算密集型的任务

避免使用Executors创建线程池

根据阿里《Java开发手册》，要避免使用 `Executors` 创建线程池，推荐使用 `ThreadPoolExecutors` 创建线程池。

1.  `Executors` 创建的 `FiexedThreadPool` 和 `SingleThreadPool` 任务队列长度为 `Integer.MAX_VALUE`，可能会堆积大量的请求，从而导致 OOM；
2.  `Executors` 创建的 `CachedThreadPool` 和 `ScheduledThreadPool` 允许创建的线程数量为 `Integer.MAX_VALUE`，可能会创建大量的线程，从而导致 OOM。

#### ThreadPoolExecutor ####

Java 中，线程池的实现类是 `ThreadPoolExecutor`，其构造函数如下。

public ThreadPoolExecutor(int corePoolSize,
                            int maximumPoolSize,
                            long keepAliveTime,
                            TimeUnit timeUnit,
                            BlockingQueue<Runnable> workQueue,
                            ThreadFactory threadFactory,
                            RejectedExecutionHandler handler)
    复制代码

1.  `corePoolSize`：线程池核心线程数
2.  `maximumPoolSize`：线程池所能容纳的最大线程数
3.  `keepAliveTime`：线程闲置存活时长
4.  `timeUnit`：线程闲置存活时长的时间单位，如 `TimeUnit.MILLISECONDS`、`TimeUnit.SECONDS`
5.  `blockingQueue`：任务队列，常用的任务队列包括
    
     *  `ArrayBlockingQueue`：一个数组实现的有界阻塞队列，此队列按照 FIFO 的原则对元素进行排序，支持公平访问队列
     *  `LinkedBlockingQueue`：一个由链表结构组成的可选有界阻塞队列，如果不指定大小，则使用 `Integer.MAX_VALUE` 作为队列大小，按照 FIFO 的原则对元素进行排序
     *  `PriorityBlockingQueue` ：一个支持优先级排序的无界阻塞队列，默认情况下采用自然顺序排列，也可以指定 `Comparator`
     *  `DelayQueue`：一个支持延时获取元素的无界阻塞队列，创建元素时可以指定多久以后才能从队列中获取当前元素，常用于缓存系统设计与定时任务调度等
     *  `SynchronousQueue`：一个不存储元素的阻塞队列，存入操作必须等待获取操作，反之亦然
     *  `LinkedTransferQueue`：一个由链表结构组成的无界阻塞队列，与 `LinkedBlockingQueue` 相比多了 `transfer` 和`tryTranfer` 方法，该方法在有消费者等待接收元素时会立即将元素传递给消费者
     *  `LinkedBlockingDeque`：一个由链表结构组成的双端阻塞队列，可以从队列的两端插入和删除元素
6.  `threadFactory`：线程工厂，用于指定为线程池创建新线程的方式，`threadFactory` 可以设置线程名称、线程组、优先级等参数，如通过 Google 工具包可以设置线程池里的线程名，代码如下。

new ThreadFactoryBuilder().setNameFormat("general-detail-batch-%d").build();
    复制代码

1.  `RejectedExecutionHandler`：拒绝策略，常见的拒绝策略包括
    
     *  `ThreadPoolExecutor.AbortPolicy`：默认策略，当任务队列满时抛出 `RejectedExecutionException` 异常
     *  `ThreadPoolExecutor.DiscardPolicy`：丢弃掉不能执行的新任务，不抛任何异常
     *  `ThreadPoolExecutor.CallerRunsPolicy`：当任务队列满时使用调用者的线程直接执行该任务
     *  `ThreadPoolExecutor.DiscardOldestPolicy`：当任务队列满时丢弃阻塞队列头部的任务（即最老的任务），然后添加当前任务

#### 线程的状态 ####

//Thread.State 源码
    public enum State {
        NEW,
        RUNNABLE,
        BLOCKED,
        WAITING,
        TIMED_WAITING,
        TERMINATED;
    }
    复制代码

#### 线程池的状态 ####

public class ThreadPoolExecutor extends AbstractExecutorService{
       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 bits
       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;
    }
    复制代码

`ThreadPoolExecutor` 线程池有如下几种状态

1.  `RUNNING`：运行状态，接受新任务，持续处理任务队列里的任务；
2.  `SHUTDOWN`：不再接受新任务，但要处理任务队列里的任务；
3.  `STOP`：不再接受新任务，不再处理任务队列里的任务，中断正在进行中的任务；
4.  `TIDYING`：表示线程池正在停止运作，中止所有任务，销毁所有工作线程，当线程池执行 `terminated()` 方法时进入 `TIDYING` 状态；
5.  `TERMINATED`：表示线程池已停止运作，所有工作线程已被销毁，所有任务已被清空或执行完毕，`terminated()` 方法执行完成；

![d811dbc073d981ed97e124ba476cc327.png][]

线程池运行的状态，并不是用户显式设置的，而是伴随着线程池的运行，由内部来维护。线程池内部使用一个变量维护两个值：运行状态（`runState`）和线程数量（`workerCount`）。在具体实现中，线程池将运行状态（`runState`）、线程数量 （`workerCount`）两个关键参数的维护放在了一起，如下代码所示。

private final AtomicInteger ctl = new AtomicInteger(ctlOf(RUNNING, 0));
    复制代码

`ctl` 是一个 `AtomicInteger` 类型的变量，是对线程池的运行状态和线程池中有效线程的数量进行控制的一个字段，它同时包含两部分的信息，线程池的运行状态（`runState`）和线程池内有效线程的数量（`workerCount`）。`ctl` 的高 3 位保存 `runState`，低 29 位保存 `workerCount`。两个变量之间互不干扰。用一个变量去存储两个值，可避免在做相关决策时，出现不一致的情况，不必为了维护两者的一致，而占用锁资源。

关于内部封装的获取生命周期状态、获取线程池线程数量的计算方法，如以下代码所示。

//计算当前运行状态
    private static int runStateOf(int c){ 
       return c & ~CAPACITY;
    } 
    //计算当前线程数量
    private static int workerCountOf(int c) { 
       return c & CAPACITY; 
    }  
    //通过状态和线程数生成ctl
    private static int ctlOf(int rs, int wc){ 
       return rs | wc; 
    }   
    复制代码

#### 线程池任务调度机制 ####

![970c79eec4f205a34289dfc406f5657f.png][]

线程池提交一个任务时，任务调度的主要步骤如下

1.  当线程池里存活的核心线程数小于 `corePoolSize` 核心线程数参数的值时，线程池会创建一个核心线程去处理提交的任务；
2.  如果线程池核心线程数已满，即线程数已经等于 `corePoolSize`，新提交的任务会被尝试放进任务队列 `workQueue` 中等待执行；
3.  当线程池里面存活的线程数已经等于 `corePoolSize` 了，且任务队列 `workQueue` 已满，再判断当前线程数是否已达到 `maximumPoolSize`，即最大线程数是否已满；如果没到达，创建一个非核心线程执行提交的任务；
4.  如果当前的线程数已达到了 `maximumPoolSize`，还有新的任务提交过来时，执行拒绝策略进行处理。

![388c72d8833c72073a65ba76a3e763fc.png][]

如上图所示，线程池在内部实际上构建了一个生产者消费者模型，将线程和任务两者解耦，并不直接关联，从而良好的缓冲任务，复用线程。线程池的运行主要分成两个部分

1.  任务管理
2.  线程管理

「任务管理」部分充当生产者的角色，当任务提交后，线程池会判断该任务后续的流转

1.  直接申请线程执行该任务
2.  缓冲到队列中等待线程执行
3.  拒绝该任务

「线程管理」部分是消费者，它们被统一维护在线程池内，根据任务请求进行线程的分配，当线程执行完任务后则会继续获取新的任务去执行，最终当线程获取不到任务的时候，线程就会被回收。

#### 创建多少个线程合适 ####

*  ref 1-《Java并发编程实战》
 *  ref 2-日拱一兵-Java并发编程图册2022

1.  对于 CPU 密集型程序，`最佳线程数 = CPU核数 + 1`。

> 计算密集型（CPU 密集型）的线程恰好在某时因为发⽣⼀个⻚错误或者因其他原因⽽暂停，刚好有⼀个 “额外” 的线程，可以确保在这种情况下 CPU 周期不会中断⼯作。—— 《Java并发编程实战》

1.  对于 I/O 密集型程序，`最佳线程数 = CPU核心数 * (1 / CPU 利用率) = CPU核心数 * (1 + (IO 耗时 / CPU 耗时))`

> 参照上述公式，如程序几乎全部是 IO 耗时，则最佳线程数 = 2N（N 是 CPU 核数）或 2N + 1。

### 线程池监控 ###

*  ref 1-[如何监控线程池][Link 1]

对于「线程池监控」，主要涉及到以下方面

1.  如何监控运行数据
2.  监控的指标
3.  监控数据存储
4.  如何将线程池监控抽象为一个公共服务

#### 如何监控运行数据 ####

如何监控运行数据，有两种思路

1.  线程池运行时埋点，每一次运行任务都进行统计
2.  定时获取线程池的运行数据

推荐使用第 2 种方式，因为第一种方式中，会通过获取锁来获取线程池的状态，性能相对较差。

在获取线程池的状态（如当前线程数、活跃线程数、最大出现线程数、线程池任务完成总量等信息）时，会先获取到 `mainLock`，然后才开始计算。`mainLock` 是线程池的主锁，线程执行、线程销毁和线程池停止等都会使用到这把锁。

final ReentrantLock mainLock = this.mainLock;
    mainLock.lock();
    try {
       //获取线程池的状态
       ...
    } finally {
        mainLock.unlock();
    }
    复制代码

如果频繁获取这把锁，会导致原有线程池任务执行性能受到影响。

#### 监控的指标 ####

<table> 
 <thead> 
  <tr> 
   <th>指标</th> 
   <th>描述</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td>线程池当前负载</td> 
   <td>当前线程数 / 最大线程数</td> 
  </tr> 
  <tr> 
   <td>线程池峰值负载</td> 
   <td>线程池运行期间最大的负载</td> 
  </tr> 
  <tr> 
   <td>核心线程数</td> 
   <td>线程池的核心线程数</td> 
  </tr> 
  <tr> 
   <td>最大线程数</td> 
   <td>线程池限制同时存在的线程数</td> 
  </tr> 
  <tr> 
   <td>当前线程数</td> 
   <td>当前线程池的线程数</td> 
  </tr> 
  <tr> 
   <td>活跃线程数</td> 
   <td>执行任务的线程的大致数目</td> 
  </tr> 
  <tr> 
   <td>最大出现线程数</td> 
   <td>线程池中运行以来同时存在的最大线程数</td> 
  </tr> 
  <tr> 
   <td>阻塞队列</td> 
   <td>线程池暂存任务的容器</td> 
  </tr> 
  <tr> 
   <td>队列容量</td> 
   <td>队列中允许元素的最大数量</td> 
  </tr> 
  <tr> 
   <td>队列元素</td> 
   <td>队列中已存放的元素数量</td> 
  </tr> 
  <tr> 
   <td>队列剩余容量</td> 
   <td>队列中还可以存放的元素数量</td> 
  </tr> 
  <tr> 
   <td>线程池任务完成总量</td> 
   <td>已完成执行的任务的大致总数</td> 
  </tr> 
  <tr> 
   <td>拒绝策略执行次数</td> 
   <td>运行时抛出的拒绝次数总数</td> 
  </tr> 
 </tbody> 
</table>

对于一个线程池，可调用 `threadPoolExecutor` 提供的相关方法，获取线程池的当前排队线程数、当前活动线程数、执行完成线程数、总线程数

//当前排队线程数
    int queueSize = threadPoolExecutor.getQueue().size();
    
    //当前活动线程数
    int activeCount = threadPoolExecutor.getActiveCount();
    
    //执行完成线程数
    long completeTaskCount = threadPoolExecutor.getCompletedTaskCount();
    
    //总线程数
    long taskCount = threadPoolExecutor.getTaskCount();
    复制代码

#### 监控数据存储 ####

为便于定位问题，帮助开发排查问题，需要考虑将监控数据存储下来，如 ES 存储或 MySQL 存储。需要存储的信息如下（以 MySQL 为例）。

CREATE TABLE `his_run_data` (
      `thread_pool_id` varchar(56) DEFAULT NULL COMMENT '线程池ID',
      `instance_id` varchar(256) DEFAULT NULL COMMENT '实例ID',
      `current_load` bigint(20) DEFAULT NULL COMMENT '当前负载',
      `peak_load` bigint(20) DEFAULT NULL COMMENT '峰值负载',
      `pool_size` bigint(20) DEFAULT NULL COMMENT '线程数',
      `active_size` bigint(20) DEFAULT NULL COMMENT '活跃线程数',
      `queue_capacity` bigint(20) DEFAULT NULL COMMENT '队列容量',
      `queue_size` bigint(20) DEFAULT NULL COMMENT '队列元素',
      `queue_remaining_capacity` bigint(20) DEFAULT NULL COMMENT '队列剩余容量',
      `completed_task_count` bigint(20) DEFAULT NULL COMMENT '已完成任务计数',
      `reject_count` bigint(20) DEFAULT NULL COMMENT '拒绝次数',
      `timestamp` bigint(20) DEFAULT NULL COMMENT '时间戳',
      `gmt_create` datetime DEFAULT NULL COMMENT '创建时间',
      `gmt_modified` datetime DEFAULT NULL COMMENT '修改时间',
      PRIMARY KEY (`id`),
      KEY `idx_group_key` (`tp_id`,`instance_id`) USING BTREE,
      KEY `idx_timestamp` (`timestamp`) USING BTREE
    ) ENGINE=InnoDB AUTO_INCREMENT=1 DEFAULT CHARSET=utf8mb4 COMMENT='历史运行数据表';
    复制代码

#### 抽象为一个公共服务 ####

在上文分析的基础上，可考虑将监控线程池抽象为一个公共的服务。在「线程池监控服务」中，完成以下步骤

1.  客户端定时采集线程池历史运行数据，将数据打包好发送服务端；
2.  服务端接收客户端上报的数据，进行数据入库持久化存储；
3.  服务端定期删除或存档客户端线程池历史运行数据；
4.  由服务端统一对外提供线程池运行图表的数据展示。

在这里，建议将监控数据的「采集、上报」和「存储、归档」分离开，采集的监控数据可以用 MQ 发送给「存储、归档」服务端。好的设计，应该保证单一职责。

### 动态可观测线程池 ###

在「线程池监控」的基础上，介绍下动态可观测线程池。

动态可观测线程池的核心思想是，通过中心配置（如 `Nacos`、`Zookeeper`）将线程池的核心参数 `corePoolSize`、`maximumPoolSize`、`workQueue` 动态可配，可通过业务流量或线程池监控的数据，对线程池进行反馈调节。

`ThreadPoolExecutor` 提供了下面几个方法来对线程池的参数进行调节。

public void setCorePoolSize(int corePoolSize);
    
    public void setKeepAliveTime(long time, TimeUnit unit);
    
    public void setMaximumPoolSize(int maximumPoolSize);
    
    public void setRejectedExecutionHandler(RejectedExecutionHandler handler);
    
    public void setThreadFactory(ThreadFactory threadFactory);
    复制代码

业内对「动态可观测线程池」也有较为成熟的解决方案，比如

*  美团动态化线程池的设计
 *  `DynamicTp`：基于配置中心的轻量级动态线程池
 *  `Hippo4J`：动态可观测线程池框架

#### 美团动态化线程池的设计 ####

*  ref 1-[Java线程池实现原理及其在美团业务中的实践][Java]

#### DynamicTp ####

*  ref 1-[线程池如何观测][Link 2]
 *  ref 2-[DynamicTp | github][DynamicTp _ github]

#### Hippo4J ####

*  ref 1-[hippox-动态可观测线程池框架 | 动态线程池][hippox-_ _]

Hippo4J 是一个动态可观测线程池框架，可为业务系统提高线上运行保障能力。Hippo4J 基于「美团动态线程池」设计理念开发，针对线程池增强了动态调参、监控、报警功能。

主要功能

Hippo4J 的主要功能包括

1.  动态变更
    
     *  应用运行时动态变更线程池参数，包括但不限于核心数、最大线程数、阻塞队列大小和拒绝策略等
     *  **支持集群内线程池的差异化配置**
2.  自定义报警
    
     *  线程池运行时进行埋点，采集监控信息
     *  提供 4 种报警维度，线程池过载、阻塞队列容量、运行超长以及拒绝策略报警
3.  运行监控
    
     *  支持自定义时长的线程池运行数据采集存储
     *  提供可视化大屏监控运行指标

<table> 
 <thead> 
  <tr> 
   <th>模块</th> 
   <th>hippo4j-core</th> 
   <th>hippo4j-server</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td>依赖</td> 
   <td>Nacos、Apollo 等配置中心</td> 
   <td>部署 Hippo4J Server（内部无依赖中间件）</td> 
  </tr> 
  <tr> 
   <td>使用</td> 
   <td>配置中心补充线程池相关参数</td> 
   <td>Hippo4J Server Web 控制台添加线程池记录</td> 
  </tr> 
  <tr> 
   <td>功能</td> 
   <td>提供基础功能，包括参数动态化、运行时监控、报警等</td> 
   <td>对基础功能进行扩展，提供控制台界面、线程池堆栈查看、线程池运行信息实时查看、历史运行信息查看、线程池配置集群个性化等功能</td> 
  </tr> 
 </tbody> 
</table>

> 使用建议 根据公司情况选择，如果基本功能可满足使用，选择 `hippo4j-core` 即可；如果希望更多功能，可以选择 `hippo4j-server`。

解决什么问题

相比原生线程池，`Hippo4J` 解决了以下问题

1.  原生线程池创建时无法合理评估参数，`Hippo4J` 可对参数动态调整
    
     *  使用原生线程池时，现有的参数配置在遇到突发流量洪峰时，可能会频繁拒绝任务
     *  Hippo4J 提供动态修改参数功能，避免修改线程池参数后重启线上应用
2.  原生线程池无任务报警策略，`Hippo4J` 提供了 4 种报警策略，分别是
    
     *  活跃度报警
     *  队列容量报警
     *  拒绝策略报警
     *  运行时间过长报警
3.  `Hippo4J` 提供了对原生线程池运行状态的监控
4.  `Hippo4J` 提供了对原生线程池运行时堆栈信息的查看

### 线程池如何管理线程 ###

*  ref 1-[线程池核心原理+动态调整线程池参数的实践 | CSDN][_ CSDN]

#### 线程池如何维护自身状态 ####

线程池运行的状态，并不是用户显式设置的，而是伴随着线程池的运行，由内部来维护。线程池内部使用一个变量维护两个值：运行状态（`runState`）和线程数量（`workerCount`）。

关于此部分介绍，参见本文「线程池的状态」章节。

#### Worker线程 ####

线程池为了掌握线程的状态并维护线程的生命周期，设计了线程池内的工作线程 `Worker`。

private final class Worker 
        extends AbastractQueueSyncChronizer 
        implements Runnable {
            ...
    }
    复制代码

`Worker` 这个工作线程，实现了 `Runnable` 接口，并持有一个线程 `thread`，一个初始化的任务 `firstTask`。`thread` 是在调用构造方法时通过 `ThreadFactory` 来创建的线程，可以用来执行任务。`firstTask` 用它来保存传入的第一个任务，这个任务可以有也可以为 `null`

*  如果这个值是非空的，那么线程就会在启动初期立即执行这个任务，也就对应核心线程创建时的情况
 *  如果这个值是空的，那么就需要创建一个线程去执行任务列表（`workQueue`）中的任务，也就是非核心线程的创建。

Worker 执行任务的模型如下图所示。

![af49cf03ed0e719f3bd0713cb83b4bb4.png][]

线程池需要管理线程的生命周期，需要在线程长时间不运行的时候进行回收。线程池使用一张 Hash 表去持有线程的引用，这样可以通过添加引用、移除引用这样的操作来控制线程的生命周期。这个时候重要的就是如何判断线程是否在运行。

Worker 是通过继承 AQS，使用 AQS 来实现独占锁这个功能。没有使用可重入锁 ReentrantLock，而是使用 AQS，为的就是实现不可重入的特性去反应线程现在的执行状态。

#### Worker线程和线程的创建、回收 ####

本章节内容详情参考 [Java线程池实现原理及其在美团业务中的实践][Java]，此处仅做大纲记录。

1.  增加线程
    
     *  增加线程是通过线程池中的 `addWorker` 方法，该方法的功能就是增加一个线程，该方法不考虑线程池是在哪个阶段增加的该线程，这个分配线程的策略是在上个步骤完成的，该步骤仅仅完成增加线程，并使它运行，最后返回是否成功这个结果。
     *  `addWorker` 方法有两个参数：`firstTask`、`core`。`firstTask` 参数用于指定新增的线程执行的第一个任务，该参数可以为空；`core` 参数为 `true` 表示在新增线程时会判断当前活动线程数是否少于 `corePoolSize`，`false` 表示新增线程前需要判断当前活动线程数是否少于 `maximumPoolSize`
2.  线程回收
    
     *  线程池中线程的销毁依赖 JVM 自动的回收
     *  线程池做的工作是根据当前线程池的状态维护一定数量的线程引用，防止这部分线程被 JVM 回收，当线程池决定哪些线程需要回收时，只需要将其引用消除即可
     *  Worker 被创建出来后，就会不断地进行轮询，然后获取任务去执行，核心线程可以无限等待获取任务，非核心线程要限时获取任务
     *  当 Worker 无法获取到任务，也就是获取的任务为空时，循环会结束，Worker 会主动消除自身在线程池内的引用

### 线程池参数动态调整的实现原理 ###

*  ref 1-[线程池参数设置与动态调整 | CSDN][_ CSDN 1]

带着如下几个问题进行思考

1.  现有的线程池参数设置方案的痛点是什么
2.  动态更新的工作原理是什么
3.  动态设置的注意点有哪些
4.  如何动态指定队列长度

#### 核心线程数-setCorePoolSize ####

`ThreadPoolExecutor` 提供 `setCorePoolSize()` 方法，可对线程池的核心线程数进行调整。

Spring 提供了 `ThreadPoolTaskExecutor` 对线程池进行管理，也提供了 `setCorePoolSize()` 方法，内部是通过调用 `ThreadPoolExecutor` 的 `setCorePoolSize()` 方法实现的，如下代码所示。

/**
    * This setting can be modified at runtime  
    * 可在运行时动态调整
    */
    public void setCorePoolSize(int corePoolSize) {
       synchronized(this.poolSizeMonitor) {
          this.corePoolSize = corePoolSize;
          if (this.threadPoolExecutor != null) {
             this.threadPoolExecutor.setCorePoolSize(corePoolSize);
          }
       }
    }
    复制代码

线程池运行期间，使用此方法设置 `corePoolSize` 之后，线程池会直接覆盖原来的`corePoolSize` 值，并且基于当前值和原始值的比较结果（做差值，其实第一次设置线程池时候也是做差值，只不过第一次设置时，原来的值为 0 而已），采取不同的处理策略

1.  对于当前值小于当前工作线程数的情况，说明有多余的 `worker` 线程，此时会向当前 idle 的 worker 线程发起中断请求以实现回收，多余的 worker 在下次 idel 的时候也会被回收；
2.  对于当前值大于原始值且当前队列中有待执行任务，则线程池会创建新的 `worker` 线程来执行队列任务

![bdef0c378e31598f9a39f616b8e7d976.png][]

#### 最大线程数-setMaximumPoolSize ####

**线程最大个数和内存有关，和 CPU 核数无关。CPU 核数是和线程的运行效率有关。**

/**
         * Sets the maximum allowed number of threads. This overrides any
         * value set in the constructor. If the new value is smaller than
         * the current value, excess existing threads will be
         * terminated when they next become idle.
         *
         * @param maximumPoolSize the new maximum
         * @throws IllegalArgumentException if the new maximum is
         *         less than or equal to zero, or
         *         less than the {@linkplain #getCorePoolSize core pool size}
         * @see #getMaximumPoolSize
         */
        public void setMaximumPoolSize(int maximumPoolSize) {
            if (maximumPoolSize <= 0 || maximumPoolSize < corePoolSize)
                throw new IllegalArgumentException();
            this.maximumPoolSize = maximumPoolSize;
            if (workerCountOf(ctl.get()) > maximumPoolSize)
                interruptIdleWorkers();
        }
    复制代码

`setMaximumPoolSize()` 可用于调整最大线程数，其流程如下

1.  首先是参数合法性校验
2.  然后用传递进来的值，覆盖原来的值
3.  判断工作线程是否是大于最大线程数。如果大于，则对空闲线程发起中断请求

#### 调整队列长度 ####

动态调整线程池参数，主要是调节三个参数，核心线程数、最大线程数和队列长度。前两者都有对应的 `set` 方法，但是队列长度的调整，并没有对应的 `set` 方法。

为什么没有 `set` 方法呢？查看源码可以发现，队列的 `capacity` 是被 final 修饰的。

/** The capacity bound, or Integer.MAX_VALUE if none */
    private final int capacity;
    复制代码

参考「美团动态化线程池的设计」，可以创建一个 `ResizableCapacityLinkedBlockIngQueue` 的队列（复制一份 `LinkedBlockingQueue` 的代码，在此基础上更改），更改 `capacity` 的 `final` 属性，并提供对应的 `get/set` 方法，从而达到动态调整队列长度的目的。

![02085ef60a2c7e340aa0d1cb2b79de8e.png][]

#### 注意事项 ####

可能出现核心线程数调整之后无效的情况

动态调整时，可能会出现核心线程数调整之后无效的情况，比如

*  初始状态下，核心线程数是 2，最大线程数为 5
 *  动态调整时，修改核心线程数为 10
 *  此时查看线程池状态，会发现核心线程数确实变成了 10，但活跃线程数还是为 5

结合如下 `ThreadPoolExecutor#getTask` 源码，查看 `if(wc > maximumPoolSize)` 这一行，可以知道，如果工作线程数（核心线程数）大于最大线程数，则对工作线程数量进行减一操作，然后返回 null。

所以，此处的实际流程应该是

*  创建新的工作线程 worker，然后工作线程数进行加一操作，运行创建的工作线程 worker，开始获取任务 task。
 *  工作线程数量大于最大线程数，对工作线程数进行减一操作，返回 null，即没有获取到 task，清理该任务，流程结束。
 *  这样一加一减，所以真正在执行任务的工作线程数的数量，一直没有发生变化，也就是最大线程数。

private Runnable getTask() {
            boolean timedOut = false; // Did the last poll() time out?
    
            for (;;) {
                int c = ctl.get();
                int rs = runStateOf(c);
    
                // Check if queue empty only if necessary.
                if (rs >= SHUTDOWN && (rs >= STOP || workQueue.isEmpty())) {
                    decrementWorkerCount();
                    return null;
                }
    
                int wc = workerCountOf(c);
    
                // Are workers subject to culling?
                boolean timed = allowCoreThreadTimeOut || wc > corePoolSize;
    
                if ((wc > maximumPoolSize || (timed && timedOut))
                    && (wc > 1 || workQueue.isEmpty())) {
                    if (compareAndDecrementWorkerCount(c))
                        return null;
                    continue;
                }
    
                try {
                    Runnable r = timed ?
                        workQueue.poll(keepAliveTime, TimeUnit.NANOSECONDS) :
                        workQueue.take();
                    if (r != null)
                        return r;
                    timedOut = true;
                } catch (InterruptedException retry) {
                    timedOut = false;
                }
            }
        }
    复制代码

如何解决这个问题呢，只需要在设置核心线程数时，同时设置最大线程数即可，其实可以把二者设置为相同的值

*  初始状态下，核心线程数是 2，最大线程数为 5
 *  动态调整时，修改核心线程数为 10，同时把最大线程数也调整为 10
 *  此时查看线程池状态，会发现核心线程数变成了 10，活跃线程数也变成了 10

核心线程可以被回收吗

动态调整时，如果手动把核心线程数调大了，那在业务低峰期还需要手动调小吗？

答案是不需要。`corePoolSize` 的源码注释如下，可以发现，如果设置了 `allowCoreThreadTimeOut`（该值默认为 false），核心线程数在空闲超过 `keepAliveTime` 后也会被自动回收。

/**
         * Core pool size is the minimum number of workers to keep alive
         * (and not allow to time out etc) unless allowCoreThreadTimeOut
         * is set, in which case the minimum is zero.
         */
        private volatile int corePoolSize;
    复制代码

`allowCoreThreadTimeOut` 的相关源码如下。

/**
         * Returns true if this pool allows core threads to time out and
         * terminate if no tasks arrive within the keepAlive time, being
         * replaced if needed when new tasks arrive. When true, the same
         * keep-alive policy applying to non-core threads applies also to
         * core threads. When false (the default), core threads are never
         * terminated due to lack of incoming tasks.
         *
         * @return {@code true} if core threads are allowed to time out,
         *         else {@code false}
         *
         * @since 1.6
         */
        public boolean allowsCoreThreadTimeOut() {
            return allowCoreThreadTimeOut;
        }
    
        public void allowCoreThreadTimeOut(boolean value) {
            if (value && keepAliveTime <= 0)
                throw new IllegalArgumentException("Core threads must have nonzero keep alive times");
            if (value != allowCoreThreadTimeOut) {
                allowCoreThreadTimeOut = value;
                if (value)
                    interruptIdleWorkers();
            }
        }
    复制代码

线程池预热

> 线程池被创建后里面有线程吗？如果没有的话，你知道有什么方法对线程池进行预热吗？

线程池被创建后，如果没有任务过来，里面是不会有线程的。如果需要预热的话，可以调用 `ThreadPoolExecutor` 的下面两个方法

1.  `prestartAllCoreThreads` 会预热全部线程

/**
         * Starts all core threads, causing them to idly wait for work. This
         * overrides the default policy of starting core threads only when
         * new tasks are executed.
         *
         * @return the number of threads started
         */
        public int prestartAllCoreThreads() {
            int n = 0;
            while (addWorker(null, true))
                ++n;
            return n;
        }
    复制代码

1.  `prestartCoreThread` 会启动一个核心线程

/**
         * Starts a core thread, causing it to idly wait for work. This
         * overrides the default policy of starting core threads only when
         * new tasks are executed. This method will return {@code false}
         * if all core threads have already been started.
         *
         * @return {@code true} if a thread was started
         */
        public boolean prestartCoreThread() {
            return workerCountOf(ctl.get()) < corePoolSize &&
                addWorker(null, true);
        }

[4c9226649f86070e1c117ddaa0004ed7.png]: https://img-blog.csdnimg.cn/img_convert/4c9226649f86070e1c117ddaa0004ed7.png
[d811dbc073d981ed97e124ba476cc327.png]: https://img-blog.csdnimg.cn/img_convert/d811dbc073d981ed97e124ba476cc327.png
[970c79eec4f205a34289dfc406f5657f.png]: https://img-blog.csdnimg.cn/img_convert/970c79eec4f205a34289dfc406f5657f.png
[388c72d8833c72073a65ba76a3e763fc.png]: https://img-blog.csdnimg.cn/img_convert/388c72d8833c72073a65ba76a3e763fc.png
[Link 1]: https://link.juejin.cn?target=https%3A%2F%2Fmp.weixin.qq.com%2Fs%3F__biz%3DMjM5NzMyMjAwMA%3D%3D%26mid%3D2651509011%26idx%3D1%26sn%3Ddec9cd01d0a8d891ea21dc6e05f5c9c0%26chksm%3Dbd25bd6c8a52347a5471e7fa4368155648baf694a8c0fc0910488dc7496fa95995712121eb77%23rd
[Java]: https://link.juejin.cn?target=https%3A%2F%2Ftech.meituan.com%2F2020%2F04%2F02%2Fjava-pooling-pratice-in-meituan.html
[Link 2]: https://link.juejin.cn?target=https%3A%2F%2Fwww.cnblogs.com%2Fbryan31%2Fp%2F15813981.html
[DynamicTp _ github]: https://link.juejin.cn?target=https%3A%2F%2Fgithub.com%2Fdromara%2Fdynamic-tp
[hippox-_ _]: https://link.juejin.cn?target=https%3A%2F%2Fhippo4j.cn%2F
[_ CSDN]: https://link.juejin.cn?target=https%3A%2F%2Fblog.csdn.net%2Fweixin_60707895%2Farticle%2Fdetails%2F120895668
[af49cf03ed0e719f3bd0713cb83b4bb4.png]: https://img-blog.csdnimg.cn/img_convert/af49cf03ed0e719f3bd0713cb83b4bb4.png
[_ CSDN 1]: https://link.juejin.cn?target=https%3A%2F%2Fblog.csdn.net%2Fqq_41893274%2Farticle%2Fdetails%2F112424767
[bdef0c378e31598f9a39f616b8e7d976.png]: https://img-blog.csdnimg.cn/img_convert/bdef0c378e31598f9a39f616b8e7d976.png
[02085ef60a2c7e340aa0d1cb2b79de8e.png]: https://img-blog.csdnimg.cn/img_convert/02085ef60a2c7e340aa0d1cb2b79de8e.png