第三章处理机调度与死锁
本章主要讲述操作系统中的调度以及死锁的概念,具体包括处理机调度的概念、进程调度算法、实时调度、多处理机调度以及死锁的概念和处理方法等内容。
3.1 处理机调度的层次
3.1.1 高级调度(High Scheduling)
1.作业和作业步
2.作业控制块JCB
3.作业调度
在每次执行作业调度时,都须做出以下两个决定。
1) 接纳多少个作业
2) 接纳哪些作业
3.1.2. 低级调度(Low Level Scheduling)
1. 低级调度的功能
⑴保存处理机的现场信息。
⑵按某种算法选取进程。
⑶把处理器分配给进程。
2. 进程调度中的三个基本机制
⑴排队器。
⑵分派器(分派程序)。
⑶上下文切换机制。
3. 进程调度方式
1) 非抢占方式(Non-preemptive Mode)
在采用非抢占调度方式时,可能引起进程调度的因素可归结为这样几个:①正在执行的进程执行完毕,或因发生某事件而不能再继续执行;②执行中的进程因提出I/O请求而暂停执行;③在进程通信或同步过程中执行了某种原语操作,如P操作(wait操作)、Block 原语、Wakeup原语等。这种调度方式的优点是实现简单、系统开销小,适用于大多数的批处理系统环境。但它难以满足紧急任务的要求——立即执行,因而可能造成难以预料的后果。显然,在要求比较严格的实时系统中,不宜采用这种调度方式。
2) 抢占方式(Preemptive Mode)
抢占的原则有:
(1)优先权原则。
(2) 短作业(进程)优先原则。
(3) 时间片原则。
3.1.3. 中级调度(Intermediate-Level Scheduling)
中级调度又称中程调度(Medium-Term Scheduling)。引入中级调度的主要目的,是为了提高内存利用率和系统吞吐量。为此,应使那些暂时不能运行的进程不再占用宝贵的内存资源,而将它们调至外存上去等待,把此时的进程状态称为就绪驻外存状态或挂起状态。当这些进程重又具备运行条件、且内存又稍有空闲时,由中级调度来决定把外存上的哪些又具备运行条件的就绪进程,重新调入内存,并修改其状态为就绪状态,挂在就绪队列上等待进程调度。
3.2 调度队列模型和调度准则
3.2.1 调度队列模型
1. 仅有进程调度的调度队列模型
图 3 - 1 仅具有进程调度的调度队列模型
2. 具有高级和低级调度的调度队列模型
图 3-2 具有高、低两级调度的调度队列模型
图 3-2 示出了具有高、低两级调度的调度队列模型。该模型与上一模型的主要区别在于如下两个方面。
(1) 就绪队列的形式。 (2) 设置多个阻塞队列。
3. 同时具有三级调度的调度队列模型
图 3-3 具有三级调度时的调度队列模型
成
时间片完
作业
时间片完
3.2.2 选择调度方式和调度算法的若干准则
1. 面向用户的准则
(1) 周转时间短。
可把平均周转时间描述为:
作业的周转时间T与系统为它提供服务的时间TS之比,即W=T/TS,称为带权周转时
间,而平均带权周转时间则可表示为:
???
?
?
?
=∑
=
n
i Si
i
T
T
n
W
1
1
(2) 响应时间快。
(3) 截止时间的保证。
(4) 优先权准则。
2. 面向系统的准则
(1) 系统吞吐量高。
(2) 处理机利用率好。
(3) 各类资源的平衡利用。
3.3 调度算法
3.3.1 先来先服务和短作业(进程)优先调度算法
1. 先来先服务调度算法
图3-4 FCFS和SJF调度算法的性能
?
?
?
?
?
?
=∑
=
i
i
i
T
n
T
1
1
2. 短作业(进程)优先调度算法
短作业(进程)优先调度算法SJ(P)F,是指对短作业或短进程优先调度的算法。它们可以分别用于作业调度和进程调度。短作业优先(SJF)的调度算法,是从后备队列中选择一个或若干个估计运行时间最短的作业,将它们调入内存运行。而短进程优先(SPF)调度算法,则是从就绪队列中选出一估计运行时间最短的进程,将处理机分配给它,使它立即执行并一直执行到完成,或发生某事件而被阻塞放弃处理机时,再重新调度。
SJ(P)F调度算法也存在不容忽视的缺点:
(1) 该算法对长作业不利,如作业C的周转时间由10增至16,其带权周转时间由2增至3.1。更严重的是,如果有一长作业(进程)进入系统的后备队列(就绪队列),由于调度程序总是优先调度那些(即使是后进来的)短作业(进程),将导致长作业(进程)长期不被调度。
(2) 该算法完全未考虑作业的紧迫程度,因而不能保证紧迫性作业(进程)会被及时处理。
(3) 由于作业(进程)的长短只是根据用户所提供的估计执行时间而定的,而用户又可能会有意或无意地缩短其作业的估计运行时间,致使该算法不一定能真正做到短作业优先调度。
3.3.2 高优先权优先调度算法
1. 优先权调度算法的类型
1)非抢占式优先权算法
在这种方式下,系统一旦把处理机分配给就绪队列中优先权最高的进程后,该进程便一直执行下去,直至完成;或因发生某事件使该进程放弃处理机时,系统方可再将处理机重新分配给另一优先权最高的进程。这种调度算法主要用于批处理系统中;也可用于某些对实时性要求不严的实时系统中。
2) 抢占式优先权调度算法
在这种方式下,系统同样是把处理机分配给优先权最高的进程,使之执行。但在其执行期间,只要又出现了另一个其优先权更高的进程,进程调度程序就立即停止当前进程(原优先权最高的进程)的执行,重新将处理机分配给新到的优先权最高的进程。因此,在采用这种调度算法时,是每当系统中出现一个新的就绪进程i时,就将其优先权Pi与正在执行的进程j的优先权Pj进行比较。如果Pi≤Pj,原进程Pj便继续执行;但如果是Pi>Pj, 则立即停止Pj的执行,做进程切换,使i进程投入执行。显然,这种抢占式的优先权调度算法,能更好地满足紧迫作业的要求,故而常用于要求比较严格的实时系统中,以及对性能要求较高的批处理和分时系统中。
2. 优先权的类型
1) 静态优先权
静态优先权是在创建进程时确定的,且在进程的整个运行期间保持不变。一般地,优先权是利用某一范围内的一个整数来表示的,例如,0~7或0~255中的某一整数,又把该整数称为优先数。只是具体用法各异:有的系统用“0”表示最高优先权,当数值愈大时,其优先权愈低;而有的系统恰恰相反。
确定进程优先权的依据有如下三个方面:
(1)进程类型。
(2) 进程对资源的需求。
(3) 用户要求。
2) 动态优先权
动态优先权是指,在创建进程时所赋予的优先权,是可以随进程的推进或随其等待时间的增加而改变的,以便获得更好的调度性能。例如,我们可以规定,在就绪队列中的进程,随其等待时间的增长,其优先权以速率a提高。若所有的进程都具有相同的优先权初值,则
显然是最先进入就绪队列的进程,将因其动态优先权变得最高而优先获得处理机,此即FCFS 算法。若所有的就绪进程具有各不相同的优先权初值,那么,对于优先权初值低的进程,在等待了足够的时间后,其优先权便可能升为最高,从而可以获得处理机。当采用抢占式优先权调度算法时,如果再规定当前进程的优先权以速率b 下降,则可防止一个长作业长期地垄断处理机。
3. 高响应比优先调度算法 优先权的变化规律可描述为:
由于等待时间与服务时间之和,就是系统对该作业的响应时间,故该优先权又相当于响应比R P 。据此,又可表示为:
(1) 如果作业的等待时间相同,则要求服务的时间愈短,其优先权愈高,因而该算法有利于短作业。
(2) 当要求服务的时间相同时,作业的优先权决定于其等待时间,等待时间愈长,其优先权愈高,因而它实现的是先来先服务。
(3) 对于长作业,作业的优先级可以随等待时间的增加而提高,当其等待时间足够长时,其优先级便可升到很高, 从而也可获得处理机。 3.3.3 基于时间片的轮转调度算法
1. 时间片轮转法
在早期的时间片轮转法中,系统将所有的就绪进程按先来先服务的原则,排成一个队列,每次调度时,把CPU 分配给队首进程,并令其执行一个时间片。时间片的大小从几ms 到几百ms 。当执行的时间片用完时,由一个计时器发出时钟中断请求,调度程序便据此信号来停止该进程的执行,并将它送往就绪队列的末尾;然后,再把处理机分配给就绪队列中新的队首进程,同时也让它执行一个时间片。这样就可以保证就绪队列中的所有进程,在一给定的时间内,均能获得一时间片的处理机执行时间。
2. 多级反馈队列调度算法
(1) 应设置多个就绪队列,并为各个队列赋予不同的优先级。 第一个队列的优先级最高,第二个队列次之,其余各队列的优先权逐个降低。该算法赋予各个队列中进程执行时间片的大小也各不相同,在优先权愈高的队列中,为每个进程所规定的执行时间片就愈小。例如,第二个队列的时间片要比第一个队列的时间片长一倍,……,第i +1个队列的时间片要比第i 个队列的时间片长一倍。 图 3-5 是多级反馈队列算法的示意。
要求服务时间要求服务时间
等待时间优先权+=
要求服务时间响应时间
要求服务时间要求服务时间等待时间优先权=+=
图 3-5 多级反馈队列调度算法
(2) 当一个新进程进入内存后,首先将它放入第一队列的末尾,按FCFS 原则排队等待调度。当轮到该进程执行时,如它能在该时间片内完成,便可准备撤离系统;如果它在一个时间片结束时尚未完成,调度程序便将该进程转入第二队列的末尾,再同样地按FCFS 原则等待调度执行;如果它在第二队列中运行一个时间片后仍未完成,再依次将它放入第三队列,……,如此下去,当一个长作业(进程)从第一队列依次降到第n 队列后,在第n 队列中便采取按时间片轮转的方式运行。
(3) 仅当第一队列空闲时,调度程序才调度第二队列中的进程运行; 仅当第1~(i-1) 队列均空时,才会调度第i 队列中的进程运行。如果处理机正在第i 队列中为某进程服务时,又有新进程进入优先权较高的队列(第1~(i-1)中的任何一个队列),则此时新进程将抢占正在运行进程的处理机,即由调度程序把正在运行的进程放回到第i 队列的末尾,把处理机分配给新到的高优先权进程。
3. 多级反馈队列调度算法的性能 (1) 终端型作业用户。 (2) 短批处理作业用户。 (3) 长批处理作业用户。
3.4 实 时 调 度
3.4.1 实现实时调度的基本条件
1. 提供必要的信息 (1) 就绪时间。
(2) 开始截止时间和完成截止时间。 (3) 处理时间。 (4) 资源要求。 (5) 优先级。
2. 系统处理能力强
在实时系统中,通常都有着多个实时任务。若处理机的处理能力不够强,则有可能因处理机忙不过来而使某些实时任务不能得到及时处理, 从而导致发生难以预料的后果。假定系统中有m 个周期性的硬实时任务,它们的处理时间可表示为Ci ,周期时间表示为Pi ,则在单处理机情况下,必须满足下面的限制条件:
∑=≤m
i i
i
P C 11就绪队列1
就绪队列2
就绪队列3
就绪队列n 1
S 2
S 3
至CP U
至CP U
至CP U
至CP U
(时间片:S 1<S 2<S 3)
系统才是可调度的。假如系统中有6个硬实时任务,它们的周期时间都是 50 ms ,而每次的处理时间为 10 ms ,则不难算出,此时是不能满足上式的,因而系统是不可调度的。
解决的方法是提高系统的处理能力,其途径有二:其一仍是采用单处理机系统, 但须增强其处理能力, 以显著地减少对每一个任务的处理时间;其二是采用多处理机系统。假定系统中的处理机数为N ,则应将上述的限制条件改为:
3. 采用抢占式调度机制
当一个优先权更高的任务到达时,允许将当前任务暂时挂起,而令高优先权任务立即投入运行,这样便可满足该硬实时任务对截止时间的要求。但这种调度机制比较复杂。
对于一些小的实时系统,如果能预知任务的开始截止时间,则对实时任务的调度可采用非抢占调度机制,以简化调度程序和对任务调度时所花费的系统开销。但在设计这种调度机制时,应使所有的实时任务都比较小,并在执行完关键性程序和临界区后,能及时地将自己阻塞起来,以便释放出处理机, 供调度程序去调度那种开始截止时间即将到达的任务。
4. 具有快速切换机制
该机制应具有如下两方面的能力:
(1) 对外部中断的快速响应能力。为使在紧迫的外部事件请求中断时系统能及时响应,要求系统具有快速硬件中断机构,还应使禁止中断的时间间隔尽量短, 以免耽误时机(其它紧迫任务)。
(2) 快速的任务分派能力。在完成任务调度后,便应进行任务切换。为了提高分派程序进行任务切换时的速度, 应使系统中的每个运行功能单位适当的小,以减少任务切换的时间开销。
3.4.2 实时调度算法的分类
1. 非抢占式调度算法
(1)非抢占式轮转调度算法。 (2) 非抢占式优先调度算法。 2. 抢占式调度算法
(1) 基于时钟中断的抢占式优先权调度算法
(2) 立即抢占(Immediate Preemption)的优先权调度算法。
图 3-6 实时进程调度
∑
=≤m
i i i
N P C 1(a ) 非抢占轮转调度当前进程实时进程
实时进程枪占当前
进程,并立即执行
(d ) 立即抢占的优先权调度调度时间
进程 1进程 2进程 n 实时进程(b ) 非抢占优先权调度当前进程实时进程调度时间当前进程调度时间
(c ) 基于时钟中断抢占的优先权抢占调度
调度时间
实时进程
3.4.3 常用的几种实时调度算法
1. 最早截止时间优先即EDF(Earliest Deadline First)算法
图 3-7 EDF 算法用于非抢占调度方式
2. 最低松弛度优先即LLF(Least Laxity First)算法
该算法是根据任务紧急(或松弛)的程度,来确定任务的优先级。任务的紧急程度愈高,为该任务所赋予的优先级就愈高, 以使之优先执行。例如,一个任务在200ms 时必须完成,而它本身所需的运行时间就有100ms ,因此,调度程序必须在100 ms 之前调度执行,该任务的紧急程度(松弛程度)为100 ms 。又如,另一任务在400 ms 时必须完成,它本身需要运行 150 ms ,则其松弛程度为 250 ms 。在实现该算法时要求系统中有一个按松弛度排序的实时任务就绪队列,松弛度最低的任务排在队列最前面,调度程序总是选择就绪队列中的队首任务执行。该算法主要用于可抢占调度方式中。假如在一个实时系统中,有两个周期性实时任务A 和B ,任务A 要求每 20 ms 执行一次,执行时间为 10 ms ;任务B 只要求每50 ms 执行一次,执行时间为 25 ms 。
图 3-8 A 和B 任务每次必须完成的时间
在刚开始时(t 1=0),A1必须在20ms 时完成,而它本身运行又需 10 ms ,可算出A1的松弛度为10ms ;B1必须在50ms 时完成, 而它本身运行就需25 ms ,可算出B1的松弛度为25 ms ,故调度程序应先调度A1执行。在t 2=10 ms 时,A2的松弛度可按下式算出: A2的松弛度=必须完成时间-其本身的运行时间-当前时间 =40 ms-10 ms-10 ms=20 ms
类似地,可算出B1的松弛度为15ms ,故调度程序应选择B2运行。在t 3=30 ms 时,A2的松弛度已减为0(即40-10-30),而B1的松弛度为15 ms(即50-5-30),于是调度程序应抢占B1的处理机而调度A2运行。在t4=40 ms 时,A3的松弛度为10 ms(即60-10-40),而B1的松弛度仅为5 ms(即50-5-40),故又应重新调度B1执行。在t5=45 ms 时,B1执行完成,而此时A3的松弛度已减为5 ms(即60-10-45),而B2的松弛度为30 ms(即100-25-45),于是又应调度A3执行。在t6=55ms 时,任务A 尚未进入第4周期,而任务B 已进入第2周期,故再调度B2执行。在t7=70 ms 时,A4的松弛度已减至0 ms(即80-10-70),而B2的松弛度为20 ms(即100-10-70),故此时调度又应抢占B2的处理机而调度A4执行。
1342开始截止时间任务执行
任务到达t 12345678
20406080100120140160
123t 0
图 3-9 利用ELLF 算法进行调度的情况
3.5 产生死锁的原因和必要条件
3.5.1 产生死锁的原因
(1)竞争资源。
(2) 进程间推进顺序非法。 1. 竞争资源引起进程死锁 1)可剥夺和非剥夺性资源 2)竞争非剥夺性资源 3)竞争临时性资源
图 3-12 I/O 设备共享时的死锁情况
图 3-13 进程之间通信时的死锁
2. 进程推进顺序不当引起死锁 1) 进程推进顺序合法
图 3-14 进程推进顺序对死锁的影响
R 1R 2
P 1
P 2
S 2
P 1S 3P 3S 1P 2P 2Rel(R 1
)P 2Rel(R 2
)P 2Req(R 1)P 2Req(R 2)
P 1Req(R 1)P 1Req(R 2)P 1Rel(R 1)P 1Rel(R 2
)①
②
③
④D
t 1A (10)10
2030
4050
6080t
0t 1=0
1t 2t 370
A (10)A (10)A (10)t 4t 5
t 6
t 7t 8122
2) 进程推进顺序非法
若并发进程P1和P2按曲线④所示的顺序推进,它们将进入不安全区D内。此时P1保持了资源R1, P2保持了资源R2, 系统处于不安全状态。因为,这时两进程再向前推进,便可能发生死锁。例如,当P1运行到P1:Request(R2)时,将因R2已被P2占用而阻塞;当P2运行到P2: Request(R1)时,也将因R1已被P1占用而阻塞,于是发生了进程死锁。
3.5.2 产生死锁的必要条件
(1) 互斥条件
(2) 请求和保持条件
(3) 不剥夺条件
(4) 环路等待条件
死锁的定义
一组进程中,每个进程都无限等待被该组进程中另一进程所占有的资源,因而永远无法得到该资源,这种现象称为进程死锁,这一组进程就称为死锁进程
死锁(Deadlock)
饥饿(Starvation)
判断
1 参与死锁的所有进程都占有资源
2 参与死锁的所有进程均正在等待资源
3 参与死锁的所有进程中至少有两个进程占有资源
4 参与死锁的进程至少有两个
关于死锁的一些结论
?参与死锁的进程最少是两个
(两个以上进程才会出现死锁)
?参与死锁的进程至少有两个已经占有资源
?参与死锁的所有进程都在等待资源
?参与死锁的进程是当前系统中所有进程的子集
注:如果死锁发生,会浪费大量系统资源,甚至导致系统崩溃
3.5.3 处理死锁的基本方法
(1) 预防死锁。
(2) 避免死锁。
(3) 检测死锁。
(4) 解除死锁。
3.6 预防死锁的方法
3.6.1 预防死锁
1. 摒弃“请求和保持”条件
2. 摒弃“不剥夺”条件
3. 摒弃“环路等待”条件
3.6.2 系统安全状态
1. 安全状态
在避免死锁的方法中,允许进程动态地申请资源,但系统在进行资源分配之前,应先计算此次资源分配的安全性。若此次分配不会导致系统进入不安全状态,则将资源分配给进程;
否则,令进程等待。
所谓安全状态,是指系统能按某种进程顺序(P1, P2, …,Pn)(称〈P1, P2, …, Pn〉序列为安全序列),来为每个进程Pi分配其所需资源,直至满足每个进程对资源的最大需求,使每个进程都可顺利地完成。如果系统无法找到这样一个安全序列,则称系统处于不安全状态。
2. 安全状态之例
我们通过一个例子来说明安全性。假定系统中有三个进程P1、P2和P3,共有12台磁带机。进程P1总共要求10台磁带机,P2和P3分别要求4台和9台。假设在T0时刻,进程P1、P2和P3已分别获得5台、2台和2台磁带机,尚有3台空闲未分配,如下表所示:进程最大需求已分配可用
P1 P2 P3
10
4
9
5
2
2
3
3. 由安全状态向不安全状态的转换
如果不按照安全序列分配资源,则系统可能会由安全状态进入不安全状态。例如,在
T0时刻以后,P3又请求1台磁带机,若此时系统把剩余3台中的1台分配给P3,则系统便进入不安全状态。因为,此时也无法再找到一个安全序列,例如,把其余的2台分配给P2,这样,在P2完成后只能释放出4台,既不能满足P1尚需5台的要求,也不能满足P3尚需6台的要求,致使它们都无法推进到完成,彼此都在等待对方释放资源,即陷入僵局,结果导致死锁。
3.6.3 利用银行家算法避免死锁
1. 银行家算法中的数据结构
(1) 可利用资源向量Available。这是一个含有m个元素的数组,其中的每一个元素代表一类可利用的资源数目,其初始值是系统中所配置的该类全部可用资源的数目,其数值随该类资源的分配和回收而动态地改变。如果Available[j ]=K,则表示系统中现有Rj类资源K 个。
(2) 最大需求矩阵Max。这是一个n×m的矩阵,它定义了系统中n个进程中的每一个进程对m类资源的最大需求。如果Max[i,j]=K,则表示进程i需要Rj类资源的最大数目为K。
(3) 分配矩阵Allocation。这也是一个n×m的矩阵,它定义了系统中每一类资源当前已分配给每一进程的资源数。如果Allocation[i,j]=K,则表示进程i当前已分得R j 类资源的数目为K。
(4) 需求矩阵Need。这也是一个n×m的矩阵,用以表示每一个进程尚需的各类资源数。如果Need[i,j]=K,则表示进程i还需要Rj类资源K个,方能完成其任务。
Need[i,j]=Max[i,j]-Allocation[i,j]
2. 银行家算法
设Requesti是进程Pi的请求向量,如果Requesti[j]=K,表示进程Pi需要K个Rj类型的资源。当Pi发出资源请求后,系统按下述步骤进行检查:
(1) 如果Requesti[j]≤Need[i,j],便转向步骤2;否则认为出错,因为它所需要的资源数已超过它所宣布的最大值。
(2) 如果Requesti[j]≤Available[j],便转向步骤(3);否则,表示尚无足够资源,Pi 须等待。
(3) 系统试探着把资源分配给进程Pi,并修改下面数据结构中的数值:
Available[j]∶=Available[j]-Requesti[j];
Allocation[i,j]∶=Allocation[i,j]+Requesti[j];
Need[i,j]∶=Need[i,j]-Requesti[j];
(4) 系统执行安全性算法,检查此次资源分配后,系统是否处于安全状态。若安全,才正式将资源分配给进程Pi,以完成本次分配;否则,将本次的试探分配作废,恢复原来的资源分配状态,让进程Pi等待。
3. 安全性算法
(1) 设置两个向量:①工作向量Work: 它表示系统可提供给进程继续运行所需的各类资源数目,它含有m个元素,在执行安全算法开始时,Work∶=Available; ②Finish: 它表示系统是否有足够的资源分配给进程,使之运行完成。开始时先做Finish[i]∶=false; 当有足够资源分配给进程时,再令Finish[i]∶=true。
(2) 从进程集合中找到一个能满足下述条件的进程:
①Finish[i]=false; ②Need[i,j]≤Work[j];若找到,执行步骤(3),否则,执行步骤(4)。
(3) 当进程Pi获得资源后,可顺利执行,直至完成,并释放出分配给它的资源,故应执行:
Work[j]∶=Work[i]+Allocation[i,j];
Finish[i]∶=true;
go to step 2;
(4) 如果所有进程的Finish[i]=true都满足,则表示系统处于安全状态;否则,系统处于不安全状态。
4. 银行家算法之例
假定系统中有五个进程{P0, P1, P2, P3, P4}和三类资源{A, B, C},各种资源的数量分别为10、5、7,在T0时刻的资源分配情况如图3-15 所示。
图3-15 T0时刻的资源分配表
(1) T0时刻的安全性:
图3-16 T0时刻的安全序列
(2) P1请求资源:P1发出请求向量Request1(1,0,2),系统按银行家算法进行检查:
①Request1(1, 0, 2)≤Need1(1, 2, 2)
②Request1(1, 0, 2)≤Available1(3, 3, 2)
③系统先假定可为P1分配资源,并修改Available, Allocation1和Need1向量,由此形成的资源变化情况如图3-15 中的圆括号所示。
④再利用安全性算法检查此时系统是否安全。
图3-17 P1申请资源时的安全性检查
(3) P4请求资源:P4发出请求向量Request4(3,3,0),系统按银行家算法进行检查:
①Request4(3, 3, 0)≤Need4(4, 3, 1);
②Request4(3, 3, 0) (4) P0请求资源:P0发出请求向量Requst0(0,2,0),系统按银行家算法进行检查: ①Request0(0, 2, 0)≤Need0(7, 4, 3); ②Request0(0, 2, 0)≤Available(2, 3, 0); ③系统暂时先假定可为P0分配资源,并修改有关数据,如图3-18 所示。 图3-18 为P0分配资源后的有关资源数据 ?练习:有三类资源A(17)、B(5)、C(20)。有5个进程P1—P5。T0时刻系统状态如下:最大需求已分配 P1 5 5 9 2 1 2 P2 5 3 6 4 0 2 P3 4 0 11 4 0 5 P4 4 2 5 2 0 4 P5 4 2 4 3 1 4 问(1)、T0时刻是否为安全状态,给出安全系列。 (2)、T0时刻,P2: Request(0,3,4),能否分配,为什么? (3)、在(2)的基础上P4:Request(2,0,1),能否分配,为什么? (4)、在(3)的基础上P1:Request(0,2,0),能否分配,为什么? 解:(1) T0时刻的出安全系列 先求出Need和Work 最大需求已分配Need P1 5 5 9 2 1 2 3 4 7 P2 5 3 6 4 0 2 1 3 4 P3 4 0 11 4 0 5 0 0 6 P4 4 2 5 2 0 4 2 2 1 P5 4 2 4 3 1 4 1 1 0 A(17)、B(5)、C(20) Work=2 3 3 Work Allocation Need W+A Finish (2) P2: Request(0,3,4) 因(Available =2 3 3)< Request(0,3,4) 所以不能分配 Available =2 3 3 有安全序列P4 P5 P3 P2 P1 可以分配 0 1 2 已不能满足任何进程的需要,不能分配 3.7 死锁的检测与解除 3.7.1 死锁的检测 1. 资源分配图(Resource Allocation Graph) 图 3-19 每类资源有多个时的情况 (1) 把N 分为两个互斥的子集,即一组进程结点P={p1,p2, …,pn}和一组资源结点R={r1,r2, …,rn},N=PUR 。在图3-19 所示的例子中, P={p1,p2, …,pn}, R={r1,r2, …,rn} ,N= {p1,p2, …,pn} U{r1,r2, …,rn}。 (2) 凡属于E 中的一个边e ∈E ,都连接着P 中的一个结点和R 中的一个结点,e={pi, rj}是资源请求边,由进程pi 指向资源rj , 它表示进程pi 请求一个单位的rj 资源。e={rj, pi}是资源分配边,由资源rj 指向进程pi, 它表示把一个单位的资源rj 分配给进程pi 。 2. 死锁定理 图 3-20 资源分配图的简化 3. 死锁检测中的数据结构 (1) 可利用资源向量Available ,它表示了m 类资源中每一类资源的可用数目。 (2) 把不占用资源的进程(向量Allocation ∶=0)记入L 表中, 即Li ∪L 。 (3) 从进程集合中找到一个Requesti ≤Work 的进程,做如下处理:① 将其资源分配图简化,释放出资源,增加工作向量Work ∶=Work+Allocationi 。 ② 将它记入L 表中。 (4) 若不能把所有进程都记入L 表中, 便表明系统状态S 的资源分配图是不可完全简化的。 因此,该系统状态将发生死锁。 Work ∶=Available; L ∶={Li|Allocationi=0∩Requesti=0} for all Li L do begin for all Requesti ≤Work do begin Work ∶=Work+Allocationi; Li ∪L; end P 1 P 2 r 1r 2 (a )(b )P 1(c )P 1 P 2P 1P 2P 2 end deadlock ∶ = (L={p1, p2, …, pn}); 3.7.2 死锁的解除 (1) 剥夺资源。 (2) 撤消进程。 为把系统从死锁状态中解脱出来,所花费的代价可表示为: R(S)min=min{Cui}+min{Cuj}+min{Cuk}+… 图 3-21 付出代价最小的死锁解除方法 ? P0请求:Reqest(0,1,0) Allocation Need Available P0 0 1 0 7 4 3 2 3 0 P1 3 0 2 0 2 0 P2 3 0 2 6 0 0 P3 2 1 1 0 1 1 P4 0 0 2 4 3 1 试探分配后 Allocation Need Available P0 0 2 0 7 3 3 2 2 0 P1 3 0 2 0 2 0 P2 3 0 2 6 0 0 P3 2 1 1 0 1 1 P4 0 0 2 4 3 1 2 2 0 U 1V 12V 13V 1k W 132W 134W 13k P 2P 3……P 2P 4…P k …P k U 2V 21V 22V 2k W 231W 234W 23k …P 1P 4…P k …U k V k1V k2 V kk W k21W k22W k2k … …P k …… S P 1(c u1)P 1(c uk ) P 1(c ud ) 有安全系列如下 思考题1 已分配的资源最大需求量 A B C A B C P1 0 1 0 7 5 3 P2 2 0 0 3 2 2 P3 3 0 2 9 0 2 P4 2 1 1 2 2 2 P5 0 0 2 4 3 3 剩余资源 A B C 3 3 2 问题:此状态是否为安全状态,如果 是, 则找出安全序列 在此基础上 P2 申请(1,0,2)能否分配?为什么? P5 申请(3,3,0)能否分配?为什么? P1 申请(0,2,0)能否分配?为什么? 思考题2 1、一台计算机共8台磁带机,由N个进程共享,每个进程最多要3台,问N为多少时不会有死锁,为什么? 2、有R1(2)、R2(1)两类资源和两个进程P1、P2,两个进程均以 申请R1?申请R2?申请R1?释放R1?释放R2?释放R1 顺序使用资源,求可能达到的死锁点,并画出此时的资源分配图。 解 ?当两个进程都执行完第1步后,无论哪个进程执行完第2步,以后,这两个进程再申请资源时就会死锁。 R2