计算机操作系统 第三章：处理机调度与死锁（2）

目录

3.3  进 程 调 度

3.3.1  进程调度的任务、机制和方式  

3.3.2  轮转调度算法

 3.3.3  优先级调度算法

3.3.4  多队列调度算法

3.3.5  多级反馈队列(multileved feedback queue)调度算法 

3.3.6  基于公平原则的调度算法  

3.4  实 时 调 度

3.4.1  实现实时调度的基本条件

3.4.2  实时调度算法的分类   

 3.4.3  最早截止时间优先EDF(Earliest Deadline First)算法 

 3.4.4  最低松弛度优先LLF(Least Laxity First)算法

 3.4.5  优先级倒置(priority inversion problem)  

---

3.3  进 程 调 度

　　进程调度是OS中必不可少的一种调度。因此在三种类型的OS中，都无一例外地配置了进程调度。此外它也是对系统性能影响最大的一种处理机调度，相应的，有关进程调度的算法也较多。

3.3.1  进程调度的任务、机制和方式  

1. 进程调度的任务
　　进程调度的任务主要有三：
　　(1) 保存处理机的现场信息。
　　(2) 按某种算法选取进程。
　　(3) 把处理器分配给进程。  

2. 进程调度机制
　　为了实现进程调度，在进程调度机制中，应具有如下三个基本部分，如图3-1所示。
　　(1) 排队器。
　　(2) 分派器。
　　(3) 上下文切换器。

 3. 进程调度方式
　　1) 非抢占方式(Nonpreemptive Mode)
　　在采用这种调度方式时，一旦把处理机分配给某进程后，就一直让它运行下去，决不会因为时钟中断或任何其它原因去抢占当前正在运行进程的处理机，直至该进程完成，或发生某事件而被阻塞时，才把处理机分配给其它进程。

2) 抢占方式(Preemptive Mode)
　　这种调度方式允许调度程序根据某种原则，去暂停某个正在执行的进程，将已分配给该进程的处理机重新分配给另一进程。在现代OS中广泛采用抢占方式，这是因为：对于批处理机系统，可以防止一个长进程长时间地占用处理机，以确保处理机能为所有进程提供更为公平的服务。在分时系统中，只有采用抢占方式才有可能实现人—机交互。在实时系统中，抢占方式能满足实时任务的需求。但抢占方式比较复杂，所需付出的系统开销也较大。

3.3.2  轮转调度算法

　　1. 轮转法的基本原理
　　在轮转(RR)法中，系统将所有的就绪进程按FCFS策略排成一个就绪队列。系统可设置每隔一定时间(如30 ms)便产生一次中断，去激活进程调度程序进行调度，把CPU分配给队首进程，并令其执行一个时间片。当它运行完毕后，又把处理机分配给就绪队列中新的队首进程，也让它执行一个时间片。这样，就可以保证就绪队列中的所有进程在确定的时间段内，都能获得一个时间片的处理机时间。

2. 进程切换时机
　　在RR调度算法中，应在何时进行进程的切换，可分为两种情况：① 若一个时间片尚未用完，正在运行的进程便已经完成，就立即激活调度程序，将它从就绪队列中删除，再调度就绪队列中队首的进程运行，并启动一个新的时间片。② 在一个时间片用完时，计时器中断处理程序被激活。如果进程尚未运行完毕，调度程序将把它送往就绪队列的末尾。

3. 时间片大小的确定
　　在轮转算法中，时间片的大小对系统性能有很大的
影响。
　　图3-2示出了时间片大小对响应时间的影响，其中图(a)是时间片略大于典型交互的时间，而图(b)是时间片小于典型交互的时间。图3-3示出了时间片分别为q = 1和q = 4时对平均周转时间的影响。

 

 3.3.3  优先级调度算法

　　1. 优先级调度算法的类型
　　优先级进程调度算法，是把处理机分配给就绪队列中优先级最高的进程。这时，又可进一步把该算法分成如下两种。
　　(1) 非抢占式优先级调度算法。
　　(2) 抢占式优先级调度算法。

2. 优先级的类型
　　1) 静态优先级
　　静态优先级是在创建进程时确定的，在进程的整个运行期间保持不变。优先级是利用某一范围内的一个整数来表示的，例如0～255中的某一整数，又把该整数称为优先数。确定进程优先级大小的依据有如下三个：
　　(1) 进程类型。
　　(2) 进程对资源的需求。
　　(3) 用户要求。

