死锁

所谓死锁（deadlocks）是指两个或者两个以上的进程在执行过程中，因争夺资源而造成的一种互相等待的现象，若无外力作用，它们都将无法推进下去。此时称系统处于死锁状态或者系统产生了死锁。 
产生死锁的四个必要条件如下：

• 互斥条件：一个资源每次只能被一个进程使用。
• 请求与保持条件：一个进程因请求资源而阻塞试，对已获得的资源保持不放。
• 不剥夺条件：进程已获得的条件，在未使用完之前，不能强行剥夺。

• 循环等待条件：若干进程之间形成一种头尾相接的循环等待资源关系。 
  这4个条件是死锁的必要条件，只要系统发生死锁，这些条件必然成立，而只要上述条件之一不满足就不会发生死锁。 
  死锁的解除和预防方法如下： 
  理解了死锁的原因，尤其是产生死锁的4个条件，就可以最大可能的避免、预防和解除死锁。所以在系统设计、进程调度等方面注意如何不让这4个必要条件成立，如何确定资源的合理分配算法，避免进程永久占据系统资源。此外，也要防止进程在处于等待状态的情况下占用资源，在系统运行过程中，对进程发出的每一个系统能够满足的资源申请进行动态检查，并根据检查结果决定是否分配资源，若分配后系统可能发生死锁，则不予分配，否则予以分配。因此，对资源的分配要给予合理的规划。 
  根据产生死锁的4个必要条件，只要是其中之一不能成立，死锁就不会出现。为此，可以采取下列3个预防措施：

• 采用资源静态分配策略，破坏“部分分配”条件。

• 允许进程剥夺使用其他进程占有的资源，从而破坏不可剥夺条件；
• 采用资源有序分配法，破坏环路条件； 
  这里注意一点，互斥条件无法破坏。 
  死锁的避免不严格地限制死锁的必要条件的存在，而是系统在系统运行过程中小心的避免死锁的最终发生。避免死锁算法中最有代表性的是Dijkstra E.W 于1968年提出的银行家算法，该算法需要检查申请者对资源的最大需求量，如果系统现存的各类资源可以满足申请者请求，就满足申请者的请求。这样申请者就可很快完成其计算，然后释放他占用的资源，从而保证了系统中的所有进程都能完成，所以可以避免死锁的发生。