死锁

/**
 * 一个简单的死锁类
 * main方法中启动两个线程，分别调用methodA和methodB方法
 * methodA方法首先获取到a对象的锁，睡眠1秒钟
 * 此时methodB方法执行获取到b对象的锁，睡眠1秒
 * 此时methodA需要去获取b对象的锁才能继续执行，但是b锁没有被释放无法获取到
 * 此时methodB需要去获取a对象的锁才能继续执行，但是a锁没有被释放无法获取到
 * 从而两者相互等待，都需要得到对方锁定的资源才能继续执行，从而死锁。
 */

public class Main {
    private static String a = "1";
    private static String b = "2";
    public static void main(String[] args) {
        new ThreadA().start();
        new ThreadB().start();
    }
    static class ThreadA extends Thread {
        @Override
        public void run() {
            synchronized (a) {
                System.out.println("我是A方法中获得到了A锁");
                try {
                    Thread.sleep(1000);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
                synchronized (b) {
                    System.out.println("我是A方法中获取到b锁");
                }
            }
        }
    }
    static class ThreadB extends Thread {
        @Override
        public void run() {
            synchronized (b) {
                System.out.println("我是B方法中获得到了b锁");
                try {
                    Thread.sleep(1000);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
                synchronized (a) {
                    System.out.println("我是B方法中获取到a锁");
                }
            }
        }
    }
}

产生死锁的四大必要条件

①资源互斥/资源不共享

互斥条件：一个资源每次只能被一个进程使用。

②占有和等待/请求并保持

(请求与保持条件：一个进程因请求资源而阻塞时，对已获得的资源保持不放。

③资源不可剥夺

进程已获得的资源，在末使用完之前，不能强行剥夺。

④环路等待

若干进程之间形成一种头尾相接的循环等待资源关系。

避免死锁的方式

银行家算法

避免多次锁定。尽量避免同一个线程对多个 Lock 进行锁定。例如上面的死锁程序，主线程要对 A、B 两个对象的 Lock 进行锁定，副线程也要对 A、B 两个对象的 Lock 进行锁定，这就埋下了导致死锁的隐患。
具有相同的加锁顺序。（给锁添加顺序）如果多个线程需要对多个 Lock 进行锁定，则应该保证它们以相同的顺序请求加锁。比如上面的死锁程序，主线程先对 A 对象的 Lock 加锁，再对 B 对象的 Lock 加锁；而副线程则先对 B 对象的 Lock 加锁，再对 A 对象的 Lock 加锁。这种加锁顺序很容易形成嵌套锁定，进而导致死锁。如果让主线程、副线程按照相同的顺序加锁，就可以避免这个问题。
使用定时锁。程序在调用 acquire() 方法加锁时可指定 timeout 参数，该参数指定超过 timeout 秒后会自动释放对 Lock 的锁定，这样就可以解开死锁了。
死锁检测。死锁检测是一种依靠算法机制来实现的死锁预防机制，它主要是针对那些不可能实现按序加锁，也不能使用定时锁的场景的。