(1) 什么是进程同步?什么是进程互斥?
解:
同步是进程间的直接制约关系,这种制约主要源于进程间的合作。进程同步的主要任务就是使并发执行的各进程之间能有效地共享资源和相互合作,从而在执行时间、次序上相互制约,按照一定的协议协调执行,使程序的执行具有可再现性。
进程互斥是进程间的间接制约关系,当多个进程需要使用相同的资源,而此类资源在任一时刻却只能供一个进程使用,获得资源的进程可以继续执行,没有获得资源的进程必须等待,进程的运行具有时间次序的特征,谁先从系统获得共享资源,谁就先运行,这种对共享资源的排它性使用所造成的进程间的间接制约关系称为进程互斥。互斥是一种特殊的同步方式。
(2) 进程执行时为什么要设置进入区和退出区?
解:
为了实现多个进程对临界资源的互斥访问,必须在临界区前面增加一段用于检查欲访问的临界资源是否正被访问的代码,如果未被访问,该进程便可进入临界区对资源进行访问,并设置正被访问标志,如果正被访问,则本进程不能进入临界区,实现这一功能的代码成为“进入区”代码;在退出临界区后,必须执行“退出区”代码,用于恢复未被访问标志。
(3) 同步机构需要遵循的基本准则是什么?请简要说明。
解:
同步机制都应遵循下面的4条准则:
(4) 整型信号量是否能完全遵循同步机构的四条基本准则?为什么?
解:
不能。在整型信号量机制中,未遵循“让权等待”的准则。
(5) 在生产者-消费者问题中,若缺少了V(full)或V(empty),对进程的执行有什么影响?
解:
如果缺少了V(full),那么表明从第一个生产者进程开始就没有对信号量full值改变,即使缓冲池存放的产品已满了,但full的值还是0,这样消费者进程在执行P(full)时会认为缓冲池是空的而取不到产品,那么消费者进程则会一直处于等待状态。
如果缺少了V(empty),例如在生产者进程向n个缓冲区放满产品后消费者进程才开始从中取产品,这时empty=0,full=n,那么每当消费者进程取走一个产品时empty并没有被改变,直到缓冲池中的产品都取走了,empty的值也一直是0,即使目前缓冲池有n个空缓冲区,生产者进程要想再往缓冲池中投放产品会因申请不到空缓冲区而被阻塞。
(6) 在生产者-消费者问题中,若将P(full)和P(empty)交换位置,或将V(full)或V(empty)交换位置,对进程执行有什么影响?
解:
对full和empty信号量的P、V操作应分别出现在合作进程中,这样做的目的是能正确表征各进程对临界资源的使用情况,保证正确的进程通信联络。
?(7) 利用信号量写出不会出现死锁的哲学家进餐问题的算法。
解:
对哲学家按顺序从0到4编号,哲学家i左边的筷子的编号为i,哲学家右边的筷子的编号为(i+1)%5。
semaphore?chopstick[5]={1};
?//定义信号量数组chopstick[5],由于筷子是临界资源(互斥),故设置初值均为1。
Pi(){
//i号哲学家的进程
????do{
?????????if(i<(i+1)%5)
?????????{
?????????????wait(chopstick[i]);
?????????????wait(chopstick[(i+1)%5]);
?????????}
?????????else
?????????{
?????????????wait(chopstick[(i+1)%5]);
?????????????wait(chopstick[i]);
?????????}
?????????eat
?????????signal(chopstick[i]);
?????????signal(chopstick[(i+1)%5]);
?????????think
???????}while(1);
}
(8) 利用AND型信号量和管程解决生产者-消费者问题。
解:
利用AND信号量解决生产者-消费者问题的算法描述如下:
var mutex,empty,full: semaphore:=1,n,0;
buffer: array[0,...,n-1] of item;
in?out: integer?:=?0,?0;
begin
parbegin
producer: begin
repeat
.
.
.
produce an item in nextp;
.
.
.
Swait(empty, mutex);
buffer(in)?:=?nextp;
in?:=?(in+1) mod n;
Ssignal(mutex, full);
until false;
end
consumer: begin
repeat
Swait(full, mutex);
nextc?:=?buffer(out);
out?:=?(out+1) mod n;
Ssignal(mutex, empty);
consume the item in nextc;
until false;
end
parend
end
利用管程机制解决生产者-消费者问题,首先需要建立一个管程ProducerConsumer,其中包含两个过程insert(item)和consumer(item)。生产者-消费者同步问题可以用伪代码描述如下:
monitor ProducerConsumer
condition full,empty;
int count;
void insert(int item)
{
if (count==N) wait(full);
insert(item);
count=count+1;
if (count==1) signal(empty);
}
int remover()
{
if (count==0) wait(empty);
remove=remove_item;
count=count-1;
if (count==N-1) signal(full);
}
count=0;
end monitor
void producer()
{
????while (true)
????{
???item=produce_item;
???ProducerConsumer.insert(item);
????}
}
void consumer()
{
????while?(true)
????{
???item=ProducerConsumer.remove;
???consume(item)
????}
}
(9) 进程的高级通信机制有哪些?请简要说明。
解:
进程的高级通信机制分为三大类:共享存储系统、消息传递系统和管道通信系统。
(10) 什么是死锁?产生死锁的原因和必要条件是什么?
解:
所谓死锁是指在一个进程集合中的所有进程都在等待只能由该集合中的其它一个进程才能引发的事件而无限期地僵持下去的局面。
????产生死锁的原因可以归结为两点:1)竞争资源, 2)各进程之间的推进顺序不当。
????产生死锁的必要条件有四个:1)互斥条件, 2)不剥夺条件, 3)请求和保持条件, 4)环路条件。
(11) 死锁的预防策略有哪些?请简要说明。
解:
死锁的预防策略有三,说明如下:
(12) 某系统中有A、B、C、D四类资源,且其总数量都是8个。某时刻系统中有5个进程,判断下列资源状态是否安全?若进程P2申请资源(1,1,1,1),能否为其分配?
进程 | Need A ?B ?C ?D | Allocation A ?B ?C ?D |
P0 | 0 ?0 ?4 ?3 | 0 ?0 ?2 ?2 |
P1 | 2 ?6 ?3 ?0 | 1 ?1 ?0 ?0 |
P2 | 3 ?2 ?1 ?5 | 2 ?1 ?0 ?3 |
P3 | 4 ?0 ?2 ?0 | 2 ?0 ?0 ?0 |
P4 | 0 ?5 ?5 ?4 | 0 ?2 ?2 ?2 |
解:
现在对该时刻的状态进行安全分析:
????由于Available向量为(3,4,4,1),所以Work向量初始化为(3,4,4,1)
此时的Work小于任意的Need[i]向量,所以系统处于不安全状态
????由于Request2(1,1,1,1)<Available(3,4,4,1)且Request2(1,1,1,1)<Need2(1,1,1,2)
????所以先试着把P2所申请的资源分配给它,Available变为(2,3,3,0)得到系统状态如下表所示:
Allocation | Need | Available | ||||||||||
A | B | C | D | A | B | C | D | A | B | C | D | |
P0 | 0 | 0 | 2 | 2 | 0 | 0 | 4 | 3 | 2 | 3 | 3 | 0 |
P1 | 1 | 1 | 0 | 0 | 2 | 6 | 3 | 0 | ||||
P2 | 3 | 2 | 1 | 4 | 2 | 1 | 0 | 4 | ||||
P3 | 2 | 0 | 0 | 0 | 4 | 0 | 2 | 0 | ||||
P4 | 0 | 2 | 2 | 2 | 0 | 5 | 5 | 4 |
然后进行安全性检测:
此时Available向量为(2,3,3,0),所以Work向量初始化为(2,3,3,0),此时的Work小于任意的Need[i]向量,所以系统处于不安全状态,所以不可以为P2分配资源
(13) 三个进程P1、P2、P3都需要5个同类资源才能正常执行直到终止,且这些进程只有在需要设备时才申请,则该系统中不会发生死锁的最小资源数量是多少?请说明理由。
解:
系统中不会发生死锁的最小资源数量是13,这样可以保证当每一个进程都占有4个资源的时候,有一个进程可以获得最后一个资源后被运行,运行完毕后释放资源,于是其余进程也能顺利运行完,所以不会死锁。
(14) 在解决死锁问题的几个方法中,哪种方法最易于实现,哪种方法使资源的利用率最高?
解:
预防死锁这个方法实现简单,效果突出;避免死锁这种方法系统吞吐量和资源利用率较高。
?(15) 考虑由n个进程共享的具有m个同类资源的系统,如果对于i=1,2,3,…,n,有Need[i]>0并且所有进程的最大需求量之和小于m+n,试证明系统不会产生死锁。
解:
本题中只有一种资源,不妨设Max[i]为第i个进程的资源总共需要量,Need[i]为第i个进程还需要的资源数量,Allocation[i]表示第i个进程已经分配到的资源数量,Available为系统剩余的资源数,其中i=1,2,3,…,n。
假设此系统可以发生死锁。
系统剩余的资源数量为Available(Available>=0),由假设,因为系统处于死锁状态,所以Available个资源无法分配出去,所以每个进程的Need[i]都大于Available,
即 ?????????????Need[i]>=Available+1
所以 ???????????∑Need[i]>=n*(Available+1)=n*Available+n, ??????????????????①
因为剩下的资源数是Available,所以已经分配出去的资源数为m –?Available;
即 ?????????????∑Allocation[i]=m –?Available ???????????????????????????????②
由①式和②式可以得到:
∑Need[i] + ∑Allocation[i]>=n*Available+n+ m –?Available=(n-1)*Available+m+n ?③
又因为n>=1,所以(n-1)>=0,又因为Available>=0,所以(n-1)*Available>=0 ??④
由③式和④式可以得到∑Need[i] + ∑Allocation[i]>=0+m+n=m+n ????????????????⑤
根据题意知: ????????∑Max[i]<m+n ???????????????????????????????????????⑥
又因为:Max[i]=Need[i]+Allocation[i],所以∑Max[i]= ∑Need[i] + ∑Allocation[i] ???⑦
由⑥式和⑦式得:∑Need[i] + ∑Allocation[i]<m+n ????????????????????????????⑧
由假设推出的⑤式和由题意推出的⑧式相矛盾,所以假设是错误的,即系统不会产生死锁。
?(16) 某车站售票厅,在任何时刻最多可以容纳 20 名购票者进入,当售票厅中少于20名购票者时,厅外的购票者可立即进入,否则需要在外面等待。若把一个购票者看作一个进程,请回答以下问题:
① 用信号量管理这些并发进程时,应该怎样定义信号量,写出信号量的初值以及信号量的各取值的含义。
② 根据所定义的信号量,写出相应的程序来保证进程能够正确地并发执行。
③ 如果购票者最多为n个人,试写出信号量取值的可能变化范围(最大值和最小值)。
解:
①定义信号量S,初值为20,当s > 0时,它表示可以继续进入购票厅的人数,当s = 0时表示厅内已有20人正在购票,当s < 0时| s |表示正等待进入的人数。
②semaphore?S=20;
begin
parbegin
procedure:begin
repeat
wait(s);
????????????Enter and buy ticket;
????????????signal(s);
????????????until false;
end
??????parend
????????end
????③最大值为20,最小值为20-n
(17) 在测量控制系统中的数据采集任务时,把所采集的数据送往一单缓冲区;计算任务从该单缓冲区中取出数据进行计算。试写出利用信号量机制实现两个任务共享单缓冲区的同步算法。
解:
semaphore mutex = 1;
semaphore full = 0;
semaphore empty = 1;
begin
??parbegin
collect:
begin
???????????????repeat
???????????????……
???????????????collect data in nextp;
???????????????wait(empty);
???????????????wait(mutex);
buffer:=nextp;
signal(mutex);
signal(full);
until false;
???????????end
compute:
begin
???????????????repeat
???????????????……
???????????????wait(full);
???????????????wait(mutex);
nextc:=buffer;
signal(mutex);
signal(empty);
???????????????compute data in nextc;
until false;
???????????end
?????????parend
???????end
(18) 桌上有一空盘,允许存放一只水果。爸爸可以向盘中放苹果,也可以向盘中放桔子,儿子专等着吃盘中的桔子,女儿专等着吃盘中的苹果。规定当盘空时一次只能放一只水果供吃者用,请用信号量实现爸爸、儿子和女儿3个并发进程的同步。
解:
本题中应设置三个信号量S、So、Sa,信号量S表示盘中是否为空,其初值为1;So表示盘中是否有桔子,其初值为0;Sa表示盘中是否有苹果,其初值为0。同步描述如下:
爸爸: P(S); ????????????????????儿子:P(So); ?????????????女儿:P(Sa);
??????将水果放入盘中 ???????????从盘子中取出桔子 ??????????从盘子中取出苹果
??????if (放入的是桔子) ?v(So); ??????V(S); ??????????????????V(S);
??????else ?v(Sa); ??????????????????吃桔子?????????????????????吃苹果;
(19) 设某系统中有3个进程Get、Process和Put,共用两个缓冲区buffer1和buffer2。假设buffer1中最多可以放11个信息,现在已经放入了两个信息;buffer2最多可以放5个信息。Get进程负责不断地将输入信息送入buffer1中,Process进程负责从buffer1中取出信息进行处理,并将处理结果送到buffer2中,Put进程负责从buffer2中读取结果并输出。试用信号量机制实现它们的同步与互斥。
解:
semaphore empty1=9; //buffer1空的数量
semaphore full1=2; //buffer1满的数量
semaphore empty2=5; //buffer2空的数量
semaphore full2=0; //buffer2满的数量
in1,in2,out1,out2:integer := 2,0,1,0;
Get(){
while(1){
wait(empty1)
??????????in1=(in1+1)mod11
??????????signal(full1)
??????}
}
Process(){
while(1){
wait(full1)
??????????out1=(out1+1)mod11
??????????signal(empty1)
??????????signal(empty2)
??????????in2=(in2+1)mod5
??????????signal(full2)
???????}
}
Put(){
while(1){
wait(full2)
???????????out2=(out2+1)mod5
???????????signal(empty2)
???????}
}
(20) 某寺庙有大、小和尚若干,另有一水缸。由小和尚挑水入缸供大和尚饮用。水缸可以容10桶水,水取自同一井。水井很窄,每次只能容一个水桶取水。水桶总数为3。每次入、取缸水仅为1桶,且不可同时进行。试给出取水、入水的同步算法。
解:
semaphore well=1; // 保证互斥地访问水井的信号量
semaphore vat=1; // 保证互斥地访问水缸的信号量
semaphore empty=10; // 表示水缸中剩余的空间能容纳的水的桶数
semaphore full=0; // 表示水缸中水的桶数
semaphore pail=3; // 保证互斥地访问临界资源水桶的信号量
// 大和尚进程
big_monk(){
????while(1){
????????wait(full);
????????wait(pail);
????????wait(vat);
????????use pail to get water from vat
????????signal(vat);
????????signal(empty);
????????drink water in the pail
????????signal(pail);
????} ???????
?}
?// 小和尚进程
?little_monk(){
???while(1){
??????wait(empty);\
??????wait(pail);
??????wait(well);
??????use pail to get water from well
??????signal(well);
??????wait(vat);
??????pour water to the vat
??????signal(vat);
??????signal(full);
??????signal(pail);
???}
}
(21) 在银行家算法中,若出现下述资源分配情况:
Process Allocation ???Need ??????Available
P0 ?????0 0 3 2 ????0 0 1 2 ??????1 6 2 2
P1 ?????1 0 0 0 ????1 7 5 0
P2 ?????1 3 5 4 ????2 3 5 6
P3 ?????0 0 3 2 ????0 6 5 2
P4 ?????0 0 1 4 ????0 6 5 6
试问:
① 该状态是否安全?
② 若进程 P2 提出请求 Request( 1, 2, 2, 2 )后,系统能否将资源分配给它?
解:
现在对该时刻的状态进行安全分析:
????由于Available向量为(1,6,2,2),所以Work向量初始化为(1,6,2,2)该时刻的安全性检查表如下:
Work | Need | Allocation | Work+Allocation | Finish | |||||||||||||
A | B | C | D | A | B | C | D | A | B | C | D | A | B | C | D | ||
P0 | 1 | 6 | 2 | 2 | 0 | 0 | 1 | 2 | 0 | 0 | 3 | 2 | 1 | 6 | 5 | 4 | True |
P3 | 1 | 6 | 5 | 4 | 0 | 6 | 5 | 2 | 0 | 0 | 3 | 2 | 1 | 6 | 8 | 6 | True |
P4 | 1 | 6 | 8 | 6 | 0 | 6 | 5 | 6 | 0 | 0 | 1 | 4 | 1 | 6 | 9 | 10 | True |
P2 | 1 | 6 | 9 | 10 | 2 | 3 | 5 | 6 | 1 | 3 | 5 | 4 | 2 | 9 | 14 | 14 | True |
P1 | 2 | 9 | 14 | 14 | 1 | 7 | 5 | 0 | 1 | 0 | 0 | 0 | 3 | 9 | 14 | 14 | True |
????如表所示,存在安全序列<P0,P3,P4,P2,P1>,所以该时刻处于安全状态。
????由于Request2(1,2,2,2)<Available(1,6,2,2)且Request2(1,2,2,2)<Need2(2,3,5,6),所以先试着把P2所申请的资源分配给它,Available变为(0,4,0,0)得到系统状态如下表所示:
Allocation | Need | Available | ||||||||||
A | B | C | D | A | B | C | D | A | B | C | D | |
P0 | 0 | 0 | 3 | 2 | 0 | 0 | 1 | 2 | 0 | 4 | 0 | 0 |
P1 | 1 | 0 | 0 | 0 | 1 | 7 | 5 | 0 | ||||
P2 | 2 | 5 | 7 | 6 | 1 | 1 | 3 | 4 | ||||
P3 | 0 | 0 | 3 | 2 | 0 | 6 | 5 | 2 | ||||
P4 | 0 | 0 | 1 | 4 | 0 | 6 | 5 | 6 |
????然后进行安全性检测,此时Available为(0,4,0,0),所以Work初始化为(0,4,0,0)。
????此时的Work小于任意的Need[i]向量,所以系统处于不安全状态,即认为不能分配资源(0,2,0)给P2。
(22) 设系统中仅有一类数量为M的独占型资源,系统中有N个进程竞争该类资源,其中各进程对该类资源的最大需求量为W。当M、N、W分别取下列值时,试判断哪些情形可能会发生死锁,为什么?
(1)M=2,N=2,W=1; ?????????(2)M=3,N=2,W=2;
(3)M=3,N=2,W=3; ?????????(4)M=5,N=3,W=2;
解: