为什么递归深度在 Java 8 中是非确定性的，但在 OpenJDK 7 中是确定性的？

Java 8 中的非确定性堆栈深度

确定 Java 中的最大递归深度对于理解堆栈利用率和潜在内存问题至关重要。然而，在 Oracle 的 Java 8 上，报告的结果可能是不确定的，而相比之下，OpenJDK 7 会产生一致的结果。

HotSpot 优化器的影响

The HotSpot 编译器优化器显着影响观察到的行为。当递归方法是 JIT 编译时，优化器可能会优化某些方法调用或合并多个调用的堆栈帧。此优化会导致更小的堆栈空间要求，从而允许更深的递归。

示例

考虑以下代码：

<code class="java">public static int countDepth() {
    try { return 1+countDepth(); }
    catch(StackOverflowError err) { return 0; }
}</code>

使用 JIT 的结果（来自 Oracle 的 Java 8）：

2097
4195
4195
4195
12587
12587
12587

不使用 JIT 的结果（来自 Oracle 的 Java 8）：

2104
2104
2104
2104
2104
2104
2104

堆栈限制强制执行和 ASLR

影响非确定性的另一个因素是 JVM 强制执行堆栈限制的方式。如果堆栈结束地址需要特殊对齐（例如，由于硬件限制而与页边界对齐），则初始堆栈分配可能具有较弱的对齐约束。与地址空间布局随机化 (ASLR) 相结合，这可能会导致可用堆栈空间量可变，从而导致不确定的递归深度。

OpenJDK 7 中的确定性

与 Oracle 的 Java 8 相比，OpenJDK 7 似乎对堆栈限制的执行更加一致，并且默认情况下不应用 ASLR。这解释了 OpenJDK 7 中观察到的确定性行为。

以上是为什么递归深度在 Java 8 中是非确定性的，但在 OpenJDK 7 中是确定性的？的详细内容。更多信息请关注PHP中文网其他相关文章！