操作系统实验3_银行家算法.docVIP

实验三 死锁 ?一、实验题目 设计一个n 个并发进程共享m 个系统资源的系统。进程可动态申请资源和释放资源，系统按各进程的申请动态的分配资源。要求采用银行家算法防止死锁。 二、实验目的 死锁会引起计算机工作僵死，造成整个系统瘫痪。因此，死锁现象是操作系统特别是大型系统中必须设法防止的。通过本次实验，使学生掌握死锁的概念和产生死锁的原因和必要条件， 预防和避免死锁的方法，死锁的检测与解除。通过本次实验，使学生加深了对死锁概念的理解和掌握，深刻领会银行家算法的实质及实现过程。 三、设计思想（本程序中的用到的所有数据类型的定义，主 程序的流程图及各程序模块之间的调用关系） 程序流程图 安全（safe）函数框图如下： 2．逻辑设计 用结构体数组表示3 个进程，其中包括使用数组形式的线性表表示某个进程申请资源的列表（队列），以及进程需要的总资源数、进程当前已经运行到的位置等信息。模拟分配的程序部分，采用循环队列对各进程进行调度。 3、物理设计 全局变量的结构定义如下： bool avoid; struct info//进程信息 { long tot,n;//最大占用资源,申请次数 long list[16];//申请资源列表 long pre[16];//已占用资源数 long p;//已分配状况的指针 }pro[4]; long LeftRes; 程序的结构定义如下： int main()//主函数 { init(); allot(); } void init()//函数功能:输入和初始化 void allot()//函数功能:模拟资源分配过程 allot()使用以下函数模拟分配过程： bool require(long x)//函数功能:尝试分配资源给进程x bool safe(long x)//函数功能:检查分配是否安全 可以处理3 种资源的程序全局变量结构如下： //共有3 种资源，3 个进程 bool avoid; struct info//进程信息 { long tot[4];//最大占用资源数 long p[4];//已经占有的资源数 }pro[5]; long LeftRes[4];//剩余资源数 long qu[4]; 四、测试结果 对于一组会导致死锁的数据，分别选择采用和不采用避免算法， 结果如下： Avoid deadlock?(Y/N)Y Please input the resourse-require lists of these 3 processes, one lists in a line: 2 3 4 2 3 3 3 1 ================================================================= Process1 : 2 3 4 (Sum=9) Process2 : 2 3 3 (Sum=8) Process3 : 3 1 (Sum=4) ================================================================= Process1 require 2 unit(s) resourse......Success! LeftResourse=8 Process2 require 2 unit(s) resourse......Success! LeftResourse=6 Process3 require 3 unit(s) resourse......Success! LeftResourse=3 Process1 require 3 unit(s) resourse......Denied! Not safe Process2 require 3 unit(s) resourse......Denied! Not safe Process3 require 1 unit(s) resourse......Success! LeftResourse=2 Process3 finish. LeftResourse=6 Process1 require 3 unit(s) resourse......Denied! Not safe Process2 require 3 unit(s) resourse......Success! LeftResourse=3 Process1 require 3 unit(s) resourse......Denied! Not safe Process2 require 3 unit(s) resourse......Success! LeftResourse=0 Process2 finish. LeftResourse=8 Process1 requir