死锁不可怕

简介: 死锁不可怕

一. 死锁产生的原因并举例说明

为了保护数据的一致性,我们通常对共享数据加锁,阻塞别的线程对数据的修改,修改完数据才能释放锁,别的线程才能获取锁修改数据,这样来保证数据的一致性。

但是多个线程对多个资源进行加锁操作就会导致死锁的产生。

比如下面的这个例子:

public class DeadLockTest {
    private static Object lockA = new Object();
    private static Object lockB = new Object();
    public static void main(String[] args) {
        new Thread(()->{
            Thread.currentThread().setName("我是小面1");
            synchronized (lockA){
                System.out.println(Thread.currentThread().getName() + ":获取到lockA");
                //模拟业务
                try {
                    Thread.sleep(1000);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
                synchronized (lockB){
                    System.out.println(Thread.currentThread().getName() + ":获取到lockb");
                    //模拟业务
                    try {
                        Thread.sleep(1000);
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                }
            }
        }).start();
        new Thread(() -> {
            Thread.currentThread().setName("我是小面2");
            synchronized (lockB){
                System.out.println(Thread.currentThread().getName() + ":获取到lockB");
                //模拟业务
                try {
                    Thread.sleep(1000);
                } catch (InterruptedException e) {
                    e.printStackTrace();
                }
                synchronized (lockA){
                    System.out.println(Thread.currentThread().getName() + ":获取到lockA");
                    //模拟业务
                    try {
                        Thread.sleep(1000);
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                }
            }
        }).start();
    }
}

运行程序后,一直卡住结束不了。

使用arthus分析: 可以看到确实发生了死锁。

ps: arthus 是很好的一个工具,对排查java程序的故障很有帮助,非常安利大家使用。

看一下死锁产生的条件:

  1. 互斥条件:锁资源每次只能被一个线程使用;
  2. 请求与保持条件:一个线程因请求锁资源而阻塞时,对已获得的锁资源保持不放;
  3. 不剥夺条件:线程已获得的锁资源,在末使用完之前,其他线程不能强行剥夺;
  4. 循环等待条件:若干线程之间形成一种头尾相接的循环等待锁资源关系;

这四个条件要都同时满足才会导致死锁。我们来看一下上面的例子是怎么满足这四个条件的。

1.互斥条件

synchronized关键字保护的资源,只能又一个线程占用,占用后其他线程不能获取,只能阻塞等待,所以满足互斥条件

2.请求与保持条件

可以看到一个线程需要获取两个锁,一个是lockA,另一个是lockB,获取了其中一个锁后,即使获取不到另外一个锁,也不会释放已获取到的锁资源,所以满足请求与保持条件

3.不剥夺条件:线程已获得的锁资源

synchronized关键字保护的锁,一旦被线程获取,其他线程在它未执行完保护的代码块之前,是不能抢夺该线程获取的锁的,所以满足次条件

4.循环等待条件

上面的例子可以看到java小面1线程占用两个资源的顺序是 lockA -> lockB,而java小面2线程占用资源顺序是相反的 lockB -> lockA,所以会出现循环等待的情况,所以满足循环等待条件

所以同时满足了四个条件,所以发生了死锁。

二.死锁解决办法

由上面得知,我们要同时满足上面四个条件才会导致死锁,所以我们只要破坏四个条件的其中之一就能防止死锁的发生。

破坏条件

我看来看一下,那些条件是不能破坏的,那些是可以破坏的。

  1. 互斥条件:锁保护的资源,必须只能一个线程获取,如果此条件破坏,达不到保护共享资源的效果。
  2. 请求与保持条件:我们可以在一个线程获取不到其他资源的时候,主动释放已获取的资源来破坏次条件。
  3. 不剥夺条件:线程已获得的锁资源:一个线程不能随意争夺其它线程获取到的锁资源,不然也达不到保护共享资源的效果。
  4. 循环等待条件:我们可以让所有线程获取锁资源的顺序都保持一致,这样就不会产生循环等待,来破坏此条件。

所以我们只能破坏条件2和4,从代码的角度看看怎么解决

破坏:请求与保持条件

public class DeadLockTest2 {
    private static ReentrantLock lockA = new ReentrantLock();
    private static ReentrantLock lockB = new ReentrantLock();
    public static void main(String[] args) {
        new Thread(() -> {
            Thread.currentThread().setName("我是小面1");
            doWork(lockA, lockB);
        }).start();
        new Thread(() -> {
            Thread.currentThread().setName("我是小面2");
            doWork(lockA, lockB);
        }).start();
    }
    private static void doWork(ReentrantLock lockA, ReentrantLock lockB) {
        boolean lockFirst = lockA.tryLock();
        boolean lockSecond = lockB.tryLock();
        while (true) {
            try {
                if (lockFirst && lockSecond) {
                    //执行业务A
                    bizA();
                    //执行业务B
                    bizB();
                    System.out.println(Thread.currentThread().getName() + ":执行完所有业务");
                    break;
                }
                else {
                    try {
                        Thread.sleep(new Random().nextInt(1000));
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                }
            } finally {
                if (lockFirst) {
                    lockA.unlock();
                }
                if (lockSecond) {
                    lockB.unlock();
                }
            }
            lockFirst = lockA.tryLock();
            lockSecond = lockB.tryLock();
            System.out.println(Thread.currentThread().getName() + ":获取锁失败");
        }
    }
    private static void bizA() {
        try {
            Thread.sleep(new Random().nextInt(1000));
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
    }
    private static void bizB() {
        try {
            Thread.sleep(new Random().nextInt(1000));
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
    }

解释一下代码比较关键部分

  • 这次不使用Synchronized关键字,因为Synchronized不能手动释放锁,需要使用ReentrantLock实现
  • 同时获取到两个锁,才执行业务
  • 如果只获取到其中一个锁,获取不了另一个锁,就释放获取到的锁,然后sleep一段时间后,重新获取。
  • 此方法需要循环获取锁,耗费cpu资源,不使用于业务执行时间长的情况。

破坏:循环等待条件

public class DeadLockTest {
    private static Object lockA = new Object();
    private static Object lockB = new Object();
    public static void main(String[] args) {
        List<Object> locks = new ArrayList<>();
        locks.add(lockA);
        locks.add(lockB);
        locks.sort(Comparator.comparing(Object::hashCode));
        Object lockFirst =  locks.get(0); //第一个锁
        Object lockSecond =  locks.get(1);//第二个锁
        new Thread(() -> {
            Thread.currentThread().setName("我是小面1");
            doWork(lockFirst, lockSecond);
        }).start();
        new Thread(() -> {
            doWork(lockFirst, lockSecond);
        }).start();
    }
    private static void doWork(Object lockFirst, Object lockSecond) {
        synchronized (lockFirst) {
            System.out.println(Thread.currentThread().getName() + ":获取到lockFirst");
            if(lockFirst == lockA){
                //执行业务A
                bizA();
                System.out.println("业务A执行完");
                synchronized (lockSecond) {
                    System.out.println(Thread.currentThread().getName() + ":获取到lockSecond");
                    //执行业务B
                    bizB();
                    System.out.println(Thread.currentThread().getName() + ":业务B执行完");
                }
            }
            else{
                //执行业务B
                bizB();
                System.out.println("业务B执行完");
                synchronized (lockSecond) {
                    System.out.println(Thread.currentThread().getName() + ":获取到lockSecond");
                    //执行业务A
                    bizA();
                    System.out.println(Thread.currentThread().getName() + ":业务A执行完");
                }
            }
        }
    }
    private static void bizA(){
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
    }
    private static void bizB(){
        try {
            Thread.sleep(1000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
    }

解释一下代码比较关键部分

  • 先对lockA和lockB两个资源排序
  • 加锁的时候先对锁判断一下,根据获取到的锁执行对应的业务
  • 由于所有线程获取锁的顺序都是一致的。

运行结果:可以看出小面1和小面2线程获取的锁的顺序都是一致的,没有循环等待

三.总结

我们编写代码时尽可能的避免同时获取多个锁资源,导致死锁的发生的先决条件;如果必需要获取多个锁资源,要时刻留意这四个条件,不能同时满足,要破坏二(请求与保持)和四(循环等待)条件之一,这样就可以不发生死锁了。

相关文章
|
2天前
|
云安全 人工智能 算法
以“AI对抗AI”,阿里云验证码进入2.0时代
三层立体防护,用大模型打赢人机攻防战
1292 1
|
9天前
|
编解码 人工智能 自然语言处理
⚽阿里云百炼通义万相 2.6 视频生成玩法手册
通义万相Wan 2.6是全球首个支持角色扮演的AI视频生成模型,可基于参考视频形象与音色生成多角色合拍、多镜头叙事的15秒长视频,实现声画同步、智能分镜,适用于影视创作、营销展示等场景。
698 4
|
2天前
|
机器学习/深度学习 安全 API
MAI-UI 开源:通用 GUI 智能体基座登顶 SOTA!
MAI-UI是通义实验室推出的全尺寸GUI智能体基座模型,原生集成用户交互、MCP工具调用与端云协同能力。支持跨App操作、模糊语义理解与主动提问澄清,通过大规模在线强化学习实现复杂任务自动化,在出行、办公等高频场景中表现卓越,已登顶ScreenSpot-Pro、MobileWorld等多项SOTA评测。
544 2
|
3天前
|
人工智能 Rust 运维
这个神器让你白嫖ClaudeOpus 4.5,Gemini 3!还能接Claude Code等任意平台
加我进AI讨论学习群,公众号右下角“联系方式”文末有老金的 开源知识库地址·全免费
|
2天前
|
存储 弹性计算 安全
阿里云服务器4核8G收费标准和活动价格参考:u2a实例898.20元起,计算型c9a3459.05元起
现在租用阿里云服务器4核8G价格是多少?具体价格及配置详情如下:云服务器ECS通用算力型u2a实例,配备4核8G配置、1M带宽及40G ESSD云盘(作为系统盘),其活动价格为898.20元/1年起;此外,ECS计算型c9a实例4核8G配置搭配20G ESSD云盘,活动价格为3459.05元/1年起。在阿里云的当前活动中,4核8G云服务器提供了多种实例规格供用户选择,不同实例规格及带宽的组合将带来不同的优惠价格。本文为大家解析阿里云服务器4核8G配置的实例规格收费标准与最新活动价格情况,以供参考。
234 150
|
9天前
|
机器学习/深度学习 人工智能 前端开发
构建AI智能体:七十、小树成林,聚沙成塔:随机森林与大模型的协同进化
随机森林是一种基于决策树的集成学习算法,通过构建多棵决策树并结合它们的预测结果来提高准确性和稳定性。其核心思想包括两个随机性:Bootstrap采样(每棵树使用不同的训练子集)和特征随机选择(每棵树分裂时只考虑部分特征)。这种方法能有效处理大规模高维数据,避免过拟合,并评估特征重要性。随机森林的超参数如树的数量、最大深度等可通过网格搜索优化。该算法兼具强大预测能力和工程化优势,是机器学习中的常用基础模型。
355 164