操作系统考研试题

1.操作系统课程特点 (2)

2.题型分析： (3)

3.试题分析 (5)

3.1基本概念 (5)

3.2逻辑结构 (8)

3.3用户界面与OS实例 (10)

3.4进程的描述与控制 (11)

3.5同步、互斥与通信 (14)

3.6算法设计题 (20)

3.7进程通信 (30)

3.8进程调度 (33)

3.9死锁 (33)

3.10作业调度 (43)

3.11存储管理 (46)

3.12设备管理 (54)

3.13文件系统 (58)

3.14UNIX系统分析 (60)

1.操作系统课程特点

和其他基础课程比较起来，操作系统原理这门课程有着十分显著的特点。

（1）内容十分广泛和庞杂

操作系统是随着计算机技术的发展和计算机应用的日益普及而逐渐发展和完善起来的。它经历了手工操作阶段、批处理（早期）和执行系统阶段、批处理操作系统阶段、分时操作系统阶段以及在此基础上形成的个人计算机操作系统、网络操作系统、分布式操作系统的共同发展阶段。对操作系统理论的研究也是随着操作系统实践的发展而不断深入的。早期计算机系统中各部分的界限并不十分严格，因而操作系统涉及的内容十分广泛，包含了硬件、编译、数据结构等内容，直到今天，我们仍然可以从操作系统原理各类教材的内容组织中看到这种包容的痕迹。如中断机构是典型的计算机组成原理研究的对象，也是多数操作系统原理课程所必须讲述的内容；存储管理中空闲块管理既是操作系统研究的课题，也是数据结构课程的重要内容之一，等等。另一方面，操作系统管理着计算机系统的全部软、硬件资源，而这些资源本身种类繁多，特性千差万别，操作系统要管理这些资源，就不得不适应这些资源的差异，从而增加自己的复杂性。此外，操作系统的实例类型极为丰富，作为一门实践性很强的课程来说，又必须注意理论与实际的结合，应该了解各种操作系统的实例，跟踪当代的研究成果，以便增加感性认识，更深刻地理解操作系统。这也给操作系统原理课程的组织和学习增加了难度。

（2）知识点难度跨度大

操作系统课程中各知识点的难度跨度相对而言是比较大的。既有操作系统界面这种常见的内容，也有进程管理这类比较抽象、难度较大的内容。在操作系统实例方面，一般读者可能对DOS、Windows比较熟悉，而对UNIX/Linux、OS/2接触较少，感到不易把握。难度跨度大，就给读者在学习中迅速转换角色造成了困难，造成有的章节一读就懂，一学就会，有的章节虽已苦读多遍，却仍不得要领。

（3）既呆板又灵活

在操作系统课程中，有许多知识点是必须记忆的，表现出来就是概念多。另一方面，在整个操作系统课程中很难找到一根主线，或者说找到一个一成不变的可以套用到任何环境中去的原理、方法、策略。实际上，在不同的环境下，评价操作系统设计策略的优劣与否的标准是不同的，举例说，实时系统要求很高的可靠性和响应及时性，但从批处理系统的要求来看，实时系统简直是在浪费资源。银行家算法和LRU算法都是理想的，但几乎都不能运用于实际中去。这就是操作系统的灵活性，它要求读者在学习每一部分

内容时，不仅要记住给出的结论，还要认真思考所讨论问题的由来、环境、意义、理论依据和应用背景，并结合实例操作系统加深理解，做到举一反三。

那么，应该如何学好操作系统原理这门课程呢？我们建议读者要根据这门课程的特点，有针对性地加强训练。要结合教材讲授的操作系统实例和实验课，深刻领会设计思想。UNIX在进程管理、存储管理和文件系统方面都体现了很好的设计思想，值得认真研究。

2.题型分析：

从历年各校研究生入学考试试题来看，主要题型有以下几种：

（1）名词解释

