一、死锁的定义
死锁是两个或两个以上的进程中的每一个都在等待其中另一个进程释放资源而被封锁,它们都无法向前推进,这种现象称为死锁。
二、产生死锁的主要原因
三、产生死锁的必要条件(1) 因为系统资源不足。
(2) 进程运行推进的顺序不合适。
(3) 资源分配不当等。
如果系统资源充足,进程的资源请求都能够得到满足,死锁出现的可能性就很低,否则就会因争夺有限的资源而陷入死锁。其次,进程运行推进顺序与速度不同,也可能产生死锁。
(1) 互斥条件:一个资源每次只能被一个进程使用。
(2) 占有等待条件:一个进程因请求资源而阻塞时,对已获得的资源保持不放。
(3) 不剥夺条件:进程已获得的资源,在末使用完之前,不能强行剥夺。
(4) 循环等待条件:若干进程之间形成一种头尾相接的循环等待资源关系。
这四个条件是死锁的必要条件,只要系统发生死锁,这些条件必然成立,而只要上述条件之一不满足,就不会发生死锁。
四、解决死锁的对策
(1)预防死锁
①破坏互斥条件
允许一个资源可以由多个进程“同时”使用。
②破坏占有等待条件
常用的方法是预先静态分配法,即在作业调度选择作业时,仅当作业所需要的全部资源都能满足时,才调度它进入内存运行。
③破坏非剥夺条件
常采用剥夺调度法,根据申请资源的优先级别高低来剥夺占用的资源。
④破坏循环等待条件
系统给每类资源赋予一个编号,每一个进程按编号递增的顺序请求资源,释放则相反
(2)避免死锁
预防死锁的几种策略,会严重地损害系统性能。因此在避免死锁时,要施加较弱的限制,从而获得较满意的系统性能。
由于在避免死锁的策略中,允许进程动态地申请资源。因而,系统在进行资源分配之前预先计算资源分配的安全性。若此次分配不会导致系统进入不安全状态,则将资源分配给进程;否则,进程等待。
其中最具有代表性的避免死锁算法是银行家算法。
(3)解决死锁
常用的方法有两种:撤销法和剥夺法。
撤销法是按照一定的次序逐渐地撤销已死锁的进程,直到获得为消除死锁需要的足够资源为止。
剥夺法是从一些进程那里剥夺足够数量的资源,并分给死锁的进程,以便足以解开死锁。