第三章 处理机调度与死锁

一、处理机调度相关基本概念
作业进入系统驻留在外存的后备队列上，再至调入内存运行完毕，可能要经历下述三级调度。
1.高级调度（High Scheduling）
又称作业调度或长程调度(Long-Term Scheduling),接纳调度(Admission Scheduling)。主要在早期批处理阶段，处理在外存上的作业。
决定外存后备队列中的哪些作业调入内存
为它们创建进程、分配必要的资源
将新创建的进程排在就绪队列上，准备执行
管理的方面比较多。

系统运行不一定存在高级调度
例如：
批处理系统：作业进入系统后先驻留外存，故需要有作业调度。
分时系统：为及时响应，作业由终端直接送入内存，故不需作业调度。
实时系统中，通常也不需作业调度。

2.中级调度（Intermediate-Level Scheduling）
又称交换调度或中程调度（Medium-Term Scheduling）
引入目的：提高内存利用率和系统吞吐量。根据条件将一些进程调出或再调入内存。
3. 低级调度（Low Level Scheduling）
也称为进程调度、微观调度或短程调度（Short-Term Scheduling）
决定内存就绪队列中的哪个进程获得处理机，进行分配工作。是最基本的一种调度，在三种基本OS中都有。

三种调度比较：

4. 调度队列模型
不论高级、中级或者低级调度，都涉及到进程队列，由此形成了三类调度队列模型。从这三种方式中体验调度的过程。
①仅有进程调度的调度队列模型
常见情况：
分时系统。
通常仅设置进程调度，用户键入的命令和数据，都直接送入内存。
调度对象：
处于就绪状态的进程。
组织形式：
栈、树或一个无序链表
用何种形式取决于OS类型和采用的调度算法。如：分时系统中把就绪进程组织成FIFO队列形式：按时间片轮转方式运行。
进程调度过程图：

②具有高级和低级调度的调度队列模型
批处理系统中，还需要作业调度

③同时具有三级调度的调度队列模型
引入中级调度后，进程的状态变化：
就绪状态：分为内存就绪和外存就绪。
阻塞状态：分为内存阻塞和外存阻塞。
中级调度使进程在上述状态间变化，并使数据在内外存间互换。

5. 选择调度方式和调度算法的若干准则
①面向用户的准则
②面向系统的准则

二、常用调度算法
调度的实质就是一种资源分配。不同的系统和系统目标，通常采用不同的调度算法——适合自己的才是最好的。

1.先来先服务的调度算法FCFS
一种最简单的调度算法，按先后顺序进行调度。既可用于作业调度，也可用于进程调度。
按照作业提交，或进程变为就绪状态的先后次序分派CPU。
新作业只有当当前作业或进程执行完或阻塞才获得CPU运行
被唤醒的作业或进程不立即恢复执行，通常等到当前作业或进程出让CPU。
**不足：**短作业C的带权周转时间竟高达100，这是不能容忍的；而长作业D的带权周转时间仅为1.99。
**关于应用：**有利于CPU繁忙型的作业，而不利于I/O繁忙的作业

2.短作业优先调度算法SJF/SPF
优点：
通过上表可见采用SJF/SPF算法，平均周转时间、平均带权周转时间都有明显改善。SJF/SPF调度算法能有效的降低作业的平均等待时间，提高系统吞吐量。
方式：
分抢占和非抢占两种方式，上例为简单的非抢占式。
不足：
1.对短作业有利，但同时造成了对长作业的不利。
2.由于作业的长短含主观因素，不一定能真正做到短作业优先。
3.未考虑作业的紧迫程度，因而不能保证紧迫性作业的及时处理。

3.高优先权优先调度算法HPF
照顾紧迫性作业，使其获得优先处理而引入调度算法。
常用于批处理系统中的作业调度算法，以及多种操作系统中的进程调度算法
两种方式：
非抢占式优先权算法
抢占式优先权算法
关键点：新作业产生时
优先权的类型:
*静态优先权：*创建进程时确定，整个运行期间保持不变。一般利用某一范围的一个整数来表示，又称为优先数。
*动态优先权：*创建进程时赋予的优先权可随进程的推进或随其等待时间的增加而改变。

关于进程优先权的确定：
进程类型：一般来，系统进程高于用户进程。
进程对资源的需求：如进程的估计时间及内存需要量的多少，对要求少的进程赋予较高优先权。
用户要求：由用户进程的紧迫程度及用户所付费用的多少来确定优先权的。

