面试突击41:notify是随机唤醒吗?

微信图片_20220420084358.png

做 Java 开发的小伙伴,对 wait 方法和 notify 方法应该都比较熟悉,这两个方法在线程通讯中使用的频率非常高,但对于 notify 方法的唤醒顺序,有很多小伙伴的理解都是错误的,有很多人会认为 notify 是随机唤醒的,但它真的是随机唤醒的吗?


带着这个疑问,我们尝试休眠 100 个线程,再唤醒 100 个线程,并把线程休眠和唤醒的顺序保持到两个集合中,最后再打印一下这两个集合,看一下它们的执行顺序,如果它们的顺序是一致的,那说明 notify 是顺序唤醒的,否则则是随机唤醒的,notify 测试代码如下:

import java.util.ArrayList;
import java.util.List;

public class NotifyExample {// 保存休眠线程的顺序 private static List 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); // 存入等待 listtry {
                        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);
    }
}

以上程序的执行结果如下图所示:

null

从上述打印的结果我们可以看出,使用 notify 并不是随机唤醒的,而是顺序唤醒的,虽然以上代码能证明这个结论,但为了更清楚的解释这个问题,我们查看了 notify 的实现源码,它的源码内容如下:

null

简单翻译一下上面的重点内容,notify 选择唤醒的线程是任意的,但具体的实现还要依赖于 JVM。也就是说 notify 的唤醒规则,最终取决于 JVM 厂商,不同的厂商的实现可能是不同的,比如阿里的 JVM 和 Oracle 的 JVM,关于 notify 的唤醒规则可能是不一样的。


那作为一个普通的程序员我们要研究的就是官方的 JVM 也就是 HotSpot 虚拟机,它的 notify 实现源码在 ObjectMonitor.cpp 中,具体源码如下:

null

DequeueWaiter 方法实现的源码如下:

null

从上述源码可以看出,在进行唤醒时,每次会从 _WaitSet 等待集合中获取第一个元素进行出队操作,这也说明了 notify 是顺序唤醒的。

总结

notify 唤醒线程的规则是随机唤醒还是顺序唤醒取决于 JVM 的具体实现,作为主流的 HotSpot 虚拟机中的 notify 的唤醒规则是顺序的,也就是 notify 会按照线程的休眠顺序,依次唤醒线程。

文章为作者独立观点,不代表BOSS直聘立场。未经账号授权,禁止随意转载。