操作系统实验报告

一、实验内容

银行家算法是避免死锁的一种重要方法，通过编写一个简单的银行家算法程序，加深了解有关资源申请、避免死锁等概念，并体会和了解死锁和避免死锁的具体实施方法。

二、背景知识

1. 银行家算法中的数据结构

（1）可利用资源向量Available。它含有m个元素的数组，其中的每一个元素代表一类可利用的资源数目，如果Available[j]=K，则表示系统中现有Rj类资源K个。

（2）最大需求矩阵Max。是一个n×m的矩阵，如果Max(i,j)=K，则表示进程i需要Rj 类资源的最大数目为K。

（3）分配矩阵Allocation。是一个n×m的矩阵，如果Allocation(i,j)=K,则表示进程i当前已分得Rj 类资源的数目为K。

（4）需求矩阵Need。是一个n×m的矩阵，如果Need(i,j)=K，则表示进程i还需要Rj 类资源K个，方能完成其任务。

上述三个矩阵间存在下述关系：Need[i,j]=Max[i,j]-Allocation[i,j]

2. 银行家算法

如果Requesti[j]=K，表示进程Pi需要K个Rj类型的资源。当Pi发出资源请求后，系统按下述步骤进行检查：

（1）如果Requesti[j]<=Need[i,j]，转步骤（2）；否则出错。

（2）如果Requesti[j]<=Available[j]，转步骤（3）；否则，表示尚无足够资源，Pi须等待。

（3）系统试探着把资源分配给进程Pi，并修改下面数据结构中的数值：

     Available[j]:= Available[j]-Requesti[j];

     Allocation[i,j]:=Allocation[i,j]+ Requesti[j];

     Need[i,j]:=Need[i,j]- Requesti[j];

(4) 系统执行安全性检查，若安全，则正式分配；否则，本次的试探分配作废，恢复原本的资源分配状态，让进程Pi等待。

3. 安全性检查

(1) 设置两个工作向量WORK:=AVAILABLE；FINISH[i]=FALSE ；

(2