面試官:好久不見啊,上次我們聊完了PriorityBlockingQueue
,今天我們再來聊聊和它相關的DelayQueue
吧。
Hydra:就知道你前面肯定給我挖了坑,DelayQueue
也是一個無界阻塞佇列,但是和之前我們聊的其他佇列不同,不是所有型別的元素都能夠放進去,只有實現了Delayed
介面的物件才能放進佇列。Delayed
物件具有一個過期時間,只有在到達這個到期時間後才能從佇列中取出。
面試官:有點意思,那麼它有什麼使用場景呢?
Hydra:不得不說,由於DelayQueue
的精妙設計,使用場景還是蠻多的。例如在電商系統中,如果有一筆訂單在下單30分鐘內沒有完成支付,那麼就需要自動取消這筆訂單。還有,如果我們快取了一些資料,並希望這些快取在一定時間後失效的話,也可以使用延遲佇列將它從快取中刪除。
以電商系統為例,可以簡單看一下這個流程:
面試官:看起來和任務排程有點類似啊,它們之間有什麼區別嗎?
Hydra:任務排程更多的偏向於定時的特性,是在指定的時間點或時間間隔執行特定的任務,而延遲佇列更多偏向於在指定的延遲時間後執行任務。相對任務排程來說,上面舉的例子中的延遲佇列場景都具有高頻率的特性,使用定時任務來實現它們的話會顯得有些過於笨重了。
面試官:好了,你也白話了半天了,能動手就別吵吵,還是先給我寫個例子吧。
Hydra:好嘞,前面說過存入佇列的元素要實現Delayed
介面,所以我們先定義這麼一個類:
public class Task implements Delayed {
private String name;
private long delay,expire;
public Task(String name, long delay) {
this.name = name;
this.delay = delay;
this.expire=System.currentTimeMillis()+delay;
}
@Override
public long getDelay(TimeUnit unit) {
return unit.convert(this.expire - System.currentTimeMillis(), TimeUnit.MILLISECONDS);
}
@Override
public int compareTo(Delayed o) {
return (int)(this.getDelay(TimeUnit.MILLISECONDS) - o.getDelay(TimeUnit.MILLISECONDS));
}
}
實現了Delayed
介面的類必須要實現下面的兩個方法:
-
getDelay
方法用於計算物件的剩餘延遲時間,判斷物件是否到期,計算方法一般使用過期時間減當前時間。如果是0或負數,表示延遲時間已經用完,否則說明還沒有到期 -
compareTo
方法用於延遲佇列的內部排序比較,這裡使用當前物件的延遲時間減去被比較物件的延遲時間
在完成佇列中元素的定義後,向佇列中加入5個不同延遲時間的物件,並等待從佇列中取出:
public void delay() throws InterruptedException {
DelayQueue<Task> queue=new DelayQueue<>();
queue.offer(new Task("task1",5000));
queue.offer(new Task("task2",1000));
queue.offer(new Task("task3",6000));
queue.offer(new Task("task4",100));
queue.offer(new Task("task5",3000));
while(true){
Task task = queue.take();
System.out.println(task);
}
}
執行結果如下,可以看到按照延遲時間從短到長的順序,元素被依次從佇列中取出。
Task{name='task4', delay=100}
Task{name='task2', delay=1000}
Task{name='task5', delay=3000}
Task{name='task1', delay=5000}
Task{name='task3', delay=6000}
面試官:看起來應用還是挺簡單的,今天也不能這麼草草了事吧,還是說說原理吧。
Hydra:開始的時候你自己不都說了嗎,今天我們們聊的DelayQueue
和前幾天聊過的PriorityBlockingQueue
多少有點關係。DelayQueue
的底層是PriorityQueue
,而PriorityBlockingQueue
和它的差別也沒有多少,只是在PriorityQueue
的基礎上加上鎖和條件等待,入隊和出隊用的都是二叉堆的那一套邏輯。底層使用的有這些:
private final transient ReentrantLock lock = new ReentrantLock();
private final PriorityQueue<E> q = new PriorityQueue<E>();
private Thread leader = null;
private final Condition available = lock.newCondition();
面試官:你這樣也有點太糊弄我了吧,這就把我敷衍過去了?
Hydra:還沒完呢,還是先看入隊的offer
方法,它的原始碼如下:
public boolean offer(E e) {
final ReentrantLock lock = this.lock;
lock.lock();
try {
q.offer(e);
if (q.peek() == e) {
leader = null;
available.signal();
}
return true;
} finally {
lock.unlock();
}
}
DelayQueue
每次向優先順序佇列PriorityQueue
中新增元素時,會以元素的剩餘延遲時間delay
作為排序的因素,來實現使最先過期的元素排在隊首,以此達到在之後從佇列中取出的元素都是先取出最先到達過期的元素。
二叉堆的構造過程我們上次講過了,就不再重複了。向佇列中新增完5個元素後,二叉堆和佇列中的結構是這樣的:
當每個元素在按照二叉堆的順序插入佇列後,會檢視堆頂元素是否剛插入的元素,如果是的話那麼設定leader
執行緒為空,並喚醒在available
上阻塞的執行緒。
這裡先簡單的介紹一下leader
執行緒的作用,leader
是等待獲取元素的執行緒,它的作用主要是用於減少不必要的等待,具體的使用在後面介紹take
方法的時候我們細說。
面試官:也別一會了,趁熱打鐵直接講佇列的出隊方法吧。
Hydra:這還真沒法著急,在看阻塞方法take
前還得先看看非阻塞的poll
方法是如何實現的:
public E poll() {
final ReentrantLock lock = this.lock;
lock.lock();
try {
E first = q.peek();
if (first == null || first.getDelay(NANOSECONDS) > 0)
return null;
else
return q.poll();
} finally {
lock.unlock();
}
}
程式碼非常短,理解起來非常簡單,在加鎖後首先檢查堆頂元素,如果堆頂元素為空或沒有到期,那麼直接返回空,否則返回堆頂元素,然後解鎖。
面試官:好了,鋪墊完了吧,該講阻塞方法的過程了吧?
Hydra:阻塞的take
方法理解起來會比上面稍微困難一點,我們還是直接看它的原始碼:
public E take() throws InterruptedException {
final ReentrantLock lock = this.lock;
lock.lockInterruptibly();
try {
for (;;) {
E first = q.peek();
if (first == null)
available.await();
else {
long delay = first.getDelay(NANOSECONDS);
if (delay <= 0)
return q.poll();
first = null; // don't retain ref while waiting
if (leader != null)
available.await();
else {
Thread thisThread = Thread.currentThread();
leader = thisThread;
try {
available.awaitNanos(delay);
} finally {
if (leader == thisThread)
leader = null;
}
}
}
}
} finally {
if (leader == null && q.peek() != null)
available.signal();
lock.unlock();
}
}
阻塞過程中分支條件比較複雜,我們一個一個看:
- 首先獲取堆頂元素,如果為空,那麼說明佇列中還沒有元素,讓當前執行緒在
available
上進行阻塞等待 - 如果堆頂元素不為空,那麼檢視它的過期時間,如果已到期,那麼直接彈出堆頂元素
- 如果堆頂元素還沒有到期,那麼檢視
leader
執行緒是否為空,如果leader
執行緒不為空的話,表示已經有其他執行緒在等待獲取佇列的元素,直接阻塞當前執行緒。 - 如果
leader
為空,那麼把當前執行緒賦值給它,並呼叫awaitNanos
方法,在阻塞delay
時間後自動醒來。喚醒後,如果leader
還是當前執行緒那麼把它置為空,重新進入迴圈,再次判斷堆頂元素是否到期。
當有佇列中的元素完成出隊後,如果leader
執行緒為空,並且堆中還有元素,就喚醒阻塞在available
上的其他執行緒,並釋放持有的鎖。
面試官:我注意到一個問題,在上面的程式碼中,為什麼要設定first = null
呢?
Hydra:假設有多個執行緒在執行take
方法,當第一個執行緒進入時,堆頂元素還沒有到期,那麼會將leader
指向自己,然後阻塞自己一段時間。如果在這期間有其他執行緒到達,會因為leader
不為空阻塞自己。
當第一個執行緒阻塞結束後,如果將堆頂元素彈出成功,那麼first
指向的元素應該被gc
回收掉。但是如果還被其他執行緒持有的話,它就不會被回收掉,所以將first
置為空可以幫助完成垃圾回收。
面試官:我突然有一個發散性的疑問,定時任務執行緒池ScheduledThreadPoolExecutor
,底層使用的也是DelayQueue
嗎?
Hydra:問題很不錯,但很遺憾並不是,ScheduledThreadPoolExecutor
在類中自己定義了一個DelayedWorkQueue
內部類,並沒有直接使用DelayQueue
。不過如果你看一下原始碼,就會看到它們實現的邏輯基本一致,同樣是基於二叉堆的上浮、下沉、擴容,也同樣基於leader
、鎖、條件等待等操作,只不過自己用陣列又實現了一遍而已。說白了,看看兩個類的作者,都是Doug Lea
大神,所以差異根本沒有多大。
面試官:好了,今天先到這吧,能最後再總結一下嗎?
Hydra:DelayQueue
整體理解起來也沒有什麼困難的點,難的地方在前面聊優先順序佇列的時候基本已經掃清了,新加的東西也就是一個對於leader
執行緒的操作,使用了leader
執行緒來減少不必要的執行緒等待時間。
面試官:今天的面試有點短啊,總是有點意猶未盡的感覺,看來下次得給你加點料了。
Hydra:
如果文章對您有所幫助,歡迎關注公眾號 碼農參上