死锁

进程1： A, B,...,~B,~A
进程2: B,A,...,~B,~A
死锁



产生死锁
的原因：一是系统提供的资源数量有限，不能满足每个进程的使用；二是多道程序运行时，进程推进顺序不合理。



产生死锁的必要条件是：1、互斥条件；2、不可剥夺条件（不可抢占）；3、部分分配；4、循环等待。



根据产生死锁的四个必要条件，只要使其中之一不能成立，死锁就不会出现。为此，可以采取下列三种预防措施： 

1、采用资源静态分配策略，破坏"部分分配"条件； 

2、允许进程剥夺使用其他进程占有的资源，从而破坏"不可剥夺"条件； 

3、采用资源有序分配法，破坏"环路"条件。



死锁的避免不严格地限制死锁的必要条件的存在，而是系统在系统运行过程中小心地避免死锁的最终发生。最著名的死锁避免算法是银行家
算法。死锁避免算法需要很大的系统开销。



解决死锁的另一条途径是死锁检测方法，这种方法对资源的分配不加限制，即允许死锁的发生。但系统定时地运行一个"死锁检测"程序，判断系统是否已发生死锁，若检测到死锁发生则设法加以解除。



解除死锁常常采用下面两种方法：1、资源剥夺法；2、撤消进程法