主要考查考生对操作系统的基本概念的记忆程度，要求表述准确、完整。这类题型难度系数较低，如果考生用心准备，是可以争取到全分的。操作系统的概念较多，但在名词解释题型中通常只考查最基本的概念，如操作系统、微内核、并行、顺序进程与并发进程、中断响应、中断源、系统调用、时钟、原语、特权指令、作业控制语言（JCL）（引论）；进程、线程、进程控制块（PCB）、临界区、抢占式进程调度、剥夺式抢占、死锁、作业说明书（进程管理）；可再入程序、地址映射、地址重定位、虚存、动态重定位、联想存储器、程序局部性、工作集（存储管理）；虚设备、通道、SPOOLING、缓冲（设备管理）；索引文件、磁盘调度算法、文件系统（文件系统），等等。一般名词解释的分值都在每题2分以上，所以值得重视。需要提醒考生的是，要防止考查偏题，即平时没有接触过的概念。这就要求考生对报考学校的历史性考题作一些分析研究。

（2）填空题

也是考查基本概念的主要题型，考查范围比名词解释广，但不要求考生对每个概念的表述作完整记忆，考生只需对概念的主要内容领会即可，因而单题难度略小一些。

（3）判断改错题

在考查考生对基本概念记忆的基础上，进一步考查考生对相似概念的辨异能力。这类题型比名词解释和填空题略难，要求考生准确理解概念背后的含义。

（4）选择题

考查范围主要是基本概念，也包括简单计算、基础知识、基本原理的考查，但是增添了迷惑性，增大了难度。解题方法一是熟记基本概念，采用直选法。二是采用排除法，即将不正确或看起来不熟悉的选项排除出去，剩下的备选项即为答案。除了常见的单项

选择与多项选择外，有的学校会在操作系统实例的主要特点这个知识点上考选择题，要求将给定的操作系统类型与其最主要的特点联系起来。对熟悉操作系统产品的考生来说，应该难度不大。

（5）简答题

简答题主要考查考生对基本原理的理解，难度跨度比较大。既可以考基本概念题，如要求比较分时系统与实时系统的区别，也可以考难度较大的设计题。如东南大学2000年试题：

假如你是某操作系统的设计者，承担慢速字符设备管理任务。该操作系统要求用户使用慢速字符设备和使用普通文件一样方便快捷。请问你在设计中至少要解决哪些问题? 这类题综合性强，无参照，难度大，甚至很难给出标准答案。考生要在平时加强基本功的训练，可以有意识地阅读一些技术文章，扩大知识面。

（6）作图题

作图题是操作系统课程中比较独特的题型。主要考查范围是进程状态变迁、存储分配、给定PV操作算法要求画出前趋图以及画出文件系统的目录结构等。解这类题要注意作图美观、标记清楚，不遗漏标识符。

（7）算法题

主要有算法设计和算法分析题，偶尔会出现算法填空题。主要考查范围是进程的同步与互斥、死锁等内容。这部分内容我们在进程管理一章作了较详细的讲述。

（8）计算题

主要考查范围是资源利用率计算（进程管理）、周转时间计算（作业调度）、缺页次数（率）计算（存储管理）、访盘次数计算（文件系统）等。本书围绕这些内容也选编了大量例题和习题，供读者参考。

（9）证明题

操作系统课程实践性强，理论证明不是其重点。但少数学校也有考查证明题的传统。因此，我们在本书中选编了少量证明题，供读者参考。对报考这些学校的考生来说，应该熟记这些考题，因为基本原理的证明是很难做到花样翻新的，换言之，如果要考，则原题再现的可能性比较大。

3.试题分析

3.1基本概念

●什么是操作系统？它有什么基本特征？（哈工大2000年试题）

【解答】

操作系统：操作系统是计算机系统中的一个系统软件。它是一些程序模块的集合，这些程序模块管理和控制计算机中的硬件和软件资源，合理地组织计算机工作流程，以便有效地利用这些资源为用户提供一个功能强、使用方便的工作环境，从而在用户及计算机之间起到接口的作用。

操作系统的基本特征是并行性、共享性、不确定性。

●判断：操作系统程序都是在核心态下才能运行。（大连理工大学2000年试题）

【分析】

操作系统是一组控制和管理计算机硬件和软件资源、合理地对各类作业进行调度以及方便用户的程序的集合。操作系统提供的服务，一部分必须在核心态下才能运行，如进程调度、目录服务等。还有一些功能，如DOS下的外部命令，则可以由用户调用，运行在用户态下。

【解答】

错误。

●批处理系统的主要缺点是：（清华大学1996年试题）

A．CPU利用率低。B．不能并发执行。

C．缺少交互性。D．以上都不是。

【解答】

选择C。

●填空：多道运行的特征之一是宏观上并行，它的含义是（）。（华中科技大学2000年试题）

