配色: 字号:
操作系统第3章
2022-06-01 | 阅:  转:  |  分享 
  
?3.1处理机调度的层次和调度算法的目标在多道程序系统中,调度的实质是一种资源分配,处理机调度是对处理机资源进行分配。处理机调度
算法是指根据处理机分配策略所规定的处理机分配算法。在多道批处理系统中,一个作业从提交到获得处理机执行,直至作业运行完毕,可能需要经
历多级处理机调度,下面先来了解处理机调度的层次。3.1.1处理机调度的层次1.高级调度(HighLevelSch
eduling)2.低级调度(LowLevelScheduling)3.中级调度(IntermediateS
cheduling)3.1.2处理机调度算法的目标1.处理机调度算法的共同目标(1)资源利用率。为提高系统的
资源利用率,应使系统中的处理机和其它所有资源都尽可能地保持忙碌状态,其中最重要的处理机利用率可用以下方法计算:(2)公平性
。公平性是指应使诸进程都获得合理的CPU时间,不会发生进程饥饿现象。公平性是相对的,对相同类型的进程应获得相同的服务;但对于不同
类型的进程,由于其紧急程度或重要性的不同,则应提供不同的服务。(3)平衡性。由于在系统中可能具有多种类型的进程,有的属于计
算型作业,有的属于I/O型。为使系统中的CPU和各种外部设备都能经常处于忙碌状态,调度算法应尽可能保持系统资源使用的平衡性。
(4)策略强制执行。对所制订的策略其中包括安全策略,只要需要,就必须予以准确地执行,即使会造成某些工作的延迟也要执行。2.
批处理系统的目标(1)平均周转时间短。对每个用户而言,都希望自己作业的周转时间最短。但作为计算机系统的管理者,则
总是希望能使平均周转时间最短,这不仅会有效地提高系统资源的利用率,而且还可使大多数用户都感到满意。应使作业周转时间和作业的平均周转
时间尽可能短。否则,会使许多用户的等待时间过长,这将会引起用户特别是短作业用户的不满。可把平均周转时间描述为:为了进一步反映
调度的性能,更清晰地描述各进程在其周转时间中,等待和执行时间的具体分配状况,往往使用带权周转时间,即作业的周转时间T与系统为它提供
服务的时间Ts之比,即W?=?T/Ts。而平均带权周转时间则可表示为:(2)系统吞吐量高。由于吞吐量是指在单位时间内系统所
完成的作业数,因而它与批处理作业的平均长度有关。事实上,如果单纯是为了获得高的系统吞吐量,就应尽量多地选择短作业运行。(3)
处理机利用率高。对于大、中型计算机,CPU价格十分昂贵,致使处理机的利用率成为衡量系统性能的十分重要的指标;而调度方式和算法又对
处理机的利用率起着十分重要的作用。如果单纯是为使处理机利用率高,应尽量多地选择计算量大的作业运行。由上所述可以看出,这些要求之间是
存在着一定矛盾的。3.分时系统的目标(1)响应时间快。(2)均衡性。4.实时系统的目标(1
)截止时间的保证。(2)可预测性。3.2作业与作业调度在多道批处理系统中,作业是用户提交给系统的
一项相对独立的工作。操作员把用户提交的作业通过相应的输入设备输入到磁盘存储器,并保存在一个后备作业队列中。再由作业调度程序将其从外
存调入内存。3.2.1批处理系统中的作业1.作业和作业步(1)作业(Job)。(2)作业步(Job
Step)。2.作业控制块(JobControlBlock,JCB)为了管理和调度作业,在多道批处理系统中,为每
个作业设置了一个作业控制块JCB,它是作业在系统中存在的标志,其中保存了系统对作业进行管理和调度所需的全部信息。通常在JCB中包含
的内容有:作业标识、用户名称、用户账号、作业类型(CPU繁忙型、I/O繁忙型、批量型、终端型)、作业状态、调度信息(优先级、作
业运行时间)、资源需求(预计运行时间、要求内存大小等)、资源使用情况等。3.作业运行的三个阶段和三种状态作业从进入
系统到运行结束,通常需要经历收容、运行和完成三个阶段。相应的作业也就有“后备状态”、“运行状态”和“完成状态”。(1)收容
阶段。(2)运行阶段。(3)完成阶段。3.2.2作业调度的主要任务作业调度的主要任务是,根
据JCB中的信息,检查系统中的资源能否满足作业对资源的需求,以及按照一定的调度算法,从外存的后备队列中选取某些作业调入内存,并为它
们创建进程、分配必要的资源。然后再将新创建的进程排在就绪队列上等待调度。因此,也把作业调度称为接纳调度(AdmissionSch
eduling)。在每次执行作业调度时,都需做出以下两个决定。1.接纳多少个作业2.接纳哪些作业3.2.3
先来先服务(FCFS)和短作业优先(SJF)调度算法1.先来先服务(first-comefirst-served,F
CFS)调度算法FCFS是最简单的调度算法,该算法既可用于作业调度,也可用于进程调度。当在作业调度中采用该算法时,系统将按照
作业到达的先后次序来进行调度,或者说它是优先考虑在系统中等待时间最长的作业,而不管该作业所需执行时间的长短,从后备作业队列中选择几
个最先进入该队列的作业,将它们调入内存,为它们分配资源和创建进程。然后把它放入就绪队列。2.短作业优先(shortjob
first,SJF)的调度算法由于在实际情况中,短作业(进程)占有很大比例,为了能使它们能比长作业优先执行,而产生了短作
业优先调度算法。1)短作业优先算法SJF算法是以作业的长短来计算优先级,作业越短,其优先级越高。作业的长短是以作业所
要求的运行时间来衡量的。SJF算法可以分别用于作业调度和进程调度。在把短作业优先调度算法用于作业调度时,它将从外存的作业后备队列中
选择若干个估计运行时间最短的作业,优先将它们调入内存运行。2)短作业优先算法的缺点SJF调度算法较之FCFS算法有了
明显的改进,但仍然存在不容忽视的缺点:(1)必须预知作业的运行时间。在采用这种算法时,要先知道每个作业的运行时间。即使是程
序员也很难准确估计作业的运行时间,如果估计过低,系统就可能按估计的时间终止作业的运行,但此时作业并未完成,故一般都会偏长估计。
(2)对长作业非常不利,长作业的周转时间会明显地增长。更严重的是,该算法完全忽视作业的等待时间,可能使作业等待时间过长,出现饥
饿现象。(3)在采用FCFS算法时,人—机无法实现交互。(4)该调度算法完全未考虑作业的紧迫程度,故不能保证紧迫性
作业能得到及时处理。3.2.4优先级调度算法和高响应比优先调度算法1.优先级调度算法(priority-schedu
lingalgorithm,PSA)我们可以这样来看作业的优先级,对于先来先服务调度算法,作业的等待时间就是作业的优先级,
等待时间越长,其优先级越高。对于短作业优先调度算法,作业的长短就是作业的优先级,作业所需运行的时间越短,其优先级越高。但上述两种优
先级都不能反映作业的紧迫程度。2.高响应比优先调度算法(HighestResponseRatioNext,HRRN
)在批处理系统中,FCFS算法所考虑的只是作业的等待时间,而忽视了作业的运行时间。而SJF算法正好与之相反,只考虑作业的
运行时间,而忽视了作业的等待时间。高响应比优先调度算法则是既考虑了作业的等待时间,又考虑作业运行时间的调度算法,因此既照顾了短作业
,又不致使长作业的等待时间过长,从而改善了处理机调度的性能。高响应比优先算法是如何实现的呢?如果我们能为每个作业引入一个动
态优先级,即优先级是可以改变的,令它随等待时间延长而增加,这将使长作业的优先级在等待期间不断地增加,等到足够的时间后,必然有机会获
得处理机。该优先级的变化规律可描述为:由于等待时间与服务时间之和就是系统对该作业的响应时间,故该优先级又相当于响应比RP。据
此,优先又可表示为:?3.3进程调度进程调度是OS中必不可少的一种调度。因此在三种类型的OS中,都无
一例外地配置了进程调度。此外它也是对系统性能影响最大的一种处理机调度,相应的,有关进程调度的算法也较多。3.3.1进程调度的
任务、机制和方式1.进程调度的任务进程调度的任务主要有三:(1)保存处理机的现场信息。(2)按
某种算法选取进程。(3)把处理器分配给进程。2.进程调度机制为了实现进程调度,在进程调度机制中,应具有如下
三个基本部分,如图3-1所示。(1)排队器。(2)分派器。(3)上下文切换器。图3-1进程调度
机制3.进程调度方式1)非抢占方式(NonpreemptiveMode)在采用这种调度方式时,一旦把处理机
分配给某进程后,就一直让它运行下去,决不会因为时钟中断或任何其它原因去抢占当前正在运行进程的处理机,直至该进程完成,或发生某事件而
被阻塞时,才把处理机分配给其它进程。2)抢占方式(PreemptiveMode)这种调度方式允许调度程序根据某种原
则,去暂停某个正在执行的进程,将已分配给该进程的处理机重新分配给另一进程。在现代OS中广泛采用抢占方式,这是因为:对于批处理机系统
,可以防止一个长进程长时间地占用处理机,以确保处理机能为所有进程提供更为公平的服务。在分时系统中,只有采用抢占方式才有可能实现人—
机交互。在实时系统中,抢占方式能满足实时任务的需求。但抢占方式比较复杂,所需付出的系统开销也较大。3.3.2轮转调度算法
1.轮转法的基本原理在轮转(RR)法中,系统将所有的就绪进程按FCFS策略排成一个就绪队列。系统可设置每隔一定时间(如3
0?ms)便产生一次中断,去激活进程调度程序进行调度,把CPU分配给队首进程,并令其执行一个时间片。当它运行完毕后,又把处理机分配
给就绪队列中新的队首进程,也让它执行一个时间片。这样,就可以保证就绪队列中的所有进程在确定的时间段内,都能获得一个时间片的处理机时
间。2.进程切换时机在RR调度算法中,应在何时进行进程的切换,可分为两种情况:①若一个时间片尚未用完,正在运行的进
程便已经完成,就立即激活调度程序,将它从就绪队列中删除,再调度就绪队列中队首的进程运行,并启动一个新的时间片。②在一个时间片用完
时,计时器中断处理程序被激活。如果进程尚未运行完毕,调度程序将把它送往就绪队列的末尾。3.时间片大小的确定在轮转算法
中,时间片的大小对系统性能有很大的影响。图3-2示出了时间片大小对响应时间的影响,其中图(a)是时间片略大于典型交互的时
间,而图(b)是时间片小于典型交互的时间。图3-3示出了时间片分别为q?=?1和q?=?4时对平均周转时间的影响。图3-2
时间片大小对响应时间的影响图3-3q?=?1和q?=?4时进程的周转时间3.3.3优先级调度算法1.优先级调度
算法的类型优先级进程调度算法,是把处理机分配给就绪队列中优先级最高的进程。这时,又可进一步把该算法分成如下两种。(1)
非抢占式优先级调度算法。(2)抢占式优先级调度算法。2.优先级的类型1)静态优先级静态优先级是在
创建进程时确定的,在进程的整个运行期间保持不变。优先级是利用某一范围内的一个整数来表示的,例如0~255中的某一整数,又把该整数称
为优先数。确定进程优先级大小的依据有如下三个:(1)进程类型。(2)进程对资源的需求。(3)用户要求。
2)动态优先级动态优先级是指在创建进程之初,先赋予其一个优先级,然后其值随进程的推进或等待时间的增加而改变,以便获得更好
的调度性能。3.3.4多队列调度算法如前所述的各种调度算法,尤其在应用于进程调度时,由于系统中仅设置一个进程的就绪队
列,即低级调度算法是固定的、单一的,无法满足系统中不同用户对进程调度策略的不同要求,在多处理机系统中,这种单一调度策略实现机制的缺
点更显突出,由此,多级队列调度算法能够在一定程度上弥补这一缺点。3.3.5多级反馈队列(multilevedfeedbac
kqueue)调度算法1.调度机制多级反馈队列调度算法的调度机制可描述如下:(1)设置多个就绪队列。
图3-4是多级反馈队列算法的示意图。图3-4多级反馈队列调度算法(2)每个队列都采用FCFS算法。当新进程进入
内存后,首先将它放入第一队列的末尾,按FCFS原则等待调度。当轮到该进程执行时,如它能在该时间片内完成,便可撤离系统。否则,即它在
一个时间片结束时尚未完成,调度程序将其转入第二队列的末尾等待调度;如果它在第二队列中运行一个时间片后仍未完成,再依次将它放入第三队
列,……,依此类推。当进程最后被降到第n队列后,在第n队列中便采取按RR方式运行。(3)按队列优先级调度。调度程序首先调度
最高优先级队列中的诸进程运行,仅当第一队列空闲时才调度第二队列中的进程运行;换言之,仅当第1~(i-1)所有队列均空时,才会调度第
i队列中的进程运行。如果处理机正在第i队列中为某进程服务时又有新进程进入任一优先级较高的队列,此时须立即把正在运行的进程放回到第i
队列的末尾,而把处理机分配给新到的高优先级进程。2.调度算法的性能在多级反馈队列调度算法中,如果规定第一个队列的时间
片略大于多数人机交互所需之处理时间时,便能较好地满足各种类型用户的需要。(1)终端型用户。(2)短批处理作业用户。
(3)长批处理作业用户。3.3.6基于公平原则的调度算法1.保证调度算法保证调度算法是另外一种类
型的调度算法,它向用户所做出的保证并不是优先运行,而是明确的性能保证,该算法可以做到调度的公平性。一种比较容易实现的性能保证是处理
机分配的公平性。如果在系统中有n个相同类型的进程同时运行,为公平起见,须保证每个进程都获得相同的处理机时间1/n。在实施公
平调度算法时系统中必须具有这样一些功能:(1)跟踪计算每个进程自创建以来已经执行的处理时间。(2)计算每个进程应获
得的处理机时间,即自创建以来的时间除以n。(3)计算进程获得处理机时间的比率,即进程实际执行的处理时间和应获得的处理机时间
之比。(4)比较各进程获得处理机时间的比率。如进程A的比率最低,为0.5,而进程B的比率为0.8,进程C的比率为1.2等。
(5)调度程序应选择比率最小的进程将处理机分配给它,并让该进程一直运行,直到超过最接近它的进程比率为止。2.公平分
享调度算法分配给每个进程相同的处理机时间,显然,这对诸进程而言,是体现了一定程度的公平,但如果各个用户所拥有的进程数不同,就
会发生对用户的不公平问题。?3.4实时调度在实时系统中,可能存在着两类不同性质的实时任务,即HR
T任务和SRT任务,它们都联系着一个截止时间。为保证系统能正常工作,实时调度必须能满足实时任务对截止时间的要求。为此,实现实时调度
应具备一定的条件。3.4.1实现实时调度的基本条件1.提供必要的信息为了实现实时调度,系统应向调度程序提供有关
任务的信息:(1)就绪时间,是指某任务成为就绪状态的起始时间,在周期任务的情况下,它是事先预知的一串时间序列。(2)
开始截止时间和完成截止时间,对于典型的实时应用,只须知道开始截止时间,或者完成截止时间。(3)处理时间,一个任务从开始执
行,直至完成时所需的时间。(4)资源要求,任务执行时所需的一组资源。(5)优先级,如果某任务的开始截止时间错过,势
必引起故障,则应为该任务赋予“绝对”优先级;如果其开始截止时间的错过,对任务的继续运行无重大影响,则可为其赋予“相对”优先级,供调
度程序参考。2.系统处理能力强在实时系统中,若处理机的处理能力不够强,则有可能因处理机忙不过,而致使某些实时任务不能
得到及时处理,从而导致发生难以预料的后果。假定系统中有m个周期性的硬实时任务HRT,它们的处理时间可表示为Ci,周期时间表示为Pi
,则在单处理机情况下,必须满足下面的限制条件系统才是可调度的:提高系统处理能力的途径有二:一是采用单处理机系统,但须增强其处
理能力,以显著地减少对每一个任务的处理时间;二是采用多处理机系统。假定系统中的处理机数为N,则应将上述的限制条件改为:3.
采用抢占式调度机制在含有HRT任务的实时系统中,广泛采用抢占机制。这样便可满足HRT任务对截止时间的要求。但这种调度机制比较
复杂。4.具有快速切换机制为保证硬实时任务能及时运行,在系统中还应具有快速切换机制,使之能进行任务的快速切换。该机
制应具有如下两方面的能力:(1)对中断的快速响应能力。对紧迫的外部事件请求中断能及时响应,要求系统具有快速硬件中断机构,还
应使禁止中断的时间间隔尽量短,以免耽误时机(其它紧迫任务)。(2)快速的任务分派能力。为了提高分派程序进行任务切换时的速度
,应使系统中的每个运行功能单位适当的小,以减少任务切换的时间开销。3.4.2实时调度算法的分类可以按不同方
式对实时调度算法加以分类:①根据实时任务性质,可将实时调度的算法分为硬实时调度算法和软实时调度算法;②按调度方式,则可分为非抢
占调度算法和抢占调度算法。1.非抢占式调度算法(1)非抢占式轮转调度算法。(2)非抢占式优先调度算法。
2.抢占式调度算法可根据抢占发生时间的不同而进一步分成以下两种调度算法:(1)基于时钟中断的抢占式优先级调度
算法。(2)立即抢占(ImmediatePreemption)的优先级调度算法。图3-5中的(a)、(b)、(
c)、(d)分别示出了四种情况的调度时间。图3-5实时进程调度3.4.3最早截止时间优先EDF(EarliestD
eadlineFirst)算法1.非抢占式调度方式用于非周期实时任务图3-6示出了将该算法用于非抢占调度方式之
例。图3-6EDF算法用于非抢占调度方式2.抢占式调度方式用于周期实时任务图3-7示出了将该算法用于抢占调度方
式之例。在该例中有两个周期任务,任务A和任务B的周期时间分别为20ms和50ms,每个周期的处理时间分别为10?ms和25?m
s。图3-7最早截止时间优先算法用于抢占调度方式之例3.4.4最低松弛度优先LLF(LeastLaxityFirs
t)算法该算法在确定任务的优先级时,根据的是任务的紧急(或松弛)程度。任务紧急程度愈高,赋予该任务的优先级就愈高,以使之优先
执行。该算法主要用于可抢占调度方式中。假如在一个实时系统中有两个周期性实时任务A和B,任务A要求每20?ms执行一次,执行
时间为10?ms,任务B要求每50?ms执行一次,执行时间为25?ms。由此可知,任务A和B每次必须完成的时间分别为:A1、A2、
A3、…和B1、B2、B3、…,见图3-8。图3-8A和B任务每次必须完成的时间图3-9示出了具有两个周期性实时任务
的调度情况。图3-9利用ELLF算法进行调度的情况3.4.5优先级倒置(priorityinversionpro
blem)1.优先级倒置的形成当前OS广泛采用优先级调度算法和抢占方式,然而在系统中存在着影响进程运行的资源而
可能产生“优先级倒置”的现象,即高优先级进程(或线程)被低优先级进程(或线程)延迟或阻塞。我们通过一个例子来说明该问题。假
如P3最先执行,在执行了P(mutex)操作后,进入到临界区CS-3。在时刻a,P2就绪,因为它比P3的优先级高,P2抢占了P3的
处理机而运行,如图3-10所示。图3-10优先级倒置示意图2.优先级倒置的解决方法一种简单的解决方法是规定:
假如进程P3在进入临界区后P3所占用的处理机就不允许被抢占。图3-11示出了采用动态优先级继承方法后,P1、P2、P3三个
进程的运行情况。图3-11采用了动态优先级继承方法的运行情况?3.5死锁概述3.5.1资
源问题在系统中有许多不同类型的资源,其中可以引起死锁的主要是,需要采用互斥访问方法的、不可以被抢占的资源,即在前面介绍的临界
资源。系统中这类资源有很多,如打印机、数据文件、队列、信号量等。1.可重用性资源和消耗性资源1)可重用性资源
可重用性资源是一种可供用户重复使用多次的资源,它具有如下性质:(1)每一个可重用性资源中的单元只能分配给一个进程使用,不
允许多个进程共享。(2)进程在使用可重用性资源时,须按照这样的顺序:①请求资源。如果请求资源失败,请求进程将会被阻塞或循
环等待。②使用资源。进程对资源进行操作,如用打印机进行打印;③释放资源。当进程使用完后自己释放资源。(3)系统中每一类
可重用性资源中的单元数目是相对固定的,进程在运行期间既不能创建也不能删除它。2)可消耗性资源可消耗性资源又称为临时性
资源,它是在进程运行期间,由进程动态地创建和消耗的,它具有如下性质:①每一类可消耗性资源的单元数目在进程运行期间是可以不断变化的
,有时它可以有许多,有时可能为0;②进程在运行过程中,可以不断地创造可消耗性资源的单元,将它们放入该资源类的缓冲区中,以增加该资
源类的单元数目。③进程在运行过程中,可以请求若干个可消耗性资源单元,用于进程自己的消耗,不再将它们返回给该资源类中。2.
可抢占性资源和不可抢占性资源1)可抢占性资源可把系统中的资源分成两类,一类是可抢占性资源,是指某进程在获得这类资源
后,该资源可以再被其它进程或系统抢占。2)不可抢占性资源另一类资源是不可抢占性资源,即一旦系统把某资源分配给该进程后
,就不能将它强行收回,只能在进程用完后自行释放。3.5.2计算机系统中的死锁1.竞争不可抢占性资源引起死锁
通常系统中所拥有的不可抢占性资源其数量不足以满足多个进程运行的需要,使得进程在运行过程中,会因争夺资源而陷入僵局。我们可将
上面的问题利用资源分配图进行描述,用方块代表可重用的资源(文件),用圆圈代表进程,见图3-12所示。图3-12共享文件时的死
锁情况2.竞争可消耗资源引起死锁现在进一步介绍竞争可消耗资源所引起的死锁。图3-13示出了在三个进程之间,在利用消
息通信机制进行通信时所形成的死锁情况。图3-13进程之间通信时的死锁3.进程推进顺序不当引起死锁除了系统
中多个进程对资源的竞争会引发死锁外,进程在运行过程中,对资源进行申请和释放的顺序是否合法,也是在系统中是否会产生死锁的一个重要因素
。1)进程推进顺序合法在进程P1和P2并发执行时,如果按图3-14中的曲线①所示的顺序推进:P1:Request(
R1)→P1:Request(R2)→P1:Releast(R1)→P1:Release(R2)→P2:Request(R2)→P
2:Request(R1)→P2:Release(R2)→P2:Release(R1),两个进程可顺利完成。类似地,若按图中曲线②
和③所示的顺序推进,两进程也可以顺利完成。我们称这种不会引起进程死锁的推进顺序是合法的。2)进程推进顺序非法若并发进
程P1和P2按图3-14中曲线④所示的顺序推进,它们将进入不安全区D内。此时P1保持了资源R1,P2保持了资源R2,系统处于不安全
状态。此刻,如果两个进程继续向前推进,就可能发生死锁。例如,当P1运行到P1:Request(R2)时,将因R2已被P2占用而阻塞
;当P2运行到P2:Request(R1)时,也将因R1已被P1占用而阻塞,于是发生了进程死锁,这样的进程推进顺序就是非法的。图
3-14进程推进顺序对死锁的影响3.5.3死锁的定义、必要条件和处理方法1.死锁的定义在一组进程发
生死锁的情况下,这组死锁进程中的每一个进程,都在等待另一个死锁进程所占有的资源。2.产生死锁的必要条件虽然进程在运
行过程中可能会发生死锁,但产生进程死锁是必须具备一定条件的。综上所述不难看出,产生死锁必须同时具备下面四个必要条件,只要其中任一个
条件不成立,死锁就不会发生:(1)互斥条件。(2)请求和保持条件。(3)不可抢占条件。(4)循环等
待条件。3.处理死锁的方法目前处理死锁的方法可归结为四种:(1)预防死锁。(2)避免死锁。(3
)检测死锁。(4)解除死锁。?3.6预防死锁预防死锁的方法是通过破坏产生死锁的四个必要条件中
的一个或几个,以避免发生死锁。由于互斥条件是非共享设备所必须的,不仅不能改变,还应加以保证,因此主要是破坏产生死锁的后三个条件。
3.6.1破坏“请求和保持”条件为了能破坏“请求和保持”条件,系统必须保证做到:当一个进程在请求资源时,它不能持有不
可抢占资源。该保证可通过如下两个不同的协议实现:1.第一种协议该协议规定,所有进程在开始运行之前,必须一次性地申请其
在整个运行过程中所需的全部资源。2.第二种协议该协议是对第一种协议的改进,它允许一个进程只获得运行初期所需的资源后
,便开始运行。3.6.2破坏“不可抢占”条件为了能破坏“不可抢占”条件,协议中规定,当一个已经保持了某些不可被抢
占资源的进程,提出新的资源请求而不能得到满足时,它必须释放已经保持的所有资源,待以后需要时再重新申请。这意味着进程已占有的资源会被
暂时地释放,或者说是被抢占了,从而破坏了“不可抢占”条件。3.6.3破坏“循环等待”条件一个能保证“循环等
待”条件不成立的方法是,对系统所有资源类型进行线性排序,并赋予不同的序号。?3.7避免死锁避免死锁同
样是属于事先预防的策略,但并不是事先采取某种限制措施,破坏产生死锁的必要条件,而是在资源动态分配过程中,防止系统进入不安全状态,以
避免发生死锁。这种方法所施加的限制条件较弱,可能获得较好的系统性能,目前常用此方法来避免发生死锁。3.7.1系统安全状态
在死锁避免方法中,把系统的状态分为安全状态和不安全状态。当系统处于安全状态时,可避免发生死锁。反之,当系统处于不安全状态时,则可
能进入到死锁状态。1.安全状态在该方法中,允许进程动态地申请资源,但系统在进行资源分配之前,应先计算此次资源分配的安
全性。2.安全状态之例假定系统中有三个进程P1、P2和P3,共有12台磁带机。进程P1总共要求10台磁带机,P2和
P3分别要求4台和9台。假设在T0时刻,进程P1、P2和P3已分别获得5台、2台和2台磁带机,尚有3台空闲未分配,如下表所示:
3.由安全状态向不安全状态的转换如果不按照安全序列分配资源,则系统可能会由安全状态进入不安全状态。3.7.2利用
银行家算法避免死锁最有代表性的避免死锁的算法是Dijkstra的银行家算法。起这样的名字是由于该算法原本是为银行系统设计的,
以确保银行在发放现金贷款时,不会发生不能满足所有客户需要的情况。在OS中也可用它来实现避免死锁。1.银行家算法中的数据结构
为了实现银行家算法,在系统中必须设置这样四个数据结构,分别用来描述系统中可利用的资源、所有进程对资源的最大需求、系统中的资源
分配,以及所有进程还需要多少资源的情况。(1)可利用资源向量Available。(2)最大需求矩阵Max。(
3)分配矩阵Allocation。(4)需求矩阵Need。2.银行家算法设Requesti是进程Pi的请求
向量,如果Request?i[j]=K,表示进程Pi需要K个Rj类型的资源。当Pi发出资源请求后,系统按下述步骤进行检查:(
1)如果Request?i[j]≤Need[i,j],便转向步骤(2);否则认为出错,因为它所需要的资源数已超过它所宣布的最
大值。(2)如果Request?i[j]≤Available[j],便转向步骤(3);否则,表示尚无足够资源,Pi须等待
。(3)系统试探着把资源分配给进程Pi,并修改下面数据结构中的数值:Available[j]=Avai
lable[j]?-?Request?i[j];Allocation[i,j]=Allocation[i,j]?
+?Request?i[j];Need[i,j]=Need[i,j]?-?Request?i[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获得资源后,可顺利执行,直至完成,并释放出分配给它的资源,故应执行:Wor
k[j]=Work[j]+Allocation[i,j];Finish[i]=true;gotos
tep2;(4)如果所有进程的Finish[i]=true都满足,则表示系统处于安全状态;否则,系统处于不安全状态。
4.银行家算法之例假定系统中有五个进程{P0,P1,P2,P3,P4}和三类资源{A,B,C},各种资源的数
量分别为10、5、7,在T0时刻的资源分配情况如图3-15所示。图3-15T0时刻的资源分配表(1)?T0时刻的安全
性:利用安全性算法对T0时刻的资源分配情况进行分析(如图3-16所示)可知,在T0时刻存在着一个安全序列{P1,P3,P4,
P2,P0},故系统是安全的。图3-16T0时刻的安全序列(2)?P1请求资源:P1发出请求向量Request1(
1,0,2),系统按银行家算法进行检查:①Request1(1,0,2)≤Need1(1,2,2);②
Request1(1,0,2)≤Available1(3,3,2);③系统先假定可为P1分配资源,并修改Avail
able,Allocation1和Need1向量,由此形成的资源变化情况如图3-15中的圆括号所示;④再利用安全性算法检查
此时系统是否安全,如图3-17所示。图3-17P1申请资源时的安全性检查(3)?P4请求资源:P4发出请求向量Req
uest4(3,3,0),系统按银行家算法进行检查:①Request4(3,3,0)≤Need4(4,3,1);②
Request4(3,3,0)>Available(2,3,0),让P4等待。(4)?P0请求资源:P0发出请求向量Req
uest0(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分配资源后的有关资源数据(5)进行安全性检查:可用资源Available(2,1,0)已
不能满足任何进程的需要,故系统进入不安全状态,此时系统不分配资源。?3.8死锁的检测与解除如果在系统中,既
不采取死锁预防措施,也未配有死锁避免算法,系统很可能会发生死锁。在这种情况下,系统应当提供两个算法:①死锁检测算法。该方法
用于检测系统状态,以确定系统中是否发生了死锁。②死锁解除算法。当认定系统中已发生了死锁,利用该算法可将系统从死锁状态中解脱
出来。3.8.1死锁的检测为了能对系统中是否已发生了死锁进行检测,在系统中必须:①保存有关资源的请求和分配信息;②
提供一种算法,它利用这些信息来检测系统是否已进入死锁状态。1.资源分配图(ResourceAllocationGra
ph)系统死锁,可利用资源分配图来描述。该图是由一组结点N和一组边E所组成的一个对偶G?=?(N,E),它具有下述
形式的定义和限制:(1)把N分为两个互斥的子集,即一组进程结点P={P1,P2,…,Pn}和一组资源结点R={R1
,R2,…,Rn},N?=?P∪R。在图3-19所示的例子中,P?=?{P1,P2},R?=?{R1,R2},N?=?{
R1,R2}∪{P1,P2}。(2)凡属于E中的一个边e∈E,都连接着P中的一个结点和R中的一个结点,e?=?{Pi,
Rj}是资源请求边,由进程Pi指向资源Rj,它表示进程Pi请求一个单位的Rj资源。E?=?{Rj,Pi}是资源分配边,由资源R
j指向进程Pi,它表示把一个单位的资源Rj分配给进程Pi。图3-19中示出了两个请求边和两个分配边,即E?=?{(P1,R2),
(R2,P2),(P2,R1),(R1,P1)}。图3-19每类资源有多个时的情况2.死锁定理我们可
以利用把资源分配图加以简化的方法(图3-19),来检测当系统处于S状态时,是否为死锁状态。简化方法如下:(1)在资源分配图
中,找出一个既不阻塞又非独立的进程结点Pi。在顺利的情况下,Pi可获得所需资源而继续运行,直至运行完毕,再释放其所占有的全部资源,
这相当于消去Pi的请求边和分配边,使之成为孤立的结点。在图3-20(a)中,将P1的两个分配边和一个请求边消去,便形成图(b)所示
的情况。图3-20资源分配图的简化(2)?P1释放资源后,便可使P2获得资源而继续运行,直至P2完成后又释放出它所占
有的全部资源,形成图(c)所示的情况,即将P2的两条请求边和一条分配边消去。(3)在进行一系列的简化后,若能消去图中所有的
边,使所有的进程结点都成为孤立结点,则称该图是可完全简化的;若不能通过任何过程使该图完全简化,则称该图是不可完全简化的。3.
死锁检测中的数据结构死锁检测中的数据结构类似于银行家算法中的数据结构:(1)可利用资源向量Available,它表示
了m类资源中每一类资源的可用数目。(2)把不占用资源的进程(向量Allocation=0)记入L表中,即Li∪L。(
3)从进程集合中找到一个Requesti≤Work的进程,做如下处理:①将其资源分配图简化,释放出资源,增加工作向量Work
=Work+Allocationi。②将它记入L表中。(4)若不能把所有进程都记入L表中,便表明系统状态S的资源分
配图是不可完全简化的。因此,该系统状态将发生死锁。3.8.2死锁的解除1.终止进程的方法1)终止所有死锁进程
这是一种最简单的方法,即是终止所有的死锁进程,死锁自然也就解除了,但所付出的代价可能会很大。因为其中有些进程可能已经运行了很
长时间,已接近结束,一旦被终止真可谓“功亏一篑”,以后还得从头再来。还可能会有其它方面的代价,在此不再一一列举。2)逐个终
止进程稍微温和的方法是,按照某种顺序,逐个地终止进程,直至有足够的资源,以打破循环等待,把系统从死锁状态解脱出来为止。但该方
法所付出的代价也可能很大。因为每终止一个进程,都需要用死锁检测算法确定系统死锁是否已经被解除,若未解除还需再终止另一个进程。另外,
在采取逐个终止进程策略时,还涉及到应采用什么策略选择一个要终止的进程。选择策略最主要的依据是,为死锁解除所付出的“代价最小”。但怎
么样才算是“代价最小”,很难有一个精确的度量。2.付出代价最小的死锁解除算法一种付出代价最小的死锁解除算法如图3-
21所示。图3-21付出代价最小的死锁解除算法习题??1.高级调度与低级调度的主要任务
是什么?为什么要引入中级调度?2.处理机调度算法的共同目标是什么?批处理系统的调度目标又是什么?3.何谓作
业、作业步和作业流?4.在什么情况下需要使用作业控制块JCB,其中包含了哪些内容?5.在作业调度中应如何确定接纳多少个作业和接纳哪些作业?6.为什么要引入高响应比优先调度算法?它有何优点?7.试说明低级调度的主要功能。8.在抢占调度方式中,抢占的原则是什么?9.在选择调度方式和调度算法时,应遵循的准则是什么?10.在批处理系统、分时系统和实时系统中,各采用哪几种进程(作业)调度算法?11.何谓静态和动态优先级?确定静态优先级的依据是什么?12.试比较FCFS和SJF两种进程调度算法。13.在时间片轮转法中,应如何确定时间片的大小?14.通过一个例子来说明通常的优先级调度算法为什么不能适用于实时系统?15.为什么说多级反馈队列调度算法能较好地满足各方面用户的需要?16.为什么说传统的几种调度算法都不能算是公平调度算法?17.保证调度算法是如何做到调度的公平性的?18.公平分享调度算法又是如何做到调度的公平性的?19.为什么在实时系统中,要求系统(尤其是CPU)具有较强的处理能力?20.按调度方式可将实时调度算法分为哪几种?21.什么是最早截止时间优先调度算法?举例说明之。22.什么是最低松弛度优先调度算法?举例说明之。23.何谓“优先级倒置”现象,可采取什么方法来解决?24.试分别说明可重用资源和可消耗资源的性质。25.试举例说明竞争不可抢占资源所引起的死锁。26.为了破坏“请求和保持”条件而提出了两种协议,试比较这两种协议。27.何谓死锁?产生死锁的原因和必要条件是什么?28.在解决死锁问题的几个方法中,哪种方法最易于实现?哪种方法使资源利用率最高?29.请详细说明可通过哪些途径预防死锁。30.在银行家算法的例子中,如果P0发出的请求向量由Request(0,2,0)改为Request(0,1,0),问系统可否将资源分配给它?31.在银行家算法中,若出现下述资源分配情况,试问:(1)该状态是否安全?(2)若进程P2提出请求Request(1,2,2,2)后,系统能否将资源分配给它?第三章处理机调度与死锁第三章处理机调度与死锁3.1处理机调度的层次和调度算法的目标3.2作业与作业调度3.3进程调度3.4实时调度3.5死锁概述3.6预防死锁3.7避免死锁3.8死锁的检测与解除习题第三章处理机调度与死锁
献花(0)
+1
(本文系太好学原创)