操作系统之死锁，银行家算法。

死锁产生的必要条件（必须都满足)：

• 互斥条件        : 进程对资源的使用是排他性的使用。
• 请求保持条件  ：1. 进程至少保持一个资源， 又提出新的资源请求。  2. 新的资源被占用，请求被阻塞。 3. 被阻塞的资源又不释放自己保持的资源。
• 不可剥夺条件  ：1. 进程获得的资源在未使用完成前不能被剥夺   2. 获得的资源只能由进程自身释放。
• 环路等待条件  ：发生死锁时， 必然存在进程-资源 环形链（比如哲学家进餐问题)。

 

 

预防死锁的方法：破坏一个或者多个死锁产生的必要条件。

 

• 摒弃请求保持条件：系统规定进程运行之前，一次性申请所有需要的资源。
• 摒弃不可剥夺条件： 当一个进程请求新的资源得不到满足时，必须释放占有的资源。
• 摒弃环路等待条件： 可用资源线性排序， 申请必须按照需要递增申请， 线性申请不再形成环路，从而摒弃了环路等待条件。

 

 

银行家算法

　定义： 是一个著名的可操作的避免死锁的方法。以银行借贷策略为基础的算法。

　思想： 1 客户申请的贷款是有限的， 每次申请需声明最大资金量。 2 银行家在能够满足贷款时，都应该给用户贷款。3 客户在使用完贷款之后，能够及时归还贷款。

 

　在计算系统中使用的条件： 

 

　　已分配资源表：ABCD 代表可申请的共享资源， P1， P2,  P3,  P4 代表需要申请资源的四个进程。 这个表代表每个进程当前拥有的资源。

　　　　　　　　　比如第一行， P1占有了1个C资源， 4个D资源。

　　 所需资源表： 进程所需要所有资源的表。

　　 可分配资源表： ～

　　

 

　所需资源表减去，已分配资源表，得到还需分配资源表。

 

 

之后跟可分配资源表进行对比。

发现P2可以， 所以先将资源给P2， P2执行完毕后归还资源。