我的操作系统笔记
第三章 处理机调度与死锁
一、处理机调度相关基本概念
处理机调度:
多道程序环境下,动态的把处理机分配给就绪队列中的一个进程使之执行。
作业进入系统驻留在外存的后备队列上,再至调入内存运行完毕,要经历下述三级调度。
高级调度(High Scheduling)
中级调度(Intermediate-Level Scheduling)
低级调度(Low Level Scheduling)
批处理系统:作业进入系统后先驻留外存,故需要有作业调度。
分时系统:为及时响应,作业由终端直接送入内存,故不需作业调度。
实时系统,通常也不需作业调度。
进程调度方式
1)非抢占方式(Non-preemptive Mode)
调度时机: 程序完成;发生某事件阻塞
2)抢占方式(Preemptive Mode)
调度时机:程序完成;发生某事件阻塞;新进程就绪;
调度队列模型
1、仅有进程调度的调度队列模型
2、具有高级和低级调度的调度队列模型
3、同时具有三级调度的调度队列模型
——————————————————————————————
进程调度什么时候发生?或者说什么时候需要进程调度程序执行去给CPU做选择?
正在执行的进程结束
正在执行的进程阻塞
正在执行的进程未完成转就绪(时间片到)
新就绪了更高优先级的进程(抢占式)
不同系统需求各有侧重
批处理系统
平均周转时间短
系统吞吐量高
处理机利用率好
分时系统
响应时间快
均衡
实时系统
截至时间的保证
可预测性
二、 常用调度算法
1、先来先服务调度算法FCFS
(First Come First Service)
一种最简单的调度算法,按先后顺序进行调度。既可用于作业调度,也可用于进程调度。
按照作业提交,或进程变为就绪状态的先后次序分派CPU;
新作业只有当当前作业或进程执行完或阻塞才获得CPU运行
被唤醒的作业或进程不立即恢复执行,通常等到当前作业或进程出让CPU。 (所以,默认即是非抢占方式)
缺点:不利于短作业
应用:有利于CPU繁忙型的作业,而不利于I/O繁忙的作业(进程)。
- 短作业(进程)优先调度算法SJF/SPF
(Shortest Job First) OR (Shortest Process First)
平均周转时间、平均带权周转时间都有明显改善。SJF/SPF调度算法能有效的降低作业的平均等待时间,提高系统吞吐量。
例:
缺点:
1. 对短作业有利,但同时造成了对长作业的不利。
2.由于作业(进程)的长短含主观因素,不一定能真正做到短作业优先。
3.未考虑作业的紧迫程度,因而不能保证紧迫性作业(进程)的及时处理。
- 高优先权优先调度算法HPF(Highest Priority First)
优先权的类型
静态优先权:创建进程时确定,整个运行期间保持不变。一般利用某一范围的一个整数来表示,又称为优先数。
动态优先权:创建进程时赋予的优先权可随进程的推进或随其等待时间的增加而改变。
如何确定进程优先权?
进程类型:一般来,系统进程高于用户进程。
进程对资源的需求:如进程的估计时间及内存需要量的多少,对要求少的进程赋予较高优先权。
用户要求:由用户进程的紧迫程度及用户所付费用的多少来确定优先权的。
4、高响应比优先调度算法HRRN(Highest Response Raito Next)
HRRN为每个作业引入动态优先权,使作业的优先级随着等待时间的增加而以速率a提高:
优先权 =(等待时间+要求服务时间)/要求服务时间
= 响应时间 / 要求服务时间
——————————————————————————————
什么时候计算各进程的响应比优先权?
需要进行调度选择的时候比较各自优先权
作业完成时
新作业产生时(抢占、非抢占)
时间片完成时
进程阻塞时 - 基于时间片的轮转调度算法RR (Round Robin)
分时系统新需求:及时响应用户的请求;采用基于时间片的轮转式进程调度算法。
早期分时系统采用的是简单的时间片轮转法,进入90年代后广泛采用多级反馈队列调度算法。
(1)时间片轮转算法
1、将系统中所有的就绪进程按照FCFS原则,排成一个队列。
2每次调度时将CPU分派给队首进程,让其执行一个时间片。时间片的长度从几个ms到几百ms。
3、在一个时间片结束时,发生时钟中断。
4、调度程序据此暂停当前进程的执行,将其送到就绪队列的末尾,并通过上下文切换执行当前就绪的队首进程。
PS:进程阻塞情况发生时,未用完时间片也要出让CPU
(2)多级反馈队列算法FB
特点:多个就绪队列,循环反馈
动态优先级、时间片轮转
1)设置多个就绪队列,各队列有不同的优先级,优先级从第一个队列依次降低。
2) 赋予各队列进程执行时间片大小不同, 优先权越高,时间片越短。
算法汇总:
三、实时调度
- 实现实时调度的基本条件
1)提供必要的信息
*就绪时间。*该任务成为就绪状态的时间。
开始截止时间、完成截止时间。
*处理时间。*从开始执行到完成所需时间。
*资源要求。*任务执行时所需的一组资源。
*优先级。*根据任务性质赋予不同优先级。
2)系统处理能力足够强
如:
系统中有M个周期性的硬实时任务,处理时间为Ci,周期时间表示为Pi,
单机系统中必须满足条件
3)采用抢占式调度机制
硬实时任务:广泛采用抢占机制。
小的实时系统:如能预知任务的开始截止时间,为简化调度程序和对任务调度时所花费的系统开销,可采用非抢占调度机制,
4)具有快速切换机制
对外部中断的快速响应能力。
快速的任务分派能力。
- 实时调度算法的分类
根据实时任务的性质
硬实时调度算法
软实时调度算法;
按调度方式
非抢占调度算法
抢占调度算法;
根据调度时间不同
静态调度算法
动态调度算法。
多处理机环境下
集中式调度
分布式调度
- 常用的几种实时调度算法
最早截止时间优先EDF(Earliest Deadline First)算法
最低松弛度优先LLF(Least Laxity First)算法
1)最早截止时间优先EDF(Earliest Deadline First)
根据任务的开始截止时间来确定任务的优先级。截止时间越早,其优先级越高。
系统保持一个实时任务就绪队列
队列按各任务截止时间的早晚排序
调度程序总是选择就绪队列中的第一个任务,分配处理机使之投入运行。
新任务产生时,是否等当前程序执行完:
抢占式/非抢占式
可能会使作业错过,但可适用于软实时系统
2)最低松弛度优先LLF(Least Laxity First)
根据任务紧急(或松弛)的程度,来确定任务的优先级。任务的紧急程度越高(松弛度值越小),优先级就越高。
松弛度= 截止完成时间 – 还需执行时间 - 当前时间
多处理机系统中的调度
提高计算机系统性能的途径:
提高计算机元器件速度
改进计算机系统体系结构
1. 多处理器系统的类型
1)紧密耦合MPS和松弛耦合MPS
紧密耦合(Tightly Coupted)
高速总线或高速交叉开关来实现多个处理器之间的互连。
共享主存储器系统和I/O设备。系统中所有进程和资源由OS统一控制管理。
松散耦合(Loosely Coupted)
通过通道或通信线路来实现多台计算机之间互连。
每台计算机都有自己的存储器和I/O设备,可以独立工作。
2)对称MPS和非对称MPS
对称多处理系统SMPS(Symmetric MultiProcessor System)平等型:在系统中所包含的各处理器单元在功能上和结构上都相同。当前的绝大多数MPS属于此类。
非对称多处理器系统。主从型:系统中有多种类型的处理单元,它们的功能和结构各不相同,其中只有一个主处理器,其余为从处理器。
- 进程分配方式
1)对称MPS中的进程分配方式
静态分配(Static Assignment)方式:
进程从开始至完成被固定分配到一个处理器上。
优点是进程调度开销小,缺点是各处理器可能出现忙闲不均。
动态分配(Dynamic Assignment)方式:
系统中仅设置一个公共的就绪队列,分配进程总是给空闲处理器。某一进程的执行可能曾在不同的处理器上。
优点是消除忙闲不均现象。但松散耦合系统增大调度开销。
2)非对称MPS中的进程分配方式
OS的核心部分驻留在一台主机上,而从机上只是用户程序,进程调度只由主机执行。主机中保持有一个就绪队列。
每当从机空闲时向主机发一索求进程信号,然后等待主机分配进程。
优点是系统处理比较简单,缺点是处理靠一台主机导致不可靠。(克服缺点的方法是利用多台而非一台管理系统) - 进程(线程)调度方式
自调度(Self-Scheduling)方式
成组调度(Gang Scheduling)方式
专用处理器(Dedicated Processor Assignment)分配方式
四、产生死锁的原因和必要条件
死锁(Deadlock):
指多个进程在运行过程中,因争夺资源而造成的一种僵局。当进程处于这种状态时,若无外力作用,它们都将无法再向前推进。
死锁(Deadlock): 指进程之间无休止地互相等待!
饥饿(Starvation):指一个进程无休止地等待!
产生死锁的原因:
1、竞争资源。系统中供多个进程共享的资源如打印机、公用队列等的数目不满足需要时,会引起资源竞争而产生死锁。
2、进程间推进顺序非法。进程在运行过程中,请求和释放资源的顺序不当,同样会导致死锁。
产生死锁的必要条件:
1、互斥条件:进程对所分配到的资源进行排他性使用
2、请求和保持条件:进程已经保持了至少一个资源,又提出新的资源请求,而新请求资源被其他进程占有只能造成自身进程阻塞,但对自己已获得的其他资源保持不放,必然影响其他进程。
3、不剥夺条件:进程已获得的资源未使用完之前不能被剥夺,只能在使用完时由自己释放。
4、环路等待条件
五、预防死锁的方法
1、事先预防:
预防死锁
设置限制条件,破坏四个必要条件的一个或几个,预防发生死锁。
较易实现。限制条件的严格也会导致系统资源利用率和系统吞吐量降低。
避免死锁
不须事先限制,破坏四个必要条件,而是在资源的动态分配过程中,用某种方法去防止系统进入不安全状态,从而避免发生死锁。
这种事先加以较弱限制的方法,实现上有一定难度,但可获较高的资源利用率及系统吞吐量,目前在较完善的系统中,常用此方法来避免发生死锁。
2、事后处理:
检测死锁。
允许系统运行过程中发生死锁,但通过系统检测机构可及时的检测出,能精确确定与死锁有关的进程和资源;然后采取适当的措施,从系统中将已发生的死锁清除掉。
解除死锁。
与死锁检测配套的一种措施。
常用的实施方法:撤销或挂起一些进程,以便回收一些资源并将他们分配给已阻塞进程,使之转为就绪以继续运行。
死锁的检测与解除措施,有可能使系统获得较好的资源利用率和吞吐量(死锁几率不一定很高),但在实现上难度也最大。
六、死锁的检测与解除
当系统为进程分配资源时,若未采取任何限制性措施,则系统必须提供检测和解除死锁的手段,为此系统必须:
保存有关资源的请求和分配信息;
提供一种算法,以利用这些信息来检测系统是否已进入死锁状态。
死锁的检测时机:
当进程等待时检测死锁
定时检测
系统资源利用率下降时检测死锁
死锁检测算法:
- 每个进程和资源指定唯一编号
- 设置一张资源分配表
记录各进程与其占用资源之间的关系 - 设置一张进程等待表
记录各进程与要申请资源之间的关系
死锁的解除
1、剥夺资源。从其他进程剥夺足够数量的资源给死锁进程以解除死锁状态。
2、撤销进程。最简单的是让全部进程都死掉;温和一点的是按照某种顺序逐个撤销进程,直至有足够的资源可用,使死锁状态消除为止。
例:
设系统中仅有一类独占资源,进程一次只能申请一个资源,系统中有多个进程竞争该类资源。试判断下述哪些情况会发生死锁?为什么?
平均分到每个进程maxneed-1个后,能否有执行序列
资源数为4,进程数为3,每个进程最多需要2个资源;
资源数为6,进程数为2,每个进程最多需要4个资源;
资源数为8,进程数为3,每个进程最多需要3个资源;
资源数为20,进程数为8,每个进程最多需要2个资源;