算法小结习题课.pptVIP

算法小结 操作系统概述 处理机管理 存储器管理 设备管理 文件管理 一、处理机管理 1. P、V操作描述同步互斥 P、V含义，信号量含义 步骤：分析进程间同步互斥关系 设信号量说明含义和初值 用P、V操作描述； P、V操作描述互斥 P、V操作描述前趋图 P、V操作描述同步 生产者和消费者问题及其扩展 桌上有一个空盒子，允许存放一个球。甲可向盒中放红球，也可放绿球，乙只能取红球，丙只能取绿球。请用P、V原语实现甲乙丙三人并发进程的同步。 (或甲乙丙丁四人活动） 三个进程P1，P2，P3协作解决文件打印问题，P1将文件记录从磁盘读入内存的缓冲区1，P2将缓冲区1的内容取出放到缓冲区2中；P3将缓冲区2的内容打印出来， 信号量empty1=1, 表示缓冲区1是否为空； 信号量empty2=1, 表示缓冲区2是否为空； 信号量full1=0, 表示缓冲区1是否有记录可供处理； 信号量full2=0, 表示缓冲区2是否有记录可供处理 P1进程: P(empty1)； 将记录存入缓冲区1； V(full1)； P2进程： P(full1)； P(empty2)； 将记录从缓冲区1取出放到缓冲区2； V(empty1)； V(full2)； 进程P3: P(full2)； 打印记录； V(empty2)； 某系统的进程状态转换如下图所示，请说明： （1）a,b,c各代表什么状态，引起各种状态转换的典型事件有哪些？ （2）在什么情况下，某一进程发生状态转换3时，会引起另一进程发生状态转换1 ？ （3）试说明状态4的转换是否会引起状态1的转换？ 2. 死锁问题 死锁检测（死锁定理、平均分配法） 死锁避免（银行家算法实现） 系统中有4个进程，每个进程需2台打印机，如果系统配有5台打印机，则系统______________出现死锁的情况. 死锁的检测 1、资源分配图 2、死锁定理 经过简化后，若所有进程都成为孤立结点，则称该图是可完全简化的；若不能通过任何过程使该图完全简化，则称该图是不可完全简化的。 S为死锁状态的充分条件是:当且仅当S状态的资源分配图是不可完全简化的，该充分条件称为死锁定理。 利用银行家算法避免死锁 一、银行家算法中的数据结构 1．可利用资源向量Available 它是一个含有m个元素的数组，Available[j]＝k表示系统中现有Rj类资源k个。 2．最大需求矩阵Max 这是一个n*m的矩阵，Max(i , j) = k表示进程i需要Rj类资源的最大数目为k 3．分配矩阵Allocation 这是一个n*m的矩阵，如果Allocation(i，j)＝k表示进程i当前已分得Rj类资源的数目为k。 4．需求矩阵Need 它是一个n*m的矩阵，Need(i,j)＝k，表示进程i还需要Rj类资源k个，方能完成其任务。 上述三个矩阵间存在下述关系： Need[i，j] = Max[i，j] – Allocation[i，j] 二、银行家算法 设Requesti，是进程Pi的请求向量，如果Requesti[j]=k表示进程Pi需要k个Rj类型的资源。当Pi发出资源请求后，系统按下述步骤进行检查： (1)如果Requesti[i,j]=Needi[i,j]，则转向步骤2；否则，认为出错，因为它所需要的资源数已超过它所宣布的最大值。 (2)如果Requesti[j] =Avai1ab1e[j]，则转向步骤(3)；否则，表示系统中尚无足够的资源，Pi必须等待。 (3)系统试探把要求的资源分配给进程Pi，并修改下面数据结构中的数值： Available[j] :＝Available[j] – Requesti[j]； Al1ocation [i,j] :=Allocation[i,j] ＋ Requesti[j]； Need[i,j] := Need[i,j] – Requesti[j]； 系统执行安全性算法，检查此次资源分配后，系统是否处于安全状态。若安全，才正式将资源分配给进程Pi，以完成本次分配