操操操
作作作
系系系
统统统
之之之 P V 金金金 典典典
本本本版版版作作作者者者::: 王昭礼
中中中文文文版版版本本本::: 版本 1.0,2008年4月
邮邮邮箱箱箱地地地址址址:::WZLF11@163.com
Preface
本文仅供
学习交流
使用,严禁商 业交易。题目
主 要 来 自 于 网 络 以 及 本 人 搜
集整理的各个高校考研试题(文中
业已注明),答案多数经我个人的
检查修改后收录该文,还有一些答
案是由我自己写的。目的在于让大
家更加系统掌握P,V操作题目的处
理技巧。在此声明:若有错误请
与我联系,我会尽快更正其中
的错误并升级版本。若有更
为新颖的题目也可以和我
联系继续添加到文章
当中。若有版权争
议,请与我本
人联系!♥
目目目
录录录
第二章 Typical Excises
第一章 The P,V Theorem ·······························································
4
一 Introduction of P,V Theorem ···················································
4
(一) Some Conceptions ·························································
4
··········································
4
(二) The Most Important Conceptions
二 Several Typical Examples ······················································
5
(一) 生产者一消费者问题(producer-consumer problem)···························
5
(二) 读者一写者问题(Readers-Writers Problem) ·································
6
························
8
(三) 哲学家进餐问题(The Dining Philosophers Problem)
·············································
(四) 理发师问题(Barber Problem)
9
············································· 10
(五) 吸烟者问题(Smoker Problem)
······························································· 13
一 生产者-消费者问题扩展 ······················································ 13
(一) 扩展一(北大1991) ························································· 13
(二) 扩展二(北大1995) ························································· 13
(三) 扩展三 ·································································· 15
二 读者-写者问题扩展···························································· 16
(一) 扩展一 ·································································· 16
··················································· 17
(二) 扩展二(苏州大学2004)
三 吸烟者问题扩展······························································· 18
(一) 扩展一(北大1999) ························································· 18
(二) 扩展二 ·································································· 18
第三章 九阴真经之研究生题辑························································· 20
·········································· 20
一 真经之银行排队问题(北京大学2000)
二 真经之生产消费问题扩展(浙江大学2001)······································· 21
······························································· 23
三 华南理工2000
·········································· 24
四 真经之生产者消费者扩展(同济1996)
五 真经之理发师问题扩展(电子科技大学2000) ···································· 24
·········································· 26
六 真经之读者写者问题扩展(南航2001)
七 真经之南航2002······························································· 27
·········································· 28
八 真经之管道通信问题(西北工大2000)
九 真经之吃水果问题(南京大学2000) ············································· 29
················································ 30
十 真经之安全岛问题(南开1997)
十一真经之珍珑棋局问题 ························································· 32
2
目
录
3
十二真经之公交车问题(哈尔滨工业大学2000)······································· 32
十三真经之少林寺问题 ···························································· 33
十四真经之过桥问题······························································· 34
十五真经之帐户问题(南京大学2000)················································ 39
十六真经之机房上机问题(北大1997)················································ 40
十七真经之3进程问题 ···························································· 41
·········································· 46
十八真经之生产消费问题扩展(北大1994)
··················································· 48
十九真经之流程问题(北大1991)
二十九阴真经之北航篇 ···························································· 50
(一) 智取考场 ······························································· 50
(二) 读写者问题(2005) ························································· 50
(三) 吸烟者问题 ······························································· 51
(四) 生产者-消费者扩展 ······················································ 52
(五) 阅览室问题 ······························································· 52
(六) P,V改错(2001) ···························································· 54
···························································· 54
(七) 面包店(2001)
(八) 公交车问题(2002) ························································· 54
(九) P,V改错(2002) ···························································· 54
第四章 福尔摩斯探案之网络搜捕 ······················································ 56
一 打印机问题 ·································································· 56
二 批处理系统问题······························································· 62
三 桔子汁生产线问题 ···························································· 63
四 保管员问题 ·································································· 64
五 招聘问题 ····································································· 65
六 博物馆-公园问题 ···························································· 67
七 生产流水线问题······························································· 68
八 知错能改 ····································································· 70
第五章 独孤九剑之一剑定乾坤························································· 73
一 试题类型总结 ······························································· 73
(一) 名词解释 ······························································· 73
(二) 填空题 ·································································· 73
(三) 判断题 ·································································· 73
(四) P,V题····································································· 74
(五) 计算题 ·································································· 74
(六) 证明题 ·································································· 74
二 常考概念归纳 ······························································· 74
第第第 一一一 章章章 The P,V Theorem
在操作系统理论中有一个非常重要的概念叫做P,V原语。在我们研究进程间的互斥
的时候经常会引入这个概念,将P,V操作方法与加锁的方法相比较,来解决进程间的互斥
问题。实际上,他的应用范围很广,他不但可以解决进程管理当中的互斥问题,而且我
们还可以利用此方法解决进程同步与进程通信的问题。
一 Introduction of P,V Theorem
阐述P,V原语的理论不得不提到的一个人便是赫赫有名的荷兰科学家E.W.Dijkstra。
如果你对这位科学家没有什么印象的话,提起解决图论中最短路径问题的Dijkstra算法
应当是我们再熟悉不过的了。P,V原语的概念以及P,V操作当中需要使用到的信号量的概
念都是由他在1965年提出的。
1 Some Conceptions
信号量是最早出现的用来解决进程同步与互斥问题的机制,包括一个称为信号量的
变量及对它进行的两个原语操作。信号量为一个整数,我们设这个信号量为:S。很显然,
我们规定在S大于等于零的时候代表可供并发进程使用的资源实体数,S小于零的时候,
表示正在等待使用临界区的进程的个数。根据这个原则,在给信号量附初值的时候,我
们显然就要设初值大于零。
p操作和v操作是不可中断的程序段,称为原语。P,V原语中P是荷兰语的Passeren,相
当于英文的pass,V是荷兰语的Verhoog,相当于英文中的incremnet。
P原语操作的动作是:
(1)S减1;
(2)若S减1后仍大于或等于零,则进程继续执行;
(3)若S减1后小于零,则该进程被阻塞后进入与该信号相对应的队列中,然后转进
程调度。
V原语操作的动作是:
(1)S加1;
(2)若相加结果大于零,则进程继续执行;
(3)若相加结果小于或等于零,则从该信号的等待队列中唤醒一等待进程,然后再
返回原进程继续执行或转进程调度。
需要提醒大家的是:P,V操作首先是一个原语操作,对于每一个进程来说,都只能进
行一次。而且必须成对使用。且在P,V愿语执行期间不允许有中断的发生。
对于具体的实现,方法非常多,可以用硬件实现,也可以用软件实现。这里不再赘
述。
2 The Most Important Conceptions
临界资源是指每次仅允许一个进程访问的资源。属于临界资源可以是硬件的打印
机、磁带机等,软件的有消息缓冲队列、变量、数组、缓冲区等。每个进程中访问临界资
4
CHAPTER1. THEP,VTHEOREM
5
源的那段程序称为临界区(临界资源是一次仅允许一个进程使用的共享资源)。每次只
准许一个进程进入临界区,该进程进入后不允许其他进程进入。
进程的同步和互斥互斥:是指某一资源同时只允许一个访问者对其进行访问,具有
唯一性和排它性。但互斥无法限制访问者对资源的访问顺序,即访问是无序的。
同步:是指在互斥的基础上(大多数情况),通过其它机制实现访问者对资源的有序
访问。在大多数情况下,同步已经实现了互斥,特别是所有写入资源的情况必定是互斥
的。少数情况是指可以允许多个访问者同时访问资源。
二 Several Typical Examples
本节我们讨论几个利用信号量来实现进程互斥和同步的经典例子。这里的问题关键
是如何选择信号量和如何安排P、V原语的使用顺序。
依据信号量与进程的关系,我们可把进程中使用的信号量分成私有信号量和公用信
号量。私有信号量是指只与制约进程和被制约进程有关的信号量;公用信号量是指与一
组并发进程有关的信号量。这里请不要和C++、JAVA 等编程语言的公有、私有相混淆。
这里指的是相对于共享资源来说的。
1 生产者一消费者问题(producer-consumer problem)
生产者一消费者问题(producer-consumer problem)是指若干进程通过有限的共享缓
冲区交换数据时的缓冲区资源使用问题。
问题描述:假设“生产者”进程不断向共享缓冲区写人数据(即生产数据),而“消费
者”进程不断从共享缓冲区读出数据(即消费数据);共享缓冲区共有n个;任何时刻只能
有一个进程可对共享缓冲区进行操作。所有生产者和消费者之间要协调,以完成对共享
缓冲区的操作。
Figure 1.1: producer-consumer problem
我们可把共享缓冲区中的n个缓冲块视为共享资源,生产者写人数据的缓冲块成为
消费者可用资源,而消费者读出数据后的缓冲块成为生产者的可用资源。为此,可设置三
个信号量:full、empty和mutex。其中:full表示有数据的缓冲块数目,初值是0;empty表示
空的缓冲块数初值是n;mutex用于访问缓冲区时的互斥,初值是1。实际上,full和empty间
存在如下关系:full+ empty = N
The P,V code Using Pascal
buffer: array [0..k-1]of integer;
in,out: 0..k-1;//in记录第一个空缓冲区,out记录第一个不空的缓冲区
empty,full,mutex: semaphore;
//empty控制缓冲区不满,full控制缓冲区不空,mutex保护临界区;
CHAPTER1. THEP,VTHEOREM
6
//初始化empty=k,full=0,mutex=1
cobegin
procedure producer:
while true then
begin
produce(&item);
p(empty);
p(mutex);
buffer[in]:=item;
in:=(in+1) mod k;
v(mutex);
v(full);
end
coend
procedure consumer:
while true then
begin
p(full);
p(mutex);
item:=buffer[out];
out:=(out+1) mod k;
v(mutex);
v(empty);
consume(&item);
end
注意:这里每个进程中各个P操作的次序是重要的。各进程必须先检查自己对应的
资源数在确信有可用资源后再申请对整个缓冲区的互斥操作;否则,先申请对整个缓冲
区的互斥操后申请自己对应的缓冲块资源,就可能死锁。出现死锁的条件是,申请到对
整个缓冲区的互斥操作后,才发现自己对应的缓冲块资源,这时已不可能放弃对整个缓
冲区的占用。如果采用AND信号量集,相应的进入区和退出区都很简单。如生产者的进
入区为Swait(empty,mutex),退出区为Ssignal(full,mutex)。
2 读者一写者问题(Readers-Writers Problem)
问题描述:有一个许多进程共享的数据区,这个数据区可以是一个文件或者主存
的一块空间;有一些只读取这个数据区的进程(Reader)和一些只往数据区写数据的进
程(Writer),此外还需要满足以下条件:
(1)任意多个读进程可以同时读这个文件;
(2)一次只有一个写进程可以往文件中写;
(3)如果一个写进程正在进行操作,禁止任何读进程度文件。
实验要求用信号量来实现读者写者问题的调度算法。实验提供了Semaphore类,该
类通过P()、V()两个方法实现了P、V原语的功能。实验的任务是修改Reader类的Read方
法以及Writer类的Write方法。
我们需要分两种情况实现该问题:
读优先: 要求指一个读者试图进行读操作时,如果这时正有其他读者在进行操作,他可
直接开始读操作,而不需要等待。
写优先: 一个读者试图进行读操作时,如果有其他写者在等待进行写操作或正在进行
写操作,他要等待该写者完成写操作后才开始读操作。
The P,V code Using Pascal
读者优先算法:
rwmutex 用于写者与其他读者/写者互斥的访问共享数据
rmutex
用于读者互斥的访问
CHAPTER1. THEP,VTHEOREM
7
readcount 读者计数器
var rwmutex, rmutex : semaphore := 1, 1 ;
int readcount = 0;
cobegin
procedure
reader_i
// i=1,2,….
begin
P(rmutex);
Readcount + +;
if (readcount = = 1) P(rwmutex);
V(rmutex);
读数据;
P(rmutex);
Readcount - -;
if (readcount = = 0) V(rwmutex);
V(rmutex);
end
procedure Writer_j
// j = 1,2,….
begin
P(rwmutex);
写更新;
V(rwmutex);
end
Coend
The P,V code Using Pascal
写者优先:
1)多个读者可以同时进行读
2)写者必须互斥(只允许一个写者写,也不能读者写者同时进行)
3)写者优先于读者(一旦有写者,则后续读者必须等待,唤醒时优先考虑写者)
如果读者数是固定的,我们可采用下面的算法:
rwmutex:用于写者与其他读者/写者互斥的访问共享数据
rmutex: 该信号量初始值设为10,表示最多允许10个读者进程同时进行读操作
var rwmutex, rmutex : semaphore := 1, 10 ;
cobegin
procedure reader_i
// i=1,2,….
begin
P(rwmutex); //读者、写者互斥
P(rmutex);
V(rwmutex); // 释放读写互斥信号量,允许其它读、写进程访问资源
读数据;
V(rmutex);
end
procedure Writer_j
begin
P(rwmutex);
// j = 1,2,….