计算机操作系统

Computer Operation System

安徽师范大学——计算机与信息学院———— 作者(授课教师): 周文

第3章 处理机调度与死锁

一、处理机调度的层次和调度算法的目标

• 在多道程序系统中，调度的实质是一种资源分配，处理机调度是对处理机资源进行分配。
• 处理机调度算法是指根据处理机分配策略所规定的处理机分配算法。
• 在多道批处理系统中，一个作业从提交到获得处理机执行，直至作业运行完毕，可能需要经历多级处理机调度，下面先来了解处理机调度的层次。

1.1 处理机调度的层次

• 高级调度(High Level Scheduling)
• 低级调度(Low Level Scheduling)
• 中级调度(Intermediate Scheduling)

1.2 处理机调度算法的目标

1. 处理机调度算法的共同目标

   (1) 资源利用率。为提高系统的资源利用率，应使系统中的处理机和其它所有资源都尽可能地保持忙碌状态，其中最重要的处理机利用率可用以下方法计算：

   $$CPU利用率=\frac{CPU有效工作时间}{CPU有效工作时间+CPU空闲等待时间}$$

   (2) 公平性。公平性是指应使诸进程都获得合理的CPU 时间，不会发生进程饥饿现象。

   • 公平性是相对的，对相同类型的进程应获得相同的服务；但对于不同类型的进程，由于其紧急程度或重要性的不同，则应提供不同的服务。

   (3) 平衡性。由于在系统中可能具有多种类型的进程，有的属于计算型作业，有的属于I/O型。为使系统中的CPU和各种外部设备都能经常处于忙碌状态，调度算法应尽可能保持系统资源使用的平衡性。

   (4) 策略强制执行。对所制订的策略其中包括安全策略，只要需要，就必须予以准确地执行，即使会造成某些工作的延迟也要执行。

2. 批处理系统的目标

   (1) 平均周转时间短

   • 对每个用户而言，都希望自己作业的周转时间最短。但作为计算机系统的管理者，则总是希望能使平均周转时间最短，这不仅会有效地提高系统资源的利用率，而且还可使大多数用户都感到满意。

   • 应使作业周转时间和作业的平均周转时间尽可能短。否则，会使许多用户的等待时间过长，这将会引起用户特别是短作业用户的不满。可把平均周转时间描述为：

     $$T = \frac{1}{n}[ \sum_{i=1}^{n}T_i]$$

   • 为了进一步反映调度的性能，更清晰地描述各进程在其周转时间中，等待和执行时间的具体分配状况，往往使用带权周转时间，即作业的周转时间T与系统为它提供服务的时间Ts之比，即

     $$W = \frac{T}{T_s}$$

     • 平均带权周转时间则可表示为：

       $$W=\frac{1}{n}\sum_{i=1}^{n}\frac{T_i}{T_s}$$

   (2) 系统吞吐量高。由于吞吐量是指在单位时间内系统所完成的作业数，因而它与批处理作业的平均长度有关。事实上，如果单纯是为了获得高的系统吞吐量，就应尽量多地选择短作业运行。

   (3) 处理机利用率高。对于大、中型计算机，CPU价格十分昂贵，致使处理机的利用率成为衡量系统性能的十分重要的指标；而调度方式和算法又对处理机的利用率起着十分重要的作用。如果单纯是为使处理机利用率高，应尽量多地选择计算量大的作业运行。由上所述可以看出，这些要求之间是存在着一定矛盾的。

3. 分时系统的目标 (1) 响应时间快。 　　(2) 均衡性。

4. 实时系统的目标 (1) 截止时间的保证。 　　(2) 可预测性。

二、作业与作业调度

• 在多道批处理系统中，作业是用户提交给系统的一项相对独立的工作。
• 操作员把用户提交的作业通过相应的输入设备输入到磁盘存储器，并保存在一个后备作业队列中。再由作业调度程序将其从外存调入内存。

2.1 批处理系统中的作业

1. 作业和作业步

   (1) 作业(Job)。

   (2) 作业步(Job Step)。

2. 作业控制块(Job Control Block，JCB)

   • 为了管理和调度作业，在多道批处理系统中，为每个作业设置了一个作业控制块JCB，它是作业在系统中存在的标志，其中保存了系统对作业进行管理和调度所需的全部信息。
   • 通常在JCB中包含的内容有：作业标识、用户名称、用户账号、作业类型(CPU 繁忙型、I/O 繁忙型、批量型、终端型)、作业状态、调度信息(优先级、作业运行时间)、资源需求(预计运行时间、要求内存大小等)、资源使用情况等。

3. 作业运行的三个阶段和三种状态

   • 作业从进入系统到运行结束，通常需要经历收容、运行和完成三个阶段。相应的作业也就有“后备状态”、“运行状态”和“完成状态”。

     (1) 收容阶段。

     (2) 运行阶段。　　

     (3) 完成阶段。

2.2 作业调度的主要任务

• 作业调度的主要任务是，根据JCB中的信息，检查系统中的资源能否满足作业对资源的需求，以及按照一定的调度算法，从外存的后备队列中选取某些作业调入内存，并为它们创建进程、分配必要的资源。

