并发系列（7）之 ScheduledThreadPoolExecutor 详解

文本将主要讲述 ThreadPoolExecutor 一个特殊的子类 ScheduledThreadPoolExecutor，主要用于执行周期性任务；所以在看本文之前最好先了解一下 ThreadPoolExecutor ，可以参考 ThreadPoolExecutor 详解；另外 ScheduledThreadPoolExecutor 中使用了延迟队列，主要是基于完全二叉堆实现的，可以参考完全二叉堆；

一、ScheduledThreadPoolExecutor 结构概述

1. 继承关系

public class ScheduledThreadPoolExecutor

  extends ThreadPoolExecutor implements ScheduledExecutorService {}

在源码中可以看到，ScheduledThreadPoolExecutor 的状态管理、入队操作、拒绝操作等都是继承于 ThreadPoolExecutor；ScheduledThreadPoolExecutor 主要是提供了周期任务和延迟任务相关的操作；

schedule(Runnable command, long delay, TimeUnit unit) // 无返回值的延迟任务
schedule(Callable callable, long delay, TimeUnit unit) // 有返回值的延迟任务
scheduleAtFixedRate(Runnable command, long initialDelay, long period, TimeUnit unit) // 固定频率周期任务
scheduleWithFixedDelay(Runnable command, long initialDelay, long delay, TimeUnit unit) // 固定延迟周期任务

就 `ScheduledThreadPoolExecutor` 的运行逻辑而言，大致可以表述为：

首先将 Runnable/Callable 封装为 ScheduledFutureTask，延迟时间作为比较属性；
然后加入 DelayedWorkQueue 队列中，每次取出队首延迟最小的任务，超时等待，然后执行；
最后判断是否为周期任务，然后将其重新加入 DelayedWorkQueue 队列中；

其内部结构如图所示：

这里需要注意的：

ScheduledThreadPoolExecutor 中的队列不能指定，只能是 DelayedWorkQueue；因为他是 无界队列，所以再添加任务的时候线程最多可以增加到 coreSize，这里不清楚的可以查看 ThreadPoolExecutor 详解，就不再重复了；
ScheduledThreadPoolExecutor 重写了 ThreadPoolExecutor 的 execute() 方法，其执行的核心方法变成 delayedExecute()；

2. ScheduledFutureTask

private class ScheduledFutureTask<V> extends FutureTask<V> implements RunnableScheduledFuture<V> {

  private final long sequenceNumber;  // 任务序号，从 AtomicLong sequencer 获取，当延迟时间相同时，序号小的先出

  private long time;                  // 下次任务执行时间

  private final long period;          // 0 表示非周期任务，正值表示固定频率周期任务，负值表示固定延迟周期任务

  RunnableScheduledFuture<V> outerTask = this;  // 重复执行的任务，传入的任务可以使用 decorateTask() 重新包装

  int heapIndex;                      // 队列索引

}

其中最重要的方法必然是 run 方法了：

public void run() {

  boolean periodic = isPeriodic();    // 是否为周期任务，period != 0

  if (!canRunInCurrentRunState(periodic))  // 当前状态能否继续运行，详细测试后面还会讲到

    cancel(false);     // 取消任务

  else if (!periodic)  // 不是周期任务时，直接运行

    ScheduledFutureTask.super.run();

  else if (ScheduledFutureTask.super.runAndReset()) {  // 时周期任务

    setNextRunTime();              // 设置下次执行时间

    reExecutePeriodic(outerTask);  // 重新入队

  }

}

public boolean cancel(boolean mayInterruptIfRunning) {

  boolean cancelled = super.cancel(mayInterruptIfRunning);  // 设置中断状态

  if (cancelled && removeOnCancel && heapIndex >= 0)        // 当设置 removeOnCancel 状态时，移除任务

    remove(this);                                           // 默认为 false

  return cancelled;

}

void reExecutePeriodic(RunnableScheduledFuture<?> task) {

  if (canRunInCurrentRunState(true)) {  // 如果当前状态可以执行

    super.getQueue().add(task);         // 则重新入队

    if (!canRunInCurrentRunState(true) && remove(task))

      task.cancel(false);

    else ensurePrestart();              // 确保有线程执行任务

  }

}

此外还有 DelayedWorkQueue，但是这里不准备讲了，可以查看完全二叉堆了解实现的原理；

二、scheduleAtFixedRate 与 scheduleWithFixedDelay

scheduleAtFixedRate 和 scheduleWithFixedDelay 是我们最常用的两个方法，但是他们的区别可能不是很清楚，这里重点讲一下，

1. scheduleAtFixedRate

// 测试

ScheduledThreadPoolExecutor pool = new ScheduledThreadPoolExecutor(1);

pool.scheduleAtFixedRate(() -> {

  sleep(1000);               // 睡眠 1s，

  log.info("run task");

}, 1, 2, TimeUnit.SECONDS);  // 延迟 1s，周期 2s

// 打印

[19:41:28,489 INFO ] [pool-1-thread-1] - run task

[19:41:30,482 INFO ] [pool-1-thread-1] - run task

