死锁相关介绍【内含哲学家就餐问题】

文章讨论了死锁的概念,即多个线程因等待资源而无限期阻塞的情况。通过三个场景展示了死锁的发生,包括单线程与多线程场景,以及哲学家就餐问题。解决死锁的关键在于破坏四个必要条件,特别是避免循环等待,可以采用锁排序的方法来防止这种情况。文章还提出了面试题,探讨如何避免死锁并分享了解决死锁的策略。
摘要由CSDN通过智能技术生成

死锁

死锁是这样一种情形:多个线程同时被阻塞,它们中的一个或者全部都在等待某个资源被释放。由于线程被无限期地阻塞,因此程序不可能正常终止。

场景1:一个线程,一把锁

一个线程,一把锁,线程连续加锁两次。如果只给锁是不可重入锁,那就是死锁,synchronized的话是可重入锁,不影响。

场景2:两个线程两把锁

两个线程两把锁:

public static void main(String[] args) throws InterruptedException {
    Object locker1 = new Object();
    Object locker2 = new Object();
    Thread t1 = new Thread(()->{
        System.out.println("t1尝试获取locker1");
        synchronized (locker1) {
            try {
                Thread.sleep(1000);
            } catch (InterruptedException e) {
                throw new RuntimeException(e);
            }
            System.out.println("t2尝试获取locker2");
            synchronized (locker2) {
                System.out.println("t1获取两把锁成功");
            }
        }
    });

    Thread t2 = new Thread(()->{
        System.out.println("t2尝试获取locker2");

        synchronized (locker2) {
            try {
                Thread.sleep(1000);
            } catch (InterruptedException e) {
                throw new RuntimeException(e);
            }
            System.out.println("t2尝试获取locker1");
            synchronized (locker1) {
                System.out.println("t2获取两把锁成功");
            }
        }
    });
    t1.start();
    t2.start();
}

image-20230303104816105

面对这种场景,锁再怎么可重入也无济于事。

场景3:多个线程多把锁【哲学家就餐】

死锁典型模型:哲学家就餐问题

img

桌子,一碗意大利面
五个哲学家
五根筷子~ 分别放到两个人之间~
每个哲学家只会做两件事:
1.思考人生 啥都不千(线程阻塞了)
2.吃面条,先拿起左手的筷子,再拿起右手的筷子,吃一会,就放下了

多线程下:一般情况下这个模型是正常的,不会死锁,极端情况除外;

极端情况:五个哲学家同时拿起左手的筷子,且互不相让。

image-20230303110013288

这个时候就会死锁了。

如何解决死锁?

死锁产生的四个必要条件:

1、互斥使用:锁A被线程1占用,线程2就用不了

2、不可抢占:锁A被线程1占用,线程2不能吧锁A给抢过来,除非线程1主动释放

3、请求和保持:即当资源请求者在请求其他的资源的同时保持对原有资源的占有。

4、循环等待:线程1等待线程2释放锁,线程2要释放锁得等待线程3来释放锁,线程3释放锁还得等待线程1释放锁。

当上述四个条件都成立的时候,便形成死锁。当然,死锁的情况下如果打破上述任何一个条件,便可让死锁消失。

其中最容易破坏的就是 “循环等待”.

破坏循环等待

最常用的一种死锁阻止技术就是锁排序. 假设有 N 个线程尝试获取 M 把锁, 就可以针对 M 把锁进行编号

(1, 2, 3…M).

N 个线程尝试获取锁的时候, 都按照固定的按编号由小到大顺序来获取锁. 这样就可以避免环路等待.

image-20230303111231356

约定:将筷子编号,要求必须先取身边编号小的后取编号大的,即使小的被别人拿了也要等待别人释放以后再拿。

按照这样的顺序,假设还是5个哲学家同时拿筷子:

1号哲学家先拿1号筷子,二号哲学家后拿身边的二号筷子,三号哲学家拿三号筷子,四号哲学家拿四号筷子。五号哲学家想拿一号筷子,但是发现一号筷子已经被一号哲学家拿走了,那么他就要等待一号筷子被一号哲学家释放,此时四号哲学家可以选择拿五号筷子加上之前选的四号筷子先用餐。然后用完以后,他将他将四号筷子放下,然后三号哲学家就可以拿三号筷子和四号筷子,以此类推。

【面试题】

谈谈死锁是什么,如何避免死锁,避免算法? 实际解决过没有?

死锁:

多个线程同时被阻塞,它们中的一个或者全部都在等待某个资源被释放。由于线程被无限期地阻塞,因此程序不可能正常终止。

推。

【面试题】

谈谈死锁是什么,如何避免死锁,避免算法? 实际解决过没有?

死锁:

多个线程同时被阻塞,它们中的一个或者全部都在等待某个资源被释放。由于线程被无限期地阻塞,因此程序不可能正常终止。

解决方法:避免循环等待,哲学家问题。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

XY枫晨

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值