• 然后再将新创建的进程排在就绪队列上等待调度。因此，也把作业调度称为接纳调度(Admission Scheduling)。在每次执行作业调度时，都需做出以下两个决定。

  1. 接纳多少个作业
  2. 接纳哪些作业

2.3 先来先服务(FCFS)和短作业优先(SJF)调度算法

1. 先来先服务(first-come first-served，FCFS)调度算法

   • FCFS是最简单的调度算法，该算法既可用于作业调度，也可用于进程调度。
   • 当在作业调度中采用该算法时，系统将按照作业到达的先后次序来进行调度，或者说它是优先考虑在系统中等待时间最长的作业，而不管该作业所需执行时间的长短，从后备作业队列中选择几个最先进入该队列的作业，将它们调入内存，为它们分配资源和创建进程。然后把它放入就绪队列。

2. 短作业优先(short job first，SJF)的调度算法

   • 由于在实际情况中，短作业(进程)占有很大比例，为了能使它们能比长作业优先执行，而产生了短作业优先调度算法。

     1) 短作业优先算法

   • SJF算法是以作业的长短来计算优先级，作业越短，其优先级越高。作业的长短是以作业所要求的运行时间来衡量的。SJF算法可以分别用于作业调度和进程调度。在把短作业优先调度算法用于作业调度时，它将从外存的作业后备队列中选择若干个估计运行时间最短的作业，优先将它们调入内存运行。

   2) 短作业优先算法的缺点

   • SJF调度算法较之FCFS算法有了明显的改进，但仍然存在不容忽视的缺点：

     (1) 必须预知作业的运行时间。在采用这种算法时，要先知道每个作业的运行时间。即使是程序员也很难准确估计作业的运行时间，如果估计过低，系统就可能按估计的时间终止作业的运行，但此时作业并未完成，故一般都会偏长估计。

     (2) 对长作业非常不利，长作业的周转时间会明显地增长。更严重的是，该算法完全忽视作业的等待时间，可能使作业等待时间过长，出现饥饿现象。

     (3) 在采用FCFS算法时，人—机无法实现交互。

     (4) 该调度算法完全未考虑作业的紧迫程度，故不能保证紧迫性作业能得到及时处理。

2.4 优先级调度算法和高响应比优先调度算法

1. 优先级调度算法(priority-scheduling algorithm，PSA)

   • 我们可以这样来看作业的优先级，对于先来先服务调度算法，作业的等待时间就是作业的优先级，等待时间越长，其优先级越高。
   • 对于短作业优先调度算法，作业的长短就是作业的优先级，作业所需运行的时间越短，其优先级越高。但上述两种优先级都不能反映作业的紧迫程度。

2. 高响应比优先调度算法(Highest Response Ratio Next，HRRN)

   • 在批处理系统中，FCFS算法所考虑的只是作业的等待时间，而忽视了作业的运行时间。而SJF算法正好与之相反，只考虑作业的运行时间，而忽视了作业的等待时间。

   • 高响应比优先调度算法则是既考虑了作业的等待时间，又考虑作业运行时间的调度算法，因此既照顾了短作业，又不致使长作业的等待时间过长，从而改善了处理机调度的性能。

   • 高响应比优先算法是如何实现的呢?

     • 如果我们能为每个作业引入一个动态优先级，即优先级是可以改变的，令它随等待时间延长而增加，这将使长作业的优先级在等待期间不断地增加，等到足够的时间后，必然有机会获得处理机。该优先级的变化规律可描述为：

       $$优先权=\frac{等待时间+要求服务时间}{要求服务时间}$$

2.5 进程的基本状态及转换

• 由于等待时间与服务时间之和就是系统对该作业的响应时间，故该优先级又相当于响应比RP。据此，优先又可表示为：

  $$R_p=\frac{等待时间+要求服务时间}{要求服务时间} = \frac{响应时间}{要求服务时间}$$

三、进程调度

• 进程调度是OS中必不可少的一种调度。因此在三种类型的OS中，都无一例外地配置了进程调度。
• 此外,它也是对系统性能影响最大的一种处理机调度，相应的，有关进程调度的算法也较多。

3.1 进程调度的任务、机制和方式

1. 进程调度的任务

   进程调度的任务主要有三： 　　 (1) 保存处理机的现场信息。 　　 (2) 按某种算法选取进程。 　　 (3) 把处理器分配给进程。

2. 进程调度机制

   为了实现进程调度，在进程调度机制中，应具有如下三个基本部分，如图3-1所示。 　　(1) 排队器。 　　(2) 分派器。 　　(3) 上下文切换器。

   

3. 进程调度方式

   1) 非抢占方式(Nonpreemptive Mode)

   • 在采用这种调度方式时，一旦把处理机分配给某进程后，就一直让它运行下去，决不会因为时钟中断或任何其它原因去抢占当前正在运行进程的处理机，直至该进程完成，或发生某事件而被阻塞时，才把处理机分配给其它进程。

   2) 抢占方式(Preemptive Mode)

   • 这种调度方式允许调度程序根据某种原则，去暂停某个正在执行的进程，将已分配给该进程的处理机重新分配给另一进程。

   • 在现代OS中广泛采用抢占方式

     • 这是因为：对于批处理机系统，可以防止一个长进程长时间地占用处理机，以确保处理机能为所有进程提供更为公平的服务。

   • 在分时系统中，只有采用抢占方式才有可能实现人—机交互。在实时系统中，抢占方式能满足实时任务的需求。但抢占方式比较复杂，所需付出的系统开销也较大。

