热点JVM在堆栈替换编译期间是否执行转义分析？

Question

考虑以下代码:

void methodWithOSR() {
    Foo foo = new Foo(); // this object doesn't escape
    for (int i = 0; i < 1_000_000; i++) {
        // some code that uses `foo`
    }
}

当 C2 OSR 编译开始时，热点 JVM 是否能够在堆栈上标量化 foo？我想这可能是有问题的，因为活动对象已经存在于堆中，所以可能无法将对象从堆“移动”到堆栈和寄存器。

Answer 1

在这种情况下，不太清楚“scalaraize”是什么意思，但是让我解释一下这个问题。

HotSpot JVM在OSR编译期间是否运行Escape Analysis？

对大多数编译器功能/优化对OSR编译都有效，就像对常规编译一样。

HotSpot在这里的Foo实例的“缩放”（无论它是什么意思）方面是否受益于转义分析？

标量替换的主要目标是分配消除，这不适用于 Foo 实例，因为对象已在堆中分配。

HotSpot会把活的对象从堆移到栈吗？

不，这样做没有意义。堆栈只是另一个内存区域。

热点可以优化对此处 Foo 字段的访问吗？

是的。例如，它可以在寄存器中缓存字段，例如，在这种情况下。但是，修改仍将写回堆中。