银行家算法（单项资源）

银行家算法是操作系统课程里面为数不多的几个算法之一，理解银行家算法对理解进程的死锁有很大的帮助。而银行家算法本身并没有太复杂的计算，只是在理解上有一个问题稍微难一点。

    算法在执行过程中要求
        1：每次在“未执行完”进程中找到一个可以满足要求的进程来执行
        2：如果当前状态下所有进程都能够执行完，才表示该状态是安全的。

    上面的第二点比较容易被忽视。下面是算法源码，源码中注释比较多，在这里就不啰嗦了。

#include  " StdAfx.h "

#include  " Afx.h "

#define  MAX_PROCESSES 10   //  最大进程数目

//  查找一个可执行完进程，并返回进程编号，返回 -1 表示没有进程可以执行
//  nPn ---- 进程数目
//  pA  ---- 进程已申请资源数
//  pM  ---- 进程请求的最大资源数
//  nL  ---- 当前剩余的资源数目
//  finished ---- 已经执行完成的进程
static   int  S_PreExcute( int  nPn,  const   int   * pA,  const   int   * pM,  int  nL,  const   int   * finished)
... {
    for (int i=0; i<nPn; i++) 
    ...{
        if (!finished[i] && // 第一个条件：进程没有执行完
            (pM[i]-pA[i]) <= nL) // 第二个条件：剩余资源可以满足该进程的执行
            return i;
    }
    return -1;
}

//  判断当前的状态是否安全，同时给出安全序列
//  返回值：返回当前能够执行完的进程数目。
//  nPn ---- 进程数目
//  pA  ---- 进程已申请资源数
//  pM  ---- 进程请求的最大资源数
//  nT  ---- 系统中所有资源数
//  safety_seq ---- 进程执行的安全序列
int  S_SafeTest( int  nPn,  const   int   * pA,  const   int   * pM,  int  nT,  int   * safety_seq)
... {
    int nFN = 0; // 已执行完的进程数量
    int *finished = new int[nPn]; // 进程能执行完标志

    int nL = nT; // 系统剩余资源数

    for (int i=0; i<nPn; i++)
    ...{
        finished[i] = FALSE; // 初始化进程"能执行完"标志
        nL -= pA[i];     // 初始化系统剩余资源数
    }


    while (nFN < nPn)
    ...{
        // 找到一个可执行完进程
        int nPid = S_PreExcute(nPn, pA, pM, nL, finished);
        if (nPid < 0) // 查找失败
            break;
        else // 查找成果
        ...{
            nL += pA[nPid];            // 修改剩余资源数
            safety_seq[nFN++] = nPid;  // 添加到安全序列
            finished[nPid] = TRUE;     // 修改进程执行完标志
        }
    }

    delete []finished;
    return nFN;
}


void  Test_BanksAlgorithm_single()
... {
    int T = 10;             // 系统拥有的资源数
#define PN   3              // 系统中进程数
    int A[PN] = ...{2, 3, 3};  // 进程已申请资源数
    int M[PN] = ...{4, 8, 6};  // 进程最大需求资源数
    int SQ[PN];             // 安全序列

    int fn = S_SafeTest(PN, A, M, T, SQ);
    if (fn == PN)
    ...{
        printf("Status Safety! Safety Sequence: ");
        for (int i=0; i<fn; i++)
            printf("%d  ", SQ[i]);
        printf(" ");
    }
    else
        printf("Status Unsafety! ");
}