3.2 轮转调度算法

1. 轮转法的基本原理

   • 在轮转(RR)法中，系统将所有的就绪进程按FCFS策略排成一个就绪队列。系统可设置每隔一定时间(如30 ms)便产生一次中断，去激活进程调度程序进行调度，把CPU分配给队首进程，并令其执行一个时间片。
   • 当它运行完毕后，又把处理机分配给就绪队列中新的队首进程，也让它执行一个时间片。这样，就可以保证就绪队列中的所有进程在确定的时间段内，都能获得一个时间片的处理机时间。

2. 进程切换时机

   • 在RR调度算法中，应在何时进行进程的切换，可分为两种情况：

     ① 若一个时间片尚未用完，正在运行的进程便已经完成，就立即激活调度程序，将它从就绪队列中删除，再调度就绪队列中队首的进程运行，并启动一个新的时间片。

     ② 在一个时间片用完时，计时器中断处理程序被激活。如果进程尚未运行完毕，调度程序将把它送往就绪队列的末尾。

3. 时间片大小的确定

   • 在轮转算法中，时间片的大小对系统性能有很大的影响。
   • 图3-2示出了时间片大小对响应时间的影响，其中图(a)是时间片略大于典型交互的时间，而图(b)是时间片小于典型交互的时间。图3-3示出了时间片分别为q = 1和q = 4时对平均周转时间的影响。

   

   图3-3 q = 1和q = 4时进程的周转时间

   

    

3.3 优先级调度算法

1. 优先级调度算法的类型

   • 优先级进程调度算法，是把处理机分配给就绪队列中优先级最高的进程。这时，又可进一步把该算法分成如下两种。 (1) 非抢占式优先级调度算法。 　　(2) 抢占式优先级调度算法。

2. 优先级的类型

   1) 静态优先级

   • 静态优先级是在创建进程时确定的，在进程的整个运行期间保持不变。优先级是利用某一范围内的一个整数来表示的，例如0～255中的某一整数，又把该整数称为优先数。
   • 确定进程优先级大小的依据有如下三个： (1) 进程类型。 　　(2) 进程对资源的需求。 　　(3) 用户要求。

   2) 动态优先级

   • 动态优先级是指在创建进程之初，先赋予其一个优先级，然后其值随进程的推进或等待时间的增加而改变，以便获得更好的调度性能。

3.4 多队列调度算法

• 如前所述的各种调度算法，尤其在应用于进程调度时，由于系统中仅设置一个进程的就绪队列，即低级调度算法是固定的、单一的，无法满足系统中不同用户对进程调度策略的不同要求。
• 在多处理机系统中，这种单一调度策略实现机制的缺点更显突出，由此，多级队列调度算法能够在一定程度上弥补这一缺点。

3.5 多级反馈队列(multilevedfeedback queue)调度算法

1. 调度机制

   1. 多级反馈队列调度算法的调度机制可描述如下： (1) 设置多个就绪队列。

      • 图3-4是多级反馈队列算法的示意图。

      

      (2) 每个队列都采用FCFS算法。

      • 当新进程进入内存后，首先将它放入第一队列的末尾，按FCFS原则等待调度。当轮到该进程执行时，如它能在该时间片内完成，便可撤离系统。
      • 否则，即它在一个时间片结束时尚未完成，调度程序将其转入第二队列的末尾等待调度；
      • 如果它在第二队列中运行一个时间片后仍未完成，再依次将它放入第三队列，……，依此类推。当进程最后被降到第n队列后，在第n队列中便采取按RR方式运行。

      (3) 按队列优先级调度。

      • 调度程序首先调度最高优先级队列中的诸进程运行，仅当第一队列空闲时才调度第二队列中的进程运行；
      • 换言之，仅当第1～(i-1)所有队列均空时，才会调度第i队列中的进程运行。如果处理机正在第i队列中为某进程服务时又有新进程进入任一优先级较高的队列，此时须立即把正在运行的进程放回到第i队列的末尾，而把处理机分配给新到的高优先级进程。

2. 调度算法的性能

   • 在多级反馈队列调度算法中，如果规定第一个队列的时间片略大于多数人机交互所需之处理时间时，便能较好地满足各种类型用户的需要。 (1) 终端型用户。 　　(2) 短批处理作业用户。 　　(3) 长批处理作业用户。

3.6 基于公平原则的调度算法

