Java多线程——死锁

　　当一个线程永远地持有一个锁，并且其他线程都尝试获得这个锁时，那么他永远被阻塞，当线程A持有锁L并想获得锁M的同时，线程B持有锁M并同时尝试获得锁L时，那么两个线程将永远的等待下去，这中情况就是简单的死锁的形式，其中多个线程由于存在环路的锁依赖关系而永远的等待下去，那么就存在一个死锁。

1、锁顺序死锁

　　下面是顺序锁的一个列子，代码如下：

package deadLock;

public class LeftRightDeadLock {
    private final Object left = new Object();
    private final Object right = new Object();
    
    public void leftRight() throws Exception{
        synchronized (left) {
            Thread.sleep(2000);
            synchronized (right) {
                System.out.println("left to right");
            }
        }
    }
    
    
    public void rightLeft() throws Exception{
        synchronized (right) {
            Thread.sleep(2000);
            synchronized (left) {
                System.out.println("right to left");
            }
        }
    }
    
}

package deadLock;

public class LeftRightThread extends Thread {

    private LeftRightDeadLock d;
    public LeftRightThread(LeftRightDeadLock d){
        this.d = d;
    }
    @Override
    public void run() {
        try{
            d.leftRight();
        }catch(Exception ex){
            ex.printStackTrace();
        }
    }

}

package deadLock;

public class RightLeftThread extends Thread {

    private LeftRightDeadLock d;
    public RightLeftThread(LeftRightDeadLock d){
        this.d = d;
    }
    @Override
    public void run() {
        try{
            d.rightLeft();
        }catch(Exception ex){
            ex.printStackTrace();
        }
    }

}

package deadLock;

public class Main {
    public static void main(String[] args) {
        LeftRightDeadLock d = new LeftRightDeadLock();
        LeftRightThread t1 = new LeftRightThread(d);
        RightLeftThread t2 = new RightLeftThread(d);
        t1.start();
        t2.start();
    }
}

线程t1持有left的锁，并尝试获取得right的锁，而线程t2持有right的锁，并尝试获得left的锁，故产生死锁。产生死锁的原因是：两个线程试图以不同的顺序来获得相同的锁，如果按照相同的顺序来请求锁，那么就不会出现循环的加锁依赖性，因此也就不会产生死锁。

　　如果所有线程以固定的顺序来获得锁，那么在程序中就不会出现锁顺序死锁的问题

2、动态的锁顺序死锁

　　有时候，并不能清楚的知道是否在锁顺序上有足够的控制权来避免死锁的发生，看如下转账的代码。

　　

public class TransferAccounts {
    public void transferMoney(Account fromAccount, Account toAccount, double amount) throws Exception{
        synchronized (fromAccount) {
            synchronized (toAccount) {
                if(fromAccount.getBalance() - amount < 0){
                    throw new Exception();
                }
                else{
                    fromAccount.setBalance(amount);
                    toAccount.add(amount);
                }
            }
        }
    }
}

public class Account {
    
    //金额
    private double balance;

    public double getBalance() {
        return balance;
    }

    public void setBalance(double balance) {
        this.balance = balance;
    }
    public void add(double amount){
        balance += amount;
    }
    public void subtra(double amount){
        balance -= amount;
    }
    
}

　　上面代码是资金从一个账户转到另一个账户的简单实现，在开始转账之前要获得这两个Account对象的锁，以确保通过原子方式来更新两个账户的中余额。所有的线程似乎都是按照顺序锁来获得锁，但是事实上锁的顺序取决于转给函数transferMoney参数顺序，而这些参数又取决于外部的输入，如果两个线程同时调用transferMoney，其中一个线程从X向Y转账，另一个线程从Y向X转账，有可能发生死锁：

　　线程A：transferMoney(xAccount, yAccount);

　　线程B：transferMoney(yAccount, xAccount);

　　为了防止这种情况发生，必须按照顺序来获取锁。如下代码：

public class TransferAccounts {
    private static final Object tieLock = new Object();

    public void transfer(Account fromAccount, Account toAccount,
            double amount) throws Exception {
        if (fromAccount.getBalance() - amount < 0) {
            throw new Exception();
        } else {
            fromAccount.setBalance(amount);
            toAccount.add(amount);
        }
    }
    public void transferMoney(Account fromAccount, Account toAccount,
            double amount) throws Exception{
        int fromHash = fromAccount.hashCode();
        int toHash = toAccount.hashCode();
        if(fromHash < toHash){
            synchronized (fromAccount) {
                synchronized (toAccount) {
                    transfer(fromAccount, toAccount, amount);
                }
            }
        }else if(fromHash > toHash){
            synchronized (toAccount) {
                synchronized (fromAccount) {
                    transfer(fromAccount, toAccount, amount);
                }
            }
        }else {
            synchronized (tieLock) {
                synchronized (fromAccount) {
                    synchronized (toAccount) {
                        transfer(fromAccount, toAccount, amount);
                    }
                }
            }
        }
    }
    
}

　　在极少数的情况下，两个对象可能拥有相对的hashCode值，这时必须通过添加额外的锁来，在获得两个Account的锁之前，必须先获得这个额外的锁。从而消除死锁的发生。

3、死锁的避免与诊断

(1) 如果一个程序每次至多只能获取一个锁，那么就不会产生锁顺序死锁。

(2) 如果必须获取多个锁，那么设计时必须考虑锁的顺序，如果按照固定的顺序来获取锁，就不会发生锁顺序死锁。

(3)支持定时锁，例如显示使用Lock类中的定时tryLock功能来代替内置锁，显示锁可以指定一个超时时限，在等待超过某个时间后tryLock会返回一个失败的信息。