Java中实例方法同步的等效代码

Question

在讨论Java同步问题时，有人评论说以下片段不是等效的（可能会编译为不同的字节码）：

public synchronized void someMethod() {
  //stuff
}

和

public void someMethod() {
  synchronized (this) {
    //stuff
  }
}

它们相等吗？

Answer 1

尽管我测试过的编译器（Java 1.6.0_07和Eclipse 3.4）生成了不同的字节码，但它们在功能上是等效的。第一个生成：

// access flags 33
public synchronized someMethod()V
  RETURN

第二个生成：

// access flags 1
public someMethod()V
  ALOAD 0
  DUP
  MONITORENTER
  MONITOREXIT
  RETURN

（感谢ASM进行字节码打印）。

因此，它们之间的差异一直保持到字节码级别，并且取决于JVM是否使它们的行为相同。但是，它们确实具有相同的功能效果-
请参阅Java语言规范中的示例。

应该注意的是，如果该方法在子类中被覆盖，则它不一定是同步的-因此在这方面也没有区别。

我还运行了一个测试来阻止尝试访问监视器的线程，以比较它们在线程转储中的堆栈跟踪情况，它们都包含有问题的方法，因此两者之间也没有区别。