第三章 处理机调度与死锁 3.1 处理机调度的基本概念 3.2 调度算法 3.3 实时调度 3.4 多处理机系统中的调度
上节回顾 处理机调度概念:高级、中级、低级 P70 两种低级调度方式:抢占与非抢占 概念:周转时间、带权周转时间 P74 调度算法: 先来先服务 短作业优先 高响应比优先:响应比概念 时间片轮转法: 多级反馈队列:
多级队列:队列时间片长递增;优先权自动降低 抢占式 运行: 2. 多级反馈队列调度算法 多级队列:队列时间片长递增;优先权自动降低 抢占式 运行: 每级队列—先进先出 时间片完,自动降级 高级抢占低级 若在时间片内被抢占, 不降级,排到末尾 等待剩余时间的完成
图 3-5 多级反馈队列调度算法
3. 多级反馈队列调度算法的性能 终端型作业用户。 (2) 短批处理作业用户。 (3) 长批处理作业用户。
3.3 实 时 调 度 3.3.1 实时调度
3.3.1 实现实时调度的基本条件
2. 系统处理能力强 在实时系统中,通常都有着多个实时任务。若处理机的处理能力不够强,则有可能因处理机忙不过来而使某些实时任务不能得到及时处理, 从而导致发生难以预料的后果。假定系统中有m个周期性的硬实时任务,它们的处理时间可表示为Ci,周期时间表示为Pi,则在单处理机情况下,必须满足下面的限制条件: 假如系统中有6个硬实时任务,它们的周期时间都是 50 ms,而每次的处理时间为 10 ms,则不难算出,此时是不能满足上式的,因而系统是不可调度的。
解决的方法是提高系统的处理能力,其途径有二: 其一仍是采用单处理机系统, 但须增强其处理能力, 以显著地减少对每一个任务的处理时间; 其二是采用多处理机系统。假定系统中的处理机数为N,则应将上述的限制条件改为:
3. 采用抢占式调度机制 当一个优先权更高的任务到达时,允许将当前任务暂时挂起,而令高优先权任务立即投入运行,这样便可满足该硬实时任务对截止时间的要求。但这种调度机制比较复杂。 对于一些小的实时系统,如果能预知任务的开始截止时间,则对实时任务的调度可采用非抢占调度机制,以简化调度程序和对任务调度时所花费的系统开销。但在设计这种调度机制时,应使所有的实时任务都比较小,并在执行完关键性程序和临界区后,能及时地将自己阻塞起来,以便释放出处理机, 供调度程序去调度那种开始截止时间即将到达的任务。
4. 具有快速切换机制 该机制应具有如下两方面的能力: (1) 对外部中断的快速响应能力。为使在紧迫的外部事件请求中断时系统能及时响应,要求系统具有快速硬件中断机构,还应使禁止中断的时间间隔尽量短, 以免耽误时机(其它紧迫任务)。 (2) 快速的任务分派能力。在完成任务调度后,便应进行任务切换。为了提高分派程序进行任务切换时的速度, 应使系统中的每个运行功能单位适当的小,以减少任务切换的时间开销。
3.3.2 实时调度算法的分类 1. 非抢占式调度算法 非抢占式轮转调度算法。 (2) 非抢占式优先调度算法。
2. 抢占式调度算法 基于时钟中断的抢占式优先权调度算法。 (2) 立即抢占(Immediate Preemption)的优先权调度算法。 图 3-6 实时进程调度
3.3.3 常用的几种实时调度算法 1. 最早截止时间优先即EDF(Earliest Deadline First)算法
2. 最低松弛度优先即LLF(Least Laxity First)算法 该算法是根据任务紧急(或松弛)的程度,来确定任务的优先级。任务的紧急程度愈高,为该任务所赋予的优先级就愈高, 以使之优先执行。 一个任务在200ms时必须完成,它本身所需的运行时间有100ms,因此,调度程序必须在100 ms之前调度执行,该任务的紧急程度(松弛程度)为100 ms。 任务在400 ms时必须完成,它本身需要运行 150 ms,则其松弛程度为 250 ms。
2. 最低松弛度优先即LLF(Least Laxity First)算法 算法要求 1、系统中有一个按松弛度排序的实时任务就绪队列, 2、松弛度最低的任务排在队列最前面 3、调度程序总是选择就绪队列中的队首任务执行。 该算法主要用于可抢占调度方式中。
该假如在一个实时系统中,有两个周期性实时任务A和B,任务A要求每 20 ms执行一次,执行时间为 10 ms;任务B只要求每50 ms执行一次,执行时间为 25 ms。 周期内任务只执行一次 松弛度为0时发生抢占
在刚开始时(t1=0),A1必须在20ms时完成,而它本身运行又需 10 ms,可算出A1的松弛度为10ms;B1必须在50ms时完成, 而它本身运行就需25 ms,可算出B1的松弛度为25 ms,故调度程序应先调度A1执行。在t2=10 ms时,A2的松弛度可按下式算出: A2的松弛度=必须完成时间-其本身的运行时间-当前时间 =40 ms-10 ms-10 ms=20 ms
B1的松弛度为15ms,调度程序选择B1运行。 t3=30 ms时,A2抢占B1。 t4=40 ms时,重新调度B1。 t5=45 ms时,调度A3执行。 t6=55ms时,调度B2执行 t7=70 ms时,A4抢占B2
图 3-9 利用LLF算法进行调度的情况
3.4 多处理机系统中的调度 3.4.1 多处理器系统的类型 (1) 紧密耦合(Tightly Coupted)MPS。 这通常是通过高速总线或高速交叉开关,来实现多个处理器之间的互连的。它们共享主存储器系统和I/O设备,并要求将主存储器划分为若干个能独立访问的存储器模块,以便多个处理机能同时对主存进行访问。系统中的所有资源和进程,都由操作系统实施统一的控制和管理。
(2) 松散耦合(Loosely Coupled)MPS。 在松散耦合MPS中,通常是通过通道或通信线路,来实现多台计算机之间的互连。每台计算机都有自己的存储器和I/O设备,并配置了OS来管理本地资源和在本地运行的进程。因此,每一台计算机都能独立地工作, 必要时可通过通信线路与其它计算机交换信息,以及协调它们之间的工作。
2. 对称多处理器系统和非对称多处理器系统 (1) 对称多处理器系统SMPS(Symmetric MultiProcessor System)。 在系统中所包含的各处理器单元,在功能和结构上都是相同的, 当前的绝大多数MPS都属于SMP系统。例如,IBM公司的SR/6000 Model F50, 便是利用4片Power PC处理器构成的。 (2) 非对称多处理器系统。在系统中有多种类型的处理单元, 它们的功能和结构各不相同,其中只有一个主处理器,有多个从处理器。
3.4.2 进程分配方式 1. 对称多处理器系统中的进程分配方式 在SMP系统中,所有的处理器都是相同的,因而可把所有的处理器作为一个处理器池(Processor pool),由调度程序或基于处理器的请求, 将任何一个进程分配给池中的任何一个处理器去处理。在进行进程分配时,可采用以下两种方式之一。 1) 静态分配(Static Assigenment)方式 2) 动态分配(Dynamic Assgement)方式
2. 非对称MPS中的进程分配方式 对于非对称MPS, 其OS大多采用主—从(Master-Slave)式OS, 即OS的核心部分驻留在一台主机上(Master), 而从机(Slave)上只是用户程序, 进程调度只由主机执行。 每当从机空闲时, 便向主机发送一索求进程的信号, 然后, 便等待主机为它分配进程。 在主机中保持有一个就绪队列, 只要就绪队列不空, 主机便从其队首摘下一进程分配给请求的从机。从机接收到分配的进程后便运行该进程, 该进程结束后从机又向主机发出请求。
利用多台处理机来管理整个系统
3.4.3 进程(线程)调度方式 1. 自调度(Self-Scheduling)方式 1) 自调度机制 在多处理器系统中,自调度方式是最简单的一种调度方式。它是直接由单处理机环境下的调度方式演变而来的。 在系统中设置有一个公共的进程或线程就绪队列, 所有的处理器在空闲时,都可自己到该队列中取得一进程(或线程)来运行。在自调度方式中,可采用在单处理机环境下所用的调度算法,如先来先服务(FCFS)调度算法、最高优先权优先(FPF)调度算法和抢占式最高优先权优先调度算法等。
2) 自调度方式的优点 自调度方式的主要优点表现为:首先,系统中的公共就绪队列可按照单处理机系统中所采用的各种方式加以组织; 其调度算法也可沿用单处理机系统所用的算法,亦即,很容易将单处理机环境下的调度机制移植到多处理机系统中, 故它仍然是当前多处理机系统中较常用的调度方式。其次, 只要系统中有任务,或者说只要公共就绪队列不空,就不会出现处理机空闲的情况,也不会发生处理器忙闲不均的现象,因而有利于提高处理器的利用率。
3) 自调度方式的缺点 瓶颈问题。 (2) 低效性。 (3) 线程切换频繁。
2. 成组调度(Gang Scheduling)方式 在成组调度时,如何为应用程序分配处理器时间, 1) 面向所有应用程序平均分配处理器时间 有利于少线程的进程 2) 面向所有线程平均分配处理器时间 有利于多线程的进程
3.专用处理器分配调度方式
3. 专用处理器分配(Dedicated Processor Assigement)方式 图 3-11 线程数对加速比的影响