死锁
死锁就是两个或两个以上线程在执行过程中,由于竞争资源或者由于彼此通信而造成的一种阻塞的现象,若无外力作用,它们都将无法推进下去。
成因
1.一个线程一把锁
一个线程,对同一个对象,重复加锁两次,如果不支持可重入,即会出现死锁现象,但是在 Java 中,synchronized 和 ReentarntLock(后面讲) 都是支持可重入的!
所以在 Java 中,也就不会出现这样的情况,但不排除在其他语言会出现这种情况。
2.两个线程两把锁
public static void main(String[] args) {
Object knife = new Object(); //刀
Object fork = new Object(); //叉
Thread t1 = new Thread(() -> {
synchronized (knife) {
System.out.println("张三拿到刀了!");
synchronized (fork) {
System.out.println("张三刀和叉都拿到了!吃牛排!");
}
}
});
Thread t2 = new Thread(() -> {
synchronized (fork) {
System.out.println("小美拿到叉了!");
synchronized (knife) {
System.out.println("小美刀和叉都拿到了!吃牛排!");
}
}
});
t1.start();
t2.start();
}
此时就发现,代码僵住了,其实也就是 t1 在等 t2 释放锁,而 t2 也在等 t1 释放锁,此时两个线程都无休止的阻塞等待下去了,最终导致,张三拿不到刀叉,小美也拿不到刀叉!都不吃成牛排了!
3.多个线程多把锁
哲学家就餐问题
有一个桌子,围着一圈哲学家,每个哲学家面前放着一碗面,哲学家两两之间放一只筷子,而桌子上的哲学家只会做两件事:吃面(获取到锁,执行后续代码)或者思考人生(阻塞等待)。
当哲学家吃面的时候,就会拿起左右手的筷子(先拿左边,再拿右边),当哲学家思考人生的时候,就会放下左右手的筷子。
如果哲学家拿到两根筷子了,就会吃面,没拿到就会思考人生!
极端情况来了!如果五个哲学家同时都拿起左手边的筷子,接着每个人都去拿自己右手边的筷子,发现右边的筷子都被别人拿走了!都要等右边的哲学家把筷子放下,此时就僵住了!由于哲学家们互不相让,此时也就形成了死锁的现象。
①互斥条件:一个资源只能被一个线程占有,当这个资源被占用后其他线程就只能等待。
②不可剥夺条件:当一个线程不主动释放资源时,此资源一直被拥有线程占有。
③请求并持有条件:线程已经拥有一个资源后仍然不满足,又尝试请求新的资源。
④环路等待条件:产生死锁一定是发生了线程资源环路链。
解决
改变死锁中的任意一个或多个条件就可以解决死锁问题,其中被修改的条件只有后两个:请求并持有条件和环路等待条件。
修改请求并持有条件
:获得了一把锁之后不再去请求获取另一把锁
打破循环
于哲学家吃面的问题,对每根筷子进行编号,约定好,只能先拿左右手编号小的筷子,再拿编号大的筷子。
此时这样一来,总有一个人拿不到筷子,那么上述情况,拿到编号为 4 筷子的哲学家就能拿编号为 5 筷子吃面了,吃完了放下两支筷子,接着右手边拿到 3 筷子的哲学家就拿起放下的 编号4 筷子进行吃面了,以此类推.....
本质上我们这里讲的避免死锁的方案,就是约定加锁顺序!约定顺序后,死锁的问题就解决了!也就打破了第四点的循环等待!
其实还有一种算法,银行家算法, 但实际开发中不推荐使用,比起上述讲的办法银行家算法更复杂,也更容易出错,所以更推荐上述约定顺序的方法!