|
死锁： 是指两个或两个以上的进程在执行过程中，因争夺资源而造成的一种互相等待的现象，若无外力作用，它们都将无法推进下去。此时称系统处于死锁状态或系统产生了死锁，这些永远在互相等待的进程称为死锁进程。 由于资源占用是互斥的，当某个进程提出申请资源后，使得有关进程在无外力协助下，永远分配不到必需的资源而无法继续运行，这就产生了一种特殊现象：死锁。” 上面是比较学术的解释，通俗一点的理解可以这样：假设两个人都需要吃饭，然而桌上只有一双筷子，这两个人每人手中都各拿到了一根筷子，都在等对方用完筷子把另一根筷子给自己，自己才能吃饭，这样就形成了死锁。 形成死锁的四个必要条件： 1）互斥条件：指进程对所分配到的资源进行排它性使用，即在一段时间内某资源只由一个进程占用。如果此时还有其它进程请求资源，则请求者只能等待，直至占有资源的进程用毕释放。 2）请求和保持条件：指进程已经保持至少一个资源，但又提出了新的资源请求，而该资源已被其它进程占有，此时请求进程阻塞，但又对自己已获得的其它资源保持不放。 3）不剥夺条件：指进程已获得的资源，在未使用完之前，不能被剥夺，只能在使用完时由自己释放。 4）环路等待条件：指在发生死锁时，必然存在一个进程——资源的环形链，即进程集合{P0，P1，P2，···，Pn}中的P0正在等待一个P1占用的资源；P1正在等待P2占用的资源，……，Pn正在等待已被P0占用的资源。 死锁的预防： 上面的四个死锁的必要条件，只要破坏掉其中一个即可。 >>> 破坏“占有并等待”条件 破坏“占有并等待”条件，就是在系统中不允许进程在已获得某种资源的情况下，申请其他资源。即要想出一个办法，阻止进程在持有资源的同时申请其他资源。 方法一：创建进程时，要求它申请所需的全部资源，系统或满足其所有要求，或么什么也不给它。这是所谓的 “ 一次性分配”方案。 方法二：要求每个进程提出新的资源申请前，释放它所占有的资源。这样，一个进程在需要资源S时，须先把它先前占有的资源R释放掉，然后才能提出对S的申请，即使它可能很快又要用到资源R。 >>> 破坏“不可抢占”条件 破坏“不可抢占”条件，就是允许对资源实行抢夺。 >>> 破坏“循环等待”条件 破坏“循环等待”条件的一种方法，是将系统中的所有资源统一编号，进程可在任何时刻提出资源申请，但所有申请必须按照资源的编号顺序（升序）提出。这样做就能保证系统不出现死锁。 破坏“循环等待”条件的另一种经典算法是银行家算法。该算法是Dijkstra E.W 于1968年提出的： 该算法需要检查申请者对资源的最大需求量，如果系统现存的各类资源可以满足申请者的请求，就满足申请者的请求。这样申请者就可很快完成其计算，然后释放它占用的资源，从而保证了系统中的所有进程都能完成，所以可避免死锁的发生。 死锁的解除 解除死锁只能用强制剥夺资源的方式，下面有几种方法，但是基本上都是基于这种思想： 1、撤消陷于死锁的全部进程； 2、逐个撤消陷于死锁的进程，直到死锁不存在； 3、从陷于死锁的进程中逐个强迫放弃所占用的资源，直至死锁消失。 4、从另外一些进程那里强行剥夺足够数量的资源分配给死锁进程，以解除死锁状态 (责任编辑：IT) |