2021-11-08 操作系统实验4——模拟银行家算法

一、实验目的

银行家算法是操作系统中避免死锁的典型算法,通过本实验加深对银行家算法的理解。

二、实验内容

用C语言或C++编写一个简单的银行家算法模拟程序,实现多个进程争用系统临界资源时的分配过程。要求程序实现:

  1. 当一进程请求一组资源时,先确定是否有足够的资源分配给该进程。如果有,再进一步计算在将这些资源分配给进程后,系统是否处于不安全状态。如果安全,显示安全序列,将资源分配给该进程,否则进程等待。
  2. 可以显示当前时刻各进程的的资源分配情况。

三、实验过程

实验采用C++编写银行家算法,主要存储结构为vector,以方便实验。

1、实验封装的函数们:

void init();                    // 初始化数据,即获得用户输入

void showResourse();          // 显示系统资源

void showInfoStart();         // 显示程序开始的信息

void showInfoOp();             // 显示用户操作信息

void showInfoEnd();           // 显示程序结束的信息

bool safe();                    // 检查系统是否安全

vector<vector<int>> operator-(const vector<vector<int>> &v1, const vector<vector<int>> &v2);

vector<vector<int>> operator+(const vector<vector<int>> &v1, const vector<vector<int>> &v2);

vector<int> operator-(const vector<int> &v1, const vector<int> &v2);

vector<int> operator+(const vector<int> &v1, const vector<int> &v2);

bool operator<=(const vector<int> &v1, const vector<int> &v2);

bool operator>(const vector<int> &v1, const vector<int> &v2);

实验中重载了vector的部分运算符,以方便代码读写和演示。

2、实验中用到的数据结构们:

vector<int> Available;             // 可利用资源向量
vector<string> resourseName;      // 资源 Available[i] 的名称
vector<vector<int>> Max;          // 最大需求矩阵
vector<vector<int>> Allocation;  // 分配矩阵
vector<vector<int>> Need;         // 需求矩阵
vector<int> Request_i;            // 进程 Pi 的请求向量
vector<int> P;                      // 记录安全序列
vector<int> Allocated;            // 记录进程是否已被分配资源

int m = 0;    // m 种资源
int n = 0;    // n 个进程

大部分变量按照课本算法来命名。这里用m表示资源种类,n表示进程的个数,后面我们将用这两个变量与用户进行交互。

3、main函数的实现:
(1)初始化部分

int main() {
   int choice = 0;          // 记录用户的选择
   int Pi;                  // 记录用户选择的进程

   // 显示程序开始信息
   showInfoStart();

   // 初始化操作,获得用户输入数据
   init();

   // 显示系统资源
   showResourse();

   // 首先检查一遍,输出系统是否安全
   if (safe()) {
      cout << "\n系统安全!\n";
      cout << "安全序列为:";
      for (int i = 0; i < P.size() - 1; ++i) {
         cout << P[i] << " -> ";
      }
      cout << P[n - 1] << "\n";
   }
   else {
      cout << "系统不安全!!!\n";
   }

初始化部分的主要操作是输出一系列信息以及与用户交互,读取用户输入的进程和资源数据。然后判断用户输入的模拟系统是否是安全的,并输出相关信息。
(2)主体部分(while循环)

// 进入循环,开始与用户交互
do {
   // 显示用户的操作信息
   showInfoOp();
   cout << "请选择:";

   // 获取用户操作
   cin >> choice;
   switch (choice) {
      ...
} while (choice != 0);     // 用户输入 0,则退出循环

采用while循环进行交互,不断获取用户的选择并执行。若用户输入为0,则退出循环结束。

  1. 选择1,使用银行家算法尝试资源分配,并输出相应结果
    // 操作 1:尝试分配资源
    case 1:
       // 与用户交互,获得需要的信息
       cout << "请输入要求分配的资源进程号(0 - " << (n - 1) << "):";
       cin >> Pi;
       cout << "请输入进程 " << Pi << "申请的资源\n( ";
       for (const auto &elem: resourseName)
          cout << elem << " ";
       cout << "):\n";
       for (auto &elem: Request_i)
          cin >> elem;
    
       /********************************************************************
        *                           进入银行家算法                           *
        *******************************************************************/
    
       // 步骤 1:检查请求是否超过其需要
       if (Request_i > Need[Pi]) {
          cout << "\n进程 " << Pi << " 申请的资源大于它需要的资源,不给予分配!\n";
          break;
       }
    
       // 步骤 2:检查系统剩余资源是否能够满足请求
       if (Request_i > Available) {
          cout << "\n进程 " << Pi << " 申请的资源大于系统已有的资源,请下次再申请!\n";
          break;
       }
    
       // 步骤 3:系统尝试分配资源
       Available = Available - Request_i;
       Allocation[Pi] = Allocation[Pi] + Request_i;
       Need[Pi] = Need[Pi] - Request_i;
    
       // 步骤 4:执行安全性算法
       // 如果安全,则分配并打印信息显示
       if (safe()) {
          // Available = Available + Max[Pi];    // 系统安全,令进程运行结束,回收资源
          showResourse();
          cout << "\n系统安全!\n";
          cout << "安全序列为:";
          for (int i = 0; i < P.size() - 1; ++i) {
             cout << P[i] << " -> ";
          }
          cout << P[n - 1] << "\n";
       }
          // 如果不安全,则恢复分配之前的状态,打印信息
       else {
          cout << "\n系统不安全,撤销资源分配!!!\n";
          Available = Available + Request_i;
          Allocation[Pi] = Allocation[Pi] - Request_i;
          Need[Pi] = Need[Pi] + Request_i;
       }
    
    首先获取用户数据,然后依次执行算法的四个步骤:
    1)检查请求是否超过需要
    2)检查请求是否能够满足
    3)尝试分配资源
    4)安全性检测,若不通过,尝试分配作废,恢复原来的状态
    这些在代码中注释部分解释的相对比较清楚,因此不一一列举讲解了。
  2. 选择2,显示资源信息。
    这里我们调用封装好的函数进行显示,函数使用cout的格式化输出来打印信息。
  3. 选择3,退出。
    这没啥好说的,啥也不干就行了。

