第三章 处理机调度与死锁
3-1 处理机调度
1、引入
处理机调度:多道程序环境下,动态的把处理机分配给就绪队列中的一个进程使之执行。
提高处理机的利用率、改善系统性能,很大程度上取决于处理机调度的性能。
处理机调度便成为OS设计的中心问题之一。分配的任务由处理机调度程序完成。
2、处理机调度的基本概念
作业进入系统驻留在外存的后备队列上,再至调入内存运行完毕,可能要经历下述三级调度。
高级调度(High Scheduling)
又称作业调度或长程调度(Long-Term Scheduling),接纳调度(Admission Scheduling)
主要在早期批处理阶段,处理在外存上的作业。
决定外存后备队列中的哪些作业调入内存;
为它们创建进程、分配必要的资源;
将新创建的进程排在就绪队列上,准备执行。
*管理的方面比较多。
* 作业调度决定的细节
在每次执行作业调度时,都须作出两个决定:
接纳多少作业——取决于多道程序度。应根据系统的规模和运行速度等情况综合考虑。
接纳哪些作业——取决于采用的调度算法。如先来先服务,短作业优先等(后面详细介绍)
* 系统运行并不一定存在高级调度
批处理系统:作业进入系统后先驻留外存,故需要有作业调度。
分时系统:为及时响应,作业由终端直接送入内存,故不需作业调度。
实时系统中,通常也不需作业调度。
中级调度(Intermediate-Level Scheduling)
又称交换调度或中程调度(Medium-Term Scheduling)
引入目的:提高内存利用率和系统吞吐量。根据条件将一些进程调出或再调入内存。
低级调度(Low Level Scheduling)
也称为进程调度、微观调度或短程调度(Short-Term Scheduling)
决定内存就绪队列中的哪个进程获得处理机,进行分配工作。是最基本的一种调度,在三种基本OS中都有。
进程调度方式
1)非抢占方式(Non-preemptive Mode)
一旦处理机分配给某进程,该进程一直执行。决不允许其他进程抢占已分配运行进程的处理机。
2)抢占方式(Preemptive Mode)
允许调度程序根据某种原则,暂停某个正在执行的进程,将处理机重新分配给另一进程。
调度程序的任务职能:调度和分派。
(1) 记录系统中所有进程的有关情况
(2) 确定分配处理机的原则
(3) 分配处理机给进程
(4) 从进程收回处理机
三种调度的频率和复杂度
进程调度:运行频率最高,算法不能太复杂,以免占用太多的CPU时间。分时系统通常10~100ms便进行一次。
作业调度:一个作业运行完毕退出系统时即触发重新调度一个新作业入内存,周期较长,大约几分钟一次。因而也允许作业调度算法花费较多的时间。
中级调度:运行频率基本上介于上述两种调度之间。
调度类型 | 运行频率 | 运行时间 | 算法复杂性 |
进程调度 | 高 | 短 | 低 |
中程调度 | 中等 | 较短 | 中等 |
作业调度 | 低 | 长 | 高 |
3、调度队列模型
不论高级、中级或者低级调度,都涉及到进程队列,由此形成了三类调度队列模型。从这三种方式中体验调度的过程。
①仅有进程调度的调度队列模型
②具有高级和低级调度的调度队列模型
③同时具有三级调度的调度队列模型
1)仅有进程调度的调度队列模型
常见情况:
分时系统。
通常仅设置进程调度,用户键入的命令和数据,都直接送入内存。
调度对象:
处于就绪状态的进程。
组织形式:
栈、树或一个无序链表
用何种形式取决于OS类型和采用的调度算法。如:分时系统中把就绪进程组织成FIFO队列形式:按时间片轮转方式运行。
进程调度过程如下图:
2)具有高级和低级调度的调度队列模型,批处理系统中,还需要作业调度
3)同时具有三级调度的调度队列模型
引入中级调度后,进程的状态变化:
就绪状态:分为内存就绪和外存就绪。
阻塞状态:分为内存阻塞和外存阻塞。
中级调度使进程在上述状态间变化,并使数据在内外存间互换。
4、选择调度方式和调度算法的若干准则
什么算法是好算法?
不同的情况和对象需求不同,适用的方式和算法也不同。
1)面向用户的准则
周转时间短:
针对批处理系统的性能指标。作业从提交到完成所经历的时间。
CPU执行用时Ts
总的等待时间Tw = 在后备队列中等待 + 就绪队列上等待+ 阻塞队列中等待(等待I/O操作用时)
周转时间T=Ts+Tw
带权周转时间W= T/Ts
平均周转时间、平均带权周转时间(n个作业求平均)
响应时间快:针对分时系统。用户输入一个请求(如击键)到系统给出首次响应(如屏幕显示)的时间
均衡性:系统响应时间的快慢与用户所请求的复杂性相适应。
截止时间的保证:针对实时系统的性能指标。开始截止时间和完成截止时间。任务必须按规定的时间开始或完成,调度方式和算法必须能保证该要求。
优先权准则:三大基本OS在调度算法的选择时都可遵循。可以使关键任务达到更好的指标。
2)面向系统的准则
系统吞吐量高:批处理系统的重要指标。
单位时间内所完成的作业数,跟作业本身(与作业平均长度密切相关)和调度算法都有关系;
处理机利用率好(主要针对大中型主机)
各类资源的平衡利用(主要针对大中型主机)
不同系统需求各有侧重
*批处理系统
平均周转时间短
系统吞吐量高
处理机利用率好
*分时系统
响应时间快
均衡
*实时系统
截至时间的保证
可预测性
作业调度相关内容
作业(Job):
高级调度的基本单位,包括程序、数据及作业说明书,系统根据作业说明书控制程序的运行。
作业步(Job Step):
完成作业任务的每一个加工步骤称为一个作业步。
作业控制块(JCB):
作业标识,用户名称,用户帐户;作业类型(CPU忙型、I/O忙型、终端型等);作业状态,调度信息,资源需求;进入系统时间,开始处理时间,作业完成时间,作业退出时间;资源使用情况等。
作业一般有三种状态:
后备、运行(即已成为就绪进程,转入进程调度)和完成。
调度上:
用户期望自己的作业周转时间尽可能少;系统期望作业的平均周转时间尽可能少。
3-2常用调度算法
1、引入
调度的实质就是一种资源分配。不同的系统和系统目标,通常采用不同的调度算法——适合自己的才是最好的。
如批处理系统为照顾为数众多的短作业,应采用短作业优先的调度算法;
如分时系统为保证系统具有合理的响应时间,应采用轮转法进行调度。
目前存在的多种调度算法中,有的算法适用于作业调度,有的算法适用于进程调度;但有些算法作业调度和进程调度都可以采用。
2、先来先服务调度算法FCFS(First Come First Service)
一种最简单的调度算法,按先后顺序进行调度。既可用于作业调度,也可用于进程调度。
按照作业提交,或进程变为就绪状态的先后次序分派CPU;
新作业只有当当前作业或进程执行完或阻塞才获得CPU运行
被唤醒的作业或进程不立即恢复执行,通常等到当前作业或进程出让CPU。 (所以,默认即是非抢占方式)
* 不利于短作业(进程)
时间分析举例:
进程 名称 | 到达 时间 | 执行 时间 长度 | 开始 时间 | 完成 时间 | 周转 时间 长度 | 带权 周转 时间 |
| a | b | c | d=c+b | t=d-a | w=t/c |
A | 0 | 1 | 0 | 1 | 1 | 1 |
B | 1 | 100 | 1 | 101 | 100 | 1 |
C | 2 | 1 | 101 | 102 | 100 | 100 |
D | 3 | 100 | 102 | 202 | 199 | 1.99 |
不足:短作业C的带权周转时间竟高达100,这是不能容忍的;而长作业D的带权周转时间仅为1.99。
关于应用:有利于CPU繁忙型的作业,而不利于I/O繁忙的作业(进程)。
从程序规模上看,一般I/O繁忙型作业CPU进行处理的用时相对比较短,CPU繁忙型的作业相对较长。而FCFS不利于短作业,I/O繁忙型作业一旦排队靠后就会处于劣势。
另一方面,I/O繁忙型作业需频繁的请求I/O,即使排队靠前,但由于I/O请求阻塞,重新排队可能就会排到队尾(这一情况在其他算法下也是普遍的,但不同的算法,排队情况不同,相对的在照顾公平性上也会有所不同)。
目前大多数事务处理都属于I/O繁忙型作业。
3. 短作业(进程)优先调度算法SJF/SPF
优点:
通过上表可见采用SJF/SPF算法,平均周转时间、平均带权周转时间都有明显改善。SJF/SPF调度算法能有效的降低作业的平均等待时间,提高系统吞吐量。
方式:
分抢占和非抢占两种方式,上例为简单的非抢占式。
进程调度描述工具
Gantt(甘特)图:常用水平线段来描述每个进程的进度。可以表示每个进程的开始时间和完成时间,线段的长度表示进程完成所需要的时间。
Gantt chart:
Process | Run time |
P1 | 12 |
P2 | 5 |
P3 | 7 |
P4 | 3 |
SJF/SPF的不足:
1. 对短作业有利,但同时造成了对长作业的不利。
2.由于作业(进程)的长短含主观因素,不一定能真正做到短作业优先。
3.未考虑作业的紧迫程度,因而不能保证紧迫性作业(进程)的及时处理。
3. 高优先权优先调度算法HPF Highest Priority First
照顾紧迫性作业,使其获得优先处理而引入调度算法。常用于批处理系统中的作业调度算法,以及多种操作系统中的进程调度算法
1) 分两种方式:
非抢占式优先权算法
抢占式优先权算法 关键点:新作业产生时
2)优先权的类型
静态优先权:创建进程时确定,整个运行期间保持不变。一般利用某一范围的一个整数来表示,又称为优先数。
动态优先权:创建进程时赋予的优先权可随进程的推进或随其等待时间的增加而改变。
关于进程优先权的确定?依据如下:
1)进程类型:一般来,系统进程高于用户进程。
2)进程对资源的需求:如进程的估计时间及内存需要量的多少,对要求少的进程赋予较高优先权。
3)用户要求:由用户进程的紧迫程度及用户所付费用的多少来确定优先权的。
3)高响应比优先调度算法HRRN Highest Response Raito Next
短作业优先算法是一种比较好的算法(相当于根据作业长度设定的静态优先权算法),适用于短作业较多的批处理系统中,其主要不足是长作业的运行得不到保证。
HRRN为每个作业引入动态优先权,使作业的优先级随着等待时间的增加而以速率a提高:
优先权 =(等待时间+要求服务时间)/要求服务时间 = 响应时间 / 要求服务时间
3. 基于时间片的轮转调度算法RR (Round Robin)
分时系统新需求:及时响应用户的请求;采用基于时间片的轮转式进程调度算法。
早期分时系统采用的是简单的时间片轮转法,进入90年代后广泛采用多级反馈队列调度算法。
下面分开介绍这两种方法并比较性能。
(1)时间片轮转算法
1.将系统中所有的就绪进程按照FCFS原则,排成一个队列。
2.每次调度时将CPU分派给队首进程,让其执行一个时间片。时间片的长度从几个ms到几百ms。
3.在一个时间片结束时,发生时钟中断。
4.调度程序据此暂停当前进程的执行,将其送到就绪队列的末尾,并通过上下文切换执行当前就绪的队首进程。
进程阻塞情况发生时,未用完时间片也要出让CPU
能够及时响应,但没有考虑作业长短等问题。
关于时间片长度
时间片长度的选择要与完成一个基本的交互过程所需的时间相当,保证一个基本的交互过程可在一个时间片内完成。
设置不合适反而都会导致响应时间长。
过长会怎样?——FCFS
过短会怎样?——频繁切换
影响时间片长度的主要因素
系统的处理能力和系统的负载状态。(依据系统的处理能力确定时间片长度,使用户输人通常在一个时间片内能处理完,否则使响应时间、平均周转时间和平均带权周转时间延长。为了保证不同负载状态下用户交互的响应时间,需要对时间片长度进行适当调整。 )
(2)多级反馈队列算法FB(Multiple-level Feed Back Queue)
特点:多个就绪队列,循环反馈、 动态优先级、时间片轮转
1)设置多个就绪队列,各队列有不同的优先级,优先级从第一个队列依次降低。
2) 赋予各队列进程执行时间片大小不同, 优先权越高,时间片越短。
3)当一个新进程进入内存,引发的调度过程
1.准备调度:先将它放入第一个队列的末尾,按FCFS原则排队等待调度。
2.IF时间片内完成,便可准备撤离系统;
3.IF时间片内未能完成,调度程序便将该进程转入第二队列的末尾等待再次被调度执行。
4.当第一队列中的进程都执行完,系统再按FCFS原则调度第二队列。在第二队列的稍放长些的时间片内仍未完成,再依次将它放入第三队列。
5.依次降到第n队列后,在第n队列中便采取按时间片轮转的方式运行。
注意:
各队列的时间片逐渐增大。优先级逐渐降低
仅当优先权高的队列(如第一队列)空闲时,调度程序才调度第二队列中的进程运行;仅当第1~(i-1)队列均空时,才会调度第i队列中的进程运行。
高优先级抢占问题:
第i队列中为某进程正占有CPU,又有新进程进入优先权较高的队列(第1~i-1队中);
被抢占的进程放回原就绪队列末尾;
* 多级反馈队列调度算法的性能 *
多级反馈队列调度算法具有较好的性能,能较好的满足各种类型用户的需要。
终端型作业用户。大多属于较小的交互性作业,只要能使作业在第一队列的时间片内完成,便可令用户满意。
短批处理作业用户。周转时间仍然较短,至多在第二到三队列即可完成。
长批处理作业用户。将依次在1~n级队列中轮转执行,不必担心作业长期得不到处理。
算法名称 | 特点 | 方式 |
FCFS | 最简单 不利于短作业 | 非抢占 |
SJF/SPF | 照顾平均周转时间 不适于长作业 | 非抢占/抢占 |
HPF/HRRN | 优先权考虑全面 | 非抢占/抢占 |
RR | 及时响应 简单 | 时间片抢占 |
FB | 最综合的一种算法 | 时间片抢占/ 立即抢占 |