死锁

死锁是指多个进程因为竞争资源而造成的相互等待的僵局

1. 死锁产生原因

1.1 系统资源的竞争

系统资源分为可抢占资源和不可抢占资源。通常系统中拥有的不可抢占资源，其数量不足以满足多个进程运行的需要，使得进程在运行过程中，会因争夺资源而陷入僵局，如磁带机、打印机等。只有对不可抢占资源的竞争才可能产生死锁，对可抢占资源的竞争是不会引起死锁的。

1.2 进程推进顺序非法

• 进程在运行过程中，请求和释放资源的顺序不当，也同样会导致死锁。例如，并发进程P1,P2分别保持了资源R1、R2，而进程P1申请资源R2、进程P2申请资源R1时，两者都会因为所需资源被占用而阻塞。
• 信号量使用不当也会造成死锁。进程间彼此相互等待对方发来的消息，也会使得这些进程间无法继续向前推进。例如，进程A等待进程B发的消息，进程B又在等待进程A发的消息，进程A和B不是因为竞争同一资源，而是在等待对方的资源导致死锁

1.3 产生死锁的必要条件

产生死锁必须同时满足以下4个条件，只要其中任意一个条件不成立，死锁就不会发生。

• 互斥条件:进程要求对所分配的资源（如打印机）进行排他性控制，即在一段时间内某资源仅为一个进程所占有。此时若有其他进程请求该资源，则请求进程只能等待。
• 不剥夺条件:进程所获得的资源在未使用完之前，不能被其他进程强行夺走，即只能由获得该资源的进程自己来释放（只能是主动释放)。
• 请求并保持条件:进程已经保持了至少一个资源，但又提出了新的资源请求，而该资源已被其他进程占有，此时请求进程被阻塞，但对自己已获得的资源保持不放。
• 循环等待条件:存在一种进程资源的循环等待链，链中每个进程已获得的资源同时被链中下一个进程所请求。

2. 死锁处理策略

为使系统不发生死锁，必须设法破坏产生死锁的4个必要条件之一，或允许死锁产生，但当死锁发生时能检测出死锁，并有能力实现恢复。
1.死锁预防
设置某些限制条件，破坏产生死锁的4个必要条件中的一个或几个，以防止发生死锁。
2.避免死锁
在资源的动态分配过程中，用某种方法防止系统进入不安全状态，从而避免死锁。
3.死锁的检测及解除
无须采取任何限制性措施，允许进程在运行过程中发生死锁。通过系统的检测机构及时地检测出死锁的发生，然后采取某种措施解除死锁。
预防死锁和避免死锁都属于事先预防策略
预防死锁的限制条件比较严格，实现起来较为简单，但往往导致系统的效率低，资源利用率低;
避免死锁的限制条件相对宽松，资源分配后需要通过算法来判断是否进入不安全状态，实现起来较为复杂

	资源分配策略	各种可能模式	优点	缺点
死锁预防	保守，宁可资源闲置	一次请求所有资源 资源剥夺 资源按序分配	适用于突发式处理的进程，不必进行剥夺	效率低，进程初始化时间廷长:剁夺次数过多;不便灵活申请新资源
死锁避免	折中	寻找可能的安全允许顺序	不必进行剥夺	必须知道将来的资源需求；进程不能被长时间阻塞
死锁检测	宽松，只要允许就分配	定期检查死锁是否已经发生	不延长进程初始化时间，允许对死锁进行现场处理	通过剥夺解除死锁，造成损失

2.1 死锁预防

1. 破坏不剥夺条件
   释放已获得的资源可能造成前一阶段工作的失效，反复地申请利释放资源会增加系统开销，降低系统吞吐量。这种方法常用于状态易于保存和恢复的资源，如CPU的寄存器及内存资源，一般不能用于打印机之类的资源。

2. 破坏请求并保持条件
   采用预先静态分配方法，即进程在运行前一次申请完它所需要的全部资源，在它的资源未满足前，不把它投入运行。一旦投入运行，这些资源就一直归它所有，不再提出其他资源请求
   这种方式实现简单，但系统资源被严重浪费，其中有些资源可能仅在运行初期或运行快结束时才使用，甚至根本不使用。而且还会导致“饥饿”现象，由于个别资源长期被其他进程占用时，将致使等待该资源的进程迟迟不能开始运行。

3. 破坏循环等待条件
   为了破坏循环等待条件，可采用顺序资源分配法。首先给系统中的资源编号，规定每个进程必须按编号递增的顺序请求资源，同类资源一次申请完。只要进程提出中请分配资源R，则该进程在以后的资源申请中就只能申请编号大于R,的资源。
   这种方法存在的问题是，编号必须相对稳定，这就限制了新类型设备的增加;会发生作业使用资源的顺序与系统规定顺序不同的情况，造成资源的浪费;

2.2 死锁避免

在资源动态分配过程中，防止系统进入不安全状态，以避免发生死锁

1. 系统安全状态
   允许进程动态地申请资源，系统在进行资源分配之前，应该先计算此次资源分配的安全性，如果此次分配不会导致系统进入不安全状态，则将资源分配给进程，否则等待。并非所有的不安全状态都是死锁状态，但当系统进入不安全状态后，便可能进入死锁状态;反之，只要系统处于安全状态，系统便可避免进入死锁状态。

2. 银行家算法
   当进程首次申请资源时，要测试该进程对资源的最大需求量，如果系统现存资源可以满足，那么按当前的申请量分配资源，否则推迟分配。当进程在执行中继续申请资源时，先测试该进程已占用的资源数与本次申请的资源数之和是否超过该进程对资源的最大需求量。若超过则拒绝分配资源，若未超过则再测试系统现存的资源能否满足该进程尚需的最大资源量，若能满足则按当前的申请量分配资源，否则也要推迟分配。

3. 安全性算法举例（银行家算法核心）
   首先获取Max数组（需要最大资源），然后获取Allocation数组（已经分配的资源），然后根据计算Need（还需要的资源）=Max-Allocation，比较Need和Available（还剩余的可用资源），找到need<available的进程添加到安全序列，然后更新Need数组

2.3 死锁检测和解除

1. 资源分配图
   资源–>进程的有向边是分配边，进程–>资源的有向边是请求边

2. 死锁定理
   判断进程是否阻塞是资源的申请数量是否小于等于已有的空闲资源数量，若不阻塞，删掉他的出度入度
   判断资源是否有控件，应用它的资源数量减去它在资源分配图中的出度
   如果可以删除所有的边，意味着可完全简化，S为死锁的条件是当且仅当S状态的资源分配图是不可完全简化的，这称为死锁定理

3. 死锁解除
   一旦检测出死锁，就应立即采取相应的措施来解除死锁。死锁解除的主要方法有:

   • 资源剥夺法。挂起某些死锁进程，并抢占它的资源，将这些资源分配给其他的死锁进程。但应防止被挂起的进程长时间得不到资源而处于资源匮乏的状态。
   • 撤销进程法。强制撤销部分甚至全部死锁进程并剥夺这些进程的资源。撤销的原则可以按进程优先级和撤销进程代价的高低进行。
   • 进程回退法。让一（或多）个进程回退到足以回避死锁的地步，进程回退时自愿释放资源而非被剥夺。要求系统保持进程的历史信息，设置还原点。