0%

2.2处理机调度

调度的概念、层次

调度的概念

在处理机调度是对处理机进行分配,即从就绪队列中按照一定的算法选择一个进程并将处理机分配给它运行,以实现进程并发地执行。

处理机调度是多道程序操作系统的基础,是操作系统设计的核心问题。

调度的层次

视频讲解:三种调度层次

作业调度(高级调度)

按照一定原则从外村上处于后备队列的作业中选择一个(或多个),给它分配内存等必要资源,并建立相应的进程(建立PCB),以使它获得竞争处理机资源的权利

作业调度是外存和内存之间的调度。每个作业只调入一次、调出一次。作业调度时建立相应的PCB;作业调出时撤销相应的PCB。

内存调度(中级调度)

可以将暂时不能运行的进程调入外存等待。这些进程会进入“挂起状态”,其PCB仍然常驻在内存,被放入到挂起队列中。其目的是提高内存利用率和系统吞吐量

通过中级调度来决定将哪个处于挂起状态的进程重新调入内存中

进程调度(低级调度)

按照某种方法和策略从就绪队列中选择一个进程,将处理机分配给它。

进程调度是操作系统中最基本的一种调度。其频率很高,一般几十毫秒一次。

调度发生在 进程状态变化
高级调度 外存→内存(面向作业) 无→创建态→就绪态
中级调度 外存→内存(面向进程) 挂起态→就绪态(阻塞挂起→阻塞态)
低级调度 内存→CPU 就绪态→挂起态

调度的时机、切换与过程

调度器/调度程序

就绪态与运行态之间的相互切换由调度程序引起并决定。

  • 让谁运行:调度程序

  • 运行多久:时间片大小

进程调度的时机

视频讲解:进程调度的时机

需要进行进程调度的情况

  • 当前进程主动放弃处理机资源

    • 进程正常中止

    • 进程出现异常终止

    • 进程主动请求阻塞

  • 当前进程被动放弃处理机资源

    • 分配的时间片用完

    • 有更紧急的事件要处理(如I/O中断)

    • 有更高优先级的进程进入就绪队列

不能进行进程调度与切换的情况

  • 在处理中断的过程中

  • 进程处于操作系统内核程序临界区中(视频讲解:)

  • 在进行原子操作的过程中(原语)。

临界资源:一个时间段内只允许一个进程使用的资源,各进程需要互斥地访问临界资源。

临界区:访问临界资源的那段代码。

内核程序临界区:一般是用于访问内核数据结构的,例如进程的就绪队列。

进程调度的方式

非剥夺调度方式(非抢占方式)

只允许进程主动放弃处理机资源。即便有更高优先级的任务到达,也要等待当前进程主动终止或进入阻塞态。

  • 实现简单,系统开销小

  • 无法及时处理紧急任务

剥夺调度方式(抢占方式)

当有更重要的任务需要使用处理机时,立即暂停当前正在执行的进程,将处理机资源给更紧迫的任务。

  • 可以优先处理更紧急的任务

  • 可以让各进程按照时间片轮流执行

  • 适用于分时操作系统、实时操作系统

进程的切换与过程

狭义的进程调度与进程切换

狭义的进程调度:从就绪队列中选中一个要运行的进程。这个进程可以是刚刚被暂停执行的进程,也可以是另一个进程,后者就需要进程切换

进程切换:一个进程让出处理机,由另一个进程占用处理机的过程。

广义的进程调度包含了选择进程和进程切换两个步骤。

进程切换中实现了什么

  • 对原来进程的各种数据进行保存

  • 对新的进程进行各种数据的恢复

进程的切换是有代价的,过于频繁的进行进程的调度、切换会使得操作系统的效率降低。

闲逛进程

用于占位

  • 优先级最低

  • 是0地址指令,在指令周期末尾检查中断

进程调度的基本准则

CPU利用率

设备利用率同理

系统吞吐量

周转时间

周转时间,是指从作业提交给系统开始,到作业完成这段时间的时间间隔。包括作业等待、在就绪队列中排队、在处理机上运行、进行输入/输出操作所所花费时间的总和。

视频讲解:理解带权周转时间

  • 带权周转时间必然≥1

  • 带权周转时间越小越好

等待时间

等待时间,指的是进程/作业处于等待处理机状态时间之和,等待时间越长,用户满意度越低。

作业等待I/O设备的时间进程也在被服务,不计入等待时间。

