2024年4月21日发(作者:)
第3章 进程描述和控制
复习题:
3.1 什么是指令跟踪?
答:指令跟踪是指为该进程而执行的指令序列。
3.2 通常那些事件会导致创建一个进程?
答:新的批处理作业;交互登录;操作系统因为提供一项服务而创建;由现有的进程
派生。(详情请参考表3.1)
3.3 对于图3.6中的进程模型,请简单定义每个状态。
答:运行态:该进程正在执行。就绪态:进程做好了准备,只要有机会就开始执行。
阻塞态:进程在某些事件发生前不能执行,如I/O操作完成。新建态:刚刚创建的进
程,操作系统还没有把它加入到可执行进程组中。退出态:操作系统从可执行进程组
中释放出的进程,或者是因为它自身停止了,或者是因为某种原因被取消。
3.4 抢占一个进程是什么意思?
答:处理器为了执行另外的进程而终止当前正在执行的进程,这就叫进程抢占。
3.5 什么是交换,其目的是什么?
答:交换是指把主存中某个进程的一部分或者全部内容转移到磁盘。当主存中没有处
于就绪态的进程时,操作系统就把一个阻塞的进程换出到磁盘中的挂起队列,从而使
另一个进程可以进入主存执行。
3.6 为什么图3.9(b)中有两个阻塞态?
答:有两个独立的概念:进程是否在等待一个事件(阻塞与否)以及进程是否已经被
换出主存(挂起与否)。为适应这种2*2的组合,需要两个阻塞态和两个挂起态。
3.7 列出挂起态进程的4个特点。
答:1.进程不能立即执行。2.进程可能是或不是正在等待一个事件。如果是,阻塞条
件不依赖于挂起条件,阻塞事件的发生不会使进程立即被执行。3.为了阻止进程执行,
可以通过代理把这个进程置于挂起态,代理可以是进程自己,也可以是父进程或操作
系统。4.除非代理显式地命令系统进行状态转换,否则进程无法从这个状态中转移。
3.8 对于哪类实体,操作系统为了管理它而维护其信息表?
答:内存、I/O、文件和进程。
3.9 列出进程控制块中的三类信息。
答:进程标识,处理器状态信息,进程控制信息。
3.10 为什么需要两种模式(用户模式和内核模式)?
答:用户模式下可以执行的指令和访问的内存区域都受到限制。这是为了防止操作系
统受到破坏或者修改。而在内核模式下则没有这些限制,从而使它能够完成其功能。
3.11 操作系统创建一个新进程所执行的步骤是什么?
答:1.给新进程分配一个唯一的进程标识号。2.给进程分配空间。3.初始化进程控制块。
4.设置正确的连接。5.创建或扩充其他的数据结构。
3.12 中断和陷阱有什么区别?
答:中断与当前正在运行的进程无关的某些类型的外部事件相关,如完成一次I/O操
作。陷阱与当前正在运行的进程所产生的错误或异常条件相关,如非法的文件访问。
3.13 举出中断的三个例子。
答:时钟终端,I/O终端,内存失效。
3.14 模式切换和进程切换有什么区别?
答:发生模式切换可以不改变当前正处于运行态的进程的状态。发生进程切换时,一
个正在执行的进程被中断,操作系统指定另一个进程为运行态。进程切换需要保存更
多的状态信息。
习题:
3.1. 给出操作系统进行进程管理时的五种主要活动,并简单描述为什么需要它们。
答:用户进程和系统进程创建及删除。系统中的进程可以为信息共享、运算加速、模
块化和方便并发地执行。而并发执行需要进程的创建和删除机制。当进程创建或者运
行时分配给它需要的资源。当进程终止时,操作系统需要收回任何可以重新利用的资
源。
进程的暂停和继续执行。在进程调度中,当进程在等待某些资源时,操作系统需要将
它的状态改变为等待或就绪状态。当所需要的资源可用时,操作系统需要将它的状态
变为运行态以使其继续执行。
提供进程的同步机制。合作的进程可能需要共享数据。对共享数据的并行访问可能会
导致数据冲突。操作系统必须提供进程的同步机制以使合作进程有序地执行,从而保
证数据的一致性。
提供进程的通信机制。操作系统下执行的进程既可以是独立进程也可以是合作进程。
合作进程之间必须具有一定的方式进行通信。
提供进程的死锁解决机制。在多道程序环境中,多个进程可能会竞争有限的资源。如
果发生死锁,所有的等待进程都将永远不能由等待状态再变为运行态,资源将被浪费,
工作永远不能完成。
3.2. 在[PINK89] 中为进程定义了以下状态:执行(运行)态、活跃(就绪)态、阻塞态和
挂起态。当进程正在等待允许使用某一资源时,它处于阻塞态;当进程正在等待它已
经获得的某种资源上的操作完成时,它处于挂起态。在许多操作系统中,这两种状态
常常放在一起作为阻塞态,挂起态使用本章中给出的定义。请比较这两组定义的优点。
答:[PINK89]中引用了以下例子来阐述其中阻塞和挂起的定义:
假设一个进程已经执行了一段时间,它需要一个额外的磁带设备来写出一个临时
文件。在它开始写磁带之前,进程必须得到使用某一设备的许可。当它做出请求
时,磁带设备可能并不可用,这种情况下,该进程就处于阻塞态。假设操作系统
在某一时刻将磁带设备分配给了该进程,这时进程就重新变为活跃态。当进程重
新变为执行态时要对新获得的磁带设备进行写操作。这时进程变为挂起态,等待
该磁带上当前所进行的写操作完成。
这种对等待某一设备的两种不同原因的区别,在操作系统组织其工作时是非常有用
的。然而这并不能表明那些进程是换入的,那些进程是换出的。后一种区别是必需的,
而且应该在进程状态中以某种形式表现出来。
3.3. 对于图3.9(b)中给出的7状态进程模型,请仿照图3.8(b)画出它的排队图。
答:图9.3给出了单个阻塞队列的结果。该图可以很容易的推广到多个阻塞队列的情
形。
3.4. 考虑图3.9(b)中的状态转换图。假设操作系统正在分派进程,有进程处于就绪态和就
绪/挂起态,并且至少有一个处于就绪/挂起态的进程比处于就绪态的所有进程的优先
级都高。有两种极端的策略:(1)总是分派一个处于就绪态的进程,以减少交换;(2)
总是把机会给具有最高优先级的进程,即使会导致在不需要交换时进行交换。请给出
一种能均衡考虑优先级和性能的中间策略。
答:对于一个就绪/挂起态的进程,降低一定数量(如一或两个)优先级,从而保证
只有当一个就绪/挂起态的进程比就绪态的进程的最高优先级还高出几个优先级时,
它才会被选做下一个执行。
3.5. 表3.13给出了VAX/VMS操作系统的进程状态。
a. 请给出这么多种等待状态的理由。
b. 为什么以下状态没有驻留和换出方案:页错误等待、也冲突等待、公共事件等待、
自由页等待和资源等待。
c. 请画出状态转换图,并指出引发状态装换的原因。
答:
a. 每一种等待状态都有一个单独的队列与其相关联。当影响某一等待进程的事件发生
时,把等待进程分成不同的队列就减少了定位这一等待进程所需的工作量。例如,
当一个页错误完成时,调度程序就可以在页错误等待队列中找到等待的进程。
b. 在这些状态下,允许进程被换出只会使效率更低。例如,当发生页错误等待时,进
程正在等待换入一个页从而使其可以执行,这是将进程换出是毫无意义的。
c. 可以由下面的进程状态转换表得到状态转换图。
当前状态 下一状态
当前正在执可计算(驻可计算(换各种等待状各种等待状
当前正在执
行
可计算(驻
留)
可计算(换
出)
各种等待状
态(驻留)
各种等待状
态(换出)
行
调度
留)
重调度
换入
事件发生
出)
换出
事件发生
态(驻留)
等待
态(换出)
换出
3.6. VAM/VMS操作系统采用了四种处理器访问模式,以促进系统资源在进程间的保护和共
享。访问模式确定:
指令执行特权:处理器将执行什么指令。
内存访问特权:当前指令可能访问虚拟内存中的哪个单元。
四种模式如下:
内核模式:执行VMS操作系统的内核,包括内存管理、中断处理和I/O操作。
执行模式:执行许多操作系统服务调用,包括文件(磁盘和磁带)和记录管理例程。
管理模式:执行其他操作系统服务,如响应用户命令。
用户模式:执行用户程序和诸如编译器、编辑器、链接程序、调试器之类的实用程
序。
在较少特权模式执行的进程通常需要调用在较多特权模式下执行的过程,例如,一个
用户程序需要一个操作系统服务。这个调用通过使用一个改变模式(简称CHM)指令
来实现,该指令将引发一个中断,把控制转交给处于新的访问模式下的例程,并通过
执行REI(Return from Exception or Interrupt,从异常或中断返回)指令返回。
a. 很多操作系统有两种模式,内核和用户,那么提供四种模式有什么优点和缺点?
b. 你可以举出一种有四种以上模式的情况吗?
答:
a. 四种模式的优点是对主存的访问控制更加灵活,能够为主存提供更好的保护。缺点
是复杂和处理的开销过大。例如,程序在每一种执行模式下都要有一个独立的堆
栈。
b. 原则上,模式越多越灵活,但是四种以上的模式似乎很难实现。
3.7. 在前面习题中讨论的VMS方案常常称为环状保护结构,如图3.18所示。3.3节所描述
的简单的内核/用户方案是一种两环结构,[SILB04]指出了这种方法的问题:环状(层
次)结构的主要缺点是它不允许我们实施须知原理,特别地,如果一个对象必须在域
D
j
中可访问,但在域D
i
中不可访问,则必须有就j
i
中可访问的每个
段在D
j
中都可以访问。
a. 请清楚地解释上面引文中提出的问题。
b. 请给出环状结构操作系统解决这个问题的一种方法。
答:
a. 当j
i
中的进程被禁止访问D
j
中的对象。因此,如果D
j
中包含的信息
比D
i
中的更具有特权或者要求的安全性更高,那么这种限制就是合理的。然而,
通过以下方法却可以绕过这种安全策略。一个运行在D
j
中的进程可以读取D
j
中
的数据,然后把数据复制到D
i
中。随后,D
i
中的进程就可以访问这些信息了。
b. 有一种解决这一问题的方法叫做可信系统,我们将在16章中进行讨论。
3.8. 图3.7(b)表明一个进程每次只能在一个事件队列中。
a. 是否能够允许进程同时等待一个或多个事件?请举例说明。
b. 在这种情况下,如何修改图中的排队结构以支持这个新特点?
答:
a. 一个进程可能正在处理从另一个进程收到的数据并将结果保存到磁盘上。如果当前
在另一个进程中正有数据在等待被取走,进程就可以继续获得数据并处理它。如
果前一个写磁盘操作已经完成,并且有处理好的数据在等待写出,那么进程就可
以继续写磁盘。这样就可能存在某一时刻,进程即在等待从输入进程获得数据,
又在等待磁盘可用。
b. 有很多种方法解决这一问题。可以使用一种特殊的队列,或者将进程放入两个独立
的队列中。不论采用哪种方法,操作系统都必须处理好细节工作,使进程相继地
关注两个事件的发生。
3.9. 在很多早期计算机中,中断导致寄存器值被保存在与给定的中断信息相关联的固定单
元。在什么情况下这是一种实用的技术?请解释为什么它通常是不方便的。
答:这种技术是基于被中断的进程A在中断响应之后继续执行的假设的。但是,在通
常情况下,中断可能会导致另一个进程B抢占了进程A。这是就必须将进程A的执行
状态从与中断相关的位置复制到与A相关的进程描述中。然而机器却有可能仍将它们
保存到前一位置。参考:[BRIN73]。
3.10. 3.4节曾经讲述过,由于在内核模式下执行的进程是不能被抢占的,因此UNIX不适用
于实时应用。请阐述原因。
答:由于存在进程不能被抢占的情况(如在内核模式下执行的进程),操作系统不可
能对实时需求给予迅速的反应。
发布者:admin,转转请注明出处:http://www.yc00.com/web/1713676394a2296388.html
评论列表(0条)