实验六 银行家算法的模拟与实现

2024-03-27 08:38

本文主要是介绍实验六 银行家算法的模拟与实现,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1、实验目的

(1) 进一步了解进程的并发执行。
(2) 加强对进程死锁的理解,理解安全状态与不安全状态的概念。
(3) 掌握使用银行家算法避免死锁问题。

2、实验基本知识及原理

(1)基本概念
死锁:多个进程在执行过程中,因为竞争资源会造成相互等待的局面。如果没有外力作用,这
些进程将永远无法向前推进。此时称系统处于死锁状态或者系统产生了死锁。
安全序列:系统按某种顺序并发进程,并使它们都能达到获得最大资源而顺序完成的序列为安
全序列。
安全状态:能找到安全序列的状态称为安全状态,安全状态不会导致死锁。
不安全状态:在当前状态下不存在安全序列,则系统处于不安全状态。
(2)银行家算法
银行家算法顾名思义是来源于银行的借贷业务,一定数量的本金要满足多个客户的借贷周转,
为了防止银行家资金无法周转而倒闭,对每一笔贷款,必须考察其是否能限期归还。
在操作系统中研究资源分配策略时也有类似问题,系统中有限的资源要供多个进程使用,必须
保证得到的资源的进程能在有限的时间内归还资源,以供其它进程使用资源。如果资源分配不当,
就会发生进程循环等待资源,则进程都无法继续执行下去的死锁现象。
当一进程提出资源申请时,银行家算法执行下列步骤以决定是否向其分配资源:
1)检查该进程所需要的资源是否已超过它所宣布的最大值。
2)检查系统当前是否有足够资源满足该进程的请求。
3)系统试探着将资源分配给该进程,得到一个新状态。
4)执行安全性算法,若该新状态是安全的,则分配完成;若新状态是不安全的,则恢复原状
态,阻塞该进程。

3、实验内容

本实验的内容是要通过编写和调试一个模拟系统动态分配资源的银行家算法程序,有效地避免
死锁发生。具体要求如下:
(1) 初始化时让系统拥有一定的资源;
(2) 用键盘输入的方式允许进程动态申请资源;
(3) 如果试探分配后系统处于安全状态,则修改系统的资源分配情况,正式分配资源;
(4) 如果试探分配后系统处于不安全状态,则提示不能满足请求,恢复原状态并阻塞该进程

代码实现:

/*
2021-12-17
操作系统课程设计
@浩茫*/
#include<iostream>
#include<bits/stdc++.h>
using namespace std;
int n;//进程数
int m; //资源数量int Claim[10][10]; //最大需求矩阵
int Resource[10]; //资源总量
int Allocation[10][10]; //分配矩阵
int Need[10][10];   //需求矩阵
int Available[10]; //可用资源向量
int Request[10];   //请求向量当前进程对各类资源的申请量
int secuer_path[10];void Input()
{int i,j;cout<<"资源总量Available:\n";for(i=0; i<m; i++){cin>>Resource[i];}cout<<"最大需求矩阵Claim:\n";for(i=0; i<n; i++){for(j=0; j<m; j++){cin>>Claim[i][j];}}cout<<"分配矩阵Allocation:\n";for(i=0; i<n; i++){for(j=0; j<m; j++){cin>>Allocation[i][j];}}//需求矩阵=C-Afor(i=0; i<n; i++){for(j=0; j<m; j++){Need[i][j]=Claim[i][j]-Allocation[i][j];}}//初始化:当前可用资源数=总资源数for(i=0; i<m; i++){Available[i]=Resource[i];}//当前可用资源数= 总资源数-已分配资源数for(i=0; i<n; i++){for(j=0; j<m; j++){Available[j]=Available[j]-Allocation[i][j];}}}//比较进程为a中的元素全大于b中的元素返回1,否则返回0
int compare(int a[],int b[])
{int i;for(i=0; i<m; i++){if(a[i]<b[i]){return 0;}}return 1;
}bool test()
{int i,j,k,l;int  program_finished=0;//可以完成运行的进程数量bool flag=0;bool finish[n];int work[m];int x=0;for(i=0; i<n; i++){finish[i]=0;//初始状态都没完成运行}for(i=0; i<m; i++){work[i]=Available[i];}while(program_finished!=n){//进行一轮检查bool flag=false;//for(i=0; i<n; i++) //每一轮至少要加入一个进程,否则就是不安全状态{if(finish[i]==true){continue;}else{if(compare(work,Need[i]))//Available>=Need{finish[i]=true;program_finished++;flag=true;//更新每种资源数量for (j = 0; j <m; j++){work[j] = work[j] +Allocation[i][j];}}elsecontinue;}}if(flag==false){return false;}}for(i=0; i<n; i++){if(finish[i]==0){return false;//不存在安全序列}}return true;//存在安全序列
}
//申请进程后的安全性检验函数
int  secuer_test(int num)
{int i,j;//n=n-1;if(compare(Available,Request)&&compare(Need[num-1],Request))//Available>=Request 并且 Need >=Request{for(j=0; j<m; j++){Allocation[num-1][j]=Allocation[num-1][j]+Request[j];Need[num-1][j]=Need[num-1][j]-Request[j];Available[j]=Available[j]-Request[j];}if(test()){return 1;}else{//撤销资源分配for(j=0; j<m; j++){Allocation[num-1][j]=Allocation[num-1][j]-Request[j];Need[num-1][j]=Need[num-1][j]+Request[j];Available[j]=Available[j]+Request[j];}return 0;}}else{return -1;}}
void show_current()
{int i =0;int j=0;cout<<"         claim      Allocation    Need ";for(i=0; i<n; i++){cout<<"\n进程"<<i+1<<"    ";for(j=0; j<m; j++){cout<<" "<<Claim[i][j];}cout<<"     ";for(j=0; j<m; j++){cout<<" "<<Allocation[i][j];}cout<<"       ";for(j=0; j<m; j++){cout<<" "<<Need[i][j];}cout<<"     ";}cout<<"\n当前剩余资源数量:";for(i=0; i<m; i++){cout<<" "<<Available[i];}cout<<endl;}
int main()
{int i,p;int num;cout<<"进程数:";cin>>n;cout<<"资源种类数:";cin>>m;Input();//初始化if(test()){cout<<"\n存在安全序列,初始状态安全\n\n";show_current();cout<<"\n\n";}else{cout<<"不存在安全序列,初始状态不安全\n";return 0;}while(true){cout<<"输入发出请求Request的进程编号:";cin>>num;cout<<"输入请求的资源数:";for(i=0; i<m; i++){cin>>Request[i];}switch(secuer_test(num)){case 1:cout<<"系统处于安全状态,资源分配成功\n";show_current();break;case 0:cout<<"系统进入不安全状态,资源分配失败,进程阻塞\n";return 0 ;case -1:cout<<"申请资源量不合法,重新输入\n";}}return 0;
}

这篇关于实验六 银行家算法的模拟与实现的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/851539

相关文章

Spring Boot 整合 Redis 实现数据缓存案例详解

《SpringBoot整合Redis实现数据缓存案例详解》Springboot缓存,默认使用的是ConcurrentMap的方式来实现的,然而我们在项目中并不会这么使用,本文介绍SpringB... 目录1.添加 Maven 依赖2.配置Redis属性3.创建 redisCacheManager4.使用Sp

Python模拟串口通信的示例详解

《Python模拟串口通信的示例详解》pySerial是Python中用于操作串口的第三方模块,它支持Windows、Linux、OSX、BSD等多个平台,下面我们就来看看Python如何使用pySe... 目录1.win 下载虚www.chinasem.cn拟串口2、确定串口号3、配置串口4、串口通信示例5

Kali Linux安装实现教程(亲测有效)

《KaliLinux安装实现教程(亲测有效)》:本文主要介绍KaliLinux安装实现教程(亲测有效),具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录一、下载二、安装总结一、下载1、点http://www.chinasem.cn击链接 Get Kali | Kal

C#使用MQTTnet实现服务端与客户端的通讯的示例

《C#使用MQTTnet实现服务端与客户端的通讯的示例》本文主要介绍了C#使用MQTTnet实现服务端与客户端的通讯的示例,包括协议特性、连接管理、QoS机制和安全策略,具有一定的参考价值,感兴趣的可... 目录一、MQTT 协议简介二、MQTT 协议核心特性三、MQTTNET 库的核心功能四、服务端(BR

SpringCloud整合MQ实现消息总线服务方式

《SpringCloud整合MQ实现消息总线服务方式》:本文主要介绍SpringCloud整合MQ实现消息总线服务方式,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐... 目录一、背景介绍二、方案实践三、升级版总结一、背景介绍每当修改配置文件内容,如果需要客户端也同步更新,

Dubbo之SPI机制的实现原理和优势分析

《Dubbo之SPI机制的实现原理和优势分析》:本文主要介绍Dubbo之SPI机制的实现原理和优势,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录Dubbo中SPI机制的实现原理和优势JDK 中的 SPI 机制解析Dubbo 中的 SPI 机制解析总结Dubbo中

使用Java实现Navicat密码的加密与解密的代码解析

《使用Java实现Navicat密码的加密与解密的代码解析》:本文主要介绍使用Java实现Navicat密码的加密与解密,通过本文,我们了解了如何利用Java语言实现对Navicat保存的数据库密... 目录一、背景介绍二、环境准备三、代码解析四、核心代码展示五、总结在日常开发过程中,我们有时需要处理各种软

Java 压缩包解压实现代码

《Java压缩包解压实现代码》Java标准库(JavaSE)提供了对ZIP格式的原生支持,通过java.util.zip包中的类来实现压缩和解压功能,本文将重点介绍如何使用Java来解压ZIP或RA... 目录一、解压压缩包1.zip解压代码实现:2.rar解压代码实现:3.调用解压方法:二、注意事项三、总

NGINX 配置内网访问的实现步骤

《NGINX配置内网访问的实现步骤》本文主要介绍了NGINX配置内网访问的实现步骤,Nginx的geo模块限制域名访问权限,仅允许内网/办公室IP访问,具有一定的参考价值,感兴趣的可以了解一下... 目录需求1. geo 模块配置2. 访问控制判断3. 错误页面配置4. 一个完整的配置参考文档需求我们有一

Linux实现简易版Shell的代码详解

《Linux实现简易版Shell的代码详解》本篇文章,我们将一起踏上一段有趣的旅程,仿照CentOS–Bash的工作流程,实现一个功能虽然简单,但足以让你深刻理解Shell工作原理的迷你Sh... 目录一、程序流程分析二、代码实现1. 打印命令行提示符2. 获取用户输入的命令行3. 命令行解析4. 执行命令