[19:41:32,483 INFO ] [pool-1-thread-1] - run task

[19:41:34,480 INFO ] [pool-1-thread-1] - run task

可以看到的确时固定周期 2s 执行的，但是如果任务执行时间超过周期呢？

// 测试

ScheduledThreadPoolExecutor pool = new ScheduledThreadPoolExecutor(1);

pool.scheduleAtFixedRate(() -> {

  int i = 2000 + random.nextInt(3) * 1000;

  sleep(i);

  log.info("run task, sleep :{}", i);

}, 1, 2, TimeUnit.SECONDS);  // 延迟 1s，周期 2s

// 打印

[19:42:53,428 INFO ] [pool-1-thread-1] - run task, sleep :2000

[19:42:55,430 INFO ] [pool-1-thread-1] - run task, sleep :2000

[19:42:59,430 INFO ] [pool-1-thread-1] - run task, sleep :4000

[19:43:02,434 INFO ] [pool-1-thread-1] - run task, sleep :3000

[19:43:06,436 INFO ] [pool-1-thread-1] - run task, sleep :4000

可以看到如果任务执行时间超出周期时，下一次任务会立刻运行；就好像周期是一个有弹性的袋子，能装下运行时间的时候，是固定大小，装不下的时候就会被撑大，图像化表示如下：

2. scheduleWithFixedDelay

// 测试

ScheduledThreadPoolExecutor pool = new ScheduledThreadPoolExecutor(1);

pool.scheduleAtFixedRate(() -> {

  int i = 1000 + random.nextInt(5) * 1000;

  sleep(i);

  log.info("run task, sleep :{}", i);

}, 1, 2, TimeUnit.SECONDS);  // 延迟 1s，周期 2s

// 打印

[20:05:40,682 INFO ] [pool-1-thread-1] - run task, sleep :1000

[20:05:45,686 INFO ] [pool-1-thread-1] - run task, sleep :3000

[20:05:49,689 INFO ] [pool-1-thread-1] - run task, sleep :2000

[20:05:55,690 INFO ] [pool-1-thread-1] - run task, sleep :4000

[20:06:01,692 INFO ] [pool-1-thread-1] - run task, sleep :4000

可以看到无论执行时间是多少，其结果都是在执行完毕后，停顿固定的时间，然后执行下一次任务，其图形化表示为：

三、源码分析

1. 延迟任务

public void execute(Runnable command) {

  schedule(command, 0, NANOSECONDS);

}

public <T> Future<T> submit(Callable<T> task) {

  return schedule(task, 0, NANOSECONDS);

}

public ScheduledFuture<?> schedule(Runnable command, long delay, TimeUnit unit) {

  if (command == null || unit == null) throw new NullPointerException();

  RunnableScheduledFuture<?> t = decorateTask(

    command,new ScheduledFutureTask<Void>(command, null, triggerTime(delay, unit)));

  delayedExecute(t);

  return t;

}

public <V> ScheduledFuture<V> schedule(Callable<V> callable, long delay, TimeUnit unit) {

  if (callable == null || unit == null) throw new NullPointerException();

  RunnableScheduledFuture<V> t = decorateTask(

    callable, new ScheduledFutureTask<V>(callable, triggerTime(delay, unit)));

  delayedExecute(t);

  return t;

}

可以看到所有的周期任务，最终执行的都是 delayedExecute 方法，其中 decorateTask 是一个钩子函数，其之类可以利用他对任务进行重构过滤等操作；

private void delayedExecute(RunnableScheduledFuture<?> task) {

  if (isShutdown()) reject(task);  // 如果线程池已经关闭，则拒绝任务

  else {

    super.getQueue().add(task);    // 任务入队

    if (isShutdown() &&            // 再次检查，线程池是否关闭

      !canRunInCurrentRunState(task.isPeriodic()) &&

      remove(task))

      task.cancel(false);

    else

      ensurePrestart();            // 确保有线程执行任务

  }

}

2. 周期任务

public ScheduledFuture<?> scheduleAtFixedRate(Runnable command, long initialDelay,

                                              long period, TimeUnit unit) {

  if (command == null || unit == null) throw new NullPointerException();

  if (period <= 0) throw new IllegalArgumentException();

  ScheduledFutureTask<Void> sft =

    new ScheduledFutureTask<Void>(command,

                    null,

                    triggerTime(initialDelay, unit),

                    unit.toNanos(period));  // 注意这里添加的是正值

  RunnableScheduledFuture<Void> t = decorateTask(command, sft);

  sft.outerTask = t;

  delayedExecute(t);

  return t;

}

public ScheduledFuture<?> scheduleWithFixedDelay(Runnable command, long initialDelay,

                                                 long delay, TimeUnit unit) {

  if (command == null || unit == null) throw new NullPointerException();

  if (delay <= 0) throw new IllegalArgumentException();

  ScheduledFutureTask<Void> sft =

    new ScheduledFutureTask<Void>(command,

                    null,

                    triggerTime(initialDelay, unit),

                    unit.toNanos(-delay));  // 注意这里添加的是负值

  RunnableScheduledFuture<Void> t = decorateTask(command, sft);

  sft.outerTask = t;

  delayedExecute(t);

  return t;

}