还要加上作业在外存后备队列中等待被调度的时间。

响应时间

响应时间,指从用户提交请求首次响应所用的时间。


举例:计算平均周转时间

视频讲解


典型的调度算法

饥饿:某个进程/作业长期得不到服务

先来先服务调度算法(FCFS,First Come First Serve)

算法思想

主要从“公平”的角度考虑

作业规则

按照作业/进程到达的先后顺序进行服务,即等待时间越久的进程/作业越优先得到服务

用于作业/进程调度

用于作业调度时,考虑的是哪个作业先到达后备队列

用于进程调度时,考虑的是哪个进程先到达就绪队列

是否可抢占

非抢占式算法

优缺点

  • 优点

    • 公平

    • 算法实现简单

  • 缺点

    • 排在长作业后的短作业需要等待很长的时间,带权周转时间很大

即:FCFS对长作业有利,对短作业不利

视频讲解:缺点的感性理解,带权时间大

是否会导致饥饿

不会

短作业优先调度算法(SJF,Shortest Job First)

算法思想

追求最少的平均等待时间,最少的平均周转时间、最少的平均带权周转时间

算法规则

最短的作业/进程优先得到服务

用于作业/进程调度

既可用于作业调度,也可用于进程调度。用于进程调度时称为短进程优先(SPF, Shortest Process First)算法

是否可抢占

SJF和SPF是非抢占式的算法,同时也有抢占式的最短剩余时间优先调度算法(SRTN,Shortest Reamaining Time First Next)

调度的点:

  1. 就绪队列改变需要进行调度
  2. 进程完成时

优缺点

  • 优点

    • “最短的”平均等待时间、平均周转时间
  • 缺点

    • 不公平

    • 对短作业有利,对长作业不利

    • 可能产生饥饿现象

    • 作业/进程的运行时间是由用户提供的,不一定能做到真正的短作业优先

是否会导致饥饿

  1. 题目中未特别说明,短作业/进程优先算法默认是非抢占式

  2. SJF调度算法的平均等待时间、平均周转时间最少 ❌

  3. 在所有进程同时到达,采用SJF调度算法的平均等待时间、平均周转时间最少 ✔

  4. 抢占式的短作业/进程优先调度算法(最短剩余时间优先,SRNT算法)的平均等待时间、平均周转时间最少 ✔

  5. 虽然严格来说,SJF的平均等待时间、平均周转时间并不一定最少,但相比于其他算法(如FCFS),SJF依然可以获得较少的平均等待时间、平均周转时间

  6. 如果选择题中遇到 “SJF算法的平均等待时间、平均周转时间少” 的选项,那最好判断其他选项是不是有很明显的错误,如果没有更合适的选项,那也应该选择该选项

高响应比优先

算法思想

要综合考虑作业/进程的等待时间和要求服务的时间

算法规则

在每次调度时先计算各个作业/进程的响应比,选择响应比最高的作业/进程为其服务

是否可抢占

非抢占式的算法。只有当前运行的作业/进程主动放弃处理机时,才需要调度,才需要计算响应比

优缺点

  • 综合考虑了等待时间和运行时间(要求服务时间)

    • 等待时间相同时,要求服务时间短的优先

    • 要求服务时间相同时,等待时间长的优先

  • 对于长作业而言,等待时间越长响应比越高,避免了饥饿问题

是否会导致饥饿

不会

时间片轮转调度算法(RR,Round-Robin)

算法思想

公平地、轮流地为各个进程服务,让每个进程在一定时间间隔内都可以得到响应。

算法规则

按照各进程到达就绪队列的顺序,轮流让各个进程执行一个时间片。若进程未在一个时间片内执行完, 则剥夺处理机,将进程放到就绪队列队尾重新排队。如果一个进程在一个时间片内执行完且时间片还有剩余,则从就绪队列中选择下一个进程上处理机

用于作业/进程调度

用于进程调度(只有作业放入内存建立了相应的进程后,才能被分配处理机时间片)

是否可抢占

若进程未能在时间片内运行完,将被强行剥夺处理机使用 权,因此时间片轮转调度算法属于抢占式的算法。由时钟装置发出时钟中断来通知CPU时间片已到。

优缺点

  • 优点

    • 公平

    • 响应快

    • 适用于分时操作系统

  • 缺点

    • 高频率的进程调度会有一定的开销

    • 不能区分任务的紧急程度

