第3章 处理机调度与死锁

思维导图：

一、处理机调度相关基本概念
（1）处理机调度：多道程序环境下，动态的把处理机分配给就绪队列中的一个进程使之执行。
好处：提高处理机的利用率、改善系统性能，很大程度上取决于处理机调度的性能。
（2）作业进入系统驻留在外存的后备队列上，再至调入内存运行完毕，可能要经历下述三级调度。
1.1 高级调度（又称作业调度或长程调度，接纳调度）
主要在早期批处理阶段，处理在外存上的作业。
主要功能：1.决定外存后备队列中的哪些作业调入内存。
2.为它们创建进程、分配必要的资源。
3.将新创建的进程排在就绪队列上，准备执行。
作业调度决定的细节：1.接纳多少作业——取决于多道程序度。
2.接纳哪些作业——取决于采用的调度算法。
系统运行并不一定存在高级调度：
1.批处理系统：作业进入系统后先驻留外存，故需要有作业调度。
2.分时系统：为及时响应，作业由终端直接送入内存，故不需作业调度。
3.实时系统：通常也不需作业调度。
1.2 低级调度 （也称为进程调度、微观调度或短程调度）
决定内存就绪队列中的哪个进程获得处理机，进行分配工作。是最基本的一种调度，
在 三种基本OS中都有。
进程调度方式：1.非抢占方式
（1.1）调度的时机：程序完成、发生某事件阻塞；
（1.2）特点：实现简单、系统开销小； 功能也简单，适用于大
多数批处理OS，但在要求较严格的实时系统，不
宜采用该方式
2.抢占方式
（1.1）调度的时机：程序完成、发生某事件阻塞、新进程就绪；
（1.2）特点：抢占的原则有很多种：优先权高的可以抢占优先
级低的进程的处理机。短作业（进程）可以抢占
长作业（进程）的处理机。各进程按时间片运行，
一个时间片用完时重新进行调度。
调度程序的任务职能：调度和分派
(1) 记录系统中所有进程的有关情况
(2) 确定分配处理机的原则
(3) 分配处理机给进程
(4) 从进程收回处理机
1.3 中级调度（又称交换调度或中程调度）
引入目的：提高内存利用率和系统吞吐量。根据条件将一些进程调出或再调入
内存。
进程调度：运行频率最高，算法不能太复杂。
（3）调度队列模型
不论高级、中级或者低级调度，都涉及到进程队列，由此形成了三类调度队列模型。从
这三种方式中体验调度的过程：
3.1仅有进程调度的调度队列模型
常见情况：分时系统。
通常仅设置进程调度，用户键入的命令和数据，都直接送入内存。
调度对象：处于就绪状态的进程。
组织形式：栈、树或一个无序链表
用何种形式取决于OS类型和采用的调度算。
每个进程在执行时按规定的时间片算法，在给定时间片内任务有三种执行情况：
完成工作，释放处理机进入完成状态
未完成，将该任务再放入就绪队列末尾
因某事件而被阻塞，被OS放入阻塞队列
3.2具有高级和低级调度的调度队列模型
批处理系统中，还需要作业调度
3.3同时具有三级调度的调度队列模型
引入中级调度后，进程的状态变化：
就绪状态：分为内存就绪和外存就绪。
阻塞状态：分为内存阻塞和外存阻塞。
中级调度使进程在上述状态间变化，并使数据在内外存间互换。
（4）选择调度方式和调度算法的若干准则
4.1面向用户的准则
周转时间短：
总的等待时间Tw = 在后备队列中等待 + 就绪队列上等待+ 阻塞队列中等待（等待I/O操
用时）
周转时间T=Ts+Tw
带权周转时间W= T/Ts
平均周转时间、平均带权周转时间（n个作业求平均）
响应时间快
均衡性
截止时间的保证
优先权准则
4.2面向系统的准则
系统吞吐量高：批处理系统的重要指标。
处理机利用率好(主要针对大中型主机)。
各类资源的平衡利用(主要针对大中型主机)。
（5）不同系统
批处理系统：
平均周转时间短
系统吞吐量高
处理机利用率好
分时系统：
响应时间快
均衡
实时系统：
截至时间的保证
可预测性
二、常用调度算法
调度的实质就是一种资源分配。不同的系统和系统目标，通常采用不同的调度算法——适合自己的才是最好的。
（1）先来先服务调度算法FCFS
一种最简单的调度算法，按先后顺序进行调度。既可用于作业调度，也可用于进程调度。
1.1按照作业提交，或进程变为就绪状态的先后次序分派CPU；
1.2新作业只有当当前作业或进程执行完或阻塞才获得CPU运行；
1.3被唤醒的作业或进程不立即恢复执行，通常等到当前作业或进程出让CPU。 （所以，默认
是非抢占方式）
缺点：不利于短作业
（2）短作业（进程）优先调度算法SJF/SPF
优点：通过上表可见采用SJF/SPF算法，平均周转时间、平均带权周转时间都有明显改善。
SJF/SPF调度算法能有效的降低作业的平均等待时间，提高系统吞吐量。
方式：分抢占和非抢占两种方式。
缺点：1.对短作业有利，但同时造成了对长作业的不利。
2.由于作业（进程）的长短含主观因素，不一定能真正做到短作业优先。
3.未考虑作业的紧迫程度，因而不能保证紧迫性作业（进程）的及时处理。
（3） 高优先权优先调度算法HPF
方式：（新作业产生时）
非抢占式优先权算法
抢占式优先权算法
优先权的类型：静态优先权
动态优先权
（4）高响应比优先调度算法HRRN
优先权 =（等待时间+要求服务时间)/要求服务时间 = 响应时间 / 要求服务时间
什么时候计算各进程的响应比优先权？
1.需要进行调度选择的时候比较各自优先权
2.作业完成时
3.新作业产生时（抢占、非抢占）
4.时间片完成时
5.进程阻塞时
（5）基于时间片的轮转调度算法RR
分时系统新需求：及时响应用户的请求；采用基于时间片的轮转式进程调度算法。
（1）时间片轮转算法
1.1将系统中所有的就绪进程按照FCFS原则，排成一个队列。
1.2每次调度时将CPU分派给队首进程，让其执行一个时间片。时间片的长度从几个ms到几百ms。
在一个时间片结束时，发生时钟中断。
1.3调度程序据此暂停当前进程的执行，将其送到就绪队列的末尾，并通过上下文切换执行当前就绪的队
首进程。
注：进程阻塞情况发生时，未用完时间片也要出让CPU
（2）多级反馈队列算法FB
1）设置多个就绪队列，各队列有不同的优先级,优先级从第一个队列依次降低。
2） 赋予各队列进程执行时间片大小不同, 优先权越高，时间片越短。
3）当一个新进程进入内存，引发的调度过程
（3）基于公平原则的更多算法
1.保证调度算法
2.公平分享调度算法
三、实时调度
（1）实时系统：
1.1指系统能够在限定的响应时间内提供所需水平的服务。
1.2指计算的正确性不仅取决于程序的逻辑正确性，也取决于结果产生的时间，如果系统的时间约束条件得不到满足，将会发生系统出错
（2）实时任务：具有明确时间约束的计算任务，有软/硬，随机/周期性之分。

