Java方法与成员同步

Question

我知道，当将java的同步原语应用于方法时，它的语义等价于在方法执行期间对对象本身进行锁定。

然而，我不清楚这个原始的合同w.r.t。方法，这些方法同时访问对象的特定成员。这个原语只保护同时使用它的其他成员之间的并发访问，还是跨在该对象的任何底层成员上同步的任何成员？

例如，如果同时调用下面示例中的foo()和bar()，这会导致innerThing上的数据竞争吗？

class Thing {
   InnerThing innerThing;
   OtherInnerThing otherInnerThing;

   public synchronized void foo() {
      innerThing.mutate();
    }
  
  public void bar() {
      synchronized(innerThing) {
            innerThing.mutate();
      }
   }
}

Answer 1

这个原语只保护同时使用它的其他成员之间的并发访问，或者跨在此对象的任何底层成员上同步的任何成员之间的约定。

前者。所有线程都必须在同一个对象上同步。

如果线程1在实例上同步，而线程2试图在该实例的某个成员对象上同步，那么线程2将不会被阻塞。

这在Java语言规范中是隐含的；措辞中提到的是“同一个监视器”。