操作系统银行家算法.docx

操作系统银行家算法.docx

《操作系统银行家算法.docx》由会员分享，可在线阅读，更多相关《操作系统银行家算法.docx（6页珍藏版）》请在冰豆网上搜索。

操作系统银行家算法

（操作系统）银行家算法

解析银行家算法

（09信管一班2009970037许可成）

摘要：

银行家算法是操作系统中采用避免死锁策略来解决死锁问题的一种算法。

本文以银行家算法为主线，从银行家算法的起源，命名，再到算法的流程，深入解析了银行家算法的根本原理。

关键字：

银行家算法，数据结构，死锁避免。

在操作系统中，有一个重要的东西，就是进程，可以说，进程直接关系到了运行的效率，然而，有一个问题也随之产生，那就是死锁问题：

多个进程同时占有对方需要的资源而同时请求对方的资源，而它们在得到请求之前不会释放所占有的资源，那么就会导致死锁的发生，也就是进程不能实现同步。

死锁在操作系统中，是一个重要的概念，它不仅在操作系统中有提到，在数据库，以及只要涉及到并发操作的，几乎都提到了这个问题了……很多人为了解决死锁的困扰，也想出了很多办法，其中著名的就“有银行家算法”，以及“安全性检查算法”等等著名算法，这里，我盟就详细的说一下银行家算法。

银行家通过发放贷款而获取利润，要获取利润必须按时收㈦贷款本金和利息，即贷款企业要按时还本付息，而tI有各企业能不断获得所需资金最终完成项目才能还本付息。

要避免的情况是：

在某个时刻，备并行推进项目的企业均得到了一部分贷款，要使项目顺利推进还需要贷款，而银行家已经没有多余资金，从而导致各企业问循环等待埘方释放其占有的资金而使项目中断，造成一种僵滞局面，银行家冈收不回贷款而破产。

操作系统的资源分配类似于银行家贷款。

操作系统就像一个银行家，系统临界资源就像银行家的贷

则肯定不会陷入死锁。

否则，一个时刻的安全状态是毫无意义的，而且可能从安全状态转变成不安全状态。

（2）安全状态与不安全状态两个概念的引入使许多人产生误解，容易认为安全状态意味着系统刁i会陷入死锁，不安全状态意味着系统肯定会陷入死锁。

其实，安全状态与不安全状态基于安全序列而定义，其实质是指是否存在一个安全序列。

安全序列的意义不在于从某时刻起系统按安全序列的顺序分配资源使各进程依次执行完毕。

在某时刻确定的一个安全序列预示着，从此刻起，一定可以找到一种避免死锁的资源分配方案。

一种特殊方案就是按照安全序列的顺序依次满足各进程的后续资源需求，使各进程依次顺序执行完毕。

银行家算法基于这样一个原理：

如果在系统运行的整个过程中，始终存在一种避免死锁的资源分配方案，则系统肯定能顺利推进直至所有进程都运行完毕。

可以反证法来证明这一结论：

如果系统陷入死锁，则肯定不存在一种避免死锁的资源分配方案。

银行家算法的作用就是使系统始终存在一个安全序列，即始终存在一种资源分配方案。

存在一种资源分配方案不意味着一定按此方案进行实际的资源分配。

（3）如果所有进程的最大资源需求都小于或等于系统资源总额，则在银行家算法的作用下，系统能始终保持安全状态（即时刻都有一个安全序列）。

深入分析可知：

系统的初始状态肯定是安全的。

如果在某时刻存在着一个安全序列Sl，则意味着在银行家算法的作用下以后系统不会拒绝所有进程的资源请求而陷入死锁，总会有一个进程的资源请求能得到满足而继续推进，至少安全序列Sl中的第一个进程的资源请求能得到满足（这点很容易证明），且该次资源分配后系统仍然保持安全状态（即存在一个安全序列S2，S2可能不同予上一个安全序列S1）：

依次递推，则系统会一赢处于安全状态。

（4）如果在某时刻系统处于不安全状态，即不存在一个安全序列，则意味着到最后可能（不一定）有一些进程的资源请求永远得不到满足，相互之间循环等待而产生死锁。

