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

    算法在执行过程中要求
        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! “);
}