1. 保证调度算法

   • 保证调度算法是另外一种类型的调度算法，它向用户所做出的保证并不是优先运行，而是明确的性能保证，该算法可以做到调度的公平性。

   • 一种比较容易实现的性能保证是处理机分配的公平性。如果在系统中有n个相同类型的进程同时运行，为公平起见，须保证每个进程都获得相同的处理机时间$\frac{1}{n}$。

   • 在实施公平调度算法时系统中必须具有这样一些功能：

     (1) 跟踪计算每个进程自创建以来已经执行的处理时间。

     (2) 计算每个进程应获得的处理机时间，即自创建以来的时间除以n。

     (3) 计算进程获得处理机时间的比率，即进程实际执行的处理时间和应获得的处理机时间之比。

     (4) 比较各进程获得处理机时间的比率。如进程A的比率最低，为0.5，而进程B的比率为0.8，进程C的比率为1.2等。

     (5) 调度程序应选择比率最小的进程将处理机分配给它，并让该进程一直运行，直到超过最接近它的进程比率为止。

2. 公平分享调度算法

   • 分配给每个进程相同的处理机时间，显然，这对诸进程而言，是体现了一定程度的公平，但如果各个用户所拥有的进程数不同，就会发生对用户的不公平问题。

四、实时调度

• 在实时系统中，可能存在着两类不同性质的实时任务，即HRT任务和SRT任务，它们都联系着一个截止时间。为保证系统能正常工作，实时调度必须能满足实时任务对截止时间的要求。为此，实现实时调度应具备一定的条件。

4.1 实现实时调度的基本条件

1. 提供必要的信息

   为了实现实时调度，系统应向调度程序提供有关任务的信息：

   (1) 就绪时间，是指某任务成为就绪状态的起始时间，在周期任务的情况下，它是事先预知的一串时间序列。

   (2) 开始截止时间和完成截止时间，对于典型的实时应用，只须知道开始截止时间，或者完成截止时间。

   (3) 处理时间，一个任务从开始执行，直至完成时所需的时间。

   (4) 资源要求，任务执行时所需的一组资源。

   (5) 优先级，如果某任务的开始截止时间错过，势必引起故障，则应为该任务赋予“绝对”优先级；如果其开始截止时间的错过，对任务的继续运行无重大影响，则可为其赋予“相对”优先级，供调度程序参考。

2. 系统处理能力强

   • 在实时系统中，若处理机的处理能力不够强，则有可能因处理机忙不过，而致使某些实时任务不能得到及时处理，从而导致发生难以预料的后果。

   • 假定系统中有m个周期性的硬实时任务HRT，它们的处理时间可表示为Ci，周期时间表示为Pi，则在单处理机情况下，必须满足下面的限制条件系统才是可调度的：

     $$\sum_{i=1}^{m}\frac{C_i}{P_i} \leq 1$$

   • 提高系统处理能力的途径有二：

     • 一是,采用单处理机系统，但须增强其处理能力，以显著地减少对每一个任务的处理时间；

     • 二是,采用多处理机系统。假定系统中的处理机数为N，则应将上述的限制条件改为：

       $$\sum_{i=1}^{m}\frac{C_i}{P_i} \leq N$$

3. 采用抢占式调度机制

   • 在含有HRT任务的实时系统中，广泛采用抢占机制。这样便可满足HRT任务对截止时间的要求。但这种调度机制比较复杂。

4. 具有快速切换机制

   • 为保证硬实时任务能及时运行，在系统中还应具有快速切换机制，使之能进行任务的快速切换。该机制应具有如下两方面的能力：

     (1) 对中断的快速响应能力。对紧迫的外部事件请求中断能及时响应，要求系统具有快速硬件中断机构，还应使禁止中断的时间间隔尽量短，以免耽误时机(其它紧迫任务)

     (2) 快速的任务分派能力。为了提高分派程序进行任务切换时的速度，应使系统中的每个运行功能单位适当的小，以减少任务切换的时间开销。

4.2 实时调度算法的分类

• 可以按不同方式对实时调度算法加以分类：

  ① 根据实时任务性质，可将实时调度的算法分为硬实时调度算法和软实时调度算法；

  ② 按调度方式，则可分为非抢占调度算法和抢占调度算法。

  1. 非抢占式调度算法

     (1) 非抢占式轮转调度算法。

     (2) 非抢占式优先调度算法。

  2. 抢占式调度算法

     可根据抢占发生时间的不同而进一步分成以下两种调度算法：

     (1) 基于时钟中断的抢占式优先级调度算法。

     (2) 立即抢占(Immediate Preemption)的优先级调度算法。　　

     • 图3-5中的(a)、(b)、(c)、(d)分别示出了四种情况的调度时间。

       

4.3 最早截止时间优先EDF(Earliest Deadline First)算法

1. 非抢占式调度方式用于非周期实时任务

   • 图3-6示出了将该算法用于非抢占调度方式之例。

2. 抢占式调度方式用于周期实时任务

   • 图3-7示出了将该算法用于抢占调度方式之例。在该例中有两个周期任务，任务A和任务B的周期时间分别为20 ms和50 ms，每个周期的处理时间分别为10 ms 和25 ms。

     

      

4.4 最低松弛度优先LLF(LeastLaxity First)算法

• 该算法在确定任务的优先级时，根据的是任务的紧急(或松弛)程度。任务紧急程度愈高，赋予该任务的优先级就愈高，以使之优先执行。

