2

我想知道 Java JIT 编译的使用。我的理解是它应该尝试编译出“死代码”。我想知道的是什么被归类为死代码。

例如 - 假设我将一个名为 debug 的运行时属性设置为 false。如果我的程序有一些代码来获取该属性，然后基于它执行方法，我想知道什么会被归类为死代码。

public static final boolean DEBUG

static {
    DEBUG = System.getProperties().containsKey("debug.enabled");
}

public static void logDebug(String msg) {
    if (DEBUG) {
        System.out.println("My Debug Message");
    }
}

public static void main(String args) {
    // 1) Check if DEBUG is true and log if 
    // it is.
    //
    if (DEBUG) {
        System.out.println("My Debug Message");
    }

    // 2) Call a method to perform logging, let it check
    // DEBUG
    //
    logDebug("My Second Debug Message");

}

在 main 中，第一个 if 块检查 DEBUG。因为它是错误的，我假设 JIT 会意识到这个块永远不会执行，所以会将它编译为死代码。

我想知道，如果方法 logDebug 也会发生同样的情况 - JVM 是否仍会每次都进入该方法，或者它会理解该方法中没有发生任何事情并因此对其进行优化？

也许我对 JIT 工作原理的理解是完全错误的？

4

1 回答 1

2

JIT 并不总是完全消除死代码。

相反，它所做的是优化不太可能出现的情况，因此它的成本几乎为零。这是因为 CPU 可以通过分支执行代码的推测执行，如果不采用该分支，则只有名义成本。即使只在某些时候采用分支（即它必须选择一个分支作为可能采用的分支），它也会这样做

如果由于某种原因这种变化，代码仍然会正确运行，如果相对较慢的话。JIT 可以检测到它所做的优化假设已经改变并重新优化代码。-XX:+PrintCompilation你可以看到它转储了它之前编译的方法并重新编译它。

简而言之，它使死代码几乎没有成本。

于 2012-06-13T08:20:24.827 回答