死锁是指多个进程互相等待对方资源,在得到对方资源之前又不释放资源的现象。
如果进程在等待一个不可能事件,就会陷入死锁。
一个或多个进程死锁,就会导致系统死锁。
1.银行家算法---在分配资源之前先判断是否会导致系统死锁
银行家算法思想原则:
(1)一个进程对资源的最大需求量 <= 系统资源数 时,接纳该进程;
(2)进程可以分期请求资源,但是请求次数不能超过最大需求量;
(3)当现有资源不能满足进程尚需资源数时,对进程的请求可以延迟分配,但总能在有限的时间内分配资源;
(4)当系统能满足进程尚需资源数时,先判断系统现存资源能否满足进程所需最大进程数,若能满足,则按照请求数分派,否则延迟分配。
2.解决死锁的策略
(1)死锁预防:
破坏导致死锁的任意必要条件中任意一个就可以预防死锁。预防通常会降低系统效率。
eg:破坏等待和保持条件----用户申请资源时,一次性申请所有资源;
破坏循环等待条件-------得到上一层资源后,才能申请下一层资源。
(2)死锁避免:在进程申请资源之前都先判断这些操作是否安全。(会增加系统开销)
eg:使用银行家算法。
(3)死锁检测:死锁预防和避免都是事前措施,检测是执行中检测系统是否处于死锁状态,若是, 则执行死锁解除策略。
(4)死锁解除:与死锁检测结合使用,它的使用手段是剥夺,即将某进程所拥有的资源强制收回,分配给其他进程。