第二章 进程与线程(二)

处理机调度

当有一堆任务要处理，但由于资源有限，这些事情没法同时处理。这就需要确定某种规则来处理这些任务的顺序，这就是“调度”研究的问题。

调度的三个层次

• 高级调度(作业调度)：按一定的原则从外存的作业后备队列中挑选一个作业调入内存，并创建进程。每个作业只调入一次，调出一次，作业调入时会创建PCB，调出时才撤销PCB。
  作业：一个具体的任务。用户向系统提交一个作业 = 用户让操作系统启动，一个程序(来处理一个具体任务)。

• 低级调度(进程调度/处理机调度)：按照某种策略从就绪队列中选取一个进程，将处理机分配给它。进程调度是操作系统中最基本的一种调度，在一般的操作系统中都必须配置进程调度。进程调度的频率很高，一般几十ms一次。

• 中级调度(内存调度)：指按照某种策略决定将哪个处于挂起状态的进程重新调入内存。
  内存不够时，可将某些进程的数据调出外存。等内存空闲或者进程需要运行时再重新调入内存。暂时调到外存等待的进程状态为挂起态，被挂起的进程PCB会被组织成挂起队列。

高级调度：外存–>内存(面向作业)，发生频率最低
中级调度：外存–>内存(面向进程)，发生频率中等
低级调度：内存–>CPU，发生频率最高

进程调度的时机

需要进行切换与调度

• 当前运行的进程主动放弃处理机：进程正常终止；运行过程中发生异常而终止；进程主动请求阻塞。
• 当前运行的进程被主动放弃处理机：分给进程的时间片用完，有更紧急的事需要处理(如I/O中断)；有更高优先级的进程进入就绪队列。

不能进行切换于调度

• 在处理中断的过程中，中断处理过程复杂，与硬件密切相关，很难做到中断过程中进行进程切换。
• 进程在操作系统内核程序临界区中。在普通的临界区中可以切换与调度。
• 在原子操作过程中。原子操作不可中断，要一气呵成。
  临界资源：一个时间段内只允许一个进程使用的资源。各进程需要互斥地访问临界资源。
  临界区：访问临界资源地那段代码。
  内核程序临界区：一般是用来访问某种内核数据结构地。比如进程的就绪队列。

进程调度的方式

• 非剥夺调度方式(非抢占式方式)：只允许进程主动放弃处理机。在运行过程中即便有更紧急的任务到达，当前进程依然会继续使用处理机，知道进程终止或主动进入阻塞态。这种方式实现简单，系统开销小，但无法及时处理紧急任务，适用于早期批处理系统。
• 剥夺调入方式(抢占式方式)：当一个进程在处理机上运行时，如果有一个更重要的进程需要使用处理机，则立即暂停正在执行的进程，将处理机分配给更重要的那个进程。这种方式可以优先处理更紧急的进程，也可以实现让各进程按时间片轮流执行的功能。适用于分时操作系统，实时操作系统。

进程的切换与过程

进程切换是指一个程序让出处理机，由另一个进程占用处理机的过程。
进程切换的过程主要完成了：1.对原来运行进程各种数据的保存。2.对新的进程各种数据的恢复.

调度器/调度程序

就绪态和运行态的转换由调度程序引起，调度程序决定。
能触发调度程序的进程：1.创建新进程。2.进程退出。3.运行进程阻塞。4.I/O中断发生。
非抢占式调度策略：只有运行进程阻塞或退出才能触发调度程序工作。
抢占式调度策略：每个时钟中断或K个时钟中断会触发调度程序工作。

闲逛进程

没有其他就绪进程时，运行闲逛程序。不能让CPU闲着！
特性：优先级最低。可以是0地址指令，占一个完整的指令周期(指令周期末尾例行检查中断)，能耗低。

调度算法的评价指标

• CPU利用率：忙/总

• 系统吞吐量：单位时间内完成作业的数量。总共完成的作业/时间。

• 周转时间：从作业被提交给系统开始，到作业完成为止的时间间隔。
  平均周转时间：各作业周转时间之和 / 作业数。
  带权周转时间：作业周转时间 / 作业实际运行时间。

• 等待时间：进程或作业处于等待处理机状态时间之和。
  对于进程来说：等待时间是指进程建立之后等待被服务的时间，在等待I/O完成的期间其实也在被服务，所以不计入等待时间。
  对于作业来说：不仅要考虑建立进程后的等待时间，还要加上作业在外存后备队列中等待的时间。

• 响应时间：从用户提出请求到首次产生相应所用的时间。

调度算法

先来先服务FCFS

• 算法思想：主要从“公平”的角度考虑。
• 算法规则：按照作业/进程到达的先后顺序进行服务。
• 用于作业调度时，考虑的是哪个作业先到达后备队列；用于进程调度时，考虑的是哪个进程先到达就绪队列。
• 非抢占式算法。
• 优点：公平，算法实现简单。
• 缺点：排在长作业/进程后面的短进程需要等待时间很长，带权周转时间很大，对短作业来说用户体验不好。
• 不会导致饥饿

短进程优先SJF

• 非抢占式(短作业/进程优先调度算法SPF)：每次调度时选择当前已到达且运行时间最短的作业/进程。
• 抢占式(最短剩余时间优先算法SRTN)：每当有进程加入就绪队列改变时就需要调度，如果新到达的进程剩余时间比当前运行的进程剩余时间更短，则由新进程抢占处理机，当前运行的进程重新回到就绪队列。当一个进程完成时也需要调度。
• 算法思想：追求最少的平均等待时间，最少的平均周转时间，最少的平均带权周转时间。
• 算法规则：服务时间最短的作业/进程优先得到服务。
• 既可用于作业调度也可用于进程调度。用于进程时是SPF。
• SJF和SPF是非抢占式版本，SRTN是抢占式版本。
• 优点：“最短的”平均等待时间，平均周转时间
• 缺点：不公平，对短作业有利，对长作业不利。可能会产生饥饿现象。作业/线程的运行时间是由用户提供的，并不一定真实，不一定能做到真正的短作业优先。
• 如果源源不断地产生短作业/进程到来，可能使长作业/进程长时间得不到服务，产生饥饿现象。

