java - 防止 Circles 联盟出现僵局

Question

我有一个 CircleImpl 类，它实现了一个只能存在于 XY 正侧的圆(半径>=0、x>=半径和 y>=半径。)

我在 CircleImpl 中有一个函数:

//this function changes the current circle (this) to make it contain the circle other.
public synchronized void union(Circle other) throws Exception { 
 if (!checkInv(other.getX(),other.getY(),other.getRadius())) 
     throw new Exception("Illegal circle: " + other); 
  synchronized (other) { 
     setRadius(calculateUnionRadius(_x,_y,_radius,other.getX(),other.getY(),other.getRadius())); 
  } 
} 

现在这里可能存在死锁的问题:

Circle c1,c2; 
… 
T1: c1.union(c2); 
T2: c2.union(c1); 

c1 锁定自身(this)，并在锁定“其他”(c2)之前，c2 获得 CPU 时间并锁定自身(c2)，并尝试锁定“其他”(c1)并进入阻塞模式。

有什么可能的简单解决方案不包括资源排序(System.identityHashCode)？

Answer 1

简单(但不是真正有效)的解决方案是同步共享对象上的union操作，例如在Circle.class上。缺点是它只允许在任何给定时间为 1 个线程执行 Union。像这样的东西:

public void union(Circle other) throws Exception { 
    synchronized (Circle.class) {
       if (!checkInv(other.getX(),other.getY(),other.getRadius())) {
           throw new Exception("Illegal circle: " + other); 
       }
       setRadius(calculateUnionRadius(_x,_y,_radius,other.getX(),other.getY(),other.getRadius())); 
    } 
}