1. 实现实时调度的基本条件
   1）提供必要的信息
   为了实现实时调度，系统应向调度程序提供有关任务的下述信息：
   2.1.1就绪时间。该任务成为就绪状态的时间。
   2.1.2开始截止时间、完成截止时间。
   2.1.3处理时间。从开始执行到完成所需时间。
   2.1.4资源要求。任务执行时所需的一组资源。
   2.1.5优先级。根据任务性质赋予不同优先级。
   2）系统处理能力足够强
   处理能力不足可能会出现某些实时任务不能得到及时处理，导致难以预料的后果。
   3）采用抢占式调度机制
   硬实时任务：广泛采用抢占机制
   小的实时系统：如能预知任务的开始截止时间，为简化调度程序和对任务调度时所花费的系统开销，可采用非抢占调度机制。
   4）具有快速切换机制
   4.1对外部中断的快速响应能力。
   利用快速硬件中断机构，可在紧迫的外部事件请求中及时响应。
   4.2快速的任务分派能力。
   使系统中的运行功能单位适当的小，提高切换速度。类如线程的思想
   2.实时调度算法的分类
   （1）根据实时任务的性质
   硬实时调度算法
   软实时调度算法

（2）按调度方式
非抢占调度算法
非抢占式轮转调度算法。常用于工业生产的群控系统中，要求不太严格。
非抢占式优先调度算法。要求相对严格，根据任务的优先级安排等待位置。可用于有一定要求的实时控制系统中。
抢占调度算法
基于时钟：某高优先级任务到达后并不立即抢占，而等下一个时钟中断时抢占。
立即抢占：一旦出现外部中断，只要当前任务未处于临界区，就立即抢占处理机。

（3）根据调度时间不同
静态调度算法
动态调度算法

（4）多处理机环境下
集中式调度
分布式调度
3. 常用的几种实时调度算法
（1） 最早截止时间优先EDF（Earliest Deadline First）算法
根据任务的开始截止时间来确定任务的优先级。截止时间越早，其优先级越高。
（2）最低松弛度优先LLF（Least Laxity First）算法
根据任务紧急（或松弛）的程度，来确定任务的优先级。任务的紧急程度越高（松弛度值越小），优先级就越高。
松弛度= 截止完成时间 – 还需执行时间 - 当前时间
可理解为当前时刻到开始截止时刻间的差距，随着时间的推进，这个差值逐渐变小，任务越来越紧迫。
4.多处理机系统中的调度
（1）提高计算机系统性能的途径：
提高计算机元器件速度
改进计算机系统体系结构
4. 多处理器系统的类型
1）紧密耦合MPS和松弛耦合MPS
紧密耦合（Tightly Coupted）
高速总线或高速交叉开关来实现多个处理器之间的互连。
共享主存储器系统和I/O设备。系统中所有进程和资源由OS统一控制管理。
松散耦合（Loosely Coupted）
通过通道或通信线路来实现多台计算机之间互连。
每台计算机都有自己的存储器和I/O设备，可以独立工作。
2）对称MPS和非对称MPS
对称多处理系统SMPS（Symmetric MultiProcessor System）平等型：在系统中所包含的各处理器单元在功能上和结构上都相同。当前的绝大多数MPS属于此类。
非对称多处理器系统。主从型：系统中有多种类型的处理单元，它们的功能和结构各不相同，其中只有一个主处理器，其余为从处理器。
2.进程分配方式
在多处理器系统中，进程的调度与系统结构有关。
1）对称MPS中的进程分配方式
1.1静态分配（Static Assignment）方式：
进程从开始至完成被固定分配到一个处理器上。
优点是进程调度开销小，缺点是各处理器可能出现忙闲不均。
1.2动态分配（Dynamic Assignment）方式：
系统中仅设置一个公共的就绪队列，分配进程总是给空闲处理器。某一进程的执行可能曾在不同的处理器上。
优点是消除忙闲不均现象。但松散耦合系统增大调度开销。
2）非对称MPS中的进程分配方式
OS的核心部分驻留在一台主机上，而从机上只是用户程序，进程调度只由主机执行。主机中保持有一个就绪队列。
每当从机空闲时向主机发一索求进程信号，然后等待主机分配进程。
3.进程（线程）调度方式
（1）自调度（Self-Scheduling）方式
自调度机制，最简单的一种调度方式。
（2）成组调度（Gang Scheduling）方式
将进程的一组线程分配到一组处理器上去执行。分配处理器时间的方式：
面向所有应用程序平均分配处理器时间
面向所有线程平均分配处理器时间
（3）专用处理器（Dedicated Processor Assignment）分配方式
四、产生死锁的原因和必要条件
死锁（Deadlock）：指多个进程在运行过程中，因争夺资源而造成的一种僵局。当进程处于这种状态时，若无外力作用，它们都将无法再向前推进。
死锁（Deadlock）: 指进程之间无休止地互相等待!
饥饿（Starvation）:指一个进程无休止地等待！
（1）原因
请求推进的次序与对非剥夺性资源的争用都是造成死锁的原因。
产生死锁的原因可归结为如下两点：
1）竞争资源。
2）进程间推进顺序非法。
1、竞争资源引起进程死锁
1）可把系统中的资源分为两类：
1.1可剥夺和非剥夺性资源
可剥夺性资源：分配给进程后可以被高优先级的进程剥夺。如CPU和主存。
不可剥夺性资源：分配给进程后只能在进程用完后释放。如磁带机、打印机等。
1.2永久性资源和临时性资源
永久性：打印机。可顺序重复使用
临时性：进程产生被其他进程短暂使用的资源，如数据资源：“生产者/消费者”算法中的信号量。。它可能引起死锁。
2、进程推进顺序不当引起死锁
进程在运行中具有异步性特征，多个进程按向前推进的顺序有两种情况：推进顺序合法、推进顺序非法
3、 产生死锁的必要条件
1）互斥条件：进程对所分配到的资源进行排他性使用
2）请求和保持条件：进程已经保持了至少一个资源，又提出新的资源请求，而新请求资源被其他进程占有只能造成自身进程阻塞，但对自己已获得的其他资源保持不放，必然影响其他进程。
3）不剥夺条件：进程已获得的资源未使用完之前不能被剥夺，只能在使用完时由自己释放。
4）环路等待条件
4、处理死锁的基本方法
1）事先预防：预防死锁、避免死锁
2）事后处理：检测死锁、解除死锁
五、预防死锁的方法
1.预防死锁
资源的排他性无法更改，故在其他3个条件上入手
摒弃“请求和保持”条件
摒弃“不剥夺”条件
摒弃“环路等待”条件
2.避免死锁
安全状态：系统能按某种进程顺序为每个进程分配所需资源，直至满足每个进程对资源的最大需求，并能顺利完成。
不安全状态：系统无法找到一种使多个进程能够顺利分配资源执行完的安全序列。
3. 银行家算法避免死锁
最有代表性的避免死锁的算法，是Dijkstra的银行家算法。由于该算法能用于银行系统现金贷款的发放而得名。
六、死锁的检测与解除
当系统为进程分配资源时，若未采取任何限制性措施，则系统必须提供检测和解除死锁的手段，为此系统必须：
1）保存有关资源的请求和分配信息；
2）提供一种算法，以利用这些信息来检测系统是否已进入死锁状态。
1.死锁的检测
检测时机：1）当进程等待时检测死锁 2）定时检测 3） 系统资源利用率下降时检测死锁
2、死锁定理
3、 死锁的解除
当发现进程死锁时，便应立即把它们从死锁状态中解脱出来。常采用的方法是：
1）剥夺资源。从其他进程剥夺足够数量的资源给死锁进程以解除死锁状态。
2）撤销进程。最简单的是让全部进程都死掉；温和一点的是按照某种顺序逐个撤销进程，直至有足够的资源可用，使死锁状态消除为止。