• 该算法主要用于可抢占调度方式中。假如在一个实时系统中有两个周期性实时任务A和B，任务A要求每20 ms执行一次，执行时间为10 ms，任务B要求每50 ms执行一次，执行时间为25 ms。由此可知，任务A和B每次必须完成的时间分别为：A1、A2、A3、…和B1、B2、B3、…，见图3-8。

  

  • 图3-9示出了具有两个周期性实时任务的调度情况。

    

    $$松弛度 = 必须完成时间 - 其本身需运行时间 - 当前时间$$

4.5 优先级倒置(priority inversion problem)

1. 优先级倒置的形成

   • 当前OS广泛采用优先级调度算法和抢占方式，然而在系统中存在着影响进程运行的资源而可能产生“优先级倒置”的现象。

     • 即，高优先级进程(或线程)被低优先级进程(或线程)延迟或阻塞。我们通过一个例子来说明该问题。

     • 假如$P_3$最先执行，在执行了P(mutex)操作后，进入到临界区$CS_3$。在时刻a，$P_2$就绪，因为它比$P_3$的优先级高，$P_2$抢占了$P_3$的处理机而运行，如图3-10所示。

       

2. 优先级倒置的解决方法

   • 一种简单的解决方法是规定：假如进程$P3$在进入临界区后$P3$所占用的处理机就不允许被抢占。

   • 图3-11示出了采用动态优先级继承方法后，$P1、P2、P3$三个进程的运行情况。

     

五、死锁概述

3.5.1 资源问题

• 在系统中有许多不同类型的资源，其中可以引起死锁的主要是，需要采用互斥访问方法的、不可以被抢占的资源，即在前面介绍的临界资源。

  • 系统中这类资源有很多，如打印机、数据文件、队列、信号量等。

1. 可重用性资源和消耗性资源

   1) 可重用性资源

   • 可重用性资源是一种可供用户重复使用多次的资源，它具有如下性质：

     (1) 每一个可重用性资源中的单元只能分配给一个进程使用，不允许多个进程共享。

     (2) 进程在使用可重用性资源时，须按照这样的顺序：

     ① 请求资源。如果请求资源失败，请求进程将会被阻塞或循环等待。

     ② 使用资源。进程对资源进行操作，如用打印机进行打印；

     ③ 释放资源。当进程使用完后自己释放资源。

     (3) 系统中每一类可重用性资源中的单元数目是相对固定的，进程在运行期间既不能创建也不能删除它。

   2) 可消耗性资源

   • 可消耗性资源又称为临时性资源，它是在进程运行期间，由进程动态地创建和消耗的，它具有如下性质：

     ① 每一类可消耗性资源的单元数目在进程运行期间是可以不断变化的，有时它可以有许多，有时可能为0；

     ② 进程在运行过程中，可以不断地创造可消耗性资源的单元，将它们放入该资源类的缓冲区中，以增加该资源类的单元数目。

     ③ 进程在运行过程中，可以请求若干个可消耗性资源单元，用于进程自己的消耗，不再将它们返回给该资源类中。

2. 可抢占性资源和不可抢占性资源

   1) 可抢占性资源

   • 可把系统中的资源分成两类，一类是可抢占性资源，是指某进程在获得这类资源后，该资源可以再被其它进程或系统抢占。

     2) 不可抢占性资源

   • 另一类资源是不可抢占性资源，即一旦系统把某资源分配给该进程后，就不能将它强行收回，只能在进程用完后自行释放。

5.2 计算机系统中的死锁

1. 竞争不可抢占性资源引起死锁

   • 通常系统中所拥有的不可抢占性资源其数量不足以满足多个进程运行的需要，使得进程在运行过程中，会因争夺资源而陷入僵局。

   • 我们可将上面的问题利用资源分配图进行描述，用方块代表可重用的资源(文件)，用圆圈代表进程，见图3-12所示。

     

2. 竞争可消耗资源引起死锁

   图3-13示出了在三个进程之间，在利用消息通信机制进行通信时所形成的死锁情况。

   

3. 进程推进顺序不当引起死锁

   • 除了系统中多个进程对资源的竞争会引发死锁外，进程在运行过程中，对资源进行申请和释放的顺序是否合法，也是在系统中是否会产生死锁的一个重要因素。

     1. 进程推进顺序合法

        • 在进程P1和P2并发执行时，如果按图3-14中的曲线①所示的顺序推进：

          $$P1：Request(R1)→P1：Request(R2)→P1：Release(R1)→P1：Release(R2)→P1：Request(R2)→P2：Request(R1)→P2：Release(R2)→P2：Release(R1) →P2 ，$$

          两个进程可顺利完成。类似地，若按图中曲线②和③所示的顺序推进，两进程也可以顺利完成。我们称这种不会引起进程死锁的推进顺序是合法的。

          

        2. 进程推进顺序非法

           • 若并发进程P1和P2按图3-14中曲线④所示的顺序推进，它们将进入不安全区D内。
           • 此时P1保持了资源R1，P2保持了资源R2，系统处于不安全状态。此刻，如果两个进程继续向前推进，就可能发生死锁。
           • 例如，当$P_1$运行到$P_1：Request(R_2)$时，将因$R2$已被$P_2$占用而阻塞；当$P_2$运行到$P_2:Request(R1)$时，也将因$R_1$已被$P_1$占用而阻塞，于是发生了进程死锁，这样的进程推进顺序就是非法的。

