java - 静态和非静态同步，为什么输出结果不同？

Question

为什么输出有差异？我有2个案例:

1. 在第一种情况下，我使用静态函数 f1 和 f2:

   public static synchronized void f1() {
       for (int i = 0; i < 100; i++)
           System.out.print("A");
   }
   
   public static synchronized void f2() {
       for (int i = 0; i < 100; i++)
           System.out.print("B");
   }
   

   这是我的主要方法体:

   Thread t1 = new Thread(
           new Runnable(){public void run(){f1();}}
   );
   
   Thread t2 = new Thread(
           new Runnable(){public void run(){f2();}}
   );
   t1.start();
   t2.start();
   

   输出是:

   AAAAAAAAAAAAAAAAAAAAAAAAAAAAAAABBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBBB
   

2. 在第二种情况下，f1 和 f2 不是静态的:

   public synchronized void f1() {
       for (int i = 0; i < 100; i++)
           System.out.print("A");
   }
   
   public synchronized void f2() {
       for (int i = 0; i < 100; i++)
           System.out.print("B");
   }
   

   输出是如此困惑:

   AAABABABBBBAAAAAAAAAABBAAAAAAAAAAAAABBBBBBBBBBBBBBBBBBBBBBBBBBAA
   

Answer 1

静态同步函数在类上同步，而非静态同步函数在实例上同步。

这意味着当函数是静态的时，它们会互相阻塞，而当它们不是静态的(并使用不同的实例)时，它们不会互相阻塞。

如果您的类名为 MyClass 则:

public static synchronized foo() {...}

类似于:

public static foo() {
    synchronized (MyClass.class) {
        // ...
    }
}

同时:

public synchronized foo() {...}

类似于:

public foo() {
    synchronized (this) {
        // ...
    }
}

通常，您希望指定要同步的内容(您想独占什么资源？)并避免在类/实例上使用隐式同步，正是因为这个原因。