死锁的4个必要条件和处理策略

1、死锁的例子：

      资源A、B，进程C、D描述如下：
　　资源A和资源B，都是不可剥夺资源，
　　现在进程C已经申请了资源A，进程D也申请了资源B，
　　进程C接下来的操作需要用到资源B，而进程D恰好也在申请资源A，
　　进程C、D都得不到接下来的资源，那么就引发了死锁。

2、死锁的四个必要条件:

互斥条件（Mutual exclusion）：资源不能被共享，只能由一个进程使用。
请求与保持条件（Hold and wait）：已经得到资源的进程可以再次申请新的资源。
不可剥夺剥夺条件（No pre-emption）：已经分配的资源不能从相应的进程中被强制地剥夺。
环路条件/循环等待条件（Circular wait）：系统中若干进程组成环路，该环路中每个进程都在等待相邻进程正占用的资源。

3、处理死锁的策略

1) 死锁预防：

     预先静态分配法：破坏了“不可剥夺条件”

     资源有序分配法：破坏了“环路条件”

2）死锁避免：设法破坏4个必要条件之一，严格防止死锁的发生

     银行家算法：若发现分配资源后进入不安全状态，则不予分配；若扔处于安全状态，则实施分配。

3）死锁检测：

     允许死锁产生，定时地运行一个死锁检测程序，判断系统是否发生死锁。

4）死锁解除：

   资源剥夺法

撤销进程法