5.3 死锁的定义、必要条件和处理方法

1. 死锁的定义

   • 在一组进程发生死锁的情况下，这组死锁进程中的每一个进程，都在等待另一个死锁进程所占有的资源。

2. 产生死锁的必要条件

   • 虽然进程在运行过程中可能会发生死锁，但产生进程死锁是必须具备一定条件的。综上所述不难看出，产生死锁必须同时具备下面四个必要条件，只要其中任一个条件不成立，死锁就不会发生：

     (1) 互斥条件。

     (2) 请求和保持条件。

     (3) 不可抢占条件。

     (4) 循环等待条件。

3. 处理死锁的方法

   目前处理死锁的方法可归结为四种：

   (1) 预防死锁。

   (2) 避免死锁。

   (3) 检测死锁。

   (4) 解除死锁。

六、预防死锁

• 预防死锁的方法是通过破坏产生死锁的四个必要条件中的一个或几个，以避免发生死锁。

  • 由于互斥条件是非共享设备所必须的，不仅不能改变，还应加以保证，因此主要是破坏产生死锁的后三个条件。

6.1 破坏“请求和保持”条件

• 为了能破坏“请求和保持”条件，系统必须保证做到：当一个进程在请求资源时，它不能持有不可抢占资源。该保证可通过如下两个不同的协议实现：

1. 第一种协议

   • 该协议规定，所有进程在开始运行之前，必须一次性地申请其在整个运行过程中所需的全部资源。

2. 第二种协议

• 该协议是对第一种协议的改进，它允许一个进程只获得运行初期所需的资源后，便开始运行。

6.2 破坏“不可抢占”条件

• 为了能破坏“不可抢占”条件，协议中规定，当一个已经保持了某些不可被抢占资源的进程，提出新的资源请求而不能得到满足时，它必须释放已经保持的所有资源，待以后需要时再重新申请。
• 这意味着进程已占有的资源会被暂时地释放，或者说是被抢占了，从而破坏了“不可抢占”条件。

6.3 破坏“循环等待”条件

• 一个能保证“循环等待”条件不成立的方法是，对系统所有资源类型进行线性排序，并赋予不同的序号。

七、避免死锁

• 避免死锁同样是属于事先预防的策略，但并不是事先采取某种限制措施，破坏产生死锁的必要条件。
• 而是在资源动态分配过程中，防止系统进入不安全状态，以避免发生死锁。这种方法所施加的限制条件较弱，可能获得较好的系统性能，目前常用此方法来避免发生死锁。

7.1　系统安全状态

在死锁避免方法中，把系统的状态分为安全状态和不安全状态。当系统处于安全状态时，可避免发生死锁。反之，当系统处于不安全状态时，则可能进入到死锁状态。

1. 安全状态

   在该方法中，允许进程动态地申请资源，但系统在进行资源分配之前，应先计算此次资源分配的安全性。

2. 安全状态之例

   假定系统中有三个进程P1、P2和P3，共有12台磁带机。进程P1总共要求10台磁带机，P2和P3分别要求4台和9台。假设在T0时刻，进程P1、P2和P3已分别获得5台、2台和2台磁带机，尚有3台空闲未分配，如下表所示：

   进程	最大需求	已分配	可用
   $P1$	10	5	3
   $P2$	4	2
   $P3$	9	2

3. 由安全状态向不安全状态的转换

如果不按照安全序列分配资源，则系统可能会由安全状态进入不安全状态。

7.2 利用银行家算法避免死锁

最有代表性的避免死锁的算法是Dijkstra的银行家算法。起这样的名字是由于该算法原本是为银行系统设计的，以确保银行在发放现金贷款时，不会发生不能满足所有客户需要的情况。在OS中也可用它来实现避免死锁。

1. 银行家算法中的数据结构

   为了实现银行家算法，在系统中必须设置这样四个数据结构，分别用来描述系统中可利用的资源、所有进程对资源的最大需求、系统中的资源分配，以及所有进程还需要多少资源的情况。 　　(1) 可利用资源向量Available。 　　(2) 最大需求矩阵Max。 　　(3) 分配矩阵Allocation。 　　(4) 需求矩阵Need。

