基于Linux的进程同步与通信的模拟2.docxVIP

中北大学操作系统课程设计说明书?学院、系：软件学院专业：软件工程学 生 姓 名：高岩学 号：0921010248设 计 题 目：基于Linux的进程同步与通信的模拟实现起迄日期: 2011年12月22日- 2012年1月7日指导教师:贾美丽???2012 年 1月 7 日需求分析该软件需要利用银行家算法判断系统是否处于安全状态，同时根据银行家算法得出的安全序列进行临界资源的分配。软件设计的目的是要对输入的进程进行安全性判断模拟分配资源。首先先创建进程：手动创建几个进程，都在界面上完成；其中包括每个进程已分配的资源、最大需求资源、系统剩余资源以及每个进程的执行时间。实例中创建5个进程。其次采用银行家算法，判断是否可以进行资源的分配。最后，按照银行家算法得出的安全序列，对临界资源进行分配。总体设计软件由两个模块组成，分别是银行家算法判断安全序列模块以及临界资源分配模块。2.1银行家算法模块本模块中有如下功能：初始化allocation矩阵，初始化max矩阵，初始化available矩阵，初始化need矩阵，初始化finished矩阵，初始化进程执行时间，用银行家算法判断是否安全，计算系统总资源数目，输出系统总资源数目。其中设置了多个线性单链表结构存储矩阵中的数据，包括已分配allocation矩阵、最大需求量max矩阵、可用资源数available矩阵、需要资源数need矩阵、安全路径path矩阵、进程安全标示finish矩阵、进程运行时间ti矩阵。银行家算法: 设进程i提出请求Request[n]，则银行家算法按如下规则进行判断。 (1)如果Request[n]Need[i，n]，则报错返回。 (2)如果Request[n]Available，则进程i进入等待资源状态，返回。 (3)假设进程i的申请已获批准，于是修改系统状态： Available=Available-Request Allocation=Allocation+Request Need=Need-Request(4)系统执行安全性检查，如安全，则分配成立；否则试探险性分配作废，系统恢复原状，进程等待。 安全性检查 (1)设置两个工作向量Work=Available；Finish[M]=False(2)从进程集合中找到一个满足下述条件的进程， Finish [i]=False Need=Work 如找到，执行(3)；否则，执行(4) (3)设进程获得资源，可顺利执行，直至完成，从而释放资源。 Work=Work+Allocation Finish=True GO TO 2 (4)如所有的进程Finish[M]=true，则表示安全；否则系统不安全。 2.2临界资源分配模块 这个模块有如下功能：创建线程、模拟为线程分配资源。在原来的基础上设置了两个可变长数组altemp、ntemp,分别存放当前进程的已分配资源和需要的资源量。 通过比较每类资源的需要资源量和系统可用的资源量之间大小关系，判断系统是否能给进程分配资源。如果分配成功，则利用sleep函数模拟线程执行，然后释放线程利用的系统资源，执行完毕。如果分配失败，则调用sleep函数等待一段时间，再进行循环判断，直到判断出资源量能够满足进程的要求。 运行时，首先先新建一个终端，然后用gcc命令编译和链接，运行程序，编译命令为：gcc–o process process.c–lpthread如下图1创建三类资源，五个进程，并写出每个进程的已分配资源、最大需求量、系统现在可用的资源、进程执行时间。如下。图2（已分配资源）图3（最大需求量）图4（系统可用资源）图5（进程执行时间）输出系统所有资源量，用银行家算法判断是否安全，如果安全得出安全序列，分配资源如下。图6(执行过程)图7（执行过程）程序流程图图 83．详细设计我负责的是银行家算法判断是否安全，以下是我做的代码。int main(){flag=0;processtest=0;for(temp=0;tempproNum;temp++){alloctemp=allochead;needtemp=needhead;finishtemp=finihead;worktemp=workhead;for(i=0;iproNum;i++){worktemp1=worktemp;if(finishtemp-stat==0){for(j=0;jsourceTyNum;j++,needtemp=needtemp-next,worktemp=worktemp-next)if(needtemp-value=worktemp-value)processtest++;if(processtest==sourceTyNum){fo