操作系统精髓与原理--复习题答案整理

学习一章便更新一章，亲自敲一遍助于记忆。

第一章 计算机系统概述

1.1 列出并简要地定义计算机的四个组成部分。
主存储器：存储数据和程序；
算术逻辑单元：能处理二进制数据；
控制单元：解读存储器中的指令并且使他们得到执行；
输入/输出设备：由控制单元管理。

1.2 定义处理器寄存器的两种主要类别。
用户可见寄存器:优先使用这些寄存器，可以使机器语言或者汇编语言的程序员减少对主存储器的访问次数。对高级语言而言，由优化编译器负责决定把哪些变量应该分配给主存储器，一些高级语言，如C语言，允许程序言建议编译器把哪些变量保存在寄存器中。
控制和状态寄存器：用以控制处理器的操作，且主要被具有特权的操作系统例程使用，以控制程序的执行。

1.3 一般而言，一条机器指令能指定的四种不同操作是什么？
处理器-寄存器：数据可以从处理器传送到存储器，或者从存储器传送到处理器。
处理器-I/O：通过处理器和I/O模块间的数据传送，数据可以输出到外部设备，或者从外部设备输入数据。
数据处理：处理器可以执行很多关于数据的算术操作或者逻辑操作。
控制：某些指令可以改变执行顺序。

1.4 什么是中断？
中断：其他模块（I/O，存储器）中断处理器正常过程的机制。

1.5 多中断的处理方式是什么？
处理多中断有两种方法。
第一种方法是当正在处理一个中断时，禁止再发生中断。
第二种方法是定义中断优先级，允许高优先级的中断打断低优先级的中断处理器的运行。

1.6 内存层次的各个元素间的特征是什么？
存储器的三个重要特性是：价格，容量和访问时间。

1.7 什么是高速缓冲存储器？
高速缓冲存储器是：比内存小而快的存储器，用以协调主存跟处理器，作为最近储存地址的缓冲器。

1.8 列出并简要的定义I/O操作的三种技术。
可编程I/O：当处理器正在执行程序并遇到与I/O相关的指令时，它给响应的I/O模块发布命令（用以执行这个指令）；在进一步的动作之前，处理器处于繁忙的等待中，直到该操作已经完成。
中断驱动I/O：当处理器正在执行程序并遇到与I/O相关的指令时，它给相应的I/O模块发布命令，并继续执行后续指令，直到后者完成，它将被I/O模块中断。如果它对于进程等待I/O的完成来说是不必要的，可能是由于后续指令处于相同的进程中。否则，此进程在中断之前将被挂起，其他工作将被执行。 （**本人对这句话的理解：**如果等待I/O是不必要的，则不被挂起。如果必须要等待I/O才能执行执行后面的步骤，则等待I/O是必要的，此进程在中断之前就会被挂起，其他任务将会被执行）

1.9 空间局部性和临时局部性间的区别是什么？
空间局部性是指最近被访问的元素的周围在不久的将来可能会被访问。
临时局部性（即时间局部性）：是指最近被访问的元素在不久的将来可能会被再次访问。

1.10 开发空间局部性和时间局部性的策略是什么？
空间局部性的开发是利用更大的缓冲块并且在存储器控制逻辑中加入预处理机制。
时间局部性的开发是利用在高速缓冲存储器中保留最近使用的指令及数据，并且定义缓冲存储的优先级。

第二章 操作系统概述

2.1 操作系统设计的三个目标是什么？
方便：操作系统使计算机更易于使用。
有效：操作系统允许以更有效的方式使用计算机系统资源。
扩展的能力：在构造操作系统时，应该允许在不妨碍服务的前提下有效地开发、测试和引进新的系统功能。

2.2 什么是操作系统的内核？
内核是操作系统最常使用的部分，它存在于主存中并在特权模式下运行，响应进程调度何设备中断。

2.3 什么是多道程序设计？
多道程序设计是一种处理操作，它在两个或多个程序间交错处理每个进程。

2.4 什么是进程？
进程是一个正在执行的程序，它被操作系统控制何选择。

2.5 操作系统是怎么使用进程上下文的？
执行上下文又称为进程状态，是操作系统用来管理和控制所需的内部数据。这种内部信息和进程是分开的，因为操作系统信息不允许被进程直接访问。上下文包括操作系统管理进程以及处理器正确执行进程所需要的所有信息，包括各种处理器寄存器的内容，如程序计数器和数据寄存器。它还包括操作系统使用的信息，如进程优先级以及进程是否在等待特定I/O事件的完成。

