死锁
何为死锁?
在某些场景下,锁申请之后,没有及时释放,导致别人拿不到锁,然后程序锁死了
死锁的三种场景:
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();