操作系统之银行家算法

一、实验目的

  通过编写一个模拟动态资源分配的银行家算法程序,进一步深入理解死锁、产生死锁的必要条件、安全状态等重要概念,并掌握避免死锁的具体实施方法。

二、实验内容

(1)模拟一个银行家算法: 设置数据结构 设计安全性算法(2) 初始化时让系统拥有一定的资源
(3) 用键盘输入的方式申请资源
(4)如果预分配后,系统处于安全状态,则修改系统的资源分配情况
(5)如果预分配后,系统处于不安全状态,则提示不能满足请求

三、实验要点说明

数据结构

可利用资源向量 int Available[m] m为资源种类
最大需求矩阵 int Max[n][m] n为进程的数量
分配矩阵 int Allocation[n][m]
还需资源矩阵 int need[i][j]=Max[i][j]- Allocation[i][j]
申请资源数量 int Request [m]
工作向量 int Work[m] int Finish[n]
银行家算法bank()函数

Requesti:进程Pi的请求向量。 0<=j<=m-1

(1) 若 Requesti[j] ≤ Need[i,j],转向(2),否则出错。
(2) 若 Requesti[j] ≤ Available[j],转向(3),否则等待。
(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等待。

安全性算法safe()函数

(1) 初始化:设置两个向量Work(1×m)和Finish(1×n)
Work – 系统可提供给进程继续运行所需各类资源数,初态赋值Available
Finish – 系统是否有足够资源分配给进程,初值false.
(2) 从进程集合中满足下面条件进程:
Finish[i] = false; Need[i,j] ≤ Work[j];
若找到,执行(3),否则,执行(4)。
(3) 进程Pi获得资源,可顺利执行,完成释放所分配的资源。
Work[j] = Work[j]+Allocation[i,j]; Finish[i] = true; go to (2).
(4) 若所有进程Finish[i] = true,表示系统处于安全状态,否则处于不安全状态。
先对用户提出的请求进行合法性检查,即检查请求的是否不大于需要的,是否不大于可利用的。 若请求合法,则进行试分配。最后对试分配后的状态调用安全性检查算法进行安全性检查。 若安全,则分配,否则,不分配,恢复原来状态,拒绝申请。

银行家算法实例

假定系统中有五个进程{P0、P1、P2、P3、P4}和三种类型资源{A、B、C},每一种资源的数量分别为10、5、7。各进程的最大需求、T0时刻资源分配情况如下所示。
操作系统之银行家算法

 

 

 

试问:

①T0时刻是否安全?
② T0之后的T1时刻P1请求资源Request1(1,0,2)是否允许?
③ T1之后的T2时刻P4请求资源Request4(3,3,0)是否允许?
④ T2之后的T3时刻P0请求资源Request0(0,2,0)是否允许?
解:

① T0时刻是否安全? 工作向量Work.它表示系统可提供给进程继续运行所需要的各类资源的数目

(1) T0时刻安全性分析
操作系统之银行家算法

 

 

 

存在安全序列{P1, P3, P4, P0, P2},系统安全。

(2) T0之后的T1时刻P1请求资源Request1(1,0,2)可否允许?

①Request1(1,0,2) ≤ Need1(1,2,2),P1请求在最大需求范围内
②Request1(1,0,2) ≤ Available1(3,3,2),可用资源可满足P1请求需要
③假定可为P1分配,修改Available,Allocation1,Need1向量
Available(2,3,0) = Available(3,3,2)-Request1(1,0,2);
Need1(0,2,0) = Need1(1,2,2)-Request1(1,0,2);
Allocation1(3,0,2) =Allocation1(2,0,0)+Request1(1,0,2);
④利用安全性算法检查试探将资源分配后状态的安全性
操作系统之银行家算法

 

 

 

存在安全序列{P1, P3, P4, P0, P2},所以试探将资源分配给进程P1后的状态是安全的,可将资源分配给进程P1。

③ T1之后的T2时刻P4请求资源Request4(3,3,0)是否允许?

Request4(3,3,0)≤Need4(4,3,1),P4请求在最大需求范围内。
Request4(3,3,0)≤Available(2,3,0)不成立,即可用资源暂不能满足P4请求资源需要,P4阻塞等待。
P4请求资源Request4(3,3,0)不允许。

④ T2之后的T3时刻P0请求资源Request0(0,2,0)是否允许?

Request0(0,2,0)≤Need0(7,4,3);
Request0(0,2,0)≤Available(2,3,0);
系统暂时先假定可为P0分配资源,并修改有关数据,如下图所示:
操作系统之银行家算法

 

 

 

进行安全性检查:可用资源Available(2,1,0)已不能满足任何进程的需要,故系统进入不安全状态,此时系统不分配资源。

程序结构

程序共有以下五个部分:

(1).初始化init():输入进程数量、资源种类、资源可利用量、进程资源已分配量、进程最大需求量
(2).当前安全性检查safe():用于判断当前状态安全
(3).银行家算法bank():进行银行家算法模拟实现的模块
(4).显示当前状态show():显示当前资源分配详细情况
(5).主程序main():逐个调用初始化、显示状态、安全性检查、银行家算法函数,使程序有序的进行
操作系统之银行家算法

 

 

 

四、实验代码

  1 #include<stdio.h>
  2 #include<stdlib.h>
  3  
  4 #define False 0
  5 #define True 1
  6  
  7 /********主要数据结构********/
  8 char NAME[100]={0};//资源的名称
  9 int Max[100][100]={0};//最大需求矩阵
 10 int Allocation[100][100]={0};//系统已分配矩阵
 11 int Need[100][100]={0};//还需要资源矩阵
 12 int Available[100]={0};//可用资源矩阵
 13 int Request[100]={0};//请求资源向量    
 14 int Work[100]={0};//存放系统可提供资源量 
 15 int Finish[100]={0}; //标记系统是否有足够的资源分配给各个进程 
 16 int Security[100]={0};//存放安全序列
 17  
 18 int M=100;//进程的最大数
 19 int N=100;//资源的最大数
 20  
 21 /********初始化数据:输入进程数量、资源种类、各种资源可利用数量、
 22 各进程对资源最大需求量、各进程的资源已分配数量等。********/
 23 void init()
 24 {
 25     /* m为进程个数,即矩阵行数,n为资源种类,即矩阵列数。*/
 26     int i,j,m,n;
 27     int number,flag;
 28     char name;//输入资源名称
 29     int temp[100]={0};//统计已经分配的资源
 30     //输入系统资源数目及各资源初试个数 
 31     printf("系统可用资源种类为:");
 32     scanf("%d",&n);
 33     N=n;
 34     for(i=0;i<n;i++)
 35     {
 36         printf("资源%d的名称:",i);
 37         fflush(stdin);  //清空输入流缓冲区的字符,注意必须引入#include<stdlib.h>头文件
 38         scanf("%c",&name);
 39         NAME[i]=name;
 40         printf("资源%c的初始个数为:",name);    
 41         scanf("%d",&number);
 42         Available[i]=number;
 43     }
 44     
 45     //输入进程数及各进程的最大需求矩阵 
 46     printf("\n请输入进程的数量:");    
 47     scanf("%d",&m);
 48     M=m;
 49     printf("请输入各进程的最大需求矩阵的值[Max]:\n");
 50     do{
 51         flag = False;
 52         for(i=0;i<M;i++)
 53             for(j=0;j<N;j++)
 54             {
 55                 scanf("%d",&Max[i][j]);
 56                 if(Max[i][j]>Available[j])
 57                     flag = True;                
 58             }
 59         if(flag)
 60             printf("资源最大需求量大于系统中资源最大量,请重新输入!\n");                                
 61     } while(flag);
 62     
 63             
 64     //输入各进程已经分配的资源量,并求得还需要的资源量 
 65     do{
 66         flag=False;
 67         printf("请输入各进程已经分配的资源量[Allocation]:\n");
 68         for(i=0;i<M;i++)
 69         {
 70             for(j=0;j<N;j++)
 71               {
 72                 scanf("%d",&Allocation[i][j]);
 73                 if(Allocation[i][j]>Max[i][j])  
 74                     flag=True;                
 75                 Need[i][j]=Max[i][j]-Allocation[i][j];
 76                 temp[j]+=Allocation[i][j];//统计已经分配给进程的资源数目
 77               }
 78         }
 79         if(flag)
 80             printf("分配的资源大于最大量,请重新输入!\n");        
 81     }while(flag);
 82     
 83     //求得系统中可利用的资源量 
 84     for(j=0;j<N;j++)
 85         Available[j]=Available[j]-temp[j];
 86 }
 87  
 88 /********显示资源分配矩阵********/
 89 void showdata()
 90 {
 91     int i,j;
 92     printf("*************************************************************\n");
 93     printf("系统目前可用的资源[Available]:\n");
 94     for(i=0;i<N;i++)
 95         printf("%c  ",NAME[i]);
 96     printf("\n");
 97     for(j=0;j<N;j++)
 98         printf("%d  ",Available[j]);
 99     printf("\n");
100     printf("系统当前的资源分配情况如下:\n");
101     printf("            Max        Allocation    Need\n");
102     printf("进程名     ");
103     //输出与进程名同行的资源名,Max、Allocation、Need下分别对应 
104     for(j=0;j<3;j++){
105         for(i=0;i<N;i++)
106             printf("%c  ",NAME[i]);
107         printf("     ");
108     }
109     printf("\n");
110     //输出每个进程的Max、Allocation、Need 
111     for(i=0;i<M;i++){
112         printf(" P%d        ",i);
113         for(j=0;j<N;j++)
114             printf("%d  ",Max[i][j]);
115         printf("     "); 
116         for(j=0;j<N;j++)
117             printf("%d  ",Allocation[i][j]);
118         printf("     "); 
119         for(j=0;j<N;j++)
120             printf("%d  ",Need[i][j]);
121         printf("\n");
122     }
123 }
124  
125 /********尝试分配资源********/
126 int test(int i) //试探性的将资源分配给第i个进程 
127 { 
128     for(int j=0;j<N;j++)
129     {
130         Available[j]=Available[j]-Request[j];
131         Allocation[i][j]=Allocation[i][j]+Request[j];
132         Need[i][j]=Need[i][j]-Request[j];
133     }
134     return True;
135 }
136  
137 /********试探性分配资源作废********/
138 int Retest(int i) //与test操作相反 
139 { 
140     for(int j=0; j<N; j++)
141     {
142         Available[j] = Available[j] + Request[j];
143         Allocation[i][j] = Allocation[i][j] - Request[j];
144         Need[i][j] = Need[i][j] + Request[j];
145     }
146     return True;
147 }
148  
149 /********安全性算法********/
150 int safe()
151 {
152     int i,j,k=0,m,apply;
153     //初始化work 
154     for(j=0;j<N;j++)
155         Work[j] = Available[j];
156     //初始化Finish 
157     for(i=0;i<M;i++) 
158         Finish[i] = False;
159     //求安全序列 
160     for(i=0;i<M;i++){ 
161         apply=0;
162         for(j=0;j<N;j++){
163             if(Finish[i]==False && Need[i][j]<=Work[j])
164             {   
165                 apply++;
166                 //直到每类资源尚需数都小于系统可利用资源数才可分配
167                 if(apply==N)
168                 {  
169                     for(m=0;m<N;m++)
170                         Work[m]=Work[m]+Allocation[i][m];//更改当前可分配资源
171                     Finish[i]=True;
172                     Security[k++]=i;
173                     i=-1; //保证每次查询均从第一个进程开始        
174                 }
175             }
176         }
177     }
178     
179     for(i=0;i<M;i++){
180         if(Finish[i]==False){
181             printf("系统不安全\n");//不成功系统不安全
182             return False;
183         }
184     }
185     printf("系统是安全的!\n");//如果安全,输出成功
186     printf("存在一个安全序列:");
187     for(i=0;i<M;i++){//输出运行进程数组
188         printf("P%d",Security[i]);
189         if(i<M-1) 
190             printf("->");
191     }
192     printf("\n");
193     return True;
194 }
195  
196 /********利用银行家算法对申请资源进行试分********/
197 void bank()
198 {
199     int flag = True;//标志变量,判断能否进入银行家算法的下一步 
200     int i,j;
201  
202     printf("请输入请求分配资源的进程号(0-%d):",M-1); 
203     scanf("%d",&i);//输入须申请资源的进程号
204     
205     printf("请输入进程P%d要申请的资源个数:\n",i);
206     for(j=0;j<N;j++)
207     {
208         printf("%c:",NAME[j]);
209         scanf("%d",&Request[j]);//输入需要申请的资源
210     }
211     
212     //判断银行家算法的前两条件是否成立 
213     for (j=0;j<N;j++)
214     {
215         if(Request[j]>Need[i][j])//判断申请是否大于需求,若大于则出错
216         { 
217             printf("进程P%d申请的资源大于它需要的资源",i);
218             printf("分配不合理,不予分配!\n");
219             flag = False;
220             break;
221         }
222         else 
223         {
224             if(Request[j]>Available[j])//判断申请是否大于当前可分配资源,若大于则出错
225             {                         
226                 printf("进程%d申请的资源大于系统现在可利用的资源",i);
227                 printf("\n");
228                 printf("系统尚无足够资源,不予分配!\n");
229                 flag = False;
230                 break;
231             }
232         }
233     }
234     //前两个条件成立,试分配资源,寻找安全序列 
235     if(flag) {
236         test(i); //根据进程需求量,试分配资源 
237         showdata(); //根据进程需求量,显示试分配后的资源量 
238         if(!safe()) //寻找安全序列
239         {
240             Retest(i);
241             showdata();
242         }
243     }
244 }
245  
246  
247 int main()//主函数
248 {    
249     char choice;
250     printf("\t---------------------------------------------------\n");
251     printf("\t||                                               ||\n");
252     printf("\t||               银行家算法的实现                ||\n");
253     printf("\t||                                               ||\n");
254     printf("\t||                                               ||\n");
255     printf("\t||                     在此输入个人姓名:******  ||\n");
256     printf("\t||                                               ||\n");
257     printf("\t---------------------------------------------------\n");
258     init();//初始化数据
259     showdata();//显示各种资源
260     //用银行家算法判定系统当前时刻是否安全,不安全就不再继续分配资源 
261     if(!safe()) exit(0);
262     
263     do{
264         printf("*************************************************************\n");
265         printf("\n");
266         printf("\n");
267         printf("\t-------------------银行家算法演示------------------\n");
268         printf("                     R(r):请求分配   \n");    
269         printf("                     E(e):退出       \n");
270         printf("\t---------------------------------------------------\n");
271         printf("请选择:");
272         fflush(stdin);  //清空输入流缓冲区的字符,注意必须引入#include<stdlib.h>头文件
273         scanf("%c",&choice);
274         switch(choice)
275         {
276             case 'r':
277             case 'R':
278                 bank();break;            
279             case 'e':
280             case 'E':
281                 exit(0);
282             default: printf("请正确选择!\n");break;
283         }
284     } while(choice);
285 }
286  
287  
上一篇:解决No bean named ‘accountService‘ available错误


下一篇:安装pytorch时,torch.cuda.is_available()返回false的解决办法