2. 银行家算法

   设$Request_i$是进程$P_i$的请求向量，如果$Requesti[j]=K$，表示进程$P_i$需要$K$个$R_j$类型的资源。当$P_i$发出资源请求后，系统按下述步骤进行检查：

   (1) 如果$Request_i[j]≤Need[i, j]$，便转向步骤(2)； 否则认为出错，因为它所需要的资源数已超过它所宣布的最大值。

   (2) 如果$Request_i[j]≤Available[j]$，便转向步骤(3)； 否则，表示尚无足够资源，$P_i$须等待。

   (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) 系统执行安全性算法，检查此次资源分配后系统是否处于安全状态。若安全，才正式将资源分配给进程$P_i$，以完成本次分配；否则，将本次的试探分配作废，恢复原来的资源分配状态，让进程$P_i$等待。

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[j]+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$，$T_0$时刻的资源分配情况如图3-15所示。

     

     (1) $T_0$时刻的安全性：利用安全性算法对$T_0$时刻的资源分配情况进行分析(如图3-16所示)可知，在$T_0$时刻存在着一个安全序列{$P_1, P_3, P_4, P_2, P_0$}，故系统是安全的。

     

     (2)  $P_1$请求资源：P1发出请求向量$Request1(1, 0, 2)$，系统按银行家算法进行检查：

     ① $Request_1(1, 0, 2) \leq Need_1(1, 2, 2)$；

     ② $Request_1(1, 0, 2) \leq Available_1(3, 3, 2)$；

     ③ 系统先假定可为P1分配资源，并修改Available，Allocation1和Need1向量，由此形成的资源变化情况如图3-15中的圆括号所示；

     ④ 再利用安全性算法检查此时系统是否安全，如图3-17所示。

     

     (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) \gt Available(2，3，0)$，让$P_4$等待

     (4)  $P_0$请求资源：$P_0$发出请求向量$Request_0(0，2，0)$，系统按银行家算法进行检查： 　　① $Request_0(0，2，0) \leq Need_0(7，4，3)$； 　　② $Request_0(0，2，0) \leq Available(2，3，0)$； 　　③ 系统暂时先假定可为$P_0$分配资源，并修改有关数据，如图3-18所示。

     

     (5) 进行安全性检查：可用资源$Available(2，1，0)$已不能满足任何进程的需要，故系统进入不安全状态，此时系统不分配资源。

八、死锁的检测与解除

• 如果在系统中，既不采取死锁预防措施，也未配有死锁避免算法，系统很可能会发生死锁。在这种情况下，系统应当提供两个算法：

  ① 死锁检测算法。该方法用于检测系统状态，以确定系统中是否发生了死锁。

  ② 死锁解除算法。当认定系统中已发生了死锁，利用该算法可将系统从死锁状态中解脱出来。

8.1 死锁的检测

为了能对系统中是否已发生了死锁进行检测，在系统中必须：

① 保存有关资源的请求和分配信息；

② 提供一种算法，它利用这些信息来检测系统是否已进入死锁状态。

1. 资源分配图(Resource Allocation Graph)

   • 系统死锁，可利用资源分配图来描述。

   • 该图是由一组结点$N$和一组边$E$所组成的一个对偶$G = (N, E)$，它具有下述形式的定义和限制：

     (1) 把$N$分为两个互斥的子集，即一组进程结点$P={P_1, P_2, …, P_n}$和一组资源结点$R={R_1, R_2, …, R_n}，N = P∪R$。在图3-19所示的例子中，$P = {P_1, P_2}，R = {R_1, R_2}，N = {R_1, R_2}∪{P_1, P_2}$。 该图是由一组结点N和一组边E所组成的一个对偶$G = (N, E)$，它具有下述形式的定义和限制：

     (2) 凡属于E中的一个边$e∈E$，都连接着P中的一个结点和R中的一个结点，$e = {P_i, R_j}$是资源请求边，由进程$P_i$指向资源$R_j$，它表示进程Pi请求一个单位的Rj资源。$E = {R_j, P_i}$是资源分配边，由资源$R_j$指向进程$P_i$，它表示把一个单位的资源$R_j$分配给进程$P_i$。

     图3-19中示出了两个请求边和两个分配边，即$E = {(P_1, R_2), (R_2, P_2), (P_2, R_1), (R_1, P_1)}$。

   2．死锁定理

   • 我们可以利用把资源分配图加以简化的方法(图3-19)，来检测当系统处于S状态时，是否为死锁状态。简化方法如下：

     (1) 在资源分配图中，找出一个既不阻塞又非独立的进程结点$P_i$。在顺利的情况下，Pi可获得所需资源而继续运行，直至运行完毕，再释放其所占有的全部资源，这相当于消去Pi的请求边和分配边，使之成为孤立的结点。

     • 在图3-20(a)中，将$P_1$的两个分配边和一个请求边消去，便形成图(b)所示的情况。

       

     (2)  $P_1$释放资源后，便可使$P_2$获得资源而继续运行，直至$P_2$完成后又释放出它所占有的全部资源，形成图(c)所示的情况，即将$P_2$的两条请求边和一条分配边消去

     (3) 在进行一系列的简化后，若能消去图中所有的边，使所有的进程结点都成为孤立结点，则称该图是可完全简化的；若不能通过任何过程使该图完全简化，则称该图是不可完全简化的。

   3．死锁检测中的数据结构

   • 死锁检测中的数据结构类似于银行家算法中的数据结构

     (1) 可利用资源向量$Available$，它表示了$m$类资源中每一类资源的可用数目。

     (2) 把不占用资源的进程($向量Allocation=0$)记入$L$表中，即$L_i∪L$。

     (3) 从进程集合中找到一个$Request_i \leq Work$的进程，做如下处理：

     • ① 将其资源分配图简化，释放出资源，增加工作向量$Work =Work + Allocation_i$

     • ② 将它记入$L$表中。

       (4) 若不能把所有进程都记入L表中，便表明系统状态S的资源分配图是不可完全简化的。因此，该系统状态将发生死锁。

8.2 死锁的解除

1. 终止进程的方法

   1) 终止所有死锁进程

   • 这是一种最简单的方法，即是终止所有的死锁进程，死锁自然也就解除了，但所付出的代价可能会很大。
   • 因为其中有些进程可能已经运行了很长时间，已接近结束，一旦被终止真可谓“功亏一篑”，以后还得从头再来。还可能会有其它方面的代价，在此不再一一列举。

   2) 逐个终止进程

   • 稍微温和的方法是，按照某种顺序，逐个地终止进程，直至有足够的资源，以打破循环等待，把系统从死锁状态解脱出来为止。但该方法所付出的代价也可能很大。
   • 因为每终止一个进程，都需要用死锁检测算法确定系统死锁是否已经被解除，若未解除还需再终止另一个进程。
   • 另外，在采取逐个终止进程策略时，还涉及到应采用什么策略选择一个要终止的进程。选择策略最主要的依据是，为死锁解除所付出的“代价最小”。但怎么样才算是“代价最小”，很难有一个精确的度量。

   2.付出代价最小的死锁解除算法

   • 一种付出代价最小的死锁解除算法如图3-21所示。

     

九、典型例题

例题一、银行家算法

• 银行家算法，出现以下资源分配，试问:

  Process	Allocation	Need	Available
  $P0$	$0 0 3 2$	0012	1622
  $P1$	$1000$	1750
  $P2$	1354	2356
  $P3$	0332	0652
  $P4$	0014	0656

  • 该状态是否安全?
  • 若进程$P_2$提出$Request(1,2,2,2)$后，系统是否将资源分配给它?

• 答案

  • 该状态是安全的，因为存在一个安全序列$(P0,P3,P4,P1,P2)$。 $T_0$时刻的安全序列表如下所示：

    

  • 若$P_2$发出请求$request(1,2,2,2)$后， 系统不能够将资源分配给它。若分配给它，系统还剩下资源情况为$(0,4,0,0)$，此时系统中的资源将无法满足任何一个进程的资源请求，从而导致系统进入不安全状态，容易引起死锁的发生。

例题二、银行家算法、

• 银行家算法，出现以下资源分配，试问:

  Process	Max	Allocation	Need	Available
  $P_0$	332	100	222	112
  $P_1$	613	511	102
  $P_2$	314	211	103
  $P_3$	422	002	420

  • 该状态是否安全?

  • 若进程$P_1$提出$Request(1,0,1)$后，系统是否将资源分配给它?

     

• 答案

  • 该状态是安全的，因为存在一个安全序列${P_1,P_0,P_2,P_3}$。$T_0$时刻的安全序列表如下所示：

    

  • $P_1$发出请求向量$Request(1,0,1)$，系统按照银行家算法进行检查：

    $Request(1,0,1) \leq Need(1,0,2)$

    $Request(1,0,1) \leq Available(1,1,2)$

    系统先假定可以为$P_1$分配资源，并修改 $Available , Allocation, Need 向量$：

    

  • 再利用安全性算法检查此时系统是否安全。

  

  • 由所进行的安全检查得知，可以找到一个安全序列${P_1,P_0,P_2,P_4}$,因此，系统是安全的，可以立即将$P_1$申请的资源分配给它。

例题三、作业调度

• 假定一个处理机上执行5个作业，作业的到达时间和运行时间如下表所示。

  作业号	到达时间	运行时间
  A	0	3
  B	1	5
  C	3	2
  D	9	5
  E	12	5

  • 分别采用先来先服务、最短作业优先、高响应比优先算法处理以上作业，作业的调度顺序是什么？根据以上三种不同的调度算法，计算出每个作业的周转时间、带权周转时间和所有作业调度的平均周转时间、平均带权周转时间。

• 答案

  • 采用$FCFS、SJF、HRRN$调度顺序分别为：

    $A→B → C →D →E$

    $A →C→B →D →E$

    $A →B →C →D →E$

  • $HRRN$分析如下:

    • $T=0$时，作业A到达，调度作业A；
    • $T=3$时，作业A完成，作业$B,C$到达，计算响应比：作业B的响应比为$\frac{(2+5)}{5}=1.4$,作业C的响应比为$\frac{(0+2)}{2}=1$,调度B;
    • $T=8$时，作业B完成，作业C到达，调度作业C；
    • $T=10$时，作业C完成，作业D已到达，调度D；
    • $T=15$时，作业D完成，作业E已到达，调度E；

  • $FCFS$：

    

    • 平均周转时间: $\frac{(3+7+7+6+8)}{5} =6.5$
    • 平均带权周转时间: $\frac{(1+1.4+3.5+1.2+1.6)}{5}=1.74$

  • $SJF$：

    

    • 平均周转时间: $\frac{(3+9+2+6+8)}{5} =5.6$
    • 平均带权周转时间: $\frac{(1+1.8+1+1.2+1.6)}{5}=1.32$

  • $HRRN$：

    

    • 平均周转时间: $\frac{(3+7+7+6+8)}{5} =6.2$

    • 平均带权周转时间: $\frac{(1+1.4+3.5+1.2+1.6)}{5}=1.74$

       

本节结束 2019年10月5日

返回目录