从上面代码可以看到 scheduleAtFixedRate 和 scheduleWithFixedDelay 只有周期任务的时间不同，其他的都一样，那么下面我们看一下他们的任务时间计算；

public long getDelay(TimeUnit unit) {

  return unit.convert(time - now(), NANOSECONDS);

}

private void setNextRunTime() {

  long p = period;

  if (p > 0)    // 正值表示 scheduleAtFixedRate

    time += p;  // 不管任务执行时间，直接加上周期时间，也就是一次任务超时，会影响后续任务的执行，

                // 超时的时候，getDelay 是负值，所以在延迟队列中必然排在最前面，立刻被取出执行

  else

    time = triggerTime(-p);  // 计算触发时间

}

long triggerTime(long delay) {  // 这里可以看到，每次的确是在当前时间的基础上，加上延迟时间；

  return now() + ((delay < (Long.MAX_VALUE >> 1)) ? delay : overflowFree(delay));

}

这里特别要注意 scheduleAtFixedRate 一次任务超时，会持续影响后面的任务周期安排，所以在设定周期的时候要特别注意； 例如：

// 测试

ScheduledThreadPoolExecutor pool = new ScheduledThreadPoolExecutor(1);

pool.scheduleAtFixedRate(() -> {

    int i = random.nextInt(5) * 1000;

    sleep(i);

    log.info("run task, sleep :{}", i);

}, 1, 2, TimeUnit.SECONDS);

// 打印

[20:29:11,310 INFO ] [pool-1-thread-1] - run task, sleep :1000

[20:29:16,304 INFO ] [pool-1-thread-1] - run task, sleep :4000

[20:29:19,304 INFO ] [pool-1-thread-1] - run task, sleep :3000

[20:29:21,305 INFO ] [pool-1-thread-1] - run task, sleep :2000

[20:29:22,305 INFO ] [pool-1-thread-1] - run task, sleep :1000

[20:29:23,306 INFO ] [pool-1-thread-1] - run task, sleep :1000

[20:29:27,306 INFO ] [pool-1-thread-1] - run task, sleep :4000

[20:29:30,307 INFO ] [pool-1-thread-1] - run task, sleep :3000

如图所示：

3. 取消任务

private volatile boolean continueExistingPeriodicTasksAfterShutdown; //关闭后继续执行周期任务，默认false

private volatile boolean executeExistingDelayedTasksAfterShutdown = true; //关闭后继续执行延迟任务，默认true

private volatile boolean removeOnCancel = false;  // 取消任务是，从队列中删除任务，默认 false

@Override void onShutdown() {

    BlockingQueue<Runnable> q = super.getQueue();

    boolean keepDelayed = getExecuteExistingDelayedTasksAfterShutdownPolicy();    // 继续延迟任务

    boolean keepPeriodic = getContinueExistingPeriodicTasksAfterShutdownPolicy(); // 继续周期任务

    if (!keepDelayed && !keepPeriodic) {  // 都是 false，直接清除

        for (Object e : q.toArray())

            if (e instanceof RunnableScheduledFuture<?>)

                ((RunnableScheduledFuture<?>) e).cancel(false);

        q.clear();

    }

    else {

        // Traverse snapshot to avoid iterator exceptions

        for (Object e : q.toArray()) {

            if (e instanceof RunnableScheduledFuture) {

                RunnableScheduledFuture<?> t = (RunnableScheduledFuture<?>)e;

                if ((t.isPeriodic() ? !keepPeriodic : !keepDelayed) ||

                    t.isCancelled()) { // also remove if already cancelled

                    if (q.remove(t))

                        t.cancel(false);

                }

            }

        }

    }

    tryTerminate();

}

总结

scheduleAtFixedRate，固定频率周期任务，注意一次任务超时，会持续的影响后续的任务周期；
scheduleWithFixedDelay，固定延迟周期任务，即每次任务结束后，超时等待固定时间；
此外 ScheduledThreadPoolExecutor 线程最多为核心线程，最大线程数不起作用，因为 DelayedWorkQueue 是无界队列；

巴特西

并发系列（7）之 ScheduledThreadPoolExecutor 详解

一、ScheduledThreadPoolExecutor 结构概述

1. 继承关系

2. ScheduledFutureTask

二、scheduleAtFixedRate 与 scheduleWithFixedDelay

1. scheduleAtFixedRate

2. scheduleWithFixedDelay

三、源码分析

1. 延迟任务

2. 周期任务

3. 取消任务

总结

最新文章

热门文章

巴特西

并发系列（7）之 ScheduledThreadPoolExecutor 详解

一、ScheduledThreadPoolExecutor 结构概述

1. 继承关系

2. ScheduledFutureTask

二、scheduleAtFixedRate 与 scheduleWithFixedDelay

1. scheduleAtFixedRate

2. scheduleWithFixedDelay

三、 源码分析

1. 延迟任务

2. 周期任务

3. 取消任务

总结

最新文章

热门文章

三、源码分析