2.6 列出并简要介绍操作系统的五种典型存储管理职责。
进程隔离：操作系统必须保护独立的进程，防止互相干涉数据和存储空间。
自动分配和管理：程序应该根据需要在存储层次间动态的分配，分配对程序员是透明的。因此，程序员无需关心与存储限制有关的问题，操作系统有效的实现分配问题，可以仅在需要时才给作业分配存储空间。

2.7 解释实地址和虚地址的区别。
实地址：指的是主存中的地址。
虚地址：指的是存在于虚拟内存中的地址，它有时候在磁盘中，有时候在主存中。

2.8 描述轮询调度技术。
轮询调度是一种调度算法，所有的进程存放在一个环形队列中并按固定循序依次激活。因为等待一些事件（例如：等待一个子进程或者一个I/O操作）的发生而不能被处理的进程将控制权交给调度器。

2.9 解释单体内核和微内核的区别。
单体内核是一个提供操作系统应该提供的功能的大内核，包括调度、文件系统、网络、设备驱动程序、存储管理等。内核的所有功能成分都能够访问它的内部数据结构和程序。典型情况下，这个大内核是作为一个进程实现的，所有元素都共享相同的地址空间。
微内核是一个小的有特权的操作系统内核，只提供包括进程调度、内存管理和进程间通信等基本功能，要依靠其他进程担当起和操作系统内核联系作用。

2.10 什么是多线程？
多线程技术是指把执行一个应用程序的进程划分为可以同时运行的多个线程。

第三章 进程描述和控制

3.1 什么是指令跟踪？
指令跟踪是指为该进程而执行的指令序列。

3.2 通常哪些事件会导致创建一个进程？
新的批处理作业；
交互登录；
操作系统因为提供一项服务而创建；
由现有的进程派生。

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 模式切换和进程切换有什么区别？
发生模式切换可以不改变当前正处于运行态的进程的状态。
发生进程切换时，一个正在执行的进程被终端，操作系统指定另一个进程为运行态。
进程切换需要保存更多的状态信息。

第四章 线程、对称多处理和微内核

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 在微内核操作系统中，进程或线程间通信的基本形式是什么？
消息。

第五章 并发性：互斥和同步

5.1 列出与并发相关的四种设计问题
进程间的交互，共享资源之间的竞争，多个进程的同步问题，对进程的处理器时间分配问题。

5.2 列出并发的三种上下文。
多个应用程序，结构化应用程序，操作系统结构

5.3 执行并发进程的最基本要求是什么？
加强互斥的能力

5.4 列出进程间的三种互相知道的程度，并简单的给出各自的定义。
进程间互相不知道对方：这是一些独立的进程，他们不会一起工作。
进程间间接知道对方：这些进程并不需要知道对方的进程ID号，但他们共享访问某些对象，如一个I/O缓冲区。
进程间直接知道对方：这些进程可以通过进程ID号互相通信，用于合作完成某些活动。

5.5 竞争进程和合作进程间有什么区别。
竞争进程需要同时访问相同的资源，像磁盘，文件或打印机。
合作进程要么共享访问一个共有的资源，像一个内存访问区，要么就与其他进程相互通信，在一些应用程序或活动上进行合作。

5.6 列出与竞争进程相关的三种控制问题，并简单的给出各自的定义。
互斥：竞争进程仅可以访问一个临界资源（一次仅有一个进程可以访问临界资源），并发机制必须满足一次只有一个进程可以访问临界资源这个规则。
死锁：如果竞争进程需要唯一的访问多于一个资源，并且当一个进程控制着一个进程，且在等待另一个进程，死锁可能发生。
饥饿：一组进程中的一个可能会无限期的拒绝进入到一个需求资源，因为其他成员组成垄断这个资源。

5.7 列出对互斥的要求。
1.必须强制实施互斥：在具有关于相同资源或共享对象的临界区的所有进程中，一次只允许一个进程进入临界区。
2.一个在临界区停止的进程必须不干涉其他进程。
3.绝不允许出现一个需要访问临界区的进程被无线延迟的情况，即不会饿死或饥饿。
4.当没有进程在临界区中时，任何需要进入临界区的进程必须能够立即进入。
5.对相关进程的速度和处理器的数目没有任何要求和限制。
6.一个进程驻留在临界区中的时间是有限的。

5.8 在信号量上可以执行什么操作。
1.一个信号量可以初始化成非负数。
2.wait操作使信号量减1.如果值为负数，那么执行wait就会受阻。
3.signal操作使信号量增加1，如果小鱼或等于0，则被wait操作阻塞的进程被接触阻塞。

5.9 二元信号量与一般信号量有什么区别。
二元信号量只能取0或1，而一般信号量可以取任何整数。

5.10 强信号量与弱信号量有什么区别。
强信号量要求在信号量上等待的进程按照先进先出的规则从队列中移出。弱信号量没有此规则。

