一、实验目的
1、了解什么是操作系统安全状态和不安全状态;
2、了解如何避免系统死锁;
3、理解银行家算法是一种最有代表性的避免死锁的算法,掌握其实现原理及实现过程。
二、实验内容
根据银行家算法的基本思想,编写和调试一个实现动态资源分配的模拟程序,并能够有效避免死锁的发生。
三、实验原理
进程申请资源时,系统通过一定的算法判断本次申请是否不可能产生死锁(处于安全状态)。若可能产生死锁(处于不安全状态),则暂不进行本次资源分配,以避免死锁。算法有著名的银行家算法。
1、什么是系统的安全状态和不安全状态?
所谓安全状态,是指如果系统中存在某种进程序列<P1,P2,…,Pn>,系统按该序列为每个进程分配其所需要的资源,直至最大需求,则最终能使每个进程都可顺利完成,称该进程序列<P1,P2,…,Pn,>为安全序列。
如果不存在这样的安全序列,则称系统处于不安全状态。
2、银行家算法
把操作系统看作是银行家,操作系统管理的资源相当于银行家管理的资金,进程向操作系统请求分配资源相当于用户向银行家贷款。
为保证资金的安全,银行家规定:
(1) 当一个顾客对资金的最大需求量不超过银行家现有的资金时就可接纳该顾客;
(2) 顾客可以分期贷款,但贷款的总数不能超过最大需求量;
(3) 当银行家现有的资金不能满足顾客尚需的贷款数额时,对顾客的贷款可推迟支付,但总能使顾客在有限的时间里得到贷款;
(4) 当顾客得到所需的全部资金后,一定能在有限的时间里归还所有的资金。
操作系统按照银行家制定的规则设计的银行家算法为:
(1)进程首次申请资源的分配:如果系统现存资源可以满足该进程的最大需求量,则按当前的申请量分配资源,否则推迟分配。
(2)进程在执行中继续申请资源的分配:若该进程已占用的资源与本次申请的资源之和不超过对资源的最大需求量,且现存资源能满足该进程尚需的最大资源量,则按当前申请量分配资源,否则推迟分配。
(3)至少一个进程能完成:在任何时刻保证至少有一个进程能得到所需的全部资源而执行到结束。
银行家算法通过动态地检测系统中资源分配情况和进程对资源的需求情况来决定如何分配资源,并能在确保系统处于安全状态时才把资源分配给申请者,从而避免系统发生死锁。
四、实验中用到的系统调用函数
因为是模拟程序,可以不使用系统调用函数。
五、银行家算法流程图
六、对算法所用的数据结构进行说明;
用N表示系统进程的数目,用M表示资源分类数。
available是一个长度为M的向量,它表示每类资源可用的数量。
max是一个N × M的矩阵,他表示每个进程对资源的最大需求。
allocation是一个N × M的矩阵,它表示当前分给每个进程的资源数目。
need是一个N × M的矩阵,它表示每个进程还缺少多少资源。
total_resource是一个长度为M的向量,它表示系统每类资源的总数量。
在安全性算法中:
temp是一个长度为N的向量,它用来记录进程安全执行的顺序。
work是一个长度为M的向量, 它表示系统可提供给进程的各类资源数目
finish是一个长度为N的向量, 它记录系统是否有足够的资源分配给进程,有则定义为true,反之为false。
七、源代码
#include<stdio.h>
#include<stdlib.h>
#include<time.h>
#define false 0
#define true 1
int M; //系统资源类数
int N; //系统进程数
int **max=NULL; //N个进程对M类资源最大资源需求量
int *available=NULL; //系统可用资源数
int **allocation=NULL; //M个进程已分配的资源量
int **need=NULL; //M个进程还需要的资源数量
int *total_resource=NULL; //系统每类资源的总数量
int *temp=NULL; //用来记录进程安全执行的顺序
void init() //初始化函数
{
int i,j;
int flag=1;
int flag2=0;
M=rand()%4+4; //随机生成系统资源类数
N=rand()%4+3; //随机进程数
while(flag==1)
{
total_resource=malloc(sizeof(int) * M); //为数组分配内存
available = malloc(sizeof(int) * M);
max=(int**)malloc(sizeof(int*) * N);
allocation = (int**)malloc(sizeof(int*) * N);
need = (int**)malloc(sizeof(int*) * N);
for(i=0;i<N;i++)
{
max[i]=(int*)malloc(sizeof(int) * M);
allocation[i] = (int*)malloc(sizeof(int) * M);
need[i]=(int*)malloc(sizeof(int) * M);
}
for(i=0;i<M;i++)