我在Oracle Java教程中遇到了这个example,它描述了多线程场景中的死锁。

因此,在此示例中,我在第17行和第18行进行了以下更改。

public class DeadLock {
  static class Friend {
    private final String name;

    public Friend(String name) {
        this.name = name;
    }

    public String getName() {
        return this.name;
    }

    public synchronized void bow(Friend bower) {
        //My Changes
        //System.out.format("%s: %s" + " has bowed to me!%n", this.name, bower.getName()); //Line 17
         System.out.println(this.name + ": " + bower.getName() + " has bowed to me!"); //Line 18
        bower.bowBack(this);
    }

    public synchronized void bowBack(Friend bower) {
        System.out.format("%s: %s" + " has bowed back to me!%n", this.name, bower.getName());
    }
  }

  public static void main(String[] args) {
    final Friend alphonse = new Friend("Alphonse");
    final Friend gaston = new Friend("Gaston");
    new Thread(new Runnable() {
        @Override
        public void run() {
            alphonse.bow(gaston);
        }
    }).start();

    new Thread(new Runnable() {
        @Override
        public void run() {
            gaston.bow(alphonse);
        }
    }).start();
  }
}

完成这些更改后,程序将成功终止,而不会导致死锁,并在输出后打印
Alphonse: Gaston has bowed to me!
Gaston: Alphonse has bowed back to me!
Gaston: Alphonse has bowed to me!
Alphonse: Gaston has bowed back to me!

所以我的问题是-为什么它会表现得如此? println语句如何防止死锁?

最佳答案

使用System.out.print还是System.out.format都没有什么区别:它们基本上是在做相同的事情。

如果在Gaston.bow(Alphonse)Alphonse.bow(Gaston)的开始之间开始执行bower.bowBack(Alphonse),则会在此处发生死锁(反之亦然):两个线程正在等待另一个线程持有的监视器,因此发生死锁。

这种情况不一致地发生,因为它取决于细微的定时问题,具体取决于线程的调度方式-可能在执行Alphonse.bow之前先完成bower.backBack(Alphonse)Gaston.bow,所以看起来没有死锁。

解决此问题的经典方法是对锁进行排序,以使第一个锁每次都首先被获取。这样可以防止出现死锁:

public void bow(Friend bower) {  // Method no longer synchronized.
  int firstHash = System.identityHashCode(this);
  int secondHash = System.identityHashCode(bower);

  Object firstMonitor = firstHash < secondHash ? this : bower;
  Object secondMonitor = firstHash < secondHash ? bower : this;
  synchronized (firstMonitor) {
    synchronized (secondMonitor) {
      // Code free (*) of deadlocks, with respect to this and bower at least.
    }
  }
}

(*)不能保证完全没有死锁,因为System.identityHashCode可以为不同的对象返回相同的值;但这是不太可能的。

这是Birthday paradox的一个应用程序:如果只有两个监视器,则发生碰撞的机会约为10 ^ -18;但是如果您的显示器> 77k,则很可能发生碰撞。

10-04 11:12