Java编译器是否优化了空的同步块？

Question

假设在我的代码中某处我写了一个空的synchronized 块：

synchronized(obj){
   //No code here
}

所以由于同步块不包含任何代码，JIT 编译器是否会通过不锁定 obj 来优化它，因为它没有用处？

Java 编译器也有类似的技巧，比如锁粗化，但是这个同步块也会被优化掉吗？

编辑：

根据 assylias 的观点，

synchronized(new Object()){
   //empty block
}

JIT 编译器现在是否能够优化这一点，因为我使用的对象不会转义我的方法？

Answer 1

这不能基于 Java 内存模型语义进行优化。锁获取-释放操作可能被其他东西替换，但即使是一个空的synchronized 块也会对获取相同锁的其他线程所采取的操作的可见性产生影响。

具体来说，可以保证一个线程在释放锁之前完成的所有写操作在另一个线程获得相同的锁后对它都是可见的。

关于您的编辑

这是一个非常不同的情况：在一个对象上获得了一个锁，可以通过逃逸分析证明没有其他线程能够获取它。在这种情况下，synchronized 块的内容是什么并不重要：该点仅在使用的锁中。代码可以看起来像您发布的那样，甚至是这样的：

Object o = new Object();
synchronized(o) { 
   // any operations you like, as long as they don't let o escape the method scope
}

这可以通过称为锁省略的转换来处理：JVM 可以假装它从未见过synchronized 块。这是因为 JMM 语义只涉及获取同一个锁的情况。