面試突擊:Notify是隨機喚醒嗎?
作者 | 磊哥
來源 | Java面試真題解析(ID:aimianshi666)
轉載請聯系授權(微信ID:GG_Stone)
做 Java 開發的小伙伴,對 wait 方法和 notify 方法應該都比較熟悉,這兩個方法在線程通訊中使用的頻率非常高,但對于 notify 方法的喚醒順序,有很多小伙伴的理解都是錯誤的,有很多人會認為 notify 是隨機喚醒的,但它真的是隨機喚醒的嗎?
帶著這個疑問,我們嘗試休眠 100 個線程,再喚醒 100 個線程,并把線程休眠和喚醒的順序保持到兩個集合中,最后再打印一下這兩個集合,看一下它們的執行順序,如果它們的順序是一致的,那說明 notify 是順序喚醒的,否則則是隨機喚醒的,notify 測試代碼如下:
import java.util.ArrayList;
import java.util.List;
public class NotifyExample {
// 保存休眠線程的順序
private static List<String> waitList = new ArrayList<>();
// 保存喚醒線程的順序
private static List<String> notifyList = new ArrayList<>();
public static void main(String[] args) throws InterruptedException {
final Object lock = new Object();
// 休眠 100 個線程
for (int i = 0; i < 100; i++) {
String threadName = Integer.toString(i); // 定義線程名
new Thread(() -> {
// 獲取當前執行線程的線程名
String currThreadName = Thread.currentThread().getName();
synchronized (lock) {
waitList.add(currThreadName); // 存入等待 list
try {
lock.wait(); // 休眠線程
} catch (InterruptedException e) {
e.printStackTrace();
}
notifyList.add(currThreadName); // 存儲喚醒 list
}
}, threadName).start();
}
Thread.sleep(1000);
// 喚醒 100 個線程
for (int i = 0; i < 100; i++) {
synchronized (lock) {
lock.notify(); // 喚醒線程
}
}
// 打印 2 個線程列表
System.out.println("等待線程順序:" + waitList);
System.out.println("喚醒線程順序:" + waitList);
}
}
以上程序的執行結果如下圖所示:
從上述打印的結果我們可以看出,使用 notify
并不是隨機喚醒的,而是順序喚醒的,雖然以上代碼能證明這個結論,但為了更清楚的解釋這個問題,我們查看了 notify 的實現源碼,它的源碼內容如下:
簡單翻譯一下上面的重點內容,notify 選擇喚醒的線程是任意的,但具體的實現還要依賴于
JVM。也就是說 notify 的喚醒規則,最終取決于 JVM 廠商,不同的廠商的實現可能是不同的,比如阿里的 JVM 和 Oracle 的 JVM,關于
notify 的喚醒規則可能是不一樣的。
那作為一個普通的程序員我們要研究的就是官方的 JVM 也就是 HotSpot 虛擬機,它的 notify 實現源碼在 ObjectMonitor.cpp 中,具體源碼如下:
DequeueWaiter 方法實現的源碼如下:
從上述源碼可以看出,在進行喚醒時,每次會從 _WaitSet 等待集合中獲取第一個元素進行出隊操作,這也說明了 notify 是順序喚醒的。
總結
notify 喚醒線程的規則是隨機喚醒還是順序喚醒取決于 JVM 的具體實現,作為主流的 HotSpot 虛擬機中的 notify 的喚醒規則是順序的,也就是 notify 會按照線程的休眠順序,依次喚醒線程。