必需的，而且应该在进程状态中以某种形式表现出来。
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]指出了这种方法的问题：环状（层次）结构的主要缺点是它不允许我们实施须知原理，特别地，如果一个对象必须在域Dj中可访问，但在域Di中不可访问，则必须有就j b. 请给出环状结构操作系统解决这个问题的一种方法。 答： a. 当j 的信息比Di中的更具有特权或者要求的安全性更高，那么这种限制就是合理的。然而，通过以下方法却可以绕过这种安全策略。一个运行在Dj中的进程可以读取Dj中的数据，然后把数据复制到Di中。随后，Di中的进程就可以访问这些信息了。 b. 有一种解决这一问题的方法叫做可信系统，我们将在16章中进行讨论。 3.8. 图3.7（b）表明一个进程每次只能在一个事件队列中。 a. 是否能够允许进程同时等待一个或多个事件？请举例说明。 b. 在这种情况下，如何修改图中的排队结构以支持这个新特点？ 答： a. 一个进程可能正在处理从另一个进程收到的数据并将结果保存到磁盘上。如果 当前在另一个进程中正有数据在等待被取走，进程就可以继续获得数据并处理它。如果前一个写磁盘操作已经完成，并且有处理好的数据在等待写出，那么进程就可以继续写磁盘。这样就可能存在某一时刻，进程即在等待从输入进程获得数据，又在等待磁盘可用。 b. 有很多种方法解决这一问题。可以使用一种特殊的队列，或者将进程放入两个 独立的队列中。不论采用哪种方法，操作系统都必须处理好细节工作，使进程 相继地关注两个事件的发生。 3.9. 在很多早期计算机中，中断导致寄存器值被保存在与给定的中断信息相关联的固 定单元。在什么情况下这是一种实用的技术？请解释为什么它通常是不方便的。 答：这种技术是基于被中断的进程A在中断响应之后继续执行的假设的。但是，在通常情况下，中断可能会导致另一个进程B抢占了进程A。这是就必须将进程A的执行状态从与中断相关的位置复制到与A相关的进程描述中。然而机器却有可能仍将它们保存到前一位置。参考：[BRIN73]。 3.10. 3.4节曾经讲述过，由于在内核模式下执行的进程是不能被抢占的，因此UNIX不 适用于实时应用。请阐述原因。 答：由于存在进程不能被抢占的情况（如在内核模式下执行的进程），操作系统不可能对实时需求给予迅速的反应。 第四章 线程、对称多处理和微内核 复习题： 4.1 表3.5列出了在一个没有线程的操作系统中进程控制块的基本元素。对于多线程系 统，这些元素中那些可能属于线程控制块，那些可能属于进程控制块？ 答：这对于不同的系统来说通常是不同的，但一般来说，进程是资源的所有者，而每个线程都有它自己的执行状态。关于表3.5中的每一项的一些结论如下：进程标识：进程必须被标识，而进程中的每一个线程也必须有自己的ID。处理器状态信息：这些信息通常只与进程有关。进程控制信息：调度和状态信息主要处于线程级；数据结构在两级都可出现；进程间通信和线程间通信都可以得到支持；特权在两级都可以存在；存储管理通常在进程级；资源信息通常也在进程级。 4.2 请列出线程间的模式切换比进程间的模式切换开销更低的原因。 答：包含的状态信息更少。 4.3 在进程概念中体现出的两个独立且无关的特点是什么？ 答：资源所有权和调度/执行。 4.4 给出在单用户多处理系统中使用线程的四个例子。 答：前台和后台操作，异步处理，加速执行和模块化程序结构。 4.5 哪些资源通常被一个进程中的所有线程共享？ 答：例如地址空间，文件资源，执行特权等。 4.6 列出用户级线程优于内核级线程的三个优点。 答：1.由于所有线程管理数据结构都在一个进程的用户地址空间中，线程切换不需要内核模式的特权，因此，进程不需要为了线程管理而切换到内核模式，这节省了在两种模式间进行切换（从用户模式到内核模式；从内核模式返回用户模式）的开销。2.调用可以是应用程序专用的。一个应用程序可能倾向于简单的轮询调度算法，而另一个应用程序可能倾向于基于优先级的调度算法。调度算法可以去适应应用程序，而不会扰乱底层的操作系统调度器。3.用户级线程可以在任何操作系统中运行，不需要对底层内核进行修改以支持用户级线程。线程库是一组供所有应用程序共享的应用级软件包。 4.7 列出用户级线程相对于内核级线程的两个缺点。 答：1.在典型的操作系统中，许多系统调用都会引起阻塞。因此，当用户级线程执行一个系统调用时，不仅这个线程会被阻塞，进程中的所有线程都会被阻塞。2.在 纯粹的用户级进程策略中，一个多线程应用程序不能利用多处理技术。内核一次只把一个进程分配给一个处理器，因此一次进程中只能有一个线程可以执行。 4.8 定义jacketing。 答：Jacketing通过调用一个应用级的I/O例程来检查I/O设备的状态，从而将一个产生阻塞的系统调用转化为一个不产生阻塞的系统调用。 4.9 简单定义图4.8中列出的各种结构。 答：SIMD：一个机器指令控制许多处理部件步伐一致地同时执行。每个处理部件都有一个相关的数据存储空间，因此，每条指令由不同的处理器在不同的数据集合上执行。MIMD：一组处理器同时在不同的数据集上执行不同的指令序列。主/从：操作系统内核总是在某个特定的处理器上运行，其他处理器只用于执行用户程序，还可能执行一些操作系统实用程序。SMP：内核可以在任何处理器上执行，并且通常是每个处理器从可用的进程或线程池中进行各自的调度工作。集群：每个处理器都有一个专用存储器，而且每个处理部件都是一个独立的计算机。 4.10 列出SMP操作系统的主要设计问题。 答：同时的并发进程或线程，调度，同步，存储器管理，可靠性和容错。 4.11 给出在典型的单体结构操作系统中可以找到且可能是微内核操作系统外部子系统 中的服务和功能。 答：设备驱动程序，文件系统，虚存管理程序，窗口系统和安全服务。 4.12 列出并简单解释微内核设计相对于整体式设计的七个优点。 答：一致接口：进程不需要区分是内核级服务还是用户级服务，因为所有服务都是通过消息传递提供的。可扩展性：允许增加新的服务以及在同一个功能区域中提供多个服务。灵活性：不仅可以在操作系统中增加新功能，还可以删减现有的功能，以产生一个更小、更有效的实现。可移植性：所有或者至少大部分处理器专用代码都在微内核中。因此，当把系统移植到一个处理器上时只需要很少的变化，而且易于进行逻辑上的归类。可靠性：小的微内核可以被严格地测试，它使用少量的应用程序编程接口（API），这就为内核外部的操作系统服务产生高质量的代码提供了机会。分布式系统支持：微内核通信中消息的方向性决定了它对分布式系统的支持。面向对象操作系统环境：在微内核设计和操作系统模块化扩展的开发中都可以借助面向对象方法的原理。 4.13 解释微内核操作系统可能存在的性能缺点。 答：通过微内核构造和发送信息、接受应答并解码所花费的时间比一次系统调用的时间要多。 4.14 列出即使在最小的微内核操作系统中也可以找到的三个功能。 答：低级存储器管理，进程间通信（IPC）以及I/O和中断管理。 4.15 在微内核操作系统中，进程或线程间通信的基本形式是什么？ 答：消息。 习题： 4.1. 一个进程中的多个线程有以下两个优点：（1）在一个已有进程中创建一个新线程 比创建一个新进程所需的工作量少；（2）在同一个进程中的线程间的通信比较简单。请问同一个进程中的两个线程间的模式切换与不同进程中的两个线程间的模式切换相比，所需的工作量是否要少？ 答：是的，因为两个进程间的模式切换要储存更多的状态信息。 4.2. 在比较用户级线程和内核级线程时曾指出用户级线程的一个缺点，即当一个用户 4.3. 4.4. 4.5. 4.6. 级线程执行系统调用时，不仅这个线程被阻塞，而且进程中的所有线程都被阻塞。请问这是为什么？ 答：因为对于用户级线程来说，一个进程的线程结构对操作系统是不可见的，而操作系统的调度是以进程为单位的。 在OS/2中，其他操作系统中通用的进程概念被分成了三个独立类型的实体：会话、进程和线程。一个会话是一组与用户接口（键盘、显示器、鼠标）相关联的一个或多个进程。会话代表了一个交互式的用户应用程序，如字处理程序或电子表格，这个概念使得PC用户可以打开一个以上的应用程序，在屏幕上显示一个或更多个窗口。操作系统必须知道哪个窗口，即哪个会话是活跃的，从而把键盘和鼠标的输入传递个相应的会话。在任何时刻，只有一个会话在前台模式，其他的会话都在后台模式，键盘和鼠标的所有输入都发送给前台会话的一个进程。当一个会话在前台模式时，执行视频输出的进程直接把它发送到硬件视频缓冲区。当一个会话在后台时，如果该会话的任何一个进程的任何一个线程正在执行并产生屏幕输出，则这个输出被送到逻辑视频缓冲区；当这个会话返回前台时，屏幕被更新，为新的前台会话反映出逻辑视频缓冲区中的当前内容。 有一种方法可以把OS/2中与进程相关的概念的数目从3个减少到2个。删去会话，把用户接口（键盘、显示器、鼠标）和进程关联起来。这样，在某一时刻，只有一个进程处于前台模式。为了进一步地进行构造，进程可以被划分成线程。 a. 使用这种方法会丧失什么优点？ b. 如果继续使用这种修改方法，应该在哪里分配资源（存储器、文件等）：在进 程级还是线程级？ 答： a. 会话的使用非常适合个人计算机和工作站对交互式图形接口的需求。它为明 确图形输出和键盘/鼠标输入应该被关联到什么位置提供了一个统一的机制，减轻了操作系统的工作负担。 b. 应该和其他的进程/线程系统一样，在进程级分配地址空间和文件。 考虑这样一个环境，用户级线程和内核级线程呈一对一的映射关系，并且允许进程中的一个或多个线程产生会引发阻塞的系统调用，而其他线程可以继续运行。解释为什么这个模型可以使多线程程序比在单处理器机器上的相应的单线程程序运行速度更快？ 答：问题在于机器会花费相当多的时间等待I/O操作的完成。在一个多线程程序中，可能一个内核级线程会产生引发阻塞的系统调用，而其他内核级线程可以继续执行。而在单处理器机器上，进程则必须阻塞知道所有的系统调用都可以继续运行。参考：[LEWI96] 如果一个进程退出时，该进程的某些线程仍在运行，请问他们会继续运行吗？ 答：不会。当一个进程退出时，会带走它的所有东西——内核级线程，进程结构，存储空间——包括线程。参考：[LEWI96] OS/390主机操作系统围绕着地址空间和任务的概念构造。粗略说来，一个地址空间对应于一个应用程序，并且或多或少地对应于其他操作系统中的一个进程；在一个地址空间中，可以产生一组任务，并且它们可以并发执行，这大致对应于多线程的概念。管理任务结构有两个主要的数据结构。地址空间控制块（ASCB）含有OS/390所需要的关于一个地址空间的信息，而不论该地址空间是否在执行。ASCB中的信息包括分派优先级、分配给该地址空间的实存和虚存、该地址空间中就绪的任务数以及是否每个都被换出。一个任务控制块（TCB）标识一个正在执行