3.3实时调度

一、实时系统：

• 指系统能够在限定的响应时间内提供所需水平的服务。
• 指计算的正确性不仅取决于程序的逻辑正确性，也取决于结果产生的时间，如果系统的时间约束条件得不到满足，将会发生系统出错。

实时任务：具有明确时间约束的计算任务，有软/硬，随机/周期性之分。

• 硬实时任务：必须满足任务对截止时间的要求
• 软实时任务：联系着一个截止时间，但不严格，可偶尔错过，不会对系统造成大的影响。（实时系统的任务往往带有某种程度的紧迫性，因而实时系统的调度有某些特殊要求。）

为此引入适合的实时调度算法

二、实现实时调度的基本条件

1.提供必要的信息

为了实现实时调度，系统应向调度程序提供有关任务的下述信息：

• 就绪时间。该任务成为就绪状态的时间。
• 开始截止时间、完成截止时间。
• 处理时间。从开始执行到完成所需时间。
• 资源要求。任务执行时所需的一组资源。
• 优先级。根据任务性质赋予不同优先级。

2.系统处理能力足够强

处理能力不足可能会出现某些实时任务不能得到及时处理，导致难以预料的后果。
如：

• 系统中有M个周期性的硬实时任务，处理时间为Ci，周期时间表示为Pi,
  单机系统中必须满足条件
  

提高系统处理能力的方法：

• 增强单机系统的处理能力
• 采用多处理机系统（此情况下需满足∑（ Ci / Pi ）≤N，N为处理机数）

3.采用抢占式调度机制

硬实时任务：广泛采用抢占机制。
小的实时系统：如能预知任务的开始截止时间，为简化调度程序和对任务调度时所花费的系统开销，可采用非抢占调度机制，

4.具有快速切换机制

• 对外部中断的快速响应能力。
  利用快速硬件中断机构，可在紧迫的外部事件请求中及时响应。
• 快速的任务分派能力。
  使系统中的运行功能单位适当的小，提高切换速度。类如线程的思想

三、实时调度算法的分类

根据实时任务的性质

• 硬实时调度算法
• 软实时调度算法

根据调度时间不同

• 静态调度算法
• 动态调度算法。

按调度方式

• 非抢占调度算法
• 抢占调度算法

多处理机环境下

• 集中式调度
• 分布式调度

1.非抢占调度算法

该算法较简单，用于一些小型实时系统或要求不太严格的实时系统中，又可分为：

• 非抢占式轮转调度算法。常用于工业生产的群控系统中，要求不太严格。
• 非抢占式优先调度算法。要求相对严格，根据任务的优先级安排等待位置。可用于有一定要求的实时控制系统中。（精心设置可获得百ms级的响应时间）

2.抢占式调度算法

较严格的实时系统中（t约为数十ms），选择采用抢占式优先权调度算法。根据抢占发生时间可分为：

• 基于时钟：某高优先级任务到达后并不立即抢占，而等下一个时钟中断时抢占。
• 立即抢占：一旦出现外部中断，只要当前任务未处于临界区，就立即抢占处理机。

四、常用的几种实时调度算法

1.最早截止时间优先EDF（Earliest Deadline First）

根据任务的开始截止时间来确定任务的优先级。截止时间越早，其优先级越高。（开始截至时间为t：在t时刻之前该任务必须开始执行）

• 系统保持一个实时任务就绪队列
• 队列按各任务截止时间的早晚排序
• 调度程序总是选择就绪队列中的第一个任务，分配处理机使之投入运行。

新任务产生时，是否等当前程序执行完：

• 抢占式/非抢占式

可能会使作业错过，但可适用于软实时系统

2.最低松弛度优先LLF（Least Laxity First）

根据任务紧急（或松弛）的程度，来确定任务的优先级。任务的紧急程度越高（松弛度值越小），优先级就越高。
松弛度= 截止完成时间 – 还需执行时间 - 当前时间
可理解为当前时刻到开始截止时刻间的差距，随着时间的推进，这个差值逐渐变小，任务越来越紧迫。

进程切换发生的时机：

• 进程执行完
• 进程I/O阻塞
• 新进程出现时可能的抢占
• 某进程松弛度为0时发生抢占
  有的时刻，其他并发的实时任务下一周期未到来，会出现只有一个任务的情况。

五、多处理机系统中的调度

提高计算机系统性能的途径：

• 提高计算机元器件速度
• 改进计算机系统体系结构
  20世纪70年代出现多处理器系统MPS（MultiProcessor System）。90年代中后期，功能较强的主机或服务器都采用了MPS。

1.多处理器系统的类型

不同角度分类

（1）紧密耦合MPS和松弛耦合MPS

• 紧密耦合（Tightly Coupted）
  高速总线或高速交叉开关来实现多个处理器之间的互连。
  共享主存储器系统和I/O设备。系统中所有进程和资源由OS统一控制管理。
• 松散耦合（Loosely Coupted）
  通过通道或通信线路来实现多台计算机之间互连。
  每台计算机都有自己的存储器和I/O设备，可以独立工作。

（2）对称MPS和非对称MPS

• 对称多处理系统SMPS（Symmetric MultiProcessor System）平等型：在系统中所包含的各处理器单元在功能上和结构上都相同。当前的绝大多数MPS属于此类。
• 非对称多处理器系统。主从型：系统中有多种类型的处理单元，它们的功能和结构各不相同，其中只有一个主处理器，其余为从处理器。

2.进程分配方式

在多处理器系统中，进程的调度与系统结构有关。

• 同构性系统中，所有处理器都相同，可将进程分配到任一处理器上运行；
• 非对称MPS，对任一进程而言，都只能将其分配到某一适合于其运行的处理机上去执行。下面分别介绍对称MPS和非对称MPS中的进程分配方式。

（1）对称MPS中的进程分配方式

①静态分配（Static Assignment）方式：

• 进程从开始至完成被固定分配到一个处理器上。
• 优点是进程调度开销小，缺点是各处理器可能出现忙闲不均。

②动态分配（Dynamic Assignment）方式：

• 系统中仅设置一个公共的就绪队列，分配进程总是给空闲处理器。某一进程的执行可能曾在不同的处理器上。
• 优点是消除忙闲不均现象。但松散耦合系统增大调度开销。

（1）非对称MPS中的进程分配方式

OS的核心部分驻留在一台主机上，而从机上只是用户程序，进程调度只由主机执行。主机中保持有一个就绪队列。
每当从机空闲时向主机发一索求进程信号，然后等待主机分配进程。
优点是系统处理比较简单，缺点是处理靠一台主机导致不可靠。（克服缺点的方法是利用多台而非一台管理系统）

3.进程（线程）调度方式

MPS已广为流行多年，存在着多种调度方式，许多都是以线程作为基本调度单位的，比较有代表的如下：

• 自调度（Self-Scheduling）方式
• 成组调度（Gang Scheduling）方式
• 专用处理器（Dedicated Processor Assignment）分配方式

（1）自调度（Self-Scheduling）方式

• 最简单的一种调度方式。
• 系统中设置一个公共的进程或线程就绪队列，所有的处理器空闲时，都可自己到该队列中取得一进程（线程）来运行。
• 调度算法：可采用FCFS、FPF和抢占式最高优先权优先调度算法等。经实验证明FCFS算法在多处理器环境下简单开销小，目前成为较好的调度算法。

特点：

• 优点：
  1）易将单机环境下的调度机制移植到MPS中；
  2）不会发生处理器忙闲不均的现象，有利于提高处理器的利用率。
• 缺点：
  1）瓶颈问题。多处理器互斥访问唯一就绪队列。
  2）低效性。高速缓存的使用效率很低。
  3）线程切换频繁。相关的其他线程未必会同时获得处理器导致切换频繁。

（2）成组调度（Gang Scheduling）方式

为解决自调度方式中线程频繁切换的问题
将进程的一组线程分配到一组处理器上去执行。分配处理器时间的方式：

• 面向所有应用程序平均分配处理器时间
• 面向所有线程平均分配处理器时间

优点：

• 相互合作的进程或线程能并行执行，可有效的减少阻塞，减少切换使系统性能得到改善；
• 每次调度都可以解决一组线程的处理器分配问题，故可显著减少调度频率，减少了调度开销。

（3）专用处理器（Dedicated Processor Assignment）方式

在一个应用程序的执行期间，专为该应用程序分配一组处理器，每一个线程一个处理器。
这种方式很浪费。但仍有利用市场，适用于并发程度相当高的多处理机环境：

• 对系统的性能和效率来讲，单个处理器的利用率已不太重要。
• “专用”完全避免了切换，从而大大加速了程序运行。
• 同时加工的应用程序，线程总和不应超过系统处理机的数目。