【分析】

多道运行的特征是多道性、宏观上并行、微观上串行。多道性是指计算机主存中同时存放几道相互独立的程序。宏观上并行是指同时进入系统的几道程序都处于运行过程中，即它们先后开始了各自的运行，但都未运行完毕。微观上串行是指主存中的多道程序轮流或分时地占有处理机交替执行。

【解答】

并发程序都已经开始执行，但都未结束。

●判断：在分时系统中，响应时间≈时间片×用户数，因此为改善响应时间，常用的原则是使时间片越小越好。（东南大学1996年试题）

【分析】

时间片越小，进程切换所用的开销就相对越大。因此时间片不是越小越好，一般使用户键入的常用命令能在一个时间片内处理完毕即可。

【解答】

错误。

●实时系统应具备的两个基本特性是（）和（）。（北京理工大学2000年试题）

【分析】

实时系统是顺应实时控制和实时信息处理的需要而产生的。所谓"实时"是表示"及时"、"即时"，而实时系统是指系统能及时（或即时）响应外部事件的请求，在规定的时间内完成对该事件的处理，并控制所有实时任务协调一致地运行。实时系统的应用领域决定了它的特性是：①具有实时时钟管理功能；②能进行过载保护；③高可靠性。

【解答】

及时性高可靠性

●实时信息处理是实时应用的一种，例如（）和（）都是实时信息处理的例子。（华中科技大学2000年试题）

【解答】

飞机订票系统、图书资料查询系统

●现代操作系统的基本功能是管理计算机系统的硬件、软件资源，这些管理工作分为A管理、B管理、C管理、D管理、E和通信事务管理。（东南大学2000年试题）【解答】

A．处理机B．存储器管理C．设备D．文件E．作业

【扩展】

选择：操作系统的（）管理部分负责对进程调度。

A．主存储器B．控制器C．运算器D．处理机这里要防止把处理机与系统结构中所说的处理机的组成混淆起来。选择D。

●为了支持多道程序运行，存储管理必须要实现的主要功能有（）、（）和主存扩充。（华中科技大学1997年试题）

【分析】

在多道程序运行环境下，程序员无法预知存储管理模块将把他们的程序分配到主存的什么地方，而且程序员也希望摆脱存储地址、存储空间大小等细节问题。因此存储管理模块应该提供地址重定位能力。另外，由于主存中可同时存放多道程序，为了防止程序间相互干扰，存储管理模块必须提供存储保护手段。

【解答】

存储无关性、存储保护

●选择：衡量整个计算机性能指标的参数有：（北京理工大学1999年试题）

A．用户接口。B．资源利用率。C．作业步的多少。D．吞吐量。E．周转时间。

【分析】

操作系统的性能与计算机系统工作的优劣有着密切的联系。评价操作系统的性能指标一般有：

系统的可靠性；系统的吞吐率（量），是指系统在单位时间内所处理的信息量，以每小时或每天所处理的各类作业的数量来度量；系统响应时间，是指用户从提交作业到得到计算结果这段时间，又称周转时间；系统资源利用率，指系统中各个部件、各种设备的使用程度。它用在给定时间内，某一设备实际使用时间所占的比例来度量；可移植性。

【解答】选择B、D、E。

【扩展】

判断：资源的利用率高和系统的工作效率高是一回事（）。（东南大学试题）

解答：系统的工作效率，也就是吞吐率。从上述分析可知，此题应判错误。

3.2逻辑结构

●判断：数据库管理程序需要调用操作系统程序，操作系统程序的实现也需要数据库系统的支持。（）（大连理工大学2000年试题）

【分析】

从操作系统虚拟机的结构来看，最核心层是裸机，紧挨着的一层是操作系统，这一层把应用程序和裸机隔离开来，使得应用程序看起来似乎运行在一个虚拟机器上。题中说法没有正确反映应用程序与操作系统的关系。

【解答】

错误。

●简答：操作系统有哪几种结构设计方法？简述其中之一的特点。（武汉大学2000年试题）

【解答】

操作系统有无结构、层次结构和客户/服务器模型等3种结构设计方法。

现今大多数操作系统采用的是层次结构。层次结构是结构设计方法的一种，使用这种方法进行设计时，可以形成正确、结构清晰的软件系统，从而达到可靠、可适应、可移植的设计目标。在层次式结构下，操作系统的各模块应处于什么位置、各模块之间的关系十分清晰。

