基于Linux的进程同步与通信的模拟实现课程设计报告.docVIP

中北大学 操作系统课程设计 说 明 书 ? 学 院、系： 专 业： 学 生 姓 名： 学 号： 设 计 题 目： 基于Linux的进程同步与通信的模拟实现 起 迄 日 期: 指 导 教 师: ? ? ?2013 年 1月 16 日 需求分析 该软件需要利用银行家算法判断系统是否处于安全状态，同时根据银行家算法得出的安全序列进行临界资源的分配。软件设计的目的是要对输入的进程进行安全性判断模拟分配资源。 首先先创建进程：手动创建几个进程，都在界面上完成；其中包括每个进程已分配的资源、最大需求资源、系统剩余资源以及每个进程的执行时间。实例中创建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（执行过程） 程序流程图 图 8 3．详细设计 我负责的是银行家算法判断是否安全，以下是我做的代码。 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++,need