(4)结束部分

    // 打印程序结束信息
   showInfoEnd();

   return 0;
}

打印结束信息,完成!

4、安全性检查:

/**
 * 检查系统是否安全
 * @return 若安全,返回 true <br>
 *           若不安全,返回 false
 */
bool safe() {
   // 初始化向量 Work 和 Finish
   vector<int> Work = Available;
   vector<bool> Finish(n, false);

   // 清除上次的进程队列
   P.clear();

   // 遍历 n 次
   for (int j = 0; j < n; ++j)
      // 遍历 1 次,寻找 n 个进程中满足条件的一个
      for (int i = 0; i < n; ++i)
         if (!Finish[i] && Need[i] <= Work) {
            // 选中该进程 i,进行相应操作后将其加入队列 P 中
            Finish[i] = true;
            Work = Work + Allocation[i];
            P.push_back(i);
         }

   // 检查每个进程是否都被选中
   for (int i = 0; i < n; ++i)
      // 如果有一个进程未被选中,说明系统不安全,返回 false
      if (!Finish[i]) return false;

   // 所有进程都被选中,说明系统状态安全,返回 true
   return true;
}

该算法步骤正如上述注释所说:
1)从集合中找到一个满足条件的进程
2)尝试分配资源,并回收其运行完成后的所有资源
3)所有进程都被选择,则系统安全;否则不安全

四、函数实现

  1. init()
    /**
     * 初始化数据,即获得用户输入
     */
    void init()
    {
    	cout << "请输入系统可供资源种类的数量 m:";
    	cin >> m;
    	cout << "\n";
    
    	// 设置资源向量的大小
    	resourseName.resize(m);
    	Available.resize(m);
    	Request_i.resize(m);
    
    	// 获取用户输入
    	for (int i = 0; i < m; ++i)
    	{
    		cout << "资源 Available[" << (i + 1) << "] 的名称:";
    		cin >> resourseName[i];
    		cout << "资源的数量:";
    		cin >> Available[i];
    		cout << "\n";
    	}
    
    	cout << "\n请输入作业的数量 n:";
    	cin >> n;
    
    	// 设置相应数据结构的大小
    	Max.resize(n);
    	Allocation.resize(n);
    	for (int i = 0; i < n; ++i)
    	{
    		Max[i].resize(m);
    		Allocation[i].resize(m);
    	}
    	Allocated.resize(n, 0);
    
    	// 输出信息
    	cout << "\n请输入各进程的最大需求量 Max[" << n << "][" << m << "]:\n";
    	for (auto &line : Max)
    		for (auto &elem : line)
    			cin >> elem;
    	cout << "\n请输入各进程已经申请的资源量 Allocation[" << n << "][" << m << "]:\n";
    	for (auto &line : Allocation)
    		for (auto &elem : line)
    			cin >> elem;
    
    	// 初始化 Need 矩阵
    	Need = Max - Allocation;
    }
    
  2. showResourse()
    /**
     * 显示系统资源
     */
    void showResourse()
    {
    	// 记录原先的 cout 输出格式,并设置其为左对齐输出
    	auto oldStyle = cout.setf(ios_base::left, ios_base::adjustfield);
    
    	// 设置默认数据打印宽度,用于格式化输出
    	int DEFAULTNUMWIDTH = DEFAULTNAMEWIDTH / m;
    	int DEFAULTLEFT = DEFAULTNAMEWIDTH - DEFAULTNUMWIDTH * m;
    
    	// 打印 Available
    	cout << "\n";
    	cout << "系统目前可用的资源 Available[m]:";
    	cout << "\n";
    	for (const auto &elem : resourseName)
    		cout << setw(DEFAULTNUMWIDTH) << elem;
    	cout << "\n";
    	for (const auto &elem : Available)
    		cout << setw(DEFAULTNUMWIDTH) << elem;
    
    	cout << "\n\n";
    
    	// 打印信息表
    	cout << setw(DEFAULTNAMEWIDTH) << "-----------";
    	cout << setw(DEFAULTNAMEWIDTH) << "Max";
    	cout << setw(DEFAULTNAMEWIDTH) << "Allocation";
    	cout << setw(DEFAULTNAMEWIDTH) << "Need";
    
    	cout << "\n";
    
    	// 打印资源名称
    	cout << setw(DEFAULTNAMEWIDTH) << "resourseName";
    	for (int i = 0; i < 3; ++i)
    	{
    		for (int j = 0; j < m; ++j)
    		{
    			cout << setw(DEFAULTNUMWIDTH) << resourseName[j];
    		}
    		cout << setw(DEFAULTLEFT) << "";
    	}
    
    	cout << "\n\n";
    
    	// 格式化打印资源数据
    	for (int i = 0; i < n; ++i)
    	{
    		cout << setw(DEFAULTNAMEWIDTH) << i;
    		for (int j = 0; j < m; ++j)
    		{
    			cout << setw(DEFAULTNUMWIDTH) << Max[i][j];
    		}
    		cout << setw(DEFAULTLEFT) << "";
    
    		for (int j = 0; j < m; ++j)
    		{
    			cout << setw(DEFAULTNUMWIDTH) << Allocation[i][j];
    		}
    		cout << setw(DEFAULTLEFT) << "";
    
    		for (int j = 0; j < m; ++j)
    		{
    			cout << setw(DEFAULTNUMWIDTH) << Need[i][j];
    		}
    		cout << setw(DEFAULTLEFT) << "";
    		cout << "\n";
    	}
    
    	// 将 cout 的输出格式恢复
    	cout.setf(oldStyle, ios_base::adjustfield);
    }
    
  3. showInfoStart()
    /**
     * 显示程序开始的信息
     */
    void showInfoStart()
    {
    	cout << "*******************************************\n";
    	cout << "*               银行家算法演示              *\n";
    	cout << "*******************************************\n\n";
    }
    
  4. showInfoOp()
    /**
     * 显示用户操作信息
     */
    void showInfoOp()
    {
    	cout << "***************银行家算法演示***************\n";
    	cout << "             1 —— 分配资源\n";
    	cout << "             2 —— 显示分配情况\n";
    	cout << "             0 —— 离开\n";
    	cout << "******************************************\n";
    }
    
  5. showInfoEnd()
    /**
     * 显示程序结束的信息
     */
    void showInfoEnd()
    {
    	cout << "*******************************************\n";
    	cout << "*             银行家算法演示结束             *\n";
    	cout << "*******************************************\n";
    }
    
  6. safe()
    /**
     * 检查系统是否安全
     * @return 若安全,返回 true <br>
     * 		   若不安全,返回 false
     */
    bool safe()
    {
    	// 初始化向量 Work 和 Finish
    	vector<int> Work = Available;
    	vector<bool> Finish(n, false);
    
    	// 清除上次的进程队列
    	P.clear();
    
    	// 遍历 n 次
    	for (int j = 0; j < n; ++j)
    		// 遍历 1 次,寻找 n 个进程中满足条件的一个
    		for (int i = 0; i < n; ++i)
    			if (!Finish[i] && Need[i] <= Work)
    			{
    				// 选中该进程 i,进行相应操作后将其加入队列 P 中
    				Finish[i] = true;
    				Work = Work + Allocation[i];
    				P.push_back(i);
    			}
    
    	// 检查每个进程是否都被选中
    	for (int i = 0; i < n; ++i)
    		// 如果有一个进程未被选中,说明系统不安全,返回 false
    		if (!Finish[i])
    			return false;
    
    	// 所有进程都被选中,说明系统状态安全,返回 true
    	return true;
    }
    
  7. 重载运算符
    /**
     * 执行矩阵(二维数组)的减法
     * @param v1 矩阵 1
     * @param v2 矩阵 2
     * @return 相减后的矩阵
     */
    vector<vector<int>> operator-(const vector<vector<int>> &v1, const vector<vector<int>> &v2)
    {
    	vector<vector<int>> ans(n, vector<int>(m, 0));
    	for (int i = 0; i < n; ++i)
    	{
    		ans[i] = v1[i] - v2[i];
    	}
    	return ans;
    }
    
    /**
     * 执行矩阵(二维数组)的加法
     * @param v1 矩阵 1
     * @param v2 矩阵 2
     * @return 相加后的矩阵
     */
    vector<vector<int>> operator+(const vector<vector<int>> &v1, const vector<vector<int>> &v2)
    {
    	vector<vector<int>> ans(n, vector<int>(m, 0));
    	for (int i = 0; i < n; ++i)
    	{
    		ans[i] = v1[i] + v2[i];
    	}
    	return ans;
    }
    
    /**
     * 执行向量(数组)的减法
     * @param v1 向量 1
     * @param v2 向量 2
     * @return 相减后的向量
     */
    vector<int> operator-(const vector<int> &v1, const vector<int> &v2)
    {
    	vector<int> ans(m, 0);
    	for (int i = 0; i < m; ++i)
    		ans[i] = v1[i] - v2[i];
    	return ans;
    }
    
    /**
     * 执行向量(数组)的加法
     * @param v1 向量 1
     * @param v2 向量 2
     * @return 相加后的向量
     */
    vector<int> operator+(const vector<int> &v1, const vector<int> &v2)
    {
    	vector<int> ans(m, 0);
    	for (int i = 0; i < m; ++i)
    		ans[i] = v1[i] + v2[i];
    	return ans;
    }
    
    /**
     * 重载 vector <= 符号,使得满足银行家算法的条件
     * @param v1 向量 1
     * @param v2 向量 2
     * @return 若 v1 <= v2,返回 true <br>
     * 		   若 v1 > v2,返回 false
     */
    bool operator<=(const vector<int> &v1, const vector<int> &v2)
    {
    	for (int i = 0; i < v1.size(); ++i)
    		if (v1[i] > v2[i])
    			return false;
    	return true;
    }
    
    /**
     * 重载 vector > 符号,使得满足银行家算法的条件
     * @param v1 向量 1
     * @param v2 向量 2
     * @return 若 v1 > v2,返回 true <br>
     * 		   若 v1 <= v2,返回 false
     */
    bool operator>(const vector<int> &v1, const vector<int> &v2)
    {
    	return !(v1 <= v2);
    }
    

