JAVA——死锁详解

死锁是指两个或多个线程在执行过程中,因争夺资源而造成的一种相互等待的现象,若无外力干涉它们都将无法推进下去。本文通过三个场景解释了死锁的发生:1.单线程两次上锁;2.两个线程互相获取对方锁;3.哲学家就餐问题。死锁的四个必要条件包括互斥使用、不可抢占、请求和保持以及循环等待。打破循环等待是防止死锁的关键,可以通过锁排序策略来避免。在编程中,合理地设计锁的获取顺序能有效防止死锁问题的发生。
摘要由CSDN通过智能技术生成

死锁


何为死锁?
在某些场景下,锁申请之后,没有及时释放,导致别人拿不到锁,然后程序锁死了


死锁的三种场景:
1.一个线程一把锁

public class demo2 {
    public static void main(String[] args) {
        synchronized (demo2.class) {//第一次上锁
            synchronized (demo2.class) {//第二次上锁}
        }
    }
}

假如synchronized是不可重入锁
第二次上锁依赖第一次上锁释放,第一次上锁的释放需要执行完第二次上锁里的代码,就这样,二者互相等待,就导致锁死了。


2.两个线程互相获取对方锁

public class demo2 {
    public static void main(String[] args) {
        Object o1 = new Object();
        Object o2 = new Object();
        Thread t1 = new Thread() {
            public void run() {
                synchronized (o1) {
                    try {
                        sleep(1000);//等待t2线程上好他的o2锁
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                    synchronized (o2) {
                        System.out.println(1);
                    }
                }
            }
        };
        Thread t2 = new Thread() {
            public void run() {
                synchronized (o2) {
                    try {
                        sleep(1000);//等待t1线程上好他的o1锁
                    } catch (InterruptedException e) {
                        e.printStackTrace();
                    }
                    synchronized (o1) {
                        System.out.println(2);
                    }
                }
            }
        };
        t1.start();
        t2.start();
    }
}

可见线程一先上了o1锁,线程二先上了o2锁,然后线程一需要等待线程二的o2锁释放获取到该锁执行完后续代码才能释放o1锁,但线程二也需要等待线程一的o1锁释放获取到该锁执行完后续代码才能释放o2锁。他俩就互相等待,锁死了。


3.多个线程多把锁
这就涉及了知名的“哲学家就餐问题”
5 个沉默寡言的哲学家围坐在圆桌前,每人面前一盘意面。叉子放在哲学家之间的桌面上。(5 个哲学家,5 根叉子)

所有的哲学家都只会在思考和进餐两种行为间交替。哲学家只有同时拿到左边和右边的叉子才能吃到面,而同一根叉子在同一时间只能被一个哲学家使用。每个哲学家吃完面后都需要把叉子放回桌面以供其他哲学家吃面。只要条件允许,哲学家可以拿起左边或者右边的叉子,但在没有同时拿到左右叉子时不能进食。

假设面的数量没有限制,哲学家也能随便吃,不需要考虑吃不吃得下。

设计一个进餐规则(并行算法)使得每个哲学家都不会挨饿;也就是说,在没有人知道别人什么时候想吃东西或思考的情况下,每个哲学家都可以在吃饭和思考之间一直交替下去。
在这里插入图片描述
当五个哲学家同时拿右手的叉子,在尝试拿左手的筷子,五个哲学家都会发现左手的没了。这就造成了死锁的情况。

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

  • 互斥使用
  • 不可抢占
  • 请求和保持
  • 循环等待(重点):P1占用了P2的资源,P2占用了P3的资源,P3占用了P1的资源

打破任意一个条件就可以破除死锁。
循环等待是最容易打破的


破除循环等待方法:锁排序
有N个线程,M把锁,给锁编号,规定加锁顺序由小到大,这样就能避免环路等待;
例如

Object lock1 = new Object();
Object lock2 = new Object();
Thread t1 = new Thread() {
    @Override
    public void run() {
        synchronized (lock1) {
            synchronized (lock2) {
                // do something...
           }
       }
   }
};
t1.start();
Thread t2 = new Thread() {
    @Override
    public void run() {
        synchronized (lock2) {
            synchronized (lock1) {
                // do something...
           }
       }
   }
};
t2.start();

这样就会产生环路。
我们按照必须由小到大获取锁的顺序:先获取lock1,再获取lock2
将代码改为

Object lock1 = new Object();
Object lock2 = new Object();
Thread t1 = new Thread() {
    @Override
    public void run() {
        synchronized (lock1) {
            synchronized (lock2) {
                // do something...
           }
       }
   }
};
t1.start();
Thread t2 = new Thread() {
    @Override
    public void run() {
        synchronized (lock1) {
            synchronized (lock2) {
                // do something...
           }
       }
   }
};
t2.start();
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值