最近,我读了here关于 JVM 优化,非常棒,
但我有一个优化问题,即空检查消除(或不常见陷阱)
总而言之,空检查消除删除了if (obj == null) ...
并希望得到最好的结果,而if遇到了段错误 它重新编译代码,这次包括被忽略的 if (obj == null) ...
。
我的问题是,鉴于:
bool foo(MyClass obj)
{
if(obj == null)
return false;
m_someVar++;
obj.doSomething(m_someVar);
}
因为 Null-Check 已被消除,并且仅在 m_someVar++
之后才需要。
当 c 为空时 foo 会额外执行 m_someVar++
一次吗?
编辑:
是否有一些来源可以更深入地解释此优化的实现,从而解释此优化如何使代码在语义上保持相同?
谢谢
最佳答案
有很多可能性可以避免这个问题:延迟或撤消增量已经在评论中提到了。 JVM 有一大堆技巧,其中一些技巧适用:
- 何时
obj.doSomething(m_someVar)
是非虚拟方法调用(private
或final
方法,或从未重写的方法),那么它可能需要显式 null 检查(*),因为不会有 SEGV,但必须在之前抛出 NPE的电话。我假设该方法未内联,否则应在内联后应用此分析。 - 何时
obj.doSomething(m_someVar)
是一个虚拟方法调用,那么你必须执行“方法调度”,即类似obj.getClass().getPointerToMethod("doSomething(int)")
的东西以确定调用什么具体方法。我写了“类似的东西”,因为这样做实际上非常耗时,并且会尽可能地进行优化。这个调度可以移动到增量之上,它本身会抛出一个 NPE,如果obj
恰好是null
. - 如果幸运的话,调度可能看起来像
if (obj.getClass() != MyClass.class) uncommon_trap();
,这是最简单的情况(称为“单态调用站点”),但即使这也涉及取消引用obj
然后您再次获得null
的 NPE .
(*) 空检查可能类似于 obj.getClass()
在汇编程序中,它是从相对于 obj
的固定偏移量加载的单个指令。指针。当obj == null
然后就会出现一个未映射的页面。
关于Java 消除空值检查会导致错误代码吗?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/46043185/