调度线程执行器ScheduledThreadPoolExecutor是线程执行器ThreadPoolExecutor的扩展，在ThreadPoolExecutor基础之上添加了在一定时间间隔之后调度任务的核心功能，也包括之后的按既定时间间隔去调度任务的功能。同时ScheduledThreadPoolExecutor是基于线程池的，因此它和Timer相比更容易扩展。作者认为任务延迟调度是STPE最核心的部分，因此这篇文章主要是通过分析源码来理解ScheduledThreadPoolExecutor的任务延迟调度实现机制。
构造方法
在探究ScheduledThreadPoolExecutor实现机制之前，我们必须要学会使用它，那么我们首先需要搞清楚两个问题：第一、如何获取ScheduledThreadPoolExecutor实例？第二、ScheduledThreadPoolExecutor为我们提供了哪些接口以及他们的功能是什么？ScheduledThreadPoolExecutor这个名字有点长，为了简单起见，后文我用（STPE）缩写来代表它。
为解答第一个问题我们先来看看STPE提供了哪些构造方法：
上图中我们可以看出STPE为我们提供了四个构造方法，用过ThreadPoolExecutor（简称PTE）的同学都知道我们可以通过构造方法的参数来配置我们所需要线程池的多个参数，包括核心工作线程数、最大工作线程数、线程空闲回收时间、线程工厂、等待队列及队列大小等，但是从STPE的构造方法看来我们能配置的似乎并不多，这是因为什么呢？我们可以结合PTE的构造方法分析一下，除去核心线程数大小、线程工厂之外，STPE和TPE构造方法的区别有线程数相关（包括核心线程数、最大工作线程数、线程空闲回收）和等待队列。线程数相关似乎和实现任务延迟调度没有什么关系，也的确关系不大，STPE的实例只是控制了工作线程数为固定大小。那么问题就在于等待队列了。的确，STPE的四个构造方法都默认使用了一个特殊的队列作为等待队列，叫做DelayedWorkQueue，我们可以叫它延迟工作队列。
DelayedWorkQueue
DelayedWorkQueue（简称DWQ）和其他的队列有什么不同呢？DWQ和实现延迟任务有什么关系呢？这是接下来要搞清楚的问题。
我们先来看看DWQ类的继承体系：
从上图看起来都是很常见的接口似乎没有什么特别之处，尽管这样我们还是简单过一下各个接口及父类给DWQ赋予的功能吧。
Iterable提供了可以迭代的接口，也就是队列中的元素可以通过迭代的方式获取到。
Collection提供了集合框架的基本接口，JAVA集合我相信大家都很熟悉。
Queue提供了队列相关的接口，包括获取队头元素、往队尾增加元素。
AbstractCollection提供了Iterable以及Collection的一些默认实现。
BlockingQueue提供了阻塞队列的相关接口，即表示当线程想从队列中获取元素而队列中没有元素的时候，线程需要被挂起。
剩下的就是DWQ的实现了，既然它的主要存储模型是队列，那么我们就看看这个队列的实现吧。
DWQ的实现队列是由RunnableScheduleFuture数组实现的，我们看看存取相关的接口，发现往队列之中添加元素的实现主要是offer接口，看下关键实现：
try {
int i = size;
if (i >= queue.length)
grow();
size = i + 1;
if (i == 0) {
queue[0] = e;
setIndex(e, 0);
} else {
siftUp(i, e);
}
if (queue[0] == e) {
leader = null;
available.signal();
}
}上面代码片段可以看出：如果当前元素数量到达了队列的长度，那么久扩充容量；如果当前队列没有元素，那么直接放在队头；否则调用siftUp方法。其实再接着往下看siftUp方法的实现，大概大家就明白了其实DWQ队列的实现是基于堆实现的：
/**
* Sift element added at bottom up to its heap-ordered spot.
* Call only when holding lock.
*/
private void siftUp(int k, RunnableScheduledFuture key) {
while (k > 0) {
int parent = (k - 1) >>> 1;
RunnableScheduledFuture e = queue[parent];
if (key.compareTo(e) >= 0)
break;
queue[k] = e;
setIndex(e, k);
k = parent;
}
queue[k] = key;
setIndex(key, k);
}而这个堆的顺序，也即大根堆还是小根堆是基于队列中元素实现的comparable接口来决定的，但是上面这段代码我们可以确定的是当堆尾元素compareTo他的父亲节点>=0的时候位置是不用改变的。我们也可以确定一件事情，即当这个堆是小根堆的时候我们从基于小根堆的队列头部获取的元素总是最小的那个，而当这个根是大根堆的时候我们从基于大根堆的队列头部获取的元素总是最大的那个。
RunableScheduleFuture
下面我们再看看队列元素的实现，上文中我们可以知道，DWQ这个队列只能存储RunableScheduleFuture（简称RSF）这个类型的元素，我们看看RSF的继承体系：
从上面这张图我们可以看出什么呢？来一起简单的过一下：
Comparable表示RSF是可以用来比较的。
Delayed表示RSF是有时间状态的，因此可以用来获取RSF对象的在与某个时间比较之后的剩余时间。
Future表示RSF是能够获取异步计算结果的对象。
Runnable表示RSF是个线程对象。
RunnableFuture表示RSF是个可以用来执行的并且能够获取异步计算结果的对象。
ScheduledFuture表示RSF是个可以在指定时间延迟后获取异步计算结果的对象。
RunnableScheduledFuture表示RSF是个可以被执行、且可以在指定时间延迟后获取异步计算内容的线程对象。
最后一步我们通过RSF的集成体系总结了RSF对象的功能。为了衔接上一部分，我们还需要看看下面的实现：
public int compareTo(Delayed other) {
if (other == this) // compare zero ONLY if same object
return 0;
if (other instanceof ScheduledFutureTask) {
ScheduledFutureTask<?> x = (ScheduledFutureTask<?>)other;
long diff = time - x.time;
if (diff < 0)
return -1;
else if (diff > 0)
return 1;
else if (sequenceNumber < x.sequenceNumber)
return -1;
else
return 1;
}
long d = (getDelay(TimeUnit.NANOSECONDS) -
other.getDelay(TimeUnit.NANOSECONDS));
return (d == 0) ? 0 : ((d < 0) ? -1 : 1);
}这里的实现决定了堆的存储顺序，上面可以看出RSF对象的比较其实是按照time的自然顺序，time是什么呢？time是提交任务的时候设置的延迟时间，也就是我们的任务会在time时间之后被调度，那么我们可以得出结论：上文中的队列中，任务的顺序是按照剩余时间基于小根堆排列的，每次调度任务的时候从队列的头部取到的线程对象肯定是最近需要调度的线程对象。
队列内容的获取-线程的延迟调度
上文中我们知道了DWQ这个队列本质，那么我们再来看看线程调度的必经之路，调度器是如何从队列中获取内容的。相关接口包括poll和take，poll和take分别是对Queue和BlockingQueue的实现，他们的主要区别是poll在没有获取到内容的时候会直接返回null，而take在没有获取到内容的时候会阻塞。然而、无论是poll还是take，我们都能够从实现中得到一条重要的线索，所有能够获取到的对象必须要满足一个条件：RSF对象的getDelay对象必须要<=0，也就是线程对象的时间到了，可以被执行了，那么我们才可以获取线程对象并进行调度。
文章到这个时候，我们至少应该非常清楚下面两点：
任务的延迟调度是如何实现的。
任务的调度顺序和任务提交的先后并没有关系。
啊，我好像忘记了介绍STPE提供的主要接口和功能，虽然不了解他们并不影响我们队延迟调度实现机制的理解，为了保证文章的完整性，我们再一起看看吧。
STPE的主要功能
我们先看看STPE提供哪些主要接口：
下面四个不需要纠结，他们并不是用来作为提交延迟任务的，而是立即调度。前两个呢，第一个和第二个的都是在指定时间之后调度任务，不同的是Runnable和Callable的区别。Callable允许用户获取线程的返回值，而Runnable没有。
最重要的就是第三个和第四个了，他们的实现也是很有意思的，看下源代码：
两个方法的实现不同点仅仅在于上图的红框处，博主找了半天，o(╯□╰)o。简单介绍就是上面那个是按照固定时间去调度的，比如设置的初始时间是2，调度时间间隔是5，那么低二次调度时间是2+5，第三次是2+5*2,依次类推。下面的方法是按照固定的延迟时间去调度，比如初始时间是2，任务执行长度是1，那么第二次调度时间是2+1+5。
本文留下一个问题，上图中的不同是如何巧妙的实现这两种不同的需求的呢？
本文由基于JDK7版本的JCU包中的相关类的实现源码，由作者原创，如有问题欢迎留言。
489
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
