第三讲 进程调度.ppt

操作系统原理 2013-9 第3章 处理机调度与死锁 3.1 处理机调度的基本概念 3.2 调度算法 第二次上机实验 进程调度 3.3 实时调度 3.4 多处理机系统中的调度 (第三版删) 3.5 产生死锁的原因和必要条件 3.6 预防和避免死锁的方法 3.7 死锁的检测和解除 第三次上机实验 演示银行家算法 3.1 处理机调度的基本概念 3.1 处理机调度的基本概念 3.1 处理机调度的基本概念 3. 中级调度 3.1.2 调度队列模型 3.1.2 调度队列模型 3.1.2 调度队列模型 3.1.3 选择调度方式和调度算法的若干准则 3.1.3 选择调度方式和调度算法的若干准则 3.2 调度算法 3.2.1 先来先服务调度算法 3.2.2 短作业(进程)优先调度算法 3.2.3 高优先权优先调度算法 1．优先权进程调度算法的类型 2．优先权的类型 2）动态优先权 3.2.4 高响应比优先调度算法 3.2.5 基于时间片的轮转调度算法 2．多级反馈队列调度算法 3. 多级反馈队列调度算法的性能 进程调度实验一 3.3 实时调度 3.3.1 实现实时调度的基本条件 3.3.2 实时调度算法的分类 按实时任务性质不同来划分： 硬实时调度算法 软实时调度算法 按调度方式的不同 非抢占调度算法 抢占调度算法 因调度程序调度时间的不同 静态调度算法——进程执行前，调度程序便已经决定了个进程间的执行顺序 动态调度算法 多处理机环境下 集中式调度 分布式调度 3.3.3 常用的几种实时调度算法 3.4 多处理机系统中的调度(略) 3.4.1 多处理器系统的类型 紧密耦合MPS和松弛耦合MPS 紧密耦合(Tightly Coupled)MPS。这通常是通过高速总线或高速交叉开关，来实现多个处理器之间的互连的。它们共享主存和I/O设备，并要求将主存划分为若干个能独立访问的存储器模块，以便多个处理器能同时对主存进行访问。系统中所有的资源和进程，都由OS实施统一的控制和管理。 松散耦合(Loosely Coupled)MPS。通常是通过通道或通信线路来实现多台计算机之间的互连。每台计算机都有自己的内存和I/O设备，并配置了OS来管理本地资源和本地运行的进程。因此，每台计算机都能独立地工作，必要时可通过通信线路与其它计算机交换信息，以及协调它们之间的工作。 3.3.2 进程分配方式 3.3.3 进程(线程)调度方式 3.5 产生死锁的原因和必要条件 死锁(deadLock)定义——多个进程在运行过程中因争夺资源而造成的一种僵局，当进程处于这种僵局状态时，若无外力作用，它们都将无法再向前推进。 死锁定义——一组进程处于死锁状态是指：如果在一个进程集合中的每一个进程都在等待只能由该集合中的其它一个进程才能引发的事件，则称一组进程或系统发生了死锁。——孙钟秀主编《操作系统教程》 死锁定义：一组竞争系统资源或相互通信的进程间相互的“永久”阻塞。——[美]William Stallings著《操作系统——内核与设计原理(第四版）》 3.5.1 产生死锁的原因 四个必要条件： 互斥条件：进程对所分配到的资源进行排他性使用 请求和保持条件：进程提出了新的资源请求，但又对自己已获得的资源保持不放 不剥夺条件：进程已获得的资源，在未使用完之前，不能被剥夺 环路等待条件：发生死锁时，存在进程-资源的等待链 3.5.3 处理死锁的基本方法 可归结为四种： 预防死锁、避免死锁、检测死锁、解除死锁 预防死锁 检测死锁 3.6 预防和避免死锁的方法 3.6.1 预防死锁 3．屏弃“不剥夺”条件 4．屏弃“环路等待”条件 3.6.2 避免死锁——银行家算法 1. 安全状态 2. 安全状态之例 银行家算法 3. 利用银行家算法避免死锁 1）银行家算法中的数据结构 可利用资源向量Available 是一个含有m个元素的数组，其中每一个元素代表一类可用资源数目，m是资源种类数。如…… 最大需求矩阵Max 是一个n×m矩阵，它定义了系统中n个进程中的每一个进程对m类资源的最大需求数。如…… 分配矩阵Allocation 也是一个n×m矩阵，它定义了系统中每一类资源当前已分配给每一个进程的资源数。如…… 需求矩阵Need 也是一个n×m矩阵，用于表示每个进程尚需的各类资源数。 2）银行家算法步骤 设Requesti是进程Pi的请求向量，如果Requesti[j]＝K，表示进程Pi需要K个Rj类的资源。当Pi发出资源请求后，系统按下述步骤进行检查： ①若Requesti[j]≤Need[i,j]，转向步骤②；否则认为出错，因为它需要的资源数已超过