4.高响应比优先调度算法HRRN
短作业优先算法是一种比较好的算法（相当于根据作业长度设定的静态优先权算法），适用于短作业较多的批处理系统中，其主要不足是长作业的运行得不到保证。
HRRN为每个作业引入动态优先权，使作业的优先级随着等待时间的增加而以速率a提高：
优先权 =（等待时间+要求服务时间)/要求服务时间
= 响应时间 / 要求服务时间

5.基于时间片的轮转调度算法RR
早期分时系统采用的是简单的时间片轮转法
进入90年代后广泛采用多级反馈队列调度算法
（1）时间片轮转算法
将系统中所有的就绪进程按照FCFS原则，排成一个队列。
每次调度时将CPU分派给队首进程，让其执行一个时间片。时间片的长度从几个ms到几百ms。
在一个时间片结束时，发生时钟中断。
调度程序据此暂停当前进程的执行，将其送到就绪队列的末尾，并通过上下文切换执行当前就绪的队首进程。

影响时间片长度的主要因素：
系统的处理能力和系统的负载状态。
（2）多级反馈队列算法FB
特点：
多个就绪队列，循环反馈
动态优先级，时间片轮转

常用调度算法的比较

三、实时调度
1.基本条件
（1）提供必要的信息
为了实现实时调度，系统应向调度程序提供有关任务的下述信息：
就绪时间。该任务成为就绪状态的时间。
开始截止时间、完成截止时间。
处理时间。从开始执行到完成所需时间。
资源要求。任务执行时所需的一组资源。
优先级。根据任务性质赋予不同优先级。
（2）系统处理能力足够强
处理能力不足可能会出现某些实时任务不能得到及时处理，导致难以预料的后果。
如：系统中有M个周期性的硬实时任务，处理时间为Ci，周期时间表示为Pi,
单机系统中必须满足条件

提高系统处理能力的方法
增强单机系统的处理能力
采用多处理机系统
此情况下需满足
∑（ Ci / Pi ）≤N，N为处理机数
（3）采用抢占式调度机制
硬实时任务：广泛采用抢占机制。
小的实时系统：如能预知任务的开始截止时间，为简化调度程序和对任务调度时所花费的系统开销，可采用非抢占调度机制，
（4）具有快速切换机制
对外部中断的快速响应能力
利用快速硬件中断机构，可在紧迫的外部事件请求中及时响应。
快速的任务分派能力
使系统中的运行功能单位适当的小，提高切换速度。类如线程的思想
2.实时调度算法的分类

根据实时任务的性质
硬实时调度算法
软实时调度算法

按调度方式
非抢占调度算法
抢占调度算法

根据调度时间不同
静态调度算法
动态调度算法。

多处理机环境下
集中式调度
分布式调度

（1）非抢占调度算法
该算法较简单，用于一些小型实时系统或要求不太严格的实时系统中，又可分为：
非抢占式轮转调度算法。
常用于工业生产的群控系统中，要求不太严格。
非抢占式优先调度算法。
要求相对严格，根据任务的优先级安排等待位置。可用于有一定要求的实时控制系统中。（精心设置可获得百ms级的响应时间）
（2）抢占式调度算法
较严格的实时系统中（t约为数十ms），选择采用抢占式优先权调度算法。根据抢占发生时间可分为：
**基于时钟：**某高优先级任务到达后并不立即抢占，而等下一个时钟中断时抢占。
**立即抢占：**一旦出现外部中断，只要当前任务未处于临界区，就立即抢占处理机。

四、产生死锁的原因和必要条件
死锁（Deadlock）：指进程之间无休止地互相等待
饥饿（Starvation）：指一个进程无休止地等待
产生死锁的原因：
1.竞争资源。
系统中供多个进程共享的资源如打印机、公用队列等的数目不满足需要时，会引起资源竞争而产生死锁。
可把系统中的资源分为两类：

可剥夺和非剥夺性资源
可剥夺性资源：分配给进程后可以被高优先级的进程剥夺。如CPU和主存。
不可剥夺性资源：分配给进程后只能在进程用完后释放。如磁带机、打印机等。

永久性资源和临时性资源
永久性：打印机。可顺序重复使用
临时性：进程产生被其他进程短暂使用的资源，如数据资源：“生产者/消费者”算法中的信号量。。它可能引起死锁。
2.进程间推进顺序非法。
进程在运行过程中，请求和释放资源的顺序不当，同样会导致死锁。
进程在运行中具有异步性特征，多个进程按向前推进的顺序有两种情况：
推进顺序合法
推进顺序非法