高响应比优先HRRN
响应比 = (等待时间 + 要求服务时间) / 要求服务时间
非抢占式地调度算法，只有当前运行地进程主动放弃处理机时，才需要进行调度。调度时计算所有就绪进程地响应比，选择响应比最高地进程上处理及运行。

• 算法思想：要综合考虑作业/进程的等待时间和要求服务时间
• 算法规则：在每次调度时先计算各个作业/进程的响应比，选择响应比最大的作业/进程为其服务
• 既可用于作业调度 也可用与进程调度。
• 非抢占式算法，只有当前作业/进程主动放弃处理机时，才需要调度，才需要计算响应比。
• 综合考虑了等待时间和运行时间。等待时间相同时，要求服务时间短的优先；要求服务时间相同时，等待时间长的优先。对于长作业来说，随着等待的时间越来越久，响应比越来越大，从而避免了长作业饥饿的问题。
• 不会导致饥饿。

以上三种算法主要关心对用户的公平性，平均周转时间，平均等待时间等评价系统整体的性能指标，但不关心“响应时间”，也不区分紧急任务，因此交互性很差，只适用于早期的批处理系统。

时间片流转算法RR
轮流让就绪队列中的进程依次执行一个时间片(每次选择的都是排在就绪队列对头的进程)，常用于分时系统，注重响应时间而不计算周转时间。

• 算法思想：公平地，轮流地为各个进程服务，让每个进程在一定时间间隔内都可以得到响应。

• 算法规则：按照各进程到达就绪队列的顺序，轮流让各个进程执行一个时间片。若进程未在一个时间片内执行完，则剥夺处理机，将进程重新放到就绪队列队尾重新排队。

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

• 抢占式算法，由时钟装置发出的时钟中断来通知CPU时间片已到。

• 优点：公平；响应快，适用于分时操作系统；
  缺点：由于高频的进程切换，因此有一定的开销，不区分任务的紧急程度。

• 不会导致饥饿。

• 时间片大小的定义：若时间片太大，使得每个进程在一个时间片内完成，则时间片轮转调度算法退化为FCFS，并且会增大进程的响应时间；若时间片太小，会导致进程切换过于频繁，系统会花费大量的时间来处理进程切换，从而实际用于进程执行的时间比例减少。

优先级调度算法

• 算法思想：随着计算机的发展，特别是实时操作系统的出现，越来越多的应用场景需要根据任务的紧急程度来决定处理顺序。
• 算法规则：调度时选择优先级最高的进程/作业。
• 既用于作业调度也用于进程调度。
• 非抢占式：每次调度时选择当前已到达且优先级最高的进程。当前进程主动放弃处理机时发生调度。
• 非抢占式：当就绪队列发生改变时检查是否发生抢占。
• 优点：用优先级区分紧急程度适用于适用于实时操作系统，可灵活地调整对各种作业/进程机偏好程度。
• 缺点：若源源不断有高优先级的作业/进程到达，会导致饥饿。
• 就绪队列未必只有一个，可以按照不同优先级来组织。也可以把优先级高的进程排在更靠近队头的位置。
• 根据优先级是否可以改变，分为静态优先级和动态优先级。
  静态优先级：创建进程时确定，之后一直不变。
  动态优先级：创建进程时有一个初始值，之后根据情况动态调整。
  如何设置各类进程的优先级：通常，系统进程优先级高于用户进程；前台进程高于后台进程；操作系统更偏好I/O型进程，I/O设备和CPU可以并行工作，如果优先让I/O型进程工作的话，则越有可能让I/O设备尽早地投入工作则资源利用率，系统吞吐量都会得到提升。
  如果采用动态优先级，什么时候调整：可以从追求公平，提升资源利用率等角度考虑。如果某进程在就绪队列中等待了很长时间，则可以适当提升优先级；如果进程占用处理机运行了很长时间，则可以适当降低优先级；如果发现一个进程频繁进行I/O操作，则可以适当提升优先级。

多级反馈多列调度算法

• 算法思想：对其他算法的折中权衡。
• 算法规则：设置多级就绪队列，各级队列优先级从高到低，时间片从小到大。新进程到达第一级就绪队列时，按FCFS原则排队等待被分配时间片，若用完时间片进程还未结束，则进程进入下一级队列队尾，如果此时已经是在最下级的队列，则重新放回该队队尾。只有k级队列为空时才会为k+1级对头的进程分配时间片。
• 用于进程调度。
• 抢占式算法：在k级队列的进程运行过程中，若更上级的队列(1~k-1)级中进入了一个新进程，则由于新进程处于优先级更高的队列中，因此新进程会抢占处理机，原来运行的进程会放回k级队列队尾。
• 优点：对各类进程相对公平，每个进到达的进程都可以很快得到响应；短进程只用较少的时间就可以完成；不必实现估计进程的运行时间，可以灵活的调整对各类进程的偏好程度。
• 会导致饥饿。

多级队列调度算法
系统中按进程类型设置多个队列，进程创建后插入某个队列。

队列之间可采取固定优先级或时间片划分，各队列可采用不同的调度策略。