静态初始化块中无操作虚拟线程join无限阻塞及Lambda特殊性探究

问题复现 #

在Java 20的静态初始化块中启动无操作虚拟线程并调用join()，会出现无限阻塞：

static {
    Runnable task = () -> {};
    var thread = Thread.startVirtualThread(task);
    try {
        thread.join();
    } catch (InterruptedException e) {}
}

相同逻辑换成平台线程时join()会立即返回，且阻塞行为仅在使用内联Lambda时触发：如果用显式Runnable实例或其他类的静态Lambda（如SomeOtherClass.NOOP = () -> {}），则不会阻塞。

1. 该行为是否为预期或有文档记录？ #

这种行为是类初始化机制与虚拟线程调度模型交互的预期边缘结果，虽然没有专门文档单独描述这个场景，但结合Java语言规范（JLS）和虚拟线程的设计逻辑可以推导：

• 类初始化阶段（执行<clinit>方法）会持有该类的初始化锁，直到初始化完成才释放。
• 虚拟线程由JVM的ForkJoinPool调度，而非OS直接调度，调度过程受JVM内部锁机制的约束更强。
• 当静态初始化块中的主线程调用join()等待虚拟线程时，虚拟线程的执行可能因依赖宿主类的初始化状态而陷入等待，形成循环阻塞——主线程等虚拟线程完成，虚拟线程等主线程释放类初始化锁。

这种死锁符合类初始化的锁规则，属于边缘场景下的预期交互结果。

2. 为何内联Lambda会触发阻塞，普通Runnable不会？ #

核心差异在于Lambda类的加载与宿主类的初始化依赖关系：

• 内联Lambda会被编译为宿主类的私有静态内部类（形如HostClass$$Lambda$1），这个内部类的初始化完全依赖宿主类的初始化状态。当虚拟线程准备执行这个Lambda的run()方法时，需要确保该Lambda类已完成初始化，但此时宿主类正处于初始化过程中（主线程持有初始化锁），虚拟线程会进入等待队列等待宿主类初始化完成。
• 而主线程此时正卡在thread.join()，等待虚拟线程执行完毕，最终形成循环等待的死锁。

如果使用普通Runnable实例（如显式匿名内部类）或其他类的静态Lambda：

• 普通Runnable的类与宿主类无强依赖关系，初始化过程独立，虚拟线程可以正常执行任务后退出。
• 其他类的静态Lambda（如SomeOtherClass.NOOP）所属的类已经完成初始化，虚拟线程执行时无需等待当前宿主类的锁，任务能快速完成，join()自然返回。

平台线程不会出现该问题，是因为平台线程由OS直接调度，执行时机不受JVM内部调度队列的约束，能在主线程持有类初始化锁的同时快速完成无操作任务，不会陷入循环等待。

内容的提问来源于stack exchange，提问作者michid