操作系统实验中使用了银行家算法的VC++源代码。

简介：
银行家算法：1. 实验目标与要求 银行家算法作为一种关键策略，旨在避免系统中的死锁情况。本次实验的目标在于编写并调试一个简洁明了的银行家算法程序，从而深入理解资源申请、死锁预防等相关概念，并切实掌握死锁的发生机制以及相应的规避方法。2. 实验内容 2.1 设计进程对各类资源的最高需求量及其初始值设定。2.2 确定系统初始时所提供的可用资源数量。2.3 定义每次某个进程对各类资源的申请量表达方式。2.4 编写程序，运用银行家算法逻辑，判断该进程的资源申请请求是否能够得到满足。3. 实验说明 3.1 数据结构假设：假设系统中存在M个进程和N类资源，则需要采用以下数据结构进行管理：MAX[M*N]用于存储M个进程对N类资源的最大需求量；AVAILABLE[N]代表系统当前可用的资源数量；ALLOCATION[M*N]用于记录M个进程已经获得的N类资源的分配量；NEED[M*N]则存储M个进程还需要N类资源的剩余需求量。3.2 银行家算法流程：当进程I提出资源请求Request[N]时，银行家算法将按照以下步骤进行评估和判断：(1) 首先检查Request[N]是否小于等于进程I的NEED[I, N]，若满足则直接进入步骤(2)；否则，判定请求无法满足，程序出错。(2) 若Request[N]小于等于系统可用的资源数量AVAILABLE，则进入步骤(3)；否则，同样判定请求无法满足，程序出错。(3) 系统尝试分配所需的资源，并相应地更新相关数据：AVAILABLE更新为AVAILABLE减去Request；ALLOCATION更新为ALLOCATION加上Request；NEED更新为NEED减去Request。(4) 系统执行安全性检查，以确定是否能够安全地分配这些资源。如果安全状态成立，则认为分配成功；否则，撤销本次分配尝试，恢复系统到原始状态，并让该进程等待后续处理。4. 安全性检查 4.1 设置工作向量：WORK初始化为AVAILABLE的值；FINISH[M]初始化为FALSE（表示所有进程初始状态下尚未完成）。4.2 从所有进程集合中寻找一个满足以下条件的进程：FINISH[i]的值为FALSE且其NEED值小于等于WORK的值。若找到这样的进程，则继续执行步骤(3)；否则执行步骤(4)。4.3 假设找到了满足条件的进程并成功获得资源后, 该进程可以顺利执行直至完成任务, 并释放其占用的所有资源。此时, WORK向量的值会增加ALLOCATION的值, FINISH向量对应该进程的标志位设置为TRUE, 并返回步骤2开始循环处理下一个请求或等待队列中的其他任务。4.4 如果所有的FINISH标志位都设置为TRUE, 则表明整个系统处于安全状态；反之, 系统处于不安全状态。5. 参考程序（C代码示例）： ```c #include #include #define M 5 //总进程数 #define N 3 //总资源数 #define FALSE 0 #define TRUE 1 //M个进程对N类资源最大需求量 int MAX[M][N]={{7,5,3},{3,2,2},{9,0,2},{2,2,2},{4,3,3}}; //系统可用资源数 int AVAILABLE[N]={10,5,7}; //M个进程已经得到N类资源的资源量 int ALLOCATION[M][N]={{0,0,0},{0,0,0},{0,0,0},{0,0,0},{0,0,0}}; //M个进程还需要N类资源的资源量 int NEED[M][N]={{7,5,3},{3,2,2},{9,-1,-1},{6,-1,-1},{8,-1,-1}}; int Request[N]={0}; ```