java - 公共(public)代码消除在进行 JIT 时会优化这种双重检查吗？

Question

在java.util.concurrent.AbstractQueuedSynchronzier中找到以下代码

if (((h = head) != null && (s = h.next) != null &&
     s.prev == head && (st = s.thread) != null) ||
    ((h = head) != null && (s = h.next) != null &&
     s.prev == head && (st = s.thread) != null ))
    return st;

初衷似乎是检查两次以确保条件得到满足。

我的问题是:当这段代码命中 JIT 时，它是否会被优化掉，因为两次检查看起来完全相同？

Answer 1

My question is: when this piece of code hit JIT, will it be optimised out since the two check looks exactly the same ?

如果我们假设该长表达式中引用的字段不是 volatile ，那么，由于表达式中没有对字段进行赋值，因此 JIT 编译器可以假设没有其他值会改变他们。这意味着允许优化第二个内存读取。

JIT 编译器是否真的这样做可能是特定于平台的；即它取决于编译器版本等。