操作系统实验四 银行家算法

上传人:新** 文档编号:507254250 上传时间:2022-09-10 格式:DOC 页数:12 大小:152.01KB
返回 下载 相关 举报
操作系统实验四 银行家算法_第1页
第1页 / 共12页
操作系统实验四 银行家算法_第2页
第2页 / 共12页
操作系统实验四 银行家算法_第3页
第3页 / 共12页
操作系统实验四 银行家算法_第4页
第4页 / 共12页
操作系统实验四 银行家算法_第5页
第5页 / 共12页
点击查看更多>>
资源描述

《操作系统实验四 银行家算法》由会员分享,可在线阅读,更多相关《操作系统实验四 银行家算法(12页珍藏版)》请在金锄头文库上搜索。

1、银行家算法xxx711103xx2012年5月21日一、实验目的通过实验,加深对多实例资源分配系统中死锁避免方法银行家算法的理解,掌握Windows环境下银行家算法的实现方法,同时巩固利用Windows API进行共享数据互斥访问和多线程编程的方法。二、实验内容 1. 在Windows操作系统上,利用Win32 API编写多线程应用程序实现银行家算法。2. 创建n个线程来申请或释放资源,只有保证系统安全,才会批准资源申请。3. 通过Win32 API提供的信号量机制,实现共享数据的并发访问。三、实验步骤(设计思路和流程图)最主要的用以实现系统功能的应该有两个部分,一是用银行家算法来判断,二是用

2、安全性算法来检测系统的安全性。1、银行家算法设Requesti是进程Pi的请求向量,如果Requestij=K,表示进程Pi需要K个Rj类型的资源。当Pi发出资源请求后,系统按下述步骤进行检查: (1) 如果RequestijNeedi,j,便转向步骤2;否则认为出错,因为它所需要的资源数已超过它所宣布的最大值。 (2) 如果RequestijAvailablej,便转向步骤(3);否则, 表示尚无足够资源,Pi须等待。(3) 系统试探着把资源分配给进程Pi,并修改下面数据结构中的数值: Availablej=Availablej-Requestij; Allocationi,j=Alloca

3、tioni,j+Requestij; Needi,j=Needi,j-Requestij; (4) 系统执行安全性算法,检查此次资源分配后,系统是否处于安全状态。若安全,才正式将资源分配给进程Pi,以完成本次分配;否则, 将本次的试探分配作废,恢复原来的资源分配状态,让进程Pi等待。2、 安全性算法(1) 设置两个向量: Work=Available; Finish(2) 从进程集合中找到一个能满足下述条件的进程: Finishi=false; Needi,jWorkj; 若找到, 执行步骤(3), 否则,执行步骤(4)。(3) 当进程Pi获得资源后,可顺利执行,直至完成,并释放出分配给它的资

4、源,故应执行:Workj=Worki+Allocationi,j; Finishi=true; go to step 2; (4) 如果所有进程的Finishi=true都满足, 则表示系统处于安全状态;否则,系统处于不安全状态。四、主要数据结构及其说明(1) 可利用资源向量Available。如果Availablej=K,则表示系统中现有Rj类资源K个。 (2) 最大需求矩阵Max。如果Maxi,j=K,则表示进程i需要Rj类资源的最大数目为K。 (3) 分配矩阵Allocation。如果Allocationi,j=K,则表示进程i当前已分得Rj类资源的数目为K。 (4) 需求矩阵Need。

5、如果Needi,j=K,则表示进程i还需要Rj类资源K个,方能完成其任务。Needi,j=Maxi,j-Allocationi,j 五、程序运行时的初值和运行结果int AvailablerCount = 10,5,7;const int MaxpCountrCount = 7,5,3 , 3,2,2 , 9,0,2 , 2,2,2 , 4,3,3 ;第一次申请: 资源不够情况:Request=Available出错的情况:Requesti=Need六、实验体会通过本次银行家算法实验,加深了我对银行家算法的了解,掌握了如何利用银行家算法避免死锁。这次实践,我巩固了自己的理论知识。银行家算法是为

6、了使系统保持安全状态。如果把操作系统看作是银行家,操作系统管理相当于银行家管理的资金,进程向操作系统请求分配资源相当于用户向银行家贷款。操作系统按照银行家制定的规则为进程分配资源。操作系统的一些原理在生活中都可以找到相应的例子。结合生活中的例子,可以化抽象为具体,我们会更加清楚地了解到其原理与操作过程。七、源程序并附上注释thread.cpp#include #include #include #include #include #include using namespace std;extern const int rCount = 3;extern const int pCount =

7、5;extern const int NeedpCountrCount;extern const int AllocationpCountrCount;extern HANDLE Mutex;extern HANDLE Queue;int handleRequest(int Request,int pNum);int randomRequest(int r,int p) return rand()%(Needpr+1);int randomRelease(int r,int p) return -(rand()%(Allocationpr+1);int completeRelease(int

8、r,int p) return -Allocationpr;DWORD WINAPI runProcess(void *param) int pNum = *(int*)param; srand(unsigned)time(NULL); bool RUNNING = true; while(RUNNING) Sleep(500); int RequestrCount; int (*op)(int,int); switch(rand()%10) case 0:case 1: case 2:case 3: case 4:case 5: case 6: op = randomRequest; bre

9、ak; case 7:case 8: op = randomRelease; break; case 9: op = completeRelease; RUNNING = false; break; for(int i=0;irCount;+i) Requesti = (*op)(i,pNum); while(handleRequest(Request,pNum) assert( WAIT_OBJECT_0 = WaitForSingleObject(Queue,INFINITE); WaitForSingleObject(Mutex,INFINITE); cout Process pNum+

10、1 terminated.n; ReleaseMutex(Mutex); return 0;#include #include #include #include #include #include using namespace std;const int rCount = 3;const int pCount = 5;int AvailablerCount = 10,5,7;const int MaxpCountrCount = 7,5,3 , 3,2,2 , 9,0,2 , 2,2,2 , 4,3,3 ;int AllocationpCountrCount;int NeedpCountr

11、Count;DWORD WINAPI runProcess(void *param);HANDLE Mutex;HANDLE Queue; void printState();int main() memcpy(Need,Max,sizeof(int)*pCount*rCount); memset(Allocation,0,sizeof(int)*pCount*rCount); /初始化信号量 Mutex = CreateMutex(NULL,FALSE,NULL); Queue = CreateSemaphore(NULL,0,1,NULL); HANDLE processpCount; f

12、or(int i=0;ipCount;+i) processi=CreateThread(NULL,0,runProcess,new int(i),0,NULL); WaitForMultipleObjects(pCount,process,TRUE,INFINITE); return 0;bool noGreaterThan(const int *ary1,const int *ary2,int length) for(int i=0;iary2i) return false; return true;bool equals(const int *ary1,const int *ary2,int length) for(int i=0;ilength;+i) if(ary1i!=ary2i) return false; return true;bool smallerThan(const int *ary1,const int *ary2,int length) if(noGreaterThan(ary1,ary2,length)&!equals(ary1,ary2,length) return true; return false;void addArrays(int *ary1,con

展开阅读全文
相关资源
相关搜索

当前位置:首页 > 生活休闲 > 科普知识

电脑版 |金锄头文库版权所有
经营许可证:蜀ICP备13022795号 | 川公网安备 51140202000112号