银行家算法Banker‘s Algorithm(c++简单实现)

死锁问题的避免——银行家算法

银行家算法的数据结构

  • 可利用资源向量Available
  • 最大需求矩阵Max
  • 已分配矩阵Allocation
  • 仍然需求矩阵Need

银行家算法

设Requesti 是进程Pi的请求量,如果Requesti[j]=k,表示进程Pi需要K个Rj类型的资源。当Pi发出资源请求后,系统按下述步骤进行检查。

a) 如果Requesti[j] <=Need[I,j],便转向步骤(b);否则认为出错,因为他所需要的资源数已经超过它所宣布的最大值。

b) 如果Requesi[j] <=Available[j],便转向步骤(c);否则,表示尚无足够的资源,Pi须等待。

c) 系统试探着把资源分配给进程Pi,并修改下面的数据结构中的数值:

Available[j] := Available[j] – Request i[j];

Allocation[i, j] :=Allocation[i, j] + Request i[j];

Need[i, j] := Need[i, j] – Request i[j];

d) 系统执行安全性算法,检查此次资源分配后系统是否处于安全状态。若安全,才正式将资源分配给进程Pi,已完成本次资源的分配;否则,将本次的试探分配作废,恢复原来的资源分配状态,让进程Pi等待。

安全算法

(1) 设置两个向量:

① 工作向量Work,它表示系统可提供给进程继续运行所需的各类资源数目,它含有m个元素,在执行安全算法开始时,Work :=Available。

② Finish,他表示系统是否有足够的资源分配给进程,使之运行完成。开始时先做Finish := false;当有足够资源分配给进程时,再令Finish[i] :=true。

