3 处理机调度与死锁

一、定义：

死锁指多个进程在运行过程中，因争夺资源而造成的一种僵局。当进程处于这种状态时，若无外力作用，它们都将无法再向前推进。

---

二、产生死锁的原因可归结为如下两点：

(1)竞争资源。系统中供多个进程共享的资源如打印机、公用队列等的数目不满足需要时，会引起资源竞争而产生死锁。

(2)进程间推进顺序非法。进程在运行过程中，请求和释放资源的顺序不当，同样会导致死锁。

---

三、产生死锁的四个必要条件:

1. 互斥条件：进程对所分配到的资源进行排他性使用

2. 请求和保持条件：进程已经保持了至少一个资源，又提出新的资源请求，而新请求资源被其他进程占有只能造成自身进程阻塞，但对自己已获得的其他资源保持不放，必然影响其他进程。

3. 不剥夺条件：进程已获得的资源未使用完之前不能被剥夺，只能在使用完时由自己释放。

4. 环路等待条件

---

四、预防死锁（从产生的四个必要条件入手，由于互斥条件不可避免，由其他三个原因入手）

1.摒弃“请求和保持”条件：所有进程开始运行前，必须一次性的申请其在整个运行过程所需的全部资源（AND）。

       算法简单、易于实现且很安全。但缺点是资源浪费严重、或进程延迟运行。

2.摒弃“不剥夺”条件：允许进程先运行。

       但当提出的新要求不被满足时必须释放它已保持的所有资源，待以后需要时再重新申请。实现比较复杂且付出很大代价。可能会造成前功尽弃，反复申请和释放等情况。

3.摒弃“环路等待”条件：所有进程对资源的请求必须严格按照资源序号递增的次序提出

       (1)资源编号限制新设备的增加；

       (2)应用中的使用设备顺序与规定的顺序并不协调；

       (3)限制了用户编程自由。

---

五、避免死锁 银行家算法步骤

1. IF Requesti[j]<= Need[i,j] （申请j类资源的个数小于等于第i个进程现在所需要的，转第二步）
2. IF Requesti[j]<= Available[j]（申请j类资源的个数小于等于现在空闲的j类资源个数
3. 系统试探着把资源分配给进程Pi ，并修改相应数据结构的值（假设性操作） 
4. 如果能找出安全序列，则说明是安全状态

六、根据死锁定理判断如下所示的资源分配图是否存在死锁

思路：其实跟银行家算法是一样的，先把资源分配完毕，确定正在work的资源数量，再找一个可以开始Request其他资源的进程开始执行，Finish以后把资源全部释放掉消除边，如果能全消完说明不存在死锁