是否会导致饥饿

不会

时间片太大:每个进程在一个时间片内完成,退化成先来先服务调度算法,增大进程响应时间

时间片太小:频繁的进程切换会造成较大的系统开销,导致实际用于进程执行的时间减少


举例:

  1. 进程的周转时间 = 进程的完成时间 - 进程的抵达时间

  2. 非抢占的短进程优先的优先级:抵达时间>进程耗时,

    首先先抵达的进程先执行,如果有两个进程同时得到了获得处理器的机会,耗时短的进程先执行

  3. 抢占的短进程优先级:进程耗时>抵达时间

    不论抵达时间,只要这个进程时间短就先执行

img
img

优先级调度算法

算法思想

随着计算机的发展,特别是实时操作系统的出现,越来越多的应用场景需要根据任务的紧急程度来决定处理顺序。

算法规则

每个作业/进程有各自的优先级,调度时选择优先级最高的作业/进程。

用于作业/进程调度

既可用于作业调度,也可用于进程调度,还可用于I/O调度中。

是否可抢占

  • 非剥夺式优先级调度算法:在进程主动放弃处理机时进行调度(非抢占的)

  • 剥夺式优先级调度算法:还需要在就绪队列变化时,检查是否会发生抢占(抢占的)

优缺点

  • 优点

    • 用优先级区分紧急程度、重要程度

    • 适用于实时操作系统

    • 可以灵活的调整各种作业、进程的偏好程度

  • 缺点

    • 若不断地有高优先级进程到来,可能会导致饥饿

是否会导致饥饿

静态优先级:进程创建时确定优先级,一直不变

动态优先级:创建进程时有一个初始值,之后视情况动态的调整优先级

  • 系统进程优先级高于用户进程

  • 前台进程优先级高于后台进程

  • 操作系统更偏好I/O型进程,原因如下图

多级队列调度算法

算法规则:

  • 将进程划分为多个队列,例如系统进程、交互式进程、批处理进程......

  • 进程创建成功后插入到某个队列中

  • 队列之间

    • 固定优先级:高优先级队列空时低优先级才能被调度

    • 时间片划分:各自分配不同百分比的时间片

  • 队列内部:不同的队列可以采取不同的调度策略

多级反馈队列调度算法

视频讲解演示

算法思想

对其他调度算法的折中权衡

算法规则

  1. 设置多级就绪队列,各级队列优先级从高到低,时间片从小到大

  2. 新进程到达时先进入第1级队列,按FCFS原则排队等待被分配时间片,若用完时间片进程还未结束,则进程进入下一级队列队尾。如果此时已经是在最下级的队列,则重新放回该队列队尾

  3. 只有第k级队列为空时,才会为k+1级队头的进程分配时间片

用于作业/进程调度

用于进程调度

是否可抢占

抢占式的算法。在k级队列的进程运行过程中,若更上级的队列 (1~k-1级)中进入了一个新进程,则由于新进程处于优先级更高的队列中,因此新进程会抢占处理机,原来运行的进程放回k级队列队尾。

优缺点

  • 对各类型进程相对公平(FCFS的优点);

  • 每个新到达的进程都可以很快就得到响应(RR的优点);

  • 短进程只用较少的时间就可完成非(SPF的优点);

  • 不必实现估计进程的运行时间(避免用户作假);

  • 可以灵活的调整对各类进程的偏好程度

是否会导致饥饿


举例:

题1:计算进程周转时间

题2:不同调度算法对比:

分析:

CPU繁忙型:类似与长作业,需要占用CPU较长时间,而很少I/O

I/O繁忙型:频繁访问I/O端口,频繁放弃CPU,所以占用CPU时间不长,而一旦放弃就必须重新排队等待调度

时间片轮转调度:无论对于长作业还是短作业分配的时间片都一样,所以几乎没区别

先来先服务:适合CPU繁忙型,不适合I/O繁忙型

短作业优先:适合I/O繁忙型

优先级调度:根据优先级,而优先级与时间无必然关系


上下文及其切换机制

红色部分是进程/线程切换时需要保存/恢复的上下文

进程的上下文切换

进程切换导致的地址空间代价巨大:

  • 保存/恢复页表寄存器

  • TLB全部失效

  • Cache全部失效,有可能需要Cache写回

  • 新进程运行初期可能缺页率高,需要I/O操作