5.11 什么是管程。
管程是由一个或多个过程，一个初始化序列和局部数据组成的软件模块。

5.12 对于消息，有阻塞和无阻塞有什么区别？
发送者和接收者任一方阻塞则消息传递需要等待，都无阻塞则不需要等待。

5.13 通常与读者-写者问题相关联的有哪些条件？
1.任意多的读进程可以同时读这个文件。
2.一次只有一个写进程可以往文件中写
3.如果一个写进程正在往文件中写时，则禁止任何读进程读文件。

第六章 并发性：死锁和饥饿

6.1 给出可重用资源和可消费资源的例子。
可重用资源：处理器，I/O通道，主存和辅存。设备以及诸如文件，数据库和信号量之类的数据结构。
可消费资源：中断，信号，消息和I/O缓冲区中的信息。

6.2 可能发生死锁所必须的三个条件是什么？
互斥，占有且等待，非抢占

6.3 产生死锁的第4个条件是什么？
循环等待

6.4 如何防止占有且等待的条件？
可以要求进程一次性的请求所有需要的资源，并且阻塞这个资源直到所有请求都同时满足。

6.5 给出防止 无抢占条件的两种方法
第一种：如果占有某些资源的一个进程进行进一步资源请求被拒绝，则该进程必须释放它最初占用的资源，如果有必要，可再次请求这些资源和另外的资源。
第二种：如果一个进程请求当前被另一个进程占有的一个资源，则操作系统可以抢占另一个进程，要求它释放资源。

6.6 如何防止循环等待条件？
可以通过定义资源类型的线性顺序来预防。如果一个进程已经分配到了R类型的资源，那么它接下来请求的资源只能是那些排在R类型之后的资源类型。

6.7 死锁避免，检测和预防之间的区别是什么？
死锁避免允许可能出现的必要条件发生，但是采取措施确保不会出现死锁的情况。

而死锁检测允许资源的自由分配，采取周期性的措施来发现并处理可能存在的死锁情况。

死锁预防是通过间接的限制三种死锁必要条件的至少一个或是直接的限制循环等待的发生来避免死锁的出现。

第七章 内存管理

7.1 内存管理需要满足哪些需求？
重定位、保护、共享、逻辑组织和物理组织。

7.2 为什么需要重定位进程的能力？
通常情况下，并不能事先知道在某个程序执行期间会有哪个程序驻留在内存中。此外还希望通过提供一个巨大的就绪进程池，能够把活动进程换入和换出内存，以便使处理器的利用率最大化。在这两种情况下，进程在主存中的确切位置是不可预知的。

7.3 为什么不可能在编译时实施内存保护？
由于程序在主存中的位置是不可预测的，因而在编译时不可能检查绝对地址来确保保护。并且，大多数程序设计语言允许在运行时进行地址的动态计算（例如：通过计算数组下标或数据结构中的指针）。因此，必须在运行时检查进程产生的所有存储器访问，以便确保他们只访问了分配给该进程的存储空间。

7.4 允许两个或多个进程访问进程的某一特定区域的原因是什么？
如果许多进程正在执行同一程序，则允许每个进程访问该程序的同一个副本要比让每个进程有自己单独的副本更有优势。同样，合作完成同一任务的进程可能需要共享访问同一个数据结构。

7.5 在固定分区方案中，使用大小不等的分区有什么好处？
通过使用大小不等的固定分区：
1.可以在提供很多分区的同时提供一到两个非常大的分区。大的分区允许将很大的进程全部载入主存中。
2.由于小的进程可以被放入小的分区中，从而减少了内部碎片。

7.6 内部碎片和外部碎片有什么区别？
内部碎片是指由于被装入的数据块小于分区大小而导致的分区内部所浪费的空间。
外部碎片是与动态分区相关的一种现象，它是指在所有分区外的存储空间会变成越来越多的碎片的。

7.7 逻辑地址、相对地址和物理地址间有什么区别？
逻辑地址是指与当前数据在内存中的物理分配地址无关的访问地址，在执行对内存的访问之前必须把它转化成物理地址。
相对地址是逻辑地址的一个特例，是相对于某些已知点（通常是程序的开始处）的存储单元。
物理地址或绝对地址是数据在主存中的实际位置。

7.8 页和页帧之间有什么区别？
在分页系统中，进程和磁盘上存储的数据被分成大小固定相等的小块，叫做页。而主存被分成了同样大小的小块，叫做帧。一页恰好可以被装入一帧中。

7.9 页和段之间有什么区别？
分段是细分用户程序的另一种可选方案。采用分段技术，程序和相关的数据被划分成一组段，尽管有一个最大段长度，但并不需要所有的程序的所有段的长度都相等。

第八章 虚拟内存