五、实验总结和说明

实验总共有400+行代码,其中大部分为注释。实验并不注重用户输入数据的合法性,需要用户输入正确的输入方可运行。

以上内容仅代表个人,代码纯属原创,如有错误请自行修改。

实验目的】 1. 理解死锁的概念; 2. 用高级语言编写和调试一个银行家算法程序,以加深对死锁的理解。 【实验准备】 1. 产生死锁的原因  竞争资源引起的死锁  进程推进顺序不当引起死锁 2.产生死锁的必要条件  互斥条件  请求和保持条件  不剥夺条件  环路等待条件 3.处理死锁的基本方法  预防死锁  避免死锁  检测死锁  解除死锁 【实验内容】 1. 实验原理 银行家算法是从当前状态出发,逐个按安全序列检查各客户中谁能完成其工作,然后假定其完成工作且归还全部贷款,再进而检查下一个能完成工作的客户。如果所有客户都能完成工作,则找到一个安全序列,银行家才是安全的。与预防死锁的几种方法相比较,限制条件少,资源利用程度提高了。缺点:该算法要求客户数保持固定不变,这在多道程序系统中是难以做到的;该算法保证所有客户在有限的时间内得到满足,但实时客户要求快速响应,所以要考虑这个因素;由于要寻找一个安全序列,实际上增加了系统的开销.Banker algorithm 最重要的一点是:保证操作系统的安全状态!这也是操作系统判断是否分配给一个进程资源的标准!那什么是安全状态?举个小例子,进程P 需要申请8个资源(假设都是一样的),已经申请了5个资源,还差3个资源。若这个时候操作系统还剩下2个资源。很显然,这个时候操作系统无论如何都不能再分配资源给进程P了,因为即使全部给了他也不够,还很可能会造成死锁。若这个时候操作系统还有3个资源,无论P这一次申请几个资源,操作系统都可以满足他,因为操作系统可以保证P不死锁,只要他不把剩余的资源分配给别人,进程P就一定能顺利完成任务。 2.实验题目 设计五个进程{P0,P1,P2,P3,P4}共享三类资源{A,B,C}的系统,{A,B,C}的资源数量分别为10,5,7。进程可动态地申请资源和释放资源,系统按各进程的申请动态地分配资源。要求程序具有显示和打印各进程的某一时刻的资源分配表和安全序列;显示和打印各进程依次要求申请的资源号以及为某进程分配资源后的有关资源数据。 3.算法描述 我们引入了两个向量:Resourse(资源总量)、Available(剩余资源量) 以及两个矩阵:Claim(每个进程的最大需求量)、Allocation(已为每个进程分配的数量)。它们共同构成了任一时刻系统对资源的分配状态。 向量模型: R1 R2 R3 矩阵模型: R1 R2 P1 P2 P3 这里,我们设置另外一个矩阵:各个进程尚需资源量(Need),可以看出 Need = Claim – Allocation(每个进程的最大需求量-剩余资源量) 因此,我们可以这样描述银行家算法: 设Request[i]是进程Pi的请求向量。如果Request[i , j]=k,表示Pi需k个Rj类资源。当Pi发出资源请求后,系统按下述步骤进行检查: (1) if (Request[i]<=Need[i]) goto (2); else error(“over request”); (2) if (Request[i]<=Available[i]) goto (3); else wait(); (3) 系统试探性把要求资源分给Pi(类似回溯算法)。并根据分配修改下面数据结构中的值。 剩余资源量:Available[i] = Available[i] – Request[i] ; 已为每个进程分配的数量: Allocation[i] = Allocation[i] + Request[i]; 各个进程尚需资源量:Need[i] = Need[i]-Request[i]; (4) 系统执行安全性检查,检查此次资源分配后,系统是否处于安全状态。若安全,才正式将资源分配给进程以完成此次分配;若不安全,试探方案作废,恢复原资源分配表,让进程Pi等待。 系统所执行的安全性检查算法可描述如下: 设置两个向量:Free、Finish 工作向量Free是一个横向量,表示系统可提供给进程继续运行所需要的各类资源数目,它含有的元素个数等于资源数。执行安全算法开始时,Free = Available .标记向量Finish是一个纵向量,表示进程在此次检查中中是否被满足,使之运行完成,开始时对当前未满足的进程做Finish[i] = false;当有足够资源分配给进程(Need[i]<=Free)时,Finish[i]=true,Pi完成,并释放资源。 (1)从进程集中找一个能满足下述条件的进程Pi ① Finish[i] == false(未定) ② Need[i] D->B->A A 1 6 B 1 5 C 2 4 D 4 7 Available = (2) ; Resourse = (10) ; 测试结果如下 process number:5 resource number:4 resource series:6 3 4 2 assined matrix:p0:3 0 1 1 p1:0 1 0 0 p2:1 1 1 0 p3:1 1 0 1 p4:0 0 0 0 needed matrix: p0:1 1 0 0 p1:0 1 1 2 p2:3 1 0 0 p3:0 0 1 0 p4:2 1 1 0 p3-->p4-->p0-->p2-->p1 p3-->p4-->p0-->p1-->p2 p3-->p0-->p4-->p2-->p1 p3-->p0-->p4-->p1-->p2 p3-->p0-->p2-->p4-->p1 p3-->p0-->p2-->p1-->p4 p3-->p0-->p1-->p4-->p2 p3-->p0-->p1-->p2-->p4 it is safe,and it has 8 solutions
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

蔗理苦

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值