2) 动态优先级
　　动态优先级是指在创建进程之初，先赋予其一个优先级，然后其值随进程的推进或等待时间的增加而改变，以便获得更好的调度性能。

3.3.4  多队列调度算法

　　如前所述的各种调度算法，尤其在应用于进程调度时，由于系统中仅设置一个进程的就绪队列，即低级调度算法是固定的、单一的，无法满足系统中不同用户对进程调度策略的不同要求，在多处理机系统中，这种单一调度策略实现机制的缺点更显突出，由此，多级队列调度算法能够在一定程度上弥补这一缺点

3.3.5  多级反馈队列(multileved feedback queue)调度算法 

1. 调度机制
　　多级反馈队列调度算法的调度机制可描述如下：
　　(1) 设置多个就绪队列。
　　图3-4是多级反馈队列算法的示意图。

 (2) 每个队列都采用FCFS算法。当新进程进入内存后，首先将它放入第一队列的末尾，按FCFS原则等待调度。当轮到该进程执行时，如它能在该时间片内完成，便可撤离系统。否则，即它在一个时间片结束时尚未完成，调度程序将其转入第二队列的末尾等待调度；如果它在第二队列中运行一个时间片后仍未完成，再依次将它放入第三队列，……，依此类推。当进程最后被降到第n队列后，在第n队列中便采取按RR方式运行。

(3) 按队列优先级调度。调度程序首先调度最高优先级队列中的诸进程运行，仅当第一队列空闲时才调度第二队列中的进程运行；换言之，仅当第1～(i-1)所有队列均空时，才会调度第i队列中的进程运行。如果处理机正在第i队列中为某进程服务时又有新进程进入任一优先级较高的队列，此时须立即把正在运行的进程放回到第i队列的末尾，而把处理机分配给新到的高优先级进程。

2. 调度算法的性能
　　在多级反馈队列调度算法中，如果规定第一个队列的时间片略大于多数人机交互所需之处理时间时，便能较好地满足各种类型用户的需要。
　　(1) 终端型用户。
　　(2) 短批处理作业用户。
　　(3) 长批处理作业用户。

3.3.6  基于公平原则的调度算法  

　　1. 保证调度算法
　　保证调度算法是另外一种类型的调度算法，它向用户所做出的保证并不是优先运行，而是明确的性能保证，该算法可以做到调度的公平性。一种比较容易实现的性能保证是处理机分配的公平性。如果在系统中有n个相同类型的进程同时运行，为公平起见，须保证每个进程都获得相同的处理机时间1/n。

在实施公平调度算法时系统中必须具有这样一些功能：
　　(1) 跟踪计算每个进程自创建以来已经执行的处理时间。
　　(2) 计算每个进程应获得的处理机时间，即自创建以来的时间除以n。
　　(3) 计算进程获得处理机时间的比率，即进程实际执行的处理时间和应获得的处理机时间之比。
　　(4) 比较各进程获得处理机时间的比率。如进程A的比率最低，为0.5，而进程B的比率为0.8，进程C的比率为1.2等。
　　(5) 调度程序应选择比率最小的进程将处理机分配给它，并让该进程一直运行，直到超过最接近它的进程比率为止。

2. 公平分享调度算法
　　分配给每个进程相同的处理机时间，显然，这对诸进程而言，是体现了一定程度的公平，但如果各个用户所拥有的进程数不同，就会发生对用户的不公平问题。

3.4  实 时 调 度

　　在实时系统中，可能存在着两类不同性质的实时任务，即HRT任务和SRT任务，它们都联系着一个截止时间。为保证系统能正常工作，实时调度必须能满足实时任务对截止时间的要求。为此，实现实时调度应具备一定的条件。

3.4.1  实现实时调度的基本条件

1. 提供必要的信息
　　为了实现实时调度，系统应向调度程序提供有关任务的信息：
　　(1) 就绪时间，是指某任务成为就绪状态的起始时间，在周期任务的情况下，它是事先预知的一串时间序列。
　　(2) 开始截止时间和完成截止时间，对于典型的实时应用，只须知道开始截止时间，或者完成截止时间。

(3) 处理时间，一个任务从开始执行，直至完成时所需的时间。
　　(4) 资源要求，任务执行时所需的一组资源。
　　(5) 优先级，如果某任务的开始截止时间错过，势必引起故障，则应为该任务赋予“绝对”优先级；如果其开始截止时间的错过，对任务的继续运行无重大影响，则可为其赋予“相对”优先级，供调度程序参考。