●一个分层结构操作系统由裸机，用户，CPU调度和P、V操作，文件管理，作业管理，内存管理，设备管理，命令管理等部分组成。试按层次结构的原则从内到外将各部分重新排列。（中国科学院计算技术研究所1997年试题）

【解答】

按层次结构的原则从内到外依次为：裸机，CPU调度和P、V操作，内存管理，作业管理，设备管理，文件管理，命令管理，用户。

●在计算机系统中，为什么要区分管态与目态？操作系统为什么能为用户程序提供各种服务？（西安电子科技大学1999年试题）

【解答】

操作系统是计算机系统中最重要的系统软件，为了能正确地进行管理和控制，其本身是不能被破坏的。因此，系统采用了区分处理机状态的办法，为操作系统程序建立一

个保护环境。这样，用户程序只能在管态下运行，只能执行非特权指令，只能访问自己的存储区，从而保护了操作系统程序的正常运行。

操作系统虚拟机为用户提供了一个协助解决问题的装置。操作系统为用户提供两种类型的用户界面，其一是命令接口，包括键盘命令、作业控制语言、图形化用户界面等；其二是系统调用，又称程序接口。通过这两种界面，操作系统把它的全部操作命令的集合呈现给用户（或用户程序），从而实现了为用户服务。

●判断：用户程序通常可以直接访问系统缓冲区中的数据。（）（大连理工大学2000年试题）

【分析】

由前面叙述可知，用户程序工作在目态下，只能直接访问自己的存储区，访问系统缓冲区必须通过操作系统的服务。

【解答】

错误。

●选择：你认为下列哪几种指令应该在核心状态下执行。（（上海交通大学1999年试题,10分）

1．屏蔽所有中断；2．读时钟周期；3．设置时钟日期；4．改变存储映像图；5．存取某地址单元的内容；6．停机。

【解答】

1、2、4、6必须在核心状态下执行。

●简答：试说明中断在进程控制中的推动作用。（南开大学2000年试题）（8分）

【解答】

中断是实现操作系统功能的基础，是构成多道程序运行环境的根本措施，是进程控制中的推动力量。例如，外设完成中断或请求使用外设的访管中断的出现，将导致I/O 管理进程投入运行；申请或释放主存而发出的访管中断，将导致在主存中创建一个进程而且开始运行；时钟中断或I/O完成中断，可导致处理机调度工作的执行；操作员从键盘发出终止执行的命令，可以终止当前进程的运行。所以，中断是进程运行的引导，是它们被激活的驱动源。

●选择：中断发生时，由硬件保护并更新程序指令计数器PC，而不是由软件完成，主要是为了（）（华中科技大学1998年试题）

A．提高处理速度。B．使中断程序易于编制。C．节省内存。D．能进入中断处理程序并能正确返回。

【分析】

一次中断过程分为中断进入（由硬件负责）和中断处理过程（由软件负责）。在中断进入过程中，首先保存PC、PS值，然后从中断向量地址中得到PC、PS值放入寄存器。软件的中断处理过程是，先保存现场信息和参数传递，再执行中断处理程序，最后恢复和退出中断。简要地说，一次中断，两次保护现场。分步保护现场的原因是，进入软件的中断处理后，PC、PS寄存器里被填上了新内容，因此，PC、PS的保护只能由硬件完成。

【解答】

答案是D。

【扩展】

中断响应的实质是什么？

从上述分析可知，中断响应的实质是交换指令执行地址和处理器状态信息。

●填空：中断优先级是由硬件规定的，若要调整中断的响应次序，可通过_______。(北京大学1997年试题)

【分析】

中断优先级是由硬件规定的，其次序是不能由软件更改的。要调整中断的响应次序，只能通过中断屏蔽。

【解答】

中断屏蔽

3.3用户界面与OS实例

●在答卷上用连线把下面左右两列词连起来形成最恰当的5对。（东南大学2000年试题）

左列：右列：

（1）Linux （1）面向对象

（2）UNIX（2）网络操作系统

（3）Windows NT（3）微内核

（4）Mach 3.0（4）自由软件

（5）OS/2（5）C语言

【分析】

