银行家算法问题.docVIP

银行家算法问题 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）如果所有进程的都满足，则表示系统处于安全状态；否则系统处于不安全状态。 例：五个进程和三类资源，时刻资源分配情况 数据 进程 Max Allocation Need Available A B C A B C A B C A B C P0 7 5 3 0 1 0 7 4 3 3 3 2 P1 3 2 2 2 0 0 1 2 2 P2 9 0 2 3 0 2 6 0 0 P3 2 2 2 2 1 1 0 1 1 P4 4 3 3 0 0 2 4 3 1 （1）时刻安全性，存在一个安全序列 数据 进程 Work Need Allocation Work+Allocation Finish A B C A B C A B C A B C P1 3 3 2 1 2 2 2 0 0 5 3 2 true P3 5 3 2 0 1 1 2 1 1 7 4 3 true P4 7 4 3 4 3 1 0 0 2 7 4 5 true P2 7 4 5 6 0 0 3 0 2 10 4 7 true P0 10 4 7 7 4 3 0 1 0 10 5 7 true （2）P1请求资源：,系统各按银行家算法进行检查： 1） 2） 3）系统假定可为P1分配资源，并修改向量 4）再利用安全性算法检查此时系统是否安全：找到一个安全序列，因此，系统安全。可以立即将P1所申请的资源分给它。 数据 进程 Work Need Allocation Work+Allocation Finish A B C A B C A B C A B C P1 2 3 0 0 2 0 3 0 2 5 3 2 true P3 5 3 2 0 1 1 2 1 1 7 4 3 true P4 7 4 3 4 3 1 0 0 2 7 4 5 true P0 7 4 5 7 4 3 0 1 0 7 5 5 true P2 7 5 5 6 0 0 3 0 2 10 5 7 true （3）P4请求资源：在P1提出请求，获得资源，但尚未释放资源时，P4发出请求向量，系统按银行家算法进行检查， 1） 2）。 故，让P4等待。 （4）请求资源：在P1提出请求，获得资源，但尚未释放资源时，P0发出请求向量，系统按银行家算法进行检查， 1） 2） 3）系统暂时先假定可为分配资源，并修改有关数据结构，如下图 数据 进程 Allocation Need Available A B C A B C A B C P0 0 3 0 7 2 3 2 1 0 P1 3 0 3 0 2 0 P2 3 0 2 6 0 0 P3 2 1 1 0 1 1 P4 0 0 2 4 3 4）进行安全性检查，