类中同步方法组合的线程行为

Question

情况 1

我有 2 个同步方法，如下所示：

class A {
    public void synchronized methodA() {}
    public void synchronized methodB() {}
}

A： 我有线程 T1 和 T2。线程能否同时执行（分别）属于 A 类同一个实例的methodA和methodB？

• 我的分析：答案是否定的，因为线程T1只会执行一个方法，线程T2将被阻塞，直到T1执行完毕。

B：我有线程 T1 和 T2。线程能否同时执行（分别）属于 A 类不同实例的 methodA 和 methodB ？

• 我的分析：答案是是，因为T1和T2可以执行属于A类不同实例的methodA和methodB并且不会被阻塞。

根据我对案例 1 的分析，我的理解是否正确？

更新：情况 2

我有 2 个同步方法，一个是非静态的，另一个是静态的。

class A {        
    public void synchronized methodA() {}    
    public void static synchronized methodB() {}    
}       

A：我有线程 T1 和 T2。线程能否同时执行（分别）属于类 A 的同一个实例的methodA和methodB？

• 我的分析：答案是否定的，因为T1只会执行一个方法，T2将被阻塞，直到T1执行完毕。

B：我有线程 T1 和 T2。线程能否同时执行（分别）属于 A 类不同实例的methodA和methodB？

• 我的分析：答案是是，因为T1和T2可以执行属于不同实例的methodA和methodB，并且不会被阻塞。

根据我对案例2的分析，我的理解是否正确？

Answer 1

情况 A： 否

情况 B： 是

您的分析是正确的。实例方法上的synchronized关键字在功能上等价于this：

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

由于this在两个上下文中是不同的，所以它们并不互斥。请注意，即使是相同的方法也可以同时为两个不同的实例调用。

编辑

对于情况2，你在2A上是不正确的；这甚至没有意义。静态同步方法不“属于”类的实例；如果确实如此，它就不是静态的！它不会在类的任何实例上进行同步（它没有对要同步的实例的引用！），因此它在A的类对象上进行同步。类 A 中的静态同步方法相当于：

public static void methodB() {
   synchronized (A.class) {
      //code
   }
}

您的实例方法将在实例上同步，如上面所示，因此两个线程可以并行运行。

在情况 B 中，显然它们也可以并行运行，但您仍然缺少静态方法不与任何实例关联的基本概念。

Answer 2

情况1：你是对的。

每个 Java 对象（除其他外）都有一个关联的互斥锁（互斥锁）。当 synchronized 应用于非静态方法时，锁定的是实例的互斥锁。因此，同步方法在每个对象的基础上工作。

静态同步方法使用 Class 对象的锁，因此基于每个类（模 ClassLoader）进行操作，并且独立于非静态方法。您还可以在方法体中使用 synchronized() 来使用您想要的任何对象的锁。

情况 2： 你是不正确的，因为 methodA() 和 methodB() 使用不同的互斥体，如上所述。