(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 step2;

(4) 如果所有进程的Finish[i] = true 都满足,则表示系统处于安全状态;否则,系统处于不安全状态。

#include<bits/stdc++.h>
using namespace std;
#define maxsize 10

char Res[maxsize]={0};                  //资源名
int Available[maxsize]={0};             //可利用资源
int Max[maxsize][maxsize]={0};          //最大需求矩阵
int Allocation[maxsize][maxsize]={0};   //已分配矩阵
int Need[maxsize][maxsize]={0};         //需求矩阵

int Work;                               //资源数

bool Finish[maxsize]={false};           

int main(){
    cout<<"请按顺序输入:资源种类,数目(q to quit)(max<=10)"<<endl;
    char ch;
    int Resnum=0;
    while(cin>>ch&&ch!='q'){
        Res[Resnum]=ch;
        cin>>Available[Resnum++];
    }
    cout<<"当前资源目录:"<<endl;
    cout<<"资源类型     资源数目"<<endl;
    for(int i=0;i<Resnum;++i){
        cout<<"   "<<Res[i]<<"            "<<Available[i]<<endl;
        Work+=Available[i];
    }
    int n;
    cout<<"请输入进程个数(max<=10)"<<endl;
    cin>>n;
    for(int i=0;i<n;++i){
        cout<<"请按顺序输入第"<<i+1<<"个进程所需的资源类型、资源数目";
        int ch1;
        int num;
        cin>>ch1>>num;
        Need[i][ch1]=num;
        if(Need[i][ch1]<=Available[ch1-1]){           //Need[i][ch1]表示第i个进程所需ch1资源的个数
            Available[ch1-1]-=Need[i][ch1];
            Finish[i]=true;
        }
    }
    int flag=0;
    for(int i=0;i<n;++i){
        if(!Finish[i])
            flag=1;
    }
    if(flag)
        cout<<"不安全";
    else
        cout<<"安全";


}

在这里插入图片描述
在这里插入图片描述

  • 3
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
银行家算法Banker's Algorithm)是一种死锁避免算法,用于避免并发系统中的死锁问题。它由艾德加·沃茨·迪科斯基(Edsger W. Dijkstra)于1965年提出。银行家算法的主要思想是在进程请求资源时,先判断该请求是否会导致系统进入不安全状态,如果不会,则分配资源;否则,让进程等待,直到请求满足安全条件。 以下是银行家算法C++代码实现: ```cpp #include <iostream> #include <vector> #include <algorithm> using namespace std; // 定义进程状态 enum ProcessState { Ready, // 就绪 Running, // 运行 Blocked, // 阻塞 Dead // 终止 }; // 定义进程结构体 struct Process { int id; // 进程ID ProcessState state; // 进程状态 vector<int> max_res; // 进程最大需求资源量 vector<int> need_res; // 进程还需资源量 vector<int> allocation_res; // 进程已分配资源量 }; // 定义银行家算法类 class Banker { private: int process_num; // 进程数量 int res_num; // 资源种类数量 vector<int> available_res; // 系统可用资源量 vector<Process> processes; // 进程列表 public: Banker(int pnum, int rnum, vector<int> available, vector<Process> p) : process_num(pnum), res_num(rnum), available_res(available), processes(p) {} // 银行家算法判断 bool isSafe() { vector<int> work(available_res.begin(), available_res.end()); // 工作向量 vector<bool> finish(process_num, false); // 完成进程标记 vector<int> safe_sequence; // 安全序列 int count = 0; // 已完成进程数 while (count < process_num) { bool found = false; for (int i = 0; i < process_num; ++i) { if (finish[i] == false) { bool finishable = true; for (int j = 0; j < res_num; ++j) { if (processes[i].need_res[j] > work[j]) { finishable = false; break; } } if (finishable) { for (int j = 0; j < res_num; ++j) { work[j] += processes[i].allocation_res[j]; } finish[i] = true; safe_sequence.push_back(i); found = true; count++; } } } if (found == false) { return false; } } cout << "Safe sequence: "; for (int i = 0; i < process_num; ++i) { cout << "P" << safe_sequence[i]; if (i != process_num - 1) { cout << " -> "; } } cout << endl; return true; } // 进程请求资源 bool requestRes(int pid, vector<int> request) { vector<int> work(available_res.begin(), available_res.end()); // 工作向量 vector<int> finish(process_num, false); // 完成进程标记 // 判断请求是否满足需求 for (int i = 0; i < res_num; ++i) { if (request[i] > processes[pid].need_res[i]) { return false; } } // 判断请求是否满足可用资源量 for (int i = 0; i < res_num; ++i) { if (request[i] > available_res[i]) { return false; } } // 模拟分配资源 for (int i = 0; i < res_num; ++i) { available_res[i] -= request[i]; processes[pid].allocation_res[i] += request[i]; processes[pid].need_res[i] -= request[i]; } // 判断是否会导致系统不安全 int count = 0; while (count < process_num) { bool found = false; for (int i = 0; i < process_num; ++i) { if (finish[i] == false) { bool finishable = true; for (int j = 0; j < res_num; ++j) { if (processes[i].need_res[j] > work[j]) { finishable = false; break; } } if (finishable) { for (int j = 0; j < res_num; ++j) { work[j] += processes[i].allocation_res[j]; } finish[i] = true; found = true; count++; } } } if (found == false) { // 分配资源后会导致系统不安全,回滚分配 for (int i = 0; i < res_num; ++i) { available_res[i] += request[i]; processes[pid].allocation_res[i] -= request[i]; processes[pid].need_res[i] += request[i]; } return false; } } return true; } }; int main() { // 测试数据 int process_num = 5; int res_num = 3; vector<int> available_res {3, 3, 2}; vector<Process> processes { {0, Ready, {7, 5, 3}, {7, 5, 3}, {0, 0, 0}}, {1, Ready, {3, 2, 2}, {3, 2, 2}, {0, 0, 0}}, {2, Blocked, {9, 0, 2}, {9, 0, 2}, {0, 0, 0}}, {3, Running, {2, 2, 2}, {2, 2, 2}, {0, 0, 0}}, {4, Ready, {4, 3, 3}, {4, 3, 3}, {0, 0, 0}} }; // 初始化银行家算法 Banker banker(process_num, res_num, available_res, processes); // 测试安全性 banker.isSafe(); // 测试进程请求资源 int pid = 1; vector<int> request {1, 0, 2}; if (banker.requestRes(pid, request)) { cout << "Process P" << pid << " request success!" << endl; } else { cout << "Process P" << pid << " request failed!" << endl; } return 0; } ``` 在上面的代码中,我们定义了一个`Process`结构体来表示进程,包含了进程ID、状态、最大需求资源量、还需资源量和已分配资源量等信息。我们还定义了一个`Banker`类来实现银行家算法,构造函数中需要传入进程数量、资源种类数量、系统可用资源量和进程列表等参数。`isSafe()`函数用于判断系统是否安全,而`requestRes()`函数用于模拟进程请求资源的情况。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值