产生死锁的必要条件（4）
①互斥条件：进程对所分配到的资源进行排他性使用
②请求和保持条件：进程已经保持了至少一个资源，又提出新的资源请求，而新请求资源被其他进程占有只能造成自身进程阻塞，但对自己已获得的其他资源保持不放，必然影响其他进程。
③不剥夺条件：进程已获得的资源未使用完之前不能被剥夺，只能在使用完时由自己释放。
④环路等待条件

处理死锁的基本方法：
事先预防：
①预防死锁
设置限制条件，破坏四个必要条件的一个或几个，预防发生死锁。
较易实现。限制条件的严格也会导致系统资源利用率和系统吞吐量降低。
②避免死锁
不须事先限制，破坏四个必要条件，而是在资源的动态分配过程中，用某种方法去防止系统进入不安全状态，从而避免发生死锁。
这种事先加以较弱限制的方法，实现上有一定难度，但可获较高的资源利用率及系统吞吐量，目前在较完善的系统中，常用此方法来避免发生死锁。

事后处理：
③检测死锁。
允许系统运行过程中发生死锁，但通过系统检测机构可及时的检测出，能精确确定与死锁有关的进程和资源；然后采取适当的措施，从系统中将已发生的死锁清除掉。
④解除死锁。
与死锁检测配套的一种措施。
常用的实施方法：撤销或挂起一些进程，以便回收一些资源并将他们分配给已阻塞进程，使之转为就绪以继续运行。
死锁的检测与解除措施，有可能使系统获得较好的资源利用率和吞吐量（死锁几率不一定很高），但在实现上难度也最大。

**

五、预防死锁的办法
**
1.预防死锁
①摒弃“请求和保持”条件：
所有进程开始运行前，必须一次性的申请其在整个运行过程所需的全部资源（AND）。算法简单、易于实现且很安全。但缺点是资源浪费严重、或进程延迟运行。
②摒弃“不剥夺”条件：
允许进程先运行，但当提出的新要求不被满足时必须释放它已保持的所有资源，待以后需要时再重新申请。实现比较复杂且付出很大代价。可能会造成前功尽弃，反复申请和释放等情况。
③摒弃“环路等待”条件
有序设置资源：将所有资源按类型进行线性排队，赋予不同序号。所有进程对资源的请求必须严格按照资源序号递增的次序提出，这样在所形成的资源分配图中，不可能会出现环路。
与前两种策略比较，资源利用率和系统吞吐量都有较明显的改善。但也存在严重问题：
资源编号限制新设备的增加
应用中的使用设备顺序与规定的顺序并不协调；
限制了用户编程自由。

2.避免死锁
上述方法限制条件都太强；造成一定的应用不便。
采用避免死锁的方法则是只施加较弱限制条件，从而获得令人满意的系统性能。

**

六、死锁的检测与解除
**
当系统为进程分配资源时，若未采取任何限制性措施，则系统必须提供检测和解除死锁的手段，为此系统必须：
①保存有关资源的请求和分配信息；
②提供一种算法，以利用这些信息来检测系统是否已进入死锁状态。

1.资源分配图
系统死锁可利用资源分配图来描述。
圆圈表示进程
方框表示一类资源，其中的一个点代表一个该类资源
请求边由进程指向方框中的资源
分配边则由方框中的一个点即资源。

2.死锁的检测
检测时机：
当进程等待时检测死锁
定时检测
系统资源利用率下降时检测死锁

3.死锁定理
利用资源分配图简化法来检测死锁。
简化方法如下：
1.在资源分配图中找出一个既不阻塞又非独立的进程结点Pi，在顺利的情况下运行完毕，释放其占有的全部资源。
2.由于释放了资源，这样能使其它被阻塞的进程获得资源继续运行。消去了Pi的边。
3.经过一系列简化后，若能消去图中所有边，使结点都孤立，称该图是可完全简化的。
S状态为死锁状态的充分条件是当且仅当S状态的资源分配图是不可完全简化的。<死锁定理>

4.死锁的解除
当发现进程死锁时，便应立即把它们从死锁状态中解脱出来。常采用的方法是：
①剥夺资源。从其他进程剥夺足够数量的资源给死锁进程以解除死锁状态。
②撤销进程。最简单的是让全部进程都死掉；温和一点的是按照某种顺序逐个撤销进程，直至有足够的资源可用，使死锁状态消除为止