死锁
定义描述
两个线程A和B,两个数据1和2。线程A在执行过程中,首先对资源1加锁,然后再去给资源2加锁,但是由于线程的切换,导致线程A没能给资源2加锁。线程切换到B后,线程B先对资源2加锁,然后再去给资源1加锁,由于资源1已经被线程A加锁,因此线程B无法加锁成功,当线程切换为A时,A也无法成功对资源2加锁,由此就造成了线程AB双方相互对一个已加锁资源的等待,死锁产生。
死锁产生的四个必要条件
- 互斥条件:进程对所需求的资源具有排他性,若有其他进程请求该资源,请求进程只能等待。(我占用了厕所,他人想用就得等待)
- 不剥夺条件:进程在所获得的资源未释放前,不能被其他进程强行夺走,只能自己释放。(我占用了厕所,我还没离开厕所,别人不能强行进入,只能我自己用完再出来)
- 请求和保持条件:进程当前所拥有的资源在进程请求其他新资源时,由该进程继续占有。(我占用了厕所,我还在里面跟他人打电话,此时我仍然在厕所里面呆着)
- 循环等待条件:存在一种进程资源循环等待链,链中每个进程已获得的资源同时被链中下一个进程所请求。(我占用了厕所,我还在里面跟他人打电话,假设是小美,但此时小美正在和外面等待准备上厕所的大壮通话,而只有我从厕所出来,大壮才会结束与小美的通话)
死锁解决方案
保证上锁的顺序一致。(都必须先上厕所,再给小美打电话)
死锁处理方法
- 鸵鸟策略:忽略它。(大壮可以憋很久)
- 死锁检测:不试图阻止死锁,而是当检测到死锁发生时,采取措施进行恢复。(大壮去找别的厕所or我给小美的另一个手机号打电话)
- 死锁恢复:抢占回复、回滚恢复、杀死进程恢复(大壮比较急大壮先用厕所,大壮比我先到厕所,大壮把我kill了)
- 死锁预防:破坏互斥条件、破坏请求和保持条件、破坏不剥夺条件、破坏循环请求等待条件(大壮冲进来把我赶出去等方式)
- 死锁避免:程序运行时避免死锁发生。(在厕所里设置信号屏蔽器,我必须出来了才能给小美打电话等方式)
参考文献
https://interviewguide.cn/notes/03-hunting_job/02-interview/02-03-os.html#_59%E3%80%81%E6%AD%BB%E9%94%81%E7%9B%B8%E5%85%B3%E9%97%AE%E9%A2%98%E5%A4%A7%E6%80%BB%E7%BB%93-%E8%B6%85%E5%85%A8