2. 系统处理能力强
　　在实时系统中，若处理机的处理能力不够强，则有可能因处理机忙不过，而致使某些实时任务不能得到及时处理，从而导致发生难以预料的后果。假定系统中有m个周期性的硬实时任务HRT，它们的处理时间可表示为Ci，周期时间表示为Pi，则在单处理机情况下，必须满足下面的限制条件系统才是可调度的：

 提高系统处理能力的途径有二：一是采用单处理机系统，但须增强其处理能力，以显著地减少对每一个任务的处理时间；二是采用多处理机系统。假定系统中的处理机数为N，则应将上述的限制条件改为：

 3. 采用抢占式调度机制
　　在含有HRT任务的实时系统中，广泛采用抢占机制。这样便可满足HRT任务对截止时间的要求。但这种调度机制比较复杂。

4. 具有快速切换机制
　　为保证硬实时任务能及时运行，在系统中还应具有快速切换机制，使之能进行任务的快速切换。该机制应具有如下两方面的能力：
　　(1) 对中断的快速响应能力。对紧迫的外部事件请求中断能及时响应，要求系统具有快速硬件中断机构，还应使禁止中断的时间间隔尽量短，以免耽误时机(其它紧迫任务)。
　　(2) 快速的任务分派能力。为了提高分派程序进行任务切换时的速度，应使系统中的每个运行功能单位适当的小，以减少任务切换的时间开销。

3.4.2  实时调度算法的分类   

  
　　可以按不同方式对实时调度算法加以分类：① 根据实时任务性质，可将实时调度的算法分为硬实时调度算法和软实时调度算法；② 按调度方式，则可分为非抢占调度算法和抢占调度算法。

 1. 非抢占式调度算法
　　(1) 非抢占式轮转调度算法。
　　(2) 非抢占式优先调度算法。

2. 抢占式调度算法
　　可根据抢占发生时间的不同而进一步分成以下两种调度算法：
　　(1) 基于时钟中断的抢占式优先级调度算法。
　　(2) 立即抢占(Immediate Preemption)的优先级调度算法。　　
　　图3-5中的(a)、(b)、(c)、(d)分别示出了四种情况的调度时间。

 3.4.3  最早截止时间优先EDF(Earliest Deadline First)算法 

　　1. 非抢占式调度方式用于非周期实时任务
　　图3-6示出了将该算法用于非抢占调度方式之例。

 2. 抢占式调度方式用于周期实时任务
　　图3-7示出了将该算法用于抢占调度方式之例。在该例中有两个周期任务，任务A和任务B的周期时间分别为20 ms和50 ms，每个周期的处理时间分别为10 ms和25 ms。

 3.4.4  最低松弛度优先LLF(Least Laxity First)算法

　　该算法在确定任务的优先级时，根据的是任务的紧急(或松弛)程度。任务紧急程度愈高，赋予该任务的优先级就愈高，以使之优先执行。
　　该算法主要用于可抢占调度方式中。假如在一个实时系统中有两个周期性实时任务A和B，任务A要求每20 ms执行一次，执行时间为10 ms，任务B要求每50 ms执行一次，执行时间为25 ms。由此可知，任务A和B每次必须完成的时间分别为：A1、A2、A3、…和B1、B2、B3、…，见图3-8。

 

 3.4.5  优先级倒置(priority inversion problem)  

　　1. 优先级倒置的形成
　　当前OS广泛采用优先级调度算法和抢占方式，然而在系统中存在着影响进程运行的资源而可能产生“优先级倒置”的现象，即高优先级进程(或线程)被低优先级进程(或线程)延迟或阻塞。我们通过一个例子来说明该问题。

假如P3最先执行，在执行了P(mutex)操作后，进入到临界区CS-3。在时刻a，P2就绪，因为它比P3的优先级高，P2抢占了P3的处理机而运行，如图3-10所示。

 2. 优先级倒置的解决方法
　　一种简单的解决方法是规定：假如进程P3在进入临界区后P3所占用的处理机就不允许被抢占。
        一个比较实用的方法是建立在动态优先级继承基础上的。当高优先级进程P1要进入临界区，去使用临界资源R，如果已有一个低优先级进程P3正在使用该资源，此时一方面P1被阻塞，另一方面由P3继承P1的优先级，并一直保持到P3退出临界区。
　　图3-11示出了采用动态优先级继承方法后，P1、P2、P3三个进程的运行情况。