死锁与银行家算法

2019独角兽企业重金招聘Python工程师标准>>>

死锁定义

进程竞争有限资源，由于分配不当导致无限等待

进程A占有资源R1，等待进程B占有的资源R2；进程B占有资源R2，等待进程A占有的资源R1。资源R1和R2只允许一个进程占用。两个进程都不能继续执行，若不采取其它措施，这种循环等待状况会无限期持续下去，就发生了进程死锁。

死锁产生的条件

计算机系统中必须同时具备下面四个必要条件时，才会发生死锁

1. 互斥条件：即某个资源在一段时间内只能由一个进程占有

2. 不剥夺条件:进程已获得的资源，在末使用完之前，不能强行剥夺

3. 占有并等待：一个进程因请求资源而阻塞时，对已获得的资源保持不放

4. 循环等待条件:若干进程之间形成一种头尾相接的循环等待资源关系

银行家算法

出处：http://zh.wikipedia.org/wiki/%E9%93%B6%E8%A1%8C%E5%AE%B6%E7%AE%97%E6%B3%95

在银行中，客户申请贷款的数量是有限的，每个客户在第一次申请贷款时要声明完成该项目所需的最大资金量，在满足所有贷款要求时，客户应及时归还。银行家在客户申请的贷款数量不超过自己拥有的最大值时，都应尽量满足客户的需要。在这样的描述中，银行家就好比操作系统，资金就是资源，客户就相当于要申请资源的进程

    Allocation　　　Max　　　Available
 　　ＡＢＣＤ　　ＡＢＣＤ　　ＡＢＣＤ
 P1　００１４　　０６５６　　１５２０　
 P2　１４３２　　１９４２　
 P3　１３５４　　１３５６
 P4　１０００　　１７５０

Allocation已经分配的资源

Max：进程需要的最大资源

Available：当前可以利用的资源

首先计算need矩阵，计算每一个进程当前运行需要的资源

Need[ ]=Max[ ]-Allocation[ ]

 NEED
 ＡＢＣＤ
 ０６４２　
 ０５１０
 ０００２
 ０７５０

添加一个判断进程是否完成的字段FINISH

 FINISH
 false
 false
 false
 false

接下来找出need比available小的

   NEED　　Available
 ＡＢＣＤ　　ＡＢＣＤ
 ０６４２　　１５２０
 ０５１０<-
 ０００２
 ０７５０

P2的需求小于能用的，所以配置给他再回收

  NEED　　   Available
 ＡＢＣＤ　　ＡＢＣＤ
 ０６４２　　１５２０
 ００００　＋１４３２
 ０００２－－－－－－－
 ０７５０　　２９５２

更新每个进行的完成状态

 FINISH
 false
 true
 false
 false

接下来继续往下找，发现P3的需求为0002，小于能用的2952，所以资源配置给他再回收，同样的将P3的false改成true，依此类推，做完P4→P1，当全部的FINISH都变成true时，就是安全状态

P - 进程的集合

Mp - 进程p的最大的请求数目

Cp - 进程p当前被分配的资源

A - 当前可用的资源

while (P != ∅) {
    found = FALSE;
    foreach (p ∈ P) {
        if (Mp − Cp ≤ A) {
             /* p可以獲得他所需的資源。假設他得到資源後執行；執行終止，並釋放所擁有的資源。*/
             A = A + Cp ;
             P = P − {p};
             found = TRUE;
        }
    }
    if (! found) return FAIL;
}
return OK;

转载于:https://my.oschina.net/hnuweiwei/blog/225305