一个特例就是从当前时刻起，进程一次性申请全部剩余资源，而且一直保持当时已经占有的资源直至运行完毕才释放其占有的全部资源。

在这种情况下，如果不存在一个安全序列，则最后肯定会有些进程陷入死锁。

（（5）银行家算法是一种比较谨慎的资源分配方法。

在银行家算法的作用下，如果满足当前进程P的资源请求后系统处于安全状态（即存在一个安全序列），那么就为P分配资源，否则拒绝P的资源请求。

安全序列意味着一种资源分配方案，但不一定是唯一的资源分配方案，可能有另外的资源分配方案，只不过很难寻找。

不存在安全序列并不意味着不存在一种可以避免死锁的资源分配方案。

那么按银行家算法实施资源分配，就有可能拒绝一些不会导致死锁的资源请求，从而阻滞了某些进程的执行，而且降低了资源利用率。

其他的资源分配方案难找是因为无法预知各进程以后申请资源的情况：

分多少次申请，每次申清备类资源的数量是多少。

说完银行家算法的原理之后，很自然的就说到了银行家算法的数据结构：

设有n个进程Pl、P2、⋯⋯、Pn，共享m类资源R1、R2、⋯⋯、Rm。

（1）可利用资源向量Available=（al，a2，⋯，啪禽有m个元素，每个元素表示某类资源可利

用的单位数，初值为系统中所配置的该类资源全部单位数，其值随该类资源的分配和回收而动态改变。

（2）最大需求矩阵Max

Max（i,j）=k，表示进程Pi总共需要k个单位的Rj类资源

（3）分配矩阵AIlocation

Allocation（ij）=k，表示进程Pi已占有k个单位的Ri类资源。

（4）需求矩阵Need

Need（i，i）=k，表示进程Pi要完成T作还需要k个单位的Ri类资源，即剩余资源需求。

上述三个矩阵之问存在下述关系：

（见图1）Need（ij）=Max（iJ）一Allocation（iJ）RlR2⋯⋯Rm

然后，银行家算法的流程。

设Reques乜是当前运行的进程Pi的请求向量，若Requesth[j]=k，表示进程Pi当前请求k个单位的Rj类资源。

当进程Pi发出资源请求后，系统按下述步骤进行检套：

（1）若Request,>；一Need[i】，则为非法清求，进行相应处理，因为它需要的资源数超过它开始宣布的最大值：

否则进行下一步。

（2）若Requesti>／Available，则表示系统现在可利用资源不能满足进程需求，阻塞进程；否则进行下一步。

（3）系统试探地把要求的资源分配给进程Pi，即不进行实际的资源分配，而八是修改有关数据结构：

Available2Available-Requesti

Allocation[i]2Allocation[i]+Requesti

Need[i]2Need[i]-Requesti

（4）执行安全性检测算法，检测此次资源分配后，系统是否处于安全状态。

若安全，则正式将资源分配给进程Pi，否则，将试探分配作废，恢复原来的资源分配状态，让进程Pi等待。

安全性检测算法设置两个临时向晕（又称为工作向景）Work、Finish，Work表示系统野fj{f可利用的各类资源数，初始值为Available，目的是在work上进行模拟演算，而保存Available使其不被破坏。

Finish表示各进程能否运行完成。

Work=Available；

for（i=l；i

Finish[i]=FALSE；

产依次寻找能获得所需资源从而完成的进程，即求安全序列木

for（j=1．j

for（i=l；i

iffNeed【i】<=Work&&!

Finish[i]）{

Work=Work+Allocation[i]；

Finish[i]=TRUE；

c=0：

fbr（i=1；i

if（Finish[i]）c++；

if（c==n）

系统处于安全状态；

else

系统处于不安全状态；

Abstract：

Bankeralgorithmisoneofalgorithmsonsolvingdeadlockproblemusingavoidingdeadlock

policy．Inthisarticle，first，Idescripttheflowofbankeralgorithm，then，1analyzethebasicprincipleof

bankeralgorithm．Inalltextbookaboutoperatingsystemintheworld，1analyzethebasicprincipleofbanker

algorithmfirst．

Keywords：

deadlock，avoidingdeadlock，bankeralgorithm