UNIX的核心代码大部分是用C语言写的。Windows NT是当然的网络操作系统。Linux是UNIX的一种，具体讲Linux是一套兼容于System V以及BSD UNIX的操作系统，也是遵循POSIX规范的一个操作系统。Linux于1991年4月由芬兰人Linus Benedict Torvalds在赫尔辛基大学独立开发，并由此开创了自由软件的先河。当UNIX日渐庞大复杂而难以掌握时，人们提出了Microkernel的概念，就是把Kernel去芜存菁，仅留下重要的部分，以此减低Kernel的复杂度。Mach就是在Carnegie-Mellon（卡耐基－梅隆CMU）大学诞生的一个Microkernel（微核心）操作系统（1980年）。Mach最普遍的版本是Mach 2.5。它是许多商业UNIX如DEC OSF/1、NextStep的基础。Mach 3.0才是真正纯粹的完全Microkernel化版本。

OS/2采用32位抢先多任务体系结构，采用客户机－服务器策略，在对等层环境既是一个客户机又是一个服务器。OS/2可以同时运行Windows 3.1、DOS和OS/2的应用软件。

OS/2的图形用户界面称为WorkPlace Shell。它使用面向对象的标记和拖放界面（在这一点上，Windows NT也是）。用户可以对工具和文件夹进行个人化以简化对重要信息的访问。

【解答】

连线见下图：

3.4进程的描述与控制

●什么是进程控制块？试从进程管理、进程通信、中断处理、文件管理、存储管理、

设备管理的角度设计进程控制块应包含的项目。（北京大学1999年试题）【分析】

北京大学1990年、1992年、1995年、1997年都以名词解释的形式考查了PCB这一知识点。1999年再次考查这一知识点，并提高了考试要求，即要求理解PCB结构中各分量的含义。

熟记我们在前面列出的进程控制原语的形式描述有助于加深对这个题的理解。

【解答】

进程控制块（PCB）是为描述进程的运动变化过程而采用的一个与进程相联系的数据结构，用于记录系统管理进程所需的信息，描述进程的瞬间特征。它是进程的唯一实体，操作系统通过PCB而感知进程的存在。

为了完成进程管理、进程通信、中断处理、文件管理、存储管理、设备管理等各项任务，进程PCB结构必须如下项目：

①进程的标识符name：每个进程都必须有唯一的标识符，可以用字符或编号表示。在创建一个进程时，由创建者给出进程的标识，唯一地标识进程，与其他进程区别。

②进程当前运行状态status：说明本进程目前处于何种状态（运行、就绪、等待），作为进程调度时分配处理机的主要依据。

③当前队列指针next：登记了处于同一状态的下一个PCB的地址，以此将处于同一状态的所有进程链接起来。比如在一个就绪队列中，当前活动进程阻塞，则需要根据当前队列指针调度下一个就绪进程进入运行。

④总链指针all_q_next：将所有的进程链接起来，进程PCB中的该项内容总是指向总链中的下一个PCB地址。这在有的场合是很方便的，比如当创建一个进程时，需要判断创建者给出的标识符名是否唯一，此时沿总链往下查找就比较方便。

⑤程序开始地址start_addr：进程开始的地址。当一个进程被调度进入运行时，需要从此处获得进程开始地址。

⑥CPU现场保护区cpustatus：通常保护的信息有工作寄存器、指令计数器以及程序状态字等，供进程调度时使用。当一个进程由运行转入其他状态时，需要把这些信息保存起来。当一个进程投入运行时，又需要把这些内容写入相应的寄存器。同时进行中断处理也需要保存CPU现场。

⑦通信信息communication information：是指每个进程在运行过程中与别的进程进行通信时所记录的有关信息。

⑧家庭联系process family：有的系统允许一个进程创建自己的子进程，这样，会组成一个进程家庭。在pcb中必须指明本进程与家庭的联系，如它的子进程和父进程的标识符。

⑨占有资源清单own_resource，用于设备管理。

⑩进程优先级priority，在中断处理、进程调度过程中都需要比较进程之间的优先级。

上述项目是一般PCB结构应包含最基本内容。不同的操作系统所使用的PCB结构是不同的。在UNIX系统中，为完成存储管理、文件管理，还在PCB结构中设有i结点指针、主存地址、当前中断保护区内r0等内容。

