面试|详细分析ScheduledThreadPoolExecutor(周期性线程池)的原理

ScheduledThreadPoolExecutor

在进一步了解ScheduledThreadPoolExecutor类之前,先学习下ScheduledFutureTask类的构造。

1. ScheduledFutureTask

类的继承图：

类图显示，该类实现Runnable接口并继承FutureTask类，表明该类是一个被包装的任务，同时该类实现Delayed接口和Comparable< Delayed>接口，表明该任务具有延迟性和优先级。所以，我们可以初步断定ScheduledFutureTask任务使得Runnable任务具有延迟性。下面详细分析该类。

1.1 ScheduledFutureTask类的五个属性和三个构造函数

// FIFO队列的序列号
private final long sequenceNumber;
// 以毫秒为单位的相对于任务创建时刻的等待时间，即延迟时间
private long time;
// 以纳秒为单位的周期时间，正数表明fixed-rate执行，负数表明delay-rate执行，0表明非重复
private final long period;
// 当前任务
RunnableScheduledFuture<V> outerTask = this;
// 进入延迟队列的索引值，它便于取消任务
int heapIndex;

类的三个构造函数：

// 创建延迟时间为ns的非重复任务，返回结果为result
ScheduledFutureTask(Runnable r, V result, long ns) {
   
super(r, result);
    this.time = ns;
    this.period = 0;  // 0表示非重复
    this.sequenceNumber = sequencer.getAndIncrement(); // 当前任务的序列号
}

// 创建延迟时间为ns,周期时间为period,返回结果为result的任务
ScheduledFutureTask(Runnable r, V result, long ns, long period) {
   
super(r, result);
    this.time = ns;
    this.period = period;
    this.sequenceNumber = sequencer.getAndIncrement();
}
// 创建延迟时间为ns的非重复任务
ScheduledFutureTask(Callable<V> callable, long ns) {
   
super(callable);
    this.time = ns;
    this.period = 0;
    this.sequenceNumber = sequencer.getAndIncrement();
}

通过类的属性和构造函数可知,ScheduledFutureTask类使得Runnable任务可以延迟执行,甚至设置周期执行;同时记录每个Runnable任务进入延迟队列的序列号.

1.2 ScheduledFutureTask的run()方法

ScheduledFutureTask类继承FutureTask类,所以可以执行带有返回结果的任务.

// 重写FutureTask的run方法
public void run() {
   
    // 属性period不等于0返回true,表明周期任务;否则返回false,表明非周期任务
    boolean periodic = isPeriodic(); 
    // 当前线程池状态下是否可以继续执行
	if (!canRunInCurrentRunState(periodic))
        cancel(false); // 终止线程并移除任务
    // 非周期任务执行FutureTask的run()方法
	else if (!periodic)
        ScheduledFutureTask.super.run();
    // 周期任务,新建任务且可执行
	else if (ScheduledFutureTask.super.runAndReset()) {
   
    	// 根据period值设置该任务的time值,如果period为正数,则直接与time值相加，如果是负数，则去掉符号后与系统当前时间相加
		setNextRunTime();
		// 当前任务加入队列
        reExecutePeriodic(outerTask);
    }
}

private void setNextRunTime() {
   
	// 构造函数中设置的周期时间
	long p = period;
	// 若周期时间为正数
	if (p > 0)
		// 则把周期时间与延迟时间相加作为任务下次执行的时间
        time += p;
	else
		// 若为负数,则忽略延迟时间,以当前时间为基准加上周期时间作为下次任务执行时间
        time = triggerTime(-p);
}

long triggerTime(long de