银行家算法问题.doc

_银行家算法问题1、银行家算法中的数据结构（1）可利用资源向量Available： 式中： 一个含有个（类）元素的数组，每个元素代表一类可利用的资源数目。上式表示系统中现有的第类资源可用数目为个。（2）最大需求矩阵Max： 式中： 个进程中的每一个进程对类资源的最大需求量，上式表示进程需求第类资源的最大数目为。（3）分配矩阵Allocation： 式中： 个进程中的每一个进程对 类资源的分配量，上式表示进程已分配到第类资源的数目为。（4）需求矩阵Need：式中： 个进程中的每一个进程对 类资源的需求量，上式表示进程对第类资源的需求量为个。（5）三个矩阵间的关系2、银行家算法设是进程的请求向量，如果，当发出资源请求后，系统按下述步骤进行检查。（1）如果，便转向步骤（2），否则认为出错，因为它所需要的资源数已超过它所宣布的最大值。（2）如果便转向步骤（3），否则表示尚无足够资源，须等待。（3）系统试探着把资源分配给进程，并修改下面的数据结构中的值： （4）系统执行安全性算法，检查此次资源分配后系统是否处于安全状态。若安全，则分配给进程资源，完成本次分配；若不安全，试探分配作废，恢复原来的资源分配状态，让进程等待。3、安全性算法（1）设置两个向量：工作向量Work，它表示系统可提供给进程继续运行所需的各类资源数目，它含有m个元素，在执行安全算法开始时，。Finish，它表示系统是否有足够的资源分配给进程，使之运行完成。开始时先做；当有足够资源分配给进程时，再令。（2）从进程集合中找一个能满足下述条件的进程： ，若找到，执行步骤（3），否则，执行步骤（4）。（3）当进程获得资源后，可顺利执行直至完成，并释放出分配给它的资源，执行如下操作：（4）如果所有进程的都满足，则表示系统处于安全状态；否则系统处于不安全状态。例：五个进程和三类资源，时刻资源分配情况数据进程MaxAllocationNeedAvailableABCABCABCABCP0753010743332P1322200122P2902302600P3222211011P4 433002431（1）时刻安全性，存在一个安全序列数据进程WorkNeedAllocationWork+AllocationFinishABCABCABCABCP1332122200532trueP3532011211743trueP4743431002745trueP27456003021047trueP0 10477430101057true（2）P1请求资源：,系统各按银行家算法进行检查：1）2）3）系统假定可为P1分配资源，并修改向量4）再利用安全性算法检查此时系统是否安全：找到一个安全序列，因此，系统安全。可以立即将P1所申请的资源分给它。数据进程WorkNeedAllocationWork+AllocationFinishABCABCABCABCP1230020302532trueP3532011211743trueP4743431002745trueP0745743010755trueP2 7556003021057true（3）P4请求资源：在P1提出请求，获得资源，但尚未释放资源时，P4发出请求向量，系统按银行家算法进行检查，1）2）。故，让P4等待。（4）请求资源：在P1提出请求，获得资源，但尚未释放资源时，P0发出请求向量，系统按银行家算法进行检查，1）2）3）系统暂时先假定可为分配资源，并修改有关数据结构，如下图数据进程AllocationNeedAvailableABCABCABCP0030723210P1303020P2302600P3211011P4002434）进行安全