注意:它不是重复的，请сarefully阅读主题 https://stackoverflow.com/users/3448419/apangin引用:

The real question is why the code sometimes works when it should not. The issue reproduces even without lambdas. This makes me think there might be a JVM bug.

在https://stackoverflow.com/a/53709217/2674303的评论中我试图找出代码从一开始到另一次表现不同的原因，那次讨论的参与者向我提出了创建一个单独主题的建议。

让我们考虑以下源代码:

public class Test {
    static {
        System.out.println("static initializer: " + Thread.currentThread().getName());

        final long SUM = IntStream.range(0, 5)
                .parallel()
                .mapToObj(i -> {
                    System.out.println("map: " + Thread.currentThread().getName() + " " + i);
                    return i;
                })
                .sum();
    }

    public static void main(String[] args) {
        System.out.println("Finished");
    }
}

有时(几乎总是)它会导致死锁。

输出示例:

static initializer: main
map: main 2
map: ForkJoinPool.commonPool-worker-3 4
map: ForkJoinPool.commonPool-worker-3 3
map: ForkJoinPool.commonPool-worker-2 0

但有时它会成功完成(非常罕见):

static initializer: main
map: main 2
map: main 3
map: ForkJoinPool.commonPool-worker-2 4
map: ForkJoinPool.commonPool-worker-1 1
map: ForkJoinPool.commonPool-worker-3 0
Finished

或

static initializer: main
map: main 2
map: ForkJoinPool.commonPool-worker-2 0
map: ForkJoinPool.commonPool-worker-1 1
map: ForkJoinPool.commonPool-worker-3 4
map: main 3

你能解释一下这种行为吗？

最佳答案

TL;DR This is a HotSpot bug JDK-8215634

这个问题可以用一个根本没有竞争的简单测试用例来重现:

public class StaticInit {

    static void staticTarget() {
        System.out.println("Called from " + Thread.currentThread().getName());
    }

    static {
        Runnable r = new Runnable() {
            public void run() {
                staticTarget();
            }
        };

        r.run();

        Thread thread2 = new Thread(r, "Thread-2");
        thread2.start();
        try { thread2.join(); } catch (Exception ignore) {}

        System.out.println("Initialization complete");
    }

    public static void main(String[] args) {
    }
}

这看起来像是典型的初始化死锁，但 HotSpot JVM 并没有挂起。相反，它打印:

Called from main
Called from Thread-2
Initialization complete

为什么这是一个错误

JVMS §6.5要求在执行 invokestatic 字节码

the class or interface that declared the resolved method is initialized if that class or interface has not already been initialized

当Thread-2 调用staticTarget 时，主类StaticInit 显然未初始化(因为它的静态初始化程序仍在运行)。这意味着 Thread-2 必须启动 JVMS §5.5 中描述的类初始化过程.按照这个程序，

2. If the Class object for C indicates that initialization is in progress for C by some other thread, then release LC and block the current thread until informed that the in-progress initialization has completed

但是，Thread-2 不会被阻塞，尽管该类正在由线程 main 进行初始化。

其他 JVM 呢

我测试了 OpenJ9 和 JET，它们都在上述测试中出现了死锁。
有趣的是，HotSpot 在 -Xcomp 模式下也会挂起，但在 -Xint 或混合模式下不会。

它是如何发生的

当解释器第一次遇到invokestatic 字节码时，它会调用 JVM 运行时来解析方法引用。作为这个过程的一部分，JVM 在必要时初始化类。解析成功后解析的方法保存在常量池缓存条目中。常量池缓存是一个特定于 HotSpot 的结构，用于存储已解析的常量池值。

在上面的测试中，调用staticTarget的invokestatic字节码首先被main线程解析。解释器运行时跳过类初始化，因为类已经被同一个线程初始化。解析后的方法保存在常量池缓存中。下次当 Thread-2 执行相同的 invokestatic 时，解释器看到字节码已经解析并使用常量池缓存条目而不调用运行时，从而跳过类初始化.

getstatic/putstatic 的类似错误很早以前就已修复 - JDK-4493560 ，但修复没有触及 invokestatic。我已经提交了新的错误 JDK-8215634来解决这个问题。

至于原来的例子，

挂不挂取决于哪个线程先解析静态调用。如果它是 main 线程，程序将在没有死锁的情况下完成。如果静态调用由 ForkJoinPool 线程之一解析，程序将挂起。

更新

错误是confirmed .它已在即将发布的版本中修复:JDK 8u201、JDK 11.0.2 和 JDK 12。

关于java - 为什么在静态初始化器中使用并行流会导致不稳定的死锁，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/53724687/