处理机调度与死锁66

单击此处编辑母版标题样式,单击此处编辑母版文本样式,第二级,第三级,第四级,第五级,*,第三章 处理机调度与死锁,第三章 处理机调度与死锁,3.1 处理机调度的基本概念,3.2 调度算法,3.3 实时调度,3.4 多处理机系统中的调度,3.5 产生死锁的原因和必要条件,3.6 预防死锁的方法,3.7 死锁的检测与解除,1,3.1 处理机调度的基本概念,3.1.1 高级、中级和低级调度,1. 高级调度(High Scheduling),在每次执行作业调度时，都须做出以下两个决定。,1) 接纳多少个作业,2) 接纳哪些作业,2,2. 低级调度(Low Level Scheduling),1) 非抢占方式(Non-preemptive Mode),在采用非抢占调度方式时，可能引起进程调度的因素可归结为这样几个： 正在执行的进程执行完毕， 或因发生某事件而不能再继续执行； 执行中的进程因提出I/O请求而暂停执行； 在进程通信或同步过程中执行了某种原语操作，如P操作(wait操作)、Block原语、Wakeup原语等。这种调度方式的优点是实现简单、系统开销小，适用于大多数的批处理系统环境。但它难以满足紧急任务的要求立即执行，因而可能造成难以预料的后果。显然，在要求比较严格的实时系统中，不宜采用这种调度方式。,3,2) 抢占方式(Preemptive Mode),抢占的原则有：,优先权原则。,(2) 短作业(进程)优先原则。,(3) 时间片原则。,4,3. 中级调度(Intermediate-Level Scheduling),中级调度又称中程调度(Medium-Term Scheduling)。 引入中级调度的主要目的，是为了提高内存利用率和系统吞吐量。 为此，应使那些暂时不能运行的进程不再占用宝贵的内存资源，而将它们调至外存上去等待，把此时的进程状态称为就绪驻外存状态或挂起状态。当这些进程重又具备运行条件、且内存又稍有空闲时，由中级调度来决定把外存上的哪些又具备运行条件的就绪进程，重新调入内存，并修改其状态为就绪状态，挂在就绪队列上等待进程调度。,5,3.1.2 调度队列模型,1. 仅有进程调度的调度队列模型,图 3 - 1 仅具有进程调度的调度队列模型,6,2. 具有高级和低级调度的调度队列模型,图 3-2 具有高、低两级调度的调度队列模型,7,就绪队列的形式。,(2) 设置多个阻塞队列。,图 3-2 示出了具有高、低两级调度的调度队列模型。该模型与上一模型的主要区别在于如下两个方面。,8,3. 同时具有三级调度的调度队列模型,图 3-3 具有三级调度时的调度队列模型,9,3.1.3 选择调度方式和调度算法的若干准则,1. 面向用户的准则,(1) 周转时间短。,可把平均周转时间描述为：,作业的周转时间,T,与系统为它提供服务的时间,T,S,之比，即,W,=,T/T,S,，称为带权周转时间，而平均带权周转时间则可表示为:,10,(2) 响应时间快。,(3) 截止时间的保证。,(4) 优先权准则。,11,2. 面向系统的准则,系统吞吐量高。,(2) 处理机利用率好。,(3) 各类资源的平衡利用。,12,3.2 调 度 算 法,3.2.1 先来先服务和短作业(进程)优先调度算法,1. 先来先服务调度算法,13,图 3-4 FCFS和SJF调度算法的性能,14,2. 短作业(进程)优先调度算法,短作业(进程)优先调度算法SJ(P)F，是指对短作业或短进程优先调度的算法。它们可以分别用于作业调度和进程调度。短作业优先(SJF)的调度算法，是从后备队列中选择一个或若干个估计运行时间最短的作业，将它们调入内存运行。而短进程优先(SPF)调度算法，则是从就绪队列中选出一估计运行时间最短的进程，将处理机分配给它，使它立即执行并一直执行到完成，或发生某事件而被阻塞放弃处理机时，再重新调度。,15,SJ(P)F调度算法也存在不容忽视的缺点：,(1) 该算法对长作业不利，如作业C的周转时间由10增至16，其带权周转时间由2增至3.1。更严重的是，如果有一长作业(进程)进入系统的后备队列(就绪队列)，由于调度程序总是优先调度那些(即使是后进来的)短作业(进程)，将导致长作业(进程)长期不被调度。,(2) 该算法完全未考虑作业的紧迫程度，因而不能保证紧迫性作业(进程)会被及时处理。,(3) 由于作业(进程)的长短只是根据用户所提供的估计执行时间而定的，而用户又可能会有意或无意地缩短其作业的估计运行时间，致使该算法不一定能真正做到短作业优先调度。,16,3.2.2 高优先权优先调度算法,1. 优先权调度算法的类型,非抢占式优先权算法,在这种方式下，系统一旦把处理机分配给就绪队列中优先权最高的进程后，该进程便一直执行下去，直至完成； 或因发生某事件使该进程放弃处理机时，系统方可再将处理机重新分配给另一优先权最高的进程。这种调度算法主要用于批处理系统中；也可用于某些对实时性要求不严的实时系统中。,17,2) 抢占式优先权调度算法,在这种方式下，系统同样是把处理机分配给优先权最高的进程，使之执行。但在其执行期间，只要又出现了另一个其优先权更高的进程，进程调度程序就立即停止当前进程(原优先权最高的进程)的执行，重新将处理机分配给新到的优先权最高的进程。因此，在采用这种调度算法时，是每当系统中出现一个新的就绪进程i时，就将其优先权P,i,与正在执行的进程j的优先权P,j,进行比较。如果P,i,P,j,，原进程P,j,便继续执行；但如果是P,i,P,j, 则立即停止P,j,的执行，做进程切换，使i进程投入执行。显然，这种抢占式的优先权调度算法，能更好地满足紧迫作业的要求，故而常用于要求比较严格的实时系统中， 以及对性能要求较高的批处理和分时系统中。,18,2. 优先权的类型,1) 静态优先权,静态优先权是在创建进程时确定的，且在进程的整个运行期间保持不变。一般地，优先权是利用某一范围内的一个整数来表示的，例如，07或0255中的某一整数， 又把该整数称为优先数。只是具体用法各异：有的系统用“0”表示最高优先权，当数值愈大时，其优先权愈低；而有的系统恰恰相反。,19,确定进程优先权的依据有如下三个方面：,进程类型。,(2) 进程对资源的需求。,(3) 用户要求。,20,2) 动态优先权,动态优先权是指，在创建进程时所赋予的优先权，是可以随进程的推进或随其等待时间的增加而改变的，以便获得更好的调度性能。例如，我们可以规定，在就绪队列中的进程，随其等待时间的增长，其优先权以速率a提高。若所有的进程都具有相同的优先权初值，则显然是最先进入就绪队列的进程，将因其动态优先权变得最高而优先获得处理机，此即FCFS算法。若所有的就绪进程具有各不相同的优先权初值，那么，对于优先权初值低的进程，在等待了足够的时间后，其优先权便可能升为最高，从而可以获得处理机。当采用抢占式优先权调度算法时，如果再规定当前进程的优先权以速率b下降，则可防止一个长作业长期地垄断处理机。,21,3. 高响应比优先调度算法,优先权的变化规律可描述为：,由于等待时间与服务时间之和，就是系统对该作业的响应时间，故该优先权又相当于响应比,R,P,。据此，又可表示为：,22,(1) 如果作业的等待时间相同，则要求服务的时间愈短，其优先权愈高，因而该算法有利于短作业。,(2) 当要求服务的时间相同时，作业的优先权决定于其等待时间，等待时间愈长，其优先权愈高，因而它实现的是先来先服务。,(3) 对于长作业，作业的优先级可以随等待时间的增加而提高，当其等待时间足够长时，其优先级便可升到很高， 从而也可获得处理机。,23,3.2.3 基于时间片的轮转调度算法,1. 时间片轮转法,在早期的时间片轮转法中，系统将所有的就绪进程按先来先服务的原则，排成一个队列，每次调度时，把CPU分配给队首进程，并令其执行一个时间片。时间片的大小从几ms到几百ms。当执行的时间片用完时，由一个计时器发出时钟中断请求，调度程序便据此信号来停止该进程的执行，并将它送往就绪队列的末尾；然后，再把处理机分配给就绪队列中新的队首进程，同时也让它执行一个时间片。这样就可以保证就绪队列中的所有进程，在一给定的时间内，均能获得一时间片的处理机执行时间。,24,2. 多级反馈队列调度算法,(1) 应设置多个就绪队列，并为各个队列赋予不同的优先级。 第一个队列的优先级最高，第二个队列次之，其余各队列的优先权逐个降低。该算法赋予各个队列中进程执行时间片的大小也各不相同，在优先权愈高的队列中，为每个进程所规定的执行时间片就愈小。例如，第二个队列的时间片要比第一个队列的时间片长一倍，第,i,+1个队列的时间片要比第i个队列的时间片长一倍。 图 3-5 是多级反馈队列算法的示意。,25,图 3-5 多级反馈队列调度算法,26,(2) 当一个新进程进入内存后，首先将它放入第一队列的末尾，按FCFS原则排队等待调度。当轮到该进程执行时，如它能在该时间片内完成，便可准备撤离系统；如果它在一个时间片结束时尚未完成，调度程序便将该进程转入第二队列的末尾，再同样地按FCFS原则等待调度执行；如果它在第二队列中运行一个时间片后仍未完成，再依次将它放入第三队列，如此下去，当一个长作业(进程)从第一队列依次降到第n队列后，在第n队列中便采取按时间片轮转的方式运行。,27,(3) 仅当第一队列空闲时，调度程序才调度第二队列中的进程运行； 仅当第1(i-1) 队列均空时，才会调度第i队列中的进程运行。如果处理机正在第i队列中为某进程服务时，又有新进程进入优先权较高的队列(第1(i-1)中的任何一个队列)，则此时新进程将抢占正在运行进程的处理机，即由调度程序把正在运行的进程放回到第i队列的末尾，把处理机分配给新到的高优先权进程。,28,3. 多级反馈队列调度算法的性能,终端型作业用户。,(2) 短批处理作业用户。,(3) 长批处理作业用户。,29,3.3 实 时 调 度,3.3.1 实现实时调度的基本条件,1. 提供必要的信息,就绪时间。,(2) 开始截止时间和完成截止时间。,(3) 处理时间。,(4) 资源要求。,(5) 优先级。,30,2. 系统处理能力强,在实时系统中，通常都有着多个实时任务。若处理机的处理能力不够强，则有可能因处理机忙不过来而使某些实时任务不能得到及时处理， 从而导致发生难以预料的后果。假定系统中有,m,个周期性的硬实时任务，它们的处理时间可表示为,C,i,，周期时间表示为,P,i,，则在单处理机情况下，必须满足下面的限制条件：,31,系统才是可调度的。假如系统中有6个硬实时任务，它们的周期时间都是 50 ms，而每次的处理时间为 10 ms，则不难算出，此时是不能满足上式的，因而系统是不可调度的。,解决的方法是提高系统的处理能力，其途径有二：其一仍是采用单处理机系统， 但须增强其处理能力， 以显著地减少对每一个任务的处理时间；其二是采用多处理机系统。假定系统中的处理机数为N，则应将上述的限制条件改为：,32,3. 采用抢占式调度机制,当一个优先权更高的任务到达时，允许将当前任务暂时挂起，而令高优先权任务立即投入运行，这样便可满足该硬实时任务对截止时间的要求。但这种调度机制比较复杂。,对于一些小的实时系统，如果能预知任务的开始截止时间，则对实时任务的调度可采用非抢占调度机制，以简化调度程序和对任务调度时所花费的系统开销。但在设计这种调度机制时，应使所有的实时任务都比较小，并在执行完关键性程序和临界区后，能及时地将自己阻塞起来，以便释放出处理机， 供调度程序去调度那种开始截止时间即将到达的任务。,33,4. 具有快速切换机制,该机制应具有如下两方面的能力：,(1) 对外部中断的快速响应能力。为使在紧迫的外部事件请求中断时系统能及时响应，要求系统具有快速硬件中断机构，还应使禁止中断的时间间隔尽量短， 以免耽误时机(其它紧迫任务)。,(2) 快速的任务分派能力。在完成任务调度后，便应进行任务切换。为了提高分派程序进行任务切换时的速度， 应使系统中的每个运行功能单位适当的小，以减少任务切换的时间开销。,34,3.3.2 实时调度算法的分类,1. 非抢占式调度算法,非抢占式轮转调度算法。,(2) 非抢占式优先调度算法。,35,2. 抢占式调度算法,基于时钟中断的抢占式优先权调度算法。,(2) 立即抢占(Immediate Preemption)的优先权调度算法。,图 3-6 实时进程调度,36,3.3.3 常用的几种实时调度算法,1. 最早截止时间优先即EDF(Earliest Deadline First)算法,图 3-7 EDF算法用于非抢占调度方式,37,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。,38,图 3-8 A和B任务每次必须完成的时间,39,在刚开始时(,t,1,=0)，A,1,必须在20ms时完成，而它本身运行又需 10 ms，可算出A,1,的松弛度为10ms；B,1,必须在50ms时完成， 而它本身运行就需25 ms，可算出B,1,的松弛度为25 ms，故调度程序应先调度A,1,执行。在,t,2,=10 ms时，A,2,的松弛度可按下式算出：, A,2,的松弛度=必须完成时间-其本身的运行时间-当前时间,=40 ms-10 ms-10 ms=20 ms,40,类似地，可算出B,1,的松弛度为15ms，故调度程序应选择B,2,运行。在,t,3,=30 ms时，A,2,的松弛度已减为0(即40-10-30)，而B,1,的松弛度为15 ms(即50-5-30)，于是调度程序应抢占B,1,的处理机而调度A,2,运行。在t,4,=40 ms时，A,3,的松弛度为10 ms(即60-10-40)，而B,1,的松弛度仅为5 ms(即50-5-40)，故又应重新调度B,1,执行。在t,5,=45 ms时，B,1,执行完成，而此时A,3,的松弛度已减为5 ms(即60-10-45)，而B,2,的松弛度为30 ms(即100-25-45)，于是又应调度A,3,执行。在t,6,=55ms时，任务A尚未进入第4周期，而任务B已进入第2周期，故再调度B,2,执行。在t,7,=70 ms时，A,4,的松弛度已减至0 ms(即80-10-70)，而B,2,的松弛度为20 ms(即100-10-70)，故此时调度又应抢占B,2,的处理机而调度A,4,执行。,41,图 3-9 利用ELLF算法进行调度的情况,42,3.4 多处理机系统中的调度,3.4.1 多处理器系统的类型,(1) 紧密耦合(Tightly Coupted)MPS。,这通常是通过高速总线或高速交叉开关，来实现多个处理器之间的互连的。它们共享主存储器系统和I/O设备，并要求将主存储器划分为若干个能独立访问的存储器模块，以便多个处理机能同时对主存进行访问。系统中的所有资源和进程，都由操作系统实施统一的控制和管理。,43,(2) 松散耦合(Loosely Coupled)MPS。,在松散耦合MPS中，通常是通过通道或通信线路，来实现多台计算机之间的互连。每台计算机都有自己的存储器和I/O设备，并配置了OS来管理本地资源和在本地运行的进程。因此，每一台计算机都能独立地工作， 必要时可通过通信线路与其它计算机交换信息，以及协调它们之间的工作。,44,2. 对称多处理器系统和非对称多处理器系统,(1) 对称多处理器系统SMPS(Symmetric MultiProcessor System)。 在系统中所包含的各处理器单元，在功能和结构上都是相同的， 当前的绝大多数MPS都属于SMP系统。例如，IBM公司的SR/6000 Model F50, 便是利用4片Power PC处理器构成的。,(2) 非对称多处理器系统。在系统中有多种类型的处理单元， 它们的功能和结构各不相同，其中只有一个主处理器，有多个从处理器。,45,3.4.2 进程分配方式,1. 对称多处理器系统中的进程分配方式,在SMP系统中，所有的处理器都是相同的，因而可把所有的处理器作为一个处理器池(Processor pool)，由调度程序或基于处理器的请求， 将任何一个进程分配给池中的任何一个处理器去处理。在进行进程分配时，可采用以下两种方式之一。,1) 静态分配(Static Assigenment)方式,2) 动态分配(Dynamic Assgement)方式,46,2. 非对称MPS中的进程分配方式,对于非对称MPS， 其OS大多采用主从(Master-Slave)式OS， 即OS的核心部分驻留在一台主机上(Master)， 而从机(Slave)上只是用户程序， 进程调度只由主机执行。 每当从机空闲时， 便向主机发送一索求进程的信号， 然后， 便等待主机为它分配进程。 在主机中保持有一个就绪队列， 只要就绪队列不空， 主机便从其队首摘下一进程分配给请求的从机。从机接收到分配的进程后便运行该进程， 该进程结束后从机又向主机发出请求。,47,3.4.3 进程(线程)调度方式,1. 自调度(Self-Scheduling)方式,1) 自调度机制,在多处理器系统中，自调度方式是最简单的一种调度方式。它是直接由单处理机环境下的调度方式演变而来的。 在系统中设置有一个公共的进程或线程就绪队列， 所有的处理器在空闲时，都可自己到该队列中取得一进程(或线程)来运行。在自调度方式中，可采用在单处理机环境下所用的调度算法，如先来先服务(FCFS)调度算法、最高优先权优先(FPF)调度算法和抢占式最高优先权优先调度算法等。,48,2) 自调度方式的优点,自调度方式的主要优点表现为：首先，系统中的公共就绪队列可按照单处理机系统中所采用的各种方式加以组织； 其调度算法也可沿用单处理机系统所用的算法，亦即，很容易将单处理机环境下的调度机制移植到多处理机系统中， 故它仍然是当前多处理机系统中较常用的调度方式。其次， 只要系统中有任务，或者说只要公共就绪队列不空，就不会出现处理机空闲的情况，也不会发生处理器忙闲不均的现象，因而有利于提高处理器的利用率。,49,3) 自调度方式的缺点,瓶颈问题。,(2) 低效性。,(3) 线程切换频繁。,50,2. 成组调度(Gang Scheduling)方式,在成组调度时，如何为应用程序分配处理器时间，,1) 面向所有应用程序平均分配处理器时间,2) 面向所有线程平均分配处理器时间,图 3 - 10 两种分配处理器时间的方法,51,3. 专用处理器分配(Dedicated Processor Assigement)方式,图 3-11 线程数对加速比的影响,52,3.5 产生死锁的原因和必要条件,3.5.1 产生死锁的原因,竞争资源。,(2) 进程间推进顺序非法。,53,1. 竞争资源引起进程死锁,可剥夺和非剥夺性资源,2) 竞争非剥夺性资源,3) 竞争临时性资源,54,图 3-12 I/O设备共享时的死锁情况,55,图 3-13 进程之间通信时的死锁,56,2. 进程推进顺序不当引起死锁,1) 进程推进顺序合法,图 3-14 进程推进顺序对死锁的影响,57,2) 进程推进顺序非法,若并发进程P,1,和P,2,按曲线所示的顺序推进，它们将进入不安全区D内。此时P,1,保持了资源R,1, P,2,保持了资源R,2, 系统处于不安全状态。因为，这时两进程再向前推进，便可能发生死锁。例如，当P,1,运行到P,1,:Request(R,2,)时，将因R,2,已被P,2,占用而阻塞；当P,2,运行到P,2,: Request(R,1,)时，也将因R,1,已被P,1,占用而阻塞，于是发生了进程死锁。,58,3.5.2 产生死锁的必要条件,互斥条件,(2) 请求和保持条件,(3) 不剥夺条件,(4) 环路等待条件,59,3.5.3 处理死锁的基本方法,预防死锁。,(2) 避免死锁。,(3) 检测死锁。,(4) 解除死锁。,60,3.6 预防死锁的方法,3.6.1 预防死锁,摒弃“请求和保持”条件,2. 摒弃“不剥夺”条件,3. 摒弃“环路等待”条件,61,3.6.2 系统安全状态,1. 安全状态,在避免死锁的方法中，允许进程动态地申请资源，但系统在进行资源分配之前，应先计算此次资源分配的安全性。若此次分配不会导致系统进入不安全状态，则将资源分配给进程； 否则，令进程等待。,所谓安全状态，是指系统能按某种进程顺序(P,1, P,2, ，P,n,)(称P,1, P,2, , P,n,序列为安全序列)，来为每个进程P,i,分配其所需资源，直至满足每个进程对资源的最大需求，使每个进程都可顺利地完成。如果系统无法找到这样一个安全序列，则称系统处于不安全状态。,62,2. 安全状态之例,我们通过一个例子来说明安全性。假定系统中有三个进程P,1,、 P,2,和P,3,，共有12台磁带机。进程P,1,总共要求10台磁带机，P,2,和P,3,分别要求4台和9台。假设在,T,0,时刻，进程P,1,、P,2,和P,3,已分别获得5台、2台和2台磁带机，尚有3台空闲未分配，如下表所示：,进 程,最 大 需 求,已 分 配,可 用,P,1,P,2,P,3,10,4,9,5,2,2,3,63,3. 由安全状态向不安全状态的转换,如果不按照安全序列分配资源，则系统可能会由安全状态进入不安全状态。例如，在,T,0,时刻以后，P,3,又请求1台磁带机，若此时系统把剩余3台中的1台分配给P,3,，则系统便进入不安全状态。 因为，此时也无法再找到一个安全序列， 例如，把其余的2台分配给P,2,，这样，在P,2,完成后只能释放出4台，既不能满足P,1,尚需5台的要求，也不能满足P,3,尚需6台的要求，致使它们都无法推进到完成，彼此都在等待对方释放资源，即陷入僵局，结果导致死锁。,64,3.6.3 利用银行家算法避免死锁,1. 银行家算法中的数据结构,(1) 可利用资源向量Available。这是一个含有,m,个元素的数组，其中的每一个元素代表一类可利用的资源数目，其初始值是系统中所配置的该类全部可用资源的数目，其数值随该类资源的分配和回收而动态地改变。如果Availablej=K，则表示系统中现有R,j,类资源,K,个。,65,(2) 最大需求矩阵Max。这是一个,n,m,的矩阵，它定义了系统中,n,个进程中的每一个进程对,m,类资源的最大需求。如果Maxi,j=K，则表示进程i需要R,j,类资源的最大数目为K。,(3) 分配矩阵Allocation。这也是一个,n,m,的矩阵，它定义了系统中每一类资源当前已分配给每一进程的资源数。如果Allocationi,j=K，则表示进程i当前已分得,R,j,类资源的数目为,K,。,(4) 需求矩阵Need。这也是一个,n,m,的矩阵，用以表示每一个进程尚需的各类资源数。如果Needi,j=,K,，则表示进程i还需要R,j,类资源,K,个，方能完成其任务。,Needi,j=Maxi,j-Allocationi,j,66,2. 银行家算法,设Request,i,是进程P,i,的请求向量，如果Request,i,j=,K,，表示进程P,i,需要,K,个R,j,类型的资源。当P,i,发出资源请求后，系统按下述步骤进行检查：,(1) 如果Request,i,jNeedi,j，便转向步骤2；否则认为出错，因为它所需要的资源数已超过它所宣布的最大值。,(2) 如果Request,i,jAvailablej，便转向步骤(3)；否则， 表示尚无足够资源，P,i,须等待。,67,(3) 系统试探着把资源分配给进程P,i,，并修改下面数据结构中的数值：,Availablej=Availablej-Request,i,j;,Allocationi,j=Allocationi,j+Request,i,j;,Needi,j=Needi,j-Request,i,j;,(4) 系统执行安全性算法，检查此次资源分配后，系统是否处于安全状态。若安全，才正式将资源分配给进程P,i,，以完成本次分配；否则， 将本次的试探分配作废，恢复原来的资源分配状态，让进程P,i,等待。,68,3. 安全性算法,(1) 设置两个向量： 工作向量Work: 它表示系统可提供给进程继续运行所需的各类资源数目，它含有,m,个元素，在执行安全算法开始时，Work=Available; Finish: 它表示系统是否有足够的资源分配给进程，使之运行完成。开始时先做Finishi=false; 当有足够资源分配给进程时， 再令Finishi=true。,69,(2) 从进程集合中找到一个能满足下述条件的进程： , Finishi=false; Needi,jWorkj； 若找到， 执行步骤(3)， 否则，执行步骤(4)。,(3) 当进程P,i,获得资源后，可顺利执行，直至完成，并释放出分配给它的资源，故应执行：,Workj=Worki+Allocationi,j;,Finishi=true;,go to step 2;,(4) 如果所有进程的Finishi=true都满足， 则表示系统处于安全状态；否则，系统处于不安全状态。,70,4. 银行家算法之例,假定系统中有五个进程P,0, P,1, P,2, P,3, P,4,和三类资源A, B, C，各种资源的数量分别为10、5、7，在,T,0,时刻的资源分配情况如图 3-15 所示。,图 3-15,T,0,时刻的资源分配表,71,(1) ,T,0,时刻的安全性：,图 3-16,T,0,时刻的安全序列,72,(2) P,1,请求资源：P,1,发出请求向量Request,1,(1，0，2)，系统按银行家算法进行检查：, Request,1,(1, 0, 2)Need,1,(1, 2, 2), Request,1,(1, 0, 2)Available,1,(3, 3, 2), 系统先假定可为P,1,分配资源，并修改Available, Allocation,1,和Need,1,向量，由此形成的资源变化情况如图 3-15 中的圆括号所示。, 再利用安全性算法检查此时系统是否安全。,73,图 3-17 P,1,申请资源时的安全性检查,74,(3) P,4,请求资源：P,4,发出请求向量Request,4,(3，3，0)，系统按银行家算法进行检查：, Request,4,(3, 3, 0)Need,4,(4, 3, 1);, Request,4,(3, 3, 0) Available(2, 3, 0)，让P,4,等待。 (4) P,0,请求资源：P,0,发出请求向量Requst,0,(0，2，0)，系统按银行家算法进行检查：, Request,0,(0, 2, 0)Need0(7, 4, 3);, Request,0,(0, 2, 0)Available(2, 3, 0);, 系统暂时先假定可为P,0,分配资源，并修改有关数据，如图 3-18 所示。,75,图 3-18 为P,0,分配资源后的有关资源数据,76,3.7 死锁的检测与解除,3.7.1 死锁的检测,1. 资源分配图(Resource Allocation Graph),图 3-19 每类资源有多个时的情况,77,(2) 凡属于E中的一个边eE，都连接着P中的一个结点和R中的一个结点，e=p,i, r,j,是资源请求边，由进程p,i,指向资源r,j,， 它表示进程p,i,请求一个单位的r,j,资源。e=r,j, p,i,是资源分配边，由资源r,j,指向进程p,i, 它表示把一个单位的资源r,j,分配给进程p,i,。,78,2. 死锁定理,图 3-20 资源分配图的简化,79,3. 死锁检测中的数据结构,(1) 可利用资源向量Available，它表示了,m,类资源中每一类资源的可用数目。,(2) 把不占用资源的进程(向量Allocation=0)记入L表中， 即L,i,L。,(3) 从进程集合中找到一个Request,i,Work的进程，做如下处理： 将其资源分配图简化，释放出资源，增加工作向量Work=Work+Allocation,i,。 将它记入L表中。,80,(4) 若不能把所有进程都记入L表中， 便表明系统状态S的资源分配图是不可完全简化的。 因此，该系统状态将发生死锁。,Work =Available;,L=L,i,|Allocation,i,=0Request,i,=0,for all L,i, L do,begin,for all Request,i,Work do,begin,Work=Work+Allocation,i,;,L,i,L;,end,end,deadlock = (L=p,1, p,2, , p,n,);,81,3.7.2 死锁的解除,剥夺资源。,(2) 撤消进程。,为把系统从死锁状态中解脱出来，所花费的代价可表示为：,R(S),min,=minC,ui,+minC,uj,+minC,uk,+,82,图 3-21 付出代价最小的死锁解除方法,83,8G5D2A-x*t$qZnVkShPdMaI7F4C0z)w&s!pXmUjRfOcL9H6E2B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUiRfOcK9H6E2B+x(u%rZoWlThQeMbJ8G4D1A-w*t!qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfNcK9H5E2B+x(u$rZoWkThQeMbJ7G4D1z-w*t!qYmVjSgOdLaI6F3B0y)v%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPeMbJ7G4C1z-w&t!qYmVjRgOdL9I6F3B0y(v%s#oXlUiQfNbK8H5D2A+x*u$qZnWkShPeMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8G5D2A-x*u$qZnVkShPdMaJ7F4C0z)w&s!pYmUjRfOcL9H6E3B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qZnVkSgPdMaI7F4C0z)v&s!pXmUjRfOcK9H6E2B+y(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfNcK9H5E2B+x(u%rZoWkThQeMbJ8G4D1z-w*t!qYnVjSgOdLaI6F3C0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4C1z-w&t!qYmVjSgOdL9I6F3B0y)v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8G5D2A-x*u$qZnWkShPdMaJ7F4C1z)w&s!pYmUjRgOcL9H6E3B+y(v%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPdMaI7F4C0z)v&s!pXmUjRfOcL9H6E2B+y(u%r#oWlThQeNbJ8G5D1A-w*t$qYnVkSgPdLaI7F3C0z)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWkThQeMbJ8G4D1A-w*t!qYnVjSgPdLaI6F3C0y)v&s#pXlUiRfNcK9H5E2A+x(u$rZoWkThPeMbJ7G4D1z-w&t!qYmVjSgOdL9I6F3B0y)v%s#oXlUiQfNcK8H5E2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlTiQfNbK8H5D2w&t!qYmVjSgOdLaI6F3B0y)v%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPeMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B+y(v%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPdMaI7F4C0z)w&s!pXmUjRfOcL9H6E3B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUiRfOcK9H6E2B+x(u%rZoWlThQeMbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfNcK9H5E2B+x(u$rZoWkThQeMbJ7G4D1z-w*t!qYmVjSgOdLaI6F3B0y)v%s#pXlUiQfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4C1z-w&t!qYmVjRgOdL9I6F3B0y(v%s#oXlUiQfNbK8H5D2A+x*u$qZnWkShPeMaJ7F4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8G5D2A-x*u$qZnVkShPdMaJ7F4C0z)w&s!pYmUjRfOcL9H6E3B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qZnVkSgPdMaI7F4C0z)v&XlTiQfNbK8G5D2A-x*u$qZnVkShPdMaJ7F4C0z)w&s!pYmUjRfOcL9H6E3B+y(v%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPdMaI7F4C0z)v&s!pXmUjRfOcK9H6E2B+y(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVkSgPdLaI7F3C0z)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWkThQeMbJ8G4D1z-w*t!qYnVjSgOdLaI6F3C0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZoWkThPeMbJ7G4D1z-w&t!qYmVjSgOdL9I6F3B0y)v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPdMaJ7F4C1z)w&s!pYmUjRgOcL9H6E3B+y(v%r#oWlTiQeNbK8G5D1A-x*t$qZnVkShPdMaI7F0y(v%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPdMaJ7F4C1z)w&s!pYmUjRgOcL9H6E3B+y(v%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPdMaI7F4C0z)w&s!pXmUjRfOcL9H6E2B+y(u%r#oWlThQeNbJ8G5D1A-w*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUiRfOcK9H6E2B+x(u%rZoWlThQeMbJ8G4D1A-w*t!qYnVjSgPdLaI6F3C0y)v&s#pXlUiRfNcK9H5E2A+x(u$rZoWkThQeMbJ7G4D1z-w*t!qYmVjSgOdLaI6F3B0y)v%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!pYmVjRgOdL9I6F3B0y(v%s#oXlUiQfNbK8H5D2*t!qYmVjSgOdLaI6F3B0y)v%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!qYmVjRgOdL9I6F3B0y(v%s#oXlUiQfNbK8H5D2A+x*u$qZnWkShPeMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B+y(v%r#oXlTiQfNbK8G5D2A-x*u$qZnVkShPdMaJ7F4C0z)w&s!pYmUjRfOcL9H6E3B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUjRfOcK9H6E2B+y(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfNcK5D1A-x*t$qZnVkSgPdMaI7F4C0z)v&s!pXmUjRfOcK9H6E2B+y(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWkThQeMbJ8G4D1z-w*t!qYnVjSgOdLaI6F3C0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4C1z-w&t!qYmVjSgOdL9I6F3B0y)v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8H5D2&t!qYmVjSgOdL9I6F3B0y)v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPdMaJ7F4C1z)w&s!pYmUjRgOcL9H6E3B+y(v%r#oWlTiQeNbK8G5D1A-x*t$qZnVkShPdMaI7F4C0z)w&s!pXmUjRfOcL9H6E2B+y(u%r#oWlThQeNbJ8G5D1A-w*t$qYnVkSgPdLaI7F3C0z)v&s#pXmUiRfOcK9H6E2B+x(u%rZoWlThQeMbJ8G4D1A-w*t!qYnVjSgPdLaI6F3C0y)v&s#pXlUiRfNcK9H5E2A+x(u$rZoWkThPeMbJ7G4D1z-w&t!qYmVjSgOdLaI6F3B0y)v%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPeMaJ7G4C1v&s#pXlUiRfNcK9H5E2A+x(u$rZoWkThQeMbJ7G4D1z-w*t!qYmVjSgOdLaI6F3B0y)v%s#pXlUiQfNcK8H5E2A+x*u$rZnWkThPeMaJ7G4C1z-w&t!pYmVjRgOdL9I6E3B0y(v%s#oXlUiQfNbK8H5D2A+x*u$qZnWkShPeMaJ7F4C1z)w&t!pYmUjRgOcL9I6E3B+y(v%r#oXlTiQeNbK8G5D2A-x*t$qZnVkShPdMaJ7F4C0z)w&s!pYmUjRfOcL9H6E3B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUiRfOcK9H6E2B+x(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjOcL9H6E3B+y(u%r#oWlTiQeNbJ8G5D1A-x*t$qYnVkSgPdMaI7F3C0z)v&s!pXmUjRfOcK9H6E2B+y(u%rZoWlThQeNbJ8G4D1A-w*t$qYnVjSgPdLaI7F3C0y)v&s#pXmUiRfNcK9H5E2B+x(u$rZoWkThQeMbJ8G4D1z-w*t!qYnVjSgOdLaI6F3C0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4C1z-w&tmUiRfNcK9H5E2B+x(u%rZoWkThQeMbJ8G4D1z-w*t!qYnVjSgOdLaI6F3C0y)v%s#pXlUiRfNcK8H5E2A+x(u$rZnWkThPeMbJ7G4C1z-w&t!qYmVjSgOdL9I6F3B0y)v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%r#oXlTiQfNbK8G5D2A-x*u$qZnWkSdL9I6F3B0y)v%s#oXlUiQfNcK8H5D2A+x*u$rZnWkShPeMaJ7G4C1z)w&t!pYmVjRgOcL9I6E3B0y(v%s#oXlTiQfNbK8H5D2A-x*u$qZnWkShPdMaJ7F4C1z)w&s!pYmUjRgOcL9H6E3B+y(v%r#oWlTiQeNbK8G5D1A-x*t$qZnVkSgPdMaI7F4C0z)w&s!pXmUjRfOcL9H6E2B+y(u%r#oWlThQeNbJ8G5D1A-w*t$qYnVkSgPdLaI7F3C0z)v&s#pXmUiRfOcK9H5E2B+x(u%rZoWlThQeMbJ8G4D1A-w*t!qYnVjSgPdLE2B+y(u%r#oWlThQeNbJ8G5D1A-w*t$qYnVkSgPdLaI7F3C0z)v&s#pXmUiRfOcK9H6E2B+x(u%rZoWl,84,