Question

我在这里看到很多线程比较并尝试回答哪个更快：newInstance或new operator。

查看源代码，似乎newInstance应该慢得多，我的意思是它会进行如此多的安全检查并使用反射。我决定先测量一下jdk-8。以下是使用jmh的代码。

@BenchmarkMode(value = { Mode.AverageTime, Mode.SingleShotTime })
@Warmup(iterations = 5, time = 2, timeUnit = TimeUnit.SECONDS)   
@Measurement(iterations = 5, time = 2, timeUnit = TimeUnit.SECONDS)    
@State(Scope.Benchmark) 
public class TestNewObject {
    public static void main(String[] args) throws RunnerException {

        Options opt = new OptionsBuilder().include(TestNewObject.class.getSimpleName()).build();
        new Runner(opt).run();
    }

    @Fork(1)
    @Benchmark
    public Something newOperator() {
       return new Something();
    }

    @SuppressWarnings("deprecation")
    @Fork(1)
    @Benchmark
    public Something newInstance() throws InstantiationException, IllegalAccessException {
         return Something.class.newInstance();
    }

    static class Something {

    } 
}

我不认为这里有很大的惊喜（JIT做了很多优化，使这个差异不是那么大）：

Benchmark                  Mode  Cnt      Score      Error  Units
TestNewObject.newInstance  avgt    5      7.762 ±    0.745  ns/op
TestNewObject.newOperator  avgt    5      4.714 ±    1.480  ns/op
TestNewObject.newInstance    ss    5  10666.200 ± 4261.855  ns/op
TestNewObject.newOperator    ss    5   1522.800 ± 2558.524  ns/op

热门代码的差异大约是 2x ，而且单次拍摄时间差得多。

现在我切换到jdk-9（构建157以防万一）并运行相同的代码。结果：

 Benchmark                  Mode  Cnt      Score      Error  Units
 TestNewObject.newInstance  avgt    5    314.307 ±   55.054  ns/op
 TestNewObject.newOperator  avgt    5      4.602 ±    1.084  ns/op
 TestNewObject.newInstance    ss    5  10798.400 ± 5090.458  ns/op
 TestNewObject.newOperator    ss    5   3269.800 ± 4545.827  ns/op

在热门代码中，这是一个强烈的50倍差异。我正在使用最新的jmh版本（1.19.SNAPSHOT）。

在测试中再添加一个方法后：

@Fork(1)
@Benchmark
public Something newInstanceJDK9() throws Exception {
    return Something.class.getDeclaredConstructor().newInstance();
}

以下是整体结果n jdk-9：

TestNewObject.newInstance      avgt    5    308.342 ±   107.563  ns/op
TestNewObject.newInstanceJDK9  avgt    5     50.659 ±     7.964  ns/op
TestNewObject.newOperator      avgt    5      4.554 ±     0.616  ns/op

有人可以解释为什么会有这么大的差异？

Answer 1

首先，问题与模块系统无关（直接）。

我注意到即使使用JDK 9，newInstance的第一次热身迭代也与JDK 8一样快。

# Fork: 1 of 1
# Warmup Iteration   1: 10,578 ns/op    <-- Fast!
# Warmup Iteration   2: 246,426 ns/op
# Warmup Iteration   3: 242,347 ns/op

这意味着JIT编译中出现了问题 -XX:+PrintCompilation确认在第一次迭代后重新编译基准：

10,762 ns/op
# Warmup Iteration   2:    1541  689   !   3       java.lang.Class::newInstance (160 bytes)   made not entrant
   1548  692 %     4       bench.generated.NewInstance_newInstance_jmhTest::newInstance_avgt_jmhStub @ 13 (56 bytes)
   1552  693       4       bench.generated.NewInstance_newInstance_jmhTest::newInstance_avgt_jmhStub (56 bytes)
   1555  662       3       bench.generated.NewInstance_newInstance_jmhTest::newInstance_avgt_jmhStub (56 bytes)   made not entrant
248,023 ns/op

然后-XX:+UnlockDiagnosticVMOptions -XX:+PrintInlining指出了内联问题：

1577  667 %     4       bench.generated.NewInstance_newInstance_jmhTest::newInstance_avgt_jmhStub @ 13 (56 bytes)
                           @ 17   bench.NewInstance::newInstance (6 bytes)   inline (hot)
            !                @ 2   java.lang.Class::newInstance (160 bytes)   already compiled into a big method

“已编译成大方法”消息表示编译器未能内联Class.newInstance调用，因为被调用者的编译大小大于InlineSmallCode值（这是默认的2000。）

当我用-XX:InlineSmallCode=2500重新评估基准时，它再次变得快速。

Benchmark                Mode  Cnt  Score   Error  Units
NewInstance.newInstance  avgt    5  8,847 ± 0,080  ns/op
NewInstance.operatorNew  avgt    5  5,042 ± 0,177  ns/op

你知道，JDK 9现在有 G1作为默认GC 。如果我回归并行GC，即使使用默认的InlineSmallCode，基准测试也会很快。

使用-XX:+UseParallelGC重新运行JDK 9基准：

Benchmark                Mode  Cnt  Score   Error  Units
NewInstance.newInstance  avgt    5  8,728 ± 0,143  ns/op
NewInstance.operatorNew  avgt    5  4,822 ± 0,096  ns/op

G1需要在对象存储发生时设置一些障碍，这就是编译后的代码变得更大的原因，因此Class.newInstance超出了默认的InlineSmallCode限制。编译Class.newInstance变大的另一个原因是反射代码在JDK 9中稍微重写过。

TL; DR JIT未能内联Class.newInstance，因为已超出InlineSmallCode限制。由于JDK 9中反射代码的更改以及默认GC已更改为G1，Class.newInstance的编译版本变得更大。

Answer 2

Class.newInstance()的实施大致相同，但以下部分除外：

Java的8：

Constructor<T> tmpConstructor = cachedConstructor;
// Security check (same as in java.lang.reflect.Constructor)
int modifiers = tmpConstructor.getModifiers();
if (!Reflection.quickCheckMemberAccess(this, modifiers)) {
    Class<?> caller = Reflection.getCallerClass();
    if (newInstanceCallerCache != caller) {
        Reflection.ensureMemberAccess(caller, this, null, modifiers);
        newInstanceCallerCache = caller;
    }
}

Java的9

Constructor<T> tmpConstructor = cachedConstructor;
// Security check (same as in java.lang.reflect.Constructor)
Class<?> caller = Reflection.getCallerClass();
if (newInstanceCallerCache != caller) {
    int modifiers = tmpConstructor.getModifiers();
    Reflection.ensureMemberAccess(caller, this, null, modifiers);
    newInstanceCallerCache = caller;
}

正如您所看到的，Java 8有quickCheckMemberAccess允许绕过昂贵的操作，例如Reflection.getCallerClass()。我猜这个快速检查已被删除，因为它与新的模块访问规则不兼容。

但还有更多。 JVM可以使用可预测的类型优化反射实例化，Something.class.newInstance()指的是完全可预测的类型。这种优化可能会变得不那么有效。有几个可能的原因：

新模块访问规则使流程复杂化
由于Class.newInstance()已被弃用，故意删除了一些支持（似乎不太可能）
由于上面显示的实施代码已更改，HotSpot无法识别触发优化的某些代码模式

newInstance vs jdk-9 / jdk-8和jmh中的new

2 个答案: