《操作系统》知识点整理（五）实时调度

3-3 实时调度

1、引入

什么是实时系统？

1.指系统能够在限定的响应时间内提供所需水平的服务。

2.指计算的正确性不仅取决于程序的逻辑正确性，也取决于结果产生的时间，如果系统的时间约束条件得不到满足，将会发生系统出错。

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

硬实时任务：必须满足任务对截止时间的要求

软实时任务：联系着一个截止时间，但不严格，可偶尔错过，不会对系统造成大的影响。

实时系统的任务往往带有某种程度的紧迫性，因而实时系统的调度有某些特殊要求。

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

为保证系统正常工作，调度应具备下列条件

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

1）提供必要的信息

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

就绪时间。该任务成为就绪状态的时间。

开始截止时间、完成截止时间。

处理时间。从开始执行到完成所需时间。

资源要求。任务执行时所需的一组资源。

优先级。根据任务性质赋予不同优先级。

2）系统处理能力足够强

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

如：  系统中有M个周期性的硬实时任务，处理时间为Ci，周期时间表示为Pi,

单机系统中必须满足条件

一个系统，6个硬实时任务，周期都是50ms，每次处理时间10ms。根据公式，系统是不可调度的。10*6/50

 

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

增强单机系统的处理能力

采用多处理机系统

此情况下需满足

∑（ Ci / Pi ）≤N，N为处理机数

 

3）采用抢占式调度机制

硬实时任务：广泛采用抢占机制。 

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

4）具有快速切换机制

1.对外部中断的快速响应能力。

利用快速硬件中断机构，可在紧迫的外部事件请求中及时响应。

2.快速的任务分派能力。

使系统中的运行功能单位适当的小，提高切换速度。类如线程的思想

 

3. 实时调度算法的分类

根据实时任务的性质

硬实时调度算法

软实时调度算法；

 

按调度方式

非抢占调度算法

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

1.非抢占式轮转调度算法。常用于工业生产的群控系统中，要求不太严格。

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

抢占调度算法；

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

1.基于时钟：某高优先级任务到达后并不立即抢占，而等下一个时钟中断时抢占。

2.立即抢占：一旦出现外部中断，只要当前任务未处于临界区，就立即抢占处理机。

 

根据调度时间不同

静态调度算法

动态调度算法。

 

多处理机环境下

集中式调度

分布式调度

 

4. 常用的几种实时调度算法

目前有许多实时调度算法，在常用的算法中简单介绍两种实时调度算法：

最早截止时间优先EDF（Earliest Deadline First）算法

根据任务的开始截止时间来确定任务的优先级。截止时间越早，其优先级越高。

系统保持一个实时任务就绪队列

队列按各任务截止时间的早晚排序

调度程序总是选择就绪队列中的第一个任务，分配处理机使之投入运行。

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

抢占式/非抢占式

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

 

最低松弛度优先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中的进程分配方式

1.静态分配（Static Assignment）方式：

进程从开始至完成被固定分配到一个处理器上。

优点是进程调度开销小，缺点是各处理器可能出现忙闲不均。

2.动态分配（Dynamic Assignment）方式：

系统中仅设置一个公共的就绪队列，分配进程总是给空闲处理器。某一进程的执行可能曾在不同的处理器上。

优点是消除忙闲不均现象。但松散耦合系统增大调度开销。

2）非对称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）方式

为解决自调度方式中线程频繁切换的问题

将进程的一组线程分配到一组处理器上去执行。分配处理器时间的方式：

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

2.面向所有线程平均分配处理器时间

优点：

相互合作的进程或线程能并行执行，可有效的减少阻塞，减少切换使系统性能得到改善；

每次调度都可以解决一组线程的处理器分配问题，故可显著减少调度频率，减少了调度开销。

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

1989年Tucker提出该方式。在一个应用程序的执行期间，专为该应用程序分配一组处理器，每一个线程一个处理器。

这种方式很浪费。但仍有利用市场，适用于并发程度相当高的多处理机环境：

对系统的性能和效率来讲，单个处理器的利用率已不太重要。

“专用”完全避免了切换，从而大大加速了程序运行。

同时加工的应用程序，线程总和不应超过系统处理机的数目。