●判断：进程是基于多道程序技术而提出来的。其最基本的特性是并发性和动态性；进程的执行也即在各种基本状态之间多次转换的过程。但只有处于就绪、阻塞、执行这3种状态的进程位于内存。（中科院软件所2000年试题）

【解答】

错误。①去掉并发性；②进程在新、死状态上只经过一次；③进程都在内存中。

●一个单CPU的操作系统共有n个进程，不考虑进程状态过渡的情况：（北京大学1995年试题）

①给出运行进程的个数。

②给出就绪进程的个数。

③给出等待进程的个数。

【分析】

单处理机在任一时刻只能处理一道程序，在不考虑状态过渡的情况下，任一进程只有3种状态，即运行、就绪和等待。但此时该系统其他条件未知（如资源分配情况），故无法确定就绪进程和等待进程的数目。

【解答】

①1。

②不一定。

③不一定。

●填空：为了实现进程由等待状态转换成就绪状态的状态变化，操作系统应提供_______原语。（华中科技大学2001年试题）

【解答】

唤醒原语。

●什么是线程？试说明线程与进程的关系。（南京大学2000年试题）

【解答】

在引入线程的OS中，线程是进程中的一个实体，是被系统调度和分派的基本单位。

进程与线程既区别、又联系。进程是任务调度的单位，也是系统资源的分配单位；而线程是进程中的一条执行路径，当系统支持多线程处理时，线程是任务调度的单位，但不是系统资源的分配单位。每个进程至少有一个执行线程。

3.5同步、互斥与通信

●何谓临界区？下面给出的实现两个进程互斥的算法是安全的吗？为什么？（中国科学技术大学1998年试题）

#define TRUE;#define FALSE;

int flag[2];

flag[0] = flag[1] = FALSE;

enter-crtsec(i)int i;{

WHILE(flag[1-i]);

flag[i] = TRUE;}

leave-crtsec(i)int i;{

flag[i] = F ALSE;}

process i: /* i = 0 OR i = 1 */

...

enter-crtsec（i）; /*进入临界区*/

IN CRTICAL SECTION

Leave-crtsec（i）; /*离开临界区*/

...

【解答】

一次仅允许一个进程使用的资源称为临界资源，在进程中对于临界资源访问的程序段称为临界区。

从概念上讲，系统中各进程在逻辑上是独立的，它们可以按各自独立的速度向前推进。但由于它们共享某些临界资源，而产生了临界区问题。对于具有临界区问题的共行进程，它们之间必须互斥，以保证不会同时进入临界区。

这种算法是不安全的。因为，在进入临界区的操作enter-crtsec( )不是一个原子操作，如果两个进程同时执行完其循环（此前两个flag均为False），则这两个进程可以同时进

入临界区。

●举例说明P、V操作为什么要求设计成原语（即对同一信号量上的操作必须互斥）。（北京大学1993年试题）

【分析】

这是一个概念题，要求考生对P、V操作有较深刻的理解。

【解答】

P操作的流程如下所示。

PROCEDURE P(S)BEGIN

lock out interrupts;

S := S-1;

IF S < 0 THEN

BEGIN

status(q) := blockeda;

insert(Q，q);

unlock interrupts;

scheduler;

END;

ELSE unlock interruptsEND;

设信号量S的初值为1，当一个P操作执行完"S := S-1"后，S的值为0，该P操作不应被阻塞。但若P操作不是一个原语，也就是说在一个P操作执行的过程中可以有另一个P操作同时在执行，假如第2个P操作在第1个P操作执行判断语句"IF S<0"前也执行了"S:= S-1"操作，则这时的S值为-1。这时第一个P操作将会被阻塞。这样的P操作不符合P操作的语义。

同样地，对于V操作，其流程为：

PROCEDURE V(S)BEGIN

lock out interrupts;

S := S + 1;

IF S <= 0 THEN

BEGIN

remove(Q，R);

status(R):= readya;

insert(RL，R);

length(RL):= length(RL)+ 1;

END;

unlock interrupts;END;

设信号量S的初值为-1，当一个V操作执行完"S := S + 1"后，S的值为0，该V操作应该唤醒一个被P操作阻塞的进程。但若V操作不是一个原语，也就是说在一个V 操作执行的过程中可以有另一个V操作同时在执行。假如第2个V操作在第1个V操作执行判断语句"IF S≤0"前也执行了"S := S + 1"操作，则这时的S值为1。这时第1个V 操作将不再去唤醒被阻塞的进程。这样的V操作不符合V操作的语义。

同样地，当P操作的执行过程中插入了V操作，也会出现不符合原语语义的情况。例如，在P操作执行完"S := S-1"后，S的值为-1，经判断，该进程应该被阻塞。但若在进行判断后阻塞进程前执行完另外一个V操作，则该V操作并没有可以唤醒的被阻塞的进程。而当V操作执行完后继续执行P操作时，该P操作仍将阻塞该进程，这一进程将不被唤醒。

对于V操作的执行过程中插入了P操作，也会出现不符合原语语义的情况。例如，在V操作执行完"S := S + 1"后，S的值为1，该进程无需唤醒其他进程。但若在进行判断前执行了一个P操作，则在后续操作中需要唤醒一个阻塞进程。

【扩展】

类似这一类有关概念的讨论，首先需要明确概念的定义，然后再进行讨论。在讨论的过程中，对可能发生的情况应分类讨论。论述要清楚。

●一个系统有多个进程（＞5）共同存在并同时工作，但只有5台磁带机。每个进程最多可以申请一台磁带机工作。编制了下列程序来管理磁带机：（北京大学1993年试题）

申请：

PROCEDURE get_tape(V AR x: integer);

V AR i: integer;

tape_units: shared integer;

wait_tape: shared boolean;

tape: shared ARRA Y[0..4] OF integer;

BEGIN

wait_tape := true;

P(S);

WHILE (wait_tape = true) DO

BEGIN

IF tape_units > 0 THEN

BEGIN

tape_units := tape_units-1;

i := 0;

WHILE (i<=4) DO

BEGIN

IF tape[i] = 0 THEN

BEGIN

x := i;

tape[i] := 1;

exit

END;

i := i + 1;

END;

wait_tape := false;

END;

END;

V(S);

END;释放：

PROCEDURE release_tape(x: integer); V AR tape_units: shared integer; tape: shared ARRA Y[0..4] OF integer; BEGIN

P(S);

tape_units := tape_units + 1;

tape[x] := 0;

V(S);

END;

说明：

shared表示该变量为多个进程共享。S为信号量，初值为1。

其他变量初值为：

tape[i] = 0 （0≤i≤4）

tape_units = 5

wait_tape = false

问：

①上述程序的问题在什么地方？

②改正它。

【分析】本题考查了临界资源的属性。临界资源可以为多个进程共享、访问，必须是全部变量。

【解答】

程序的问题有：

（1）所有的共享变量应是全局变量，而非局部变量。

（2）wait_tape也应互斥共享，但在题中并未实现这一点。

改后的程序如下：

BEGIN

V ar tape_units:shared integer;

tape: shared ARRA Y[0..4] OF integer;

wait_tape:shared integer;

S: integer;

PROCEDURE get_tape(var x:integer);

BEGIN

var i: integer;

P(S);

wait_tape:= true;

WHILE(wait_tape = true) DO

BEGIN

IF tape_units > 0 THEN

BEGIN

tape_units := tape_units - 1;

i = 0;

WHILE(i <= 4) DO

BEGIN

x := i;

tape[i] := 1;

exit

END;

i := i + 1;

END;

wait_tape := false;

END;

END;

V(S);

END;

PROCEDURE release_tape(x:integer); BEGIN

P(S);

tape_units := tape_units + 1;

tape[x] := 0;

V(S);

End;

3.6算法设计题

●进程A和B利用公共缓冲池交换数据。设缓冲池有N个缓冲块，进程A每次生成一个数据块存入一空缓冲区，进程B每次从缓冲池中取出一个满的缓冲块。试用信号量及P、V操作实现进程A和B的同步。（中山大学1996年试题）

【分析】

本题是标准的生产者－消费者问题。与上题相比，使用了多缓冲区，需要增加一个信号量。另外，环形缓冲池和环形队列管理也是考点之一。

【解答】

V ar mutex，empty，full:semaphore:1，n，0;

buffer : ARRA Y[0..n-1] of item;

in，out :integer:= 0，0;

BEGIN

COBEGIN:

A: BEGIN

L1:

…

produce a date block;

…

P(empty);

P(mutex);

Buffer[in] := nextp;

in : = (in + 1) mod n

V(mutex);