嗜睡的理发师问题Word下载.docx
《嗜睡的理发师问题Word下载.docx》由会员分享,可在线阅读,更多相关《嗜睡的理发师问题Word下载.docx(13页珍藏版)》请在冰豆网上搜索。
}
Customer〔inti〕
wait(mutex);
if(waiting<
CHAIRS)//看看有没有空椅子
{
waiting=waiting+1;
//等候顾客数加1
signal(customers);
//必要的话唤醒理发师
//开放临界区
wait(barbers);
//无理发师,顾客等待
get_haircut();
//一个顾客坐下等理发
else
signal(mutex);
//人满了,走吧
分析:
此题中,顾客进程和理发师进程之间存在着多种同步关系:
1.只有在理发椅空闲时,顾客才能做到理发椅上等待理发师理发,否那么顾客便必须等待;
只有当理发椅上有顾客时,理发师才可以开场理发,否那么他也必须等待;
这种同步关系类似于单缓冲的生产者-消费者问题中的同步关系,故可通过信号量empty和full来控制;
2.理发师为顾客理发时,顾客必须等待理发的完成,并在理发完成后理发师唤醒他,这可单独使用一个信号量cut来控制;
3.顾客理完发后必须向理发师付费,并等理发师收费后顾客才能离开;
而理发师那么需等待顾客付费,并在收费后唤醒顾客以允许他离开,这可分别通过两个信号量payment和receipt来控制。
4.等候室中的N帐沙发是顾客竟争的资源,故还需为它们设置了一个资源信号量sofa
5.为了控制顾客的人数,使顾客能自所有的沙发都被占用时离开理发店,还必须设置一个整型变量count来对理发店重的顾客进展计数,该变量将被多个顾客进程互斥地访问并修改,这可通过一个互斥信号量mutext来实现。
答:
为解决上述问题,需设置一个整型变量count用来对理发店重的顾客进展计数,并需设置7个信号量,其中:
mutex用来实现顾客进程对count变量的恶互斥访问,其初值为1;
sofa是对应于等候室中N沙发的资源信号量,其初值为N;
empty表示是否有空闲的理发椅,其初值为1;
full表示理发椅上是否有等待理发的顾客,其初值为0;
cut用来等待理发的完成,其初值为0;
payment表示用来等待付费,其初值为0;
receipt用来等待收费,其初值为0。
具体算法描述如下:
Intcout=0;
Semaphoremutex=1,sofa=N,empty=1,full=0,cut=0,payment=0,receipt=0;
processguesti()顾客i
{wait(mutex);
//count既用于判断,也要修改,所以为临界资源,用mutex管理互斥,但由于是分支构造,所以要在每个分支构造中注意离开count的临界区时使用signal释放临界资源
if(count>
N)//沙发中已经坐满客人N个和正在理发的1位,没有沙发,客人离开理发店
{signal(mutex);
exitshop;
else
{count=count+1;
1)//count>
1,意味着原来理发店里有客人,所以不能坐理发椅,需要坐到沙发上等待
{signal〔mutex〕;
wait(sofa);
//申请沙发,肯定能得到
sitonsofa;
wait(empty);
//申请理发椅,等不到阻塞,得到,那么从沙发上站起,准备坐到理发椅上
getupformsofa;
signal(sofa);
//归还沙发
else
{signal〔mutex〕;
//count==1,意味着这个店里只有这一个顾客,他不必要申请沙发,直接申请理发椅即可
sitonthebaber_chair;
signal(full);
//假设理发师阻塞,那么唤醒理发师,假设未阻塞,那么将full由0增1,理发师申请理发时即可通过
wait(cut);
//测试理发是否完成,没有那么阻塞
pay;
signal(payment);
//假设理发师阻塞,那么唤醒理发师告知其已经付费,假设未阻塞,那么将paymentl由0增1,理发师申请理要求付费时即可通过
wait(receipt);
////测试理发师收费是否完成,没有那么阻塞
getupformthebaber_chair;
//理发师收费完成,顾客离开理发椅
signal(empty);
//释放理发椅
//对count临界资源操作,用mutex完成互斥
count=count-1;
exitshop;
}
processbarber()
{while
(1)
{wait(full);
//测试理发椅上是否有顾客,无那么阻塞
cuthair;
signal(cut);
//告知顾客理发完成
wait(payment);
//测试顾客是否付费
acceptpament;
signal(receipt);
//告知顾客收费完毕
main()
{cobegin
{guesti();
Barber();
5、设有两个生产者进程A、B和一个销售者进程C,他们共享一个无限大的仓库,生产者每次循环生产一个产品,然后入库供销售;
销售者每次循环从仓库中取出一个产品进展销售。
如果不允许同时入库,也不允许边入库边出库;
而且要求生产和消费A产品和B产品的件数都满足一下关系:
-n≤A的件数-B的件数≤m,其中n、m是正整数。
此题中存在着以下的同步和互斥关系:
生产者A、B和消费者之间不能同时将产品入库和出库,故仓库是一个临界资源;
两个生产者之间必须进展同步,当生产的A、B产品的件数之差大于等于m时,生产者A必须等待;
小于等于-n时,生产者B必须等待;
生产者和销售者之间也必须进展同步,只有当生产者生产出产品并入库后,销售者才能进展销售;
而且由于销售的产品件数必须满足关系-n≤A的件数-B的件数≤m,因此当销售的A、B产品件数之差大于等于m而仓库中已无B产品时,或者销售的A、B产品的件数之差小于等于-n而仓库中已无A产品时,销售者C必须等待
生产的A、B产品必须满足:
-n≤A的件数-B的件数≤m,如例题4中,同样的方法管理,分别使用了信号量SAB和SBA;
仓库的管理只要求出入库互斥,由于仓库无限大入库只好操作互斥就可以完成,出库要考虑有无产品,SA对应于仓库中的A产品量,SB对应于仓库中的B产品量;
销售要满足:
-n≤A的件数-B的件数≤m,用difference表示A的件数-B的件数,即difference=A的件数-B的件数;
difference==-n的时候,不能取产品B,只能取A;
difference==m的时候,不能取产品A,只能取B;
-n<
difference<
m,即可以取产品A也可以取产品B;
为了互斥地入库和出库,蓄为仓库设置一初值为1的互斥信号量mutex;
为了使生产的产品件数满足-n≤A的件数-B的件数≤m,须设置两个同步的信号量,其中SAB表示当前允许A生产的产品数量,其初值为m,SBA表示当前允许B生产的产品数量,其初值为n;
另外,还需设置一个整数difference表示所销售的A、B产品数量之差,而为了同步生产者和销售者并使销售的A、B产品的件数-n≤A的件数-B的件数≤m,还需要设置三个资源信号量,其中s对应于仓库中的总的产品量,SA对应于仓库中的A产品量,SB对应于仓库中的B产品量,它们的初值都为0.
SemaphoreSAB=m,SBA=n,S=0,SA=0,SB=0,mutex=1;
processA()
{//生产产品,-n≤A的件数-B的件数≤m,方法同第4题
wait(SAB);
ProduceaproductA;
signal(SBA);
//入库操作,满足出入库操作互斥即可
addtheproductAtothestorehouse;
signal(SA);
//入库产品A一件,所以给SA增值
signal((S);
//入库产品一件,所以给S增值,S是仓库中全部产品的数量
processB()
wait(SBA);
ProduceaproductB;
signal(SAB);
signal(SB);
{wait(S);
//首先检查有无产品,无产品阻塞,有产品,下面操作将会取走一件产品,所以S减1
if(difference<
=-n)
{wait(SA);
//difference<
=-n时只能取A产品一件,无A产品那么需阻塞
//出库操作,满足出入库操作互斥
takeaproductAfromstorehouse;
signal(mutex);
difference++;
//取A产品一件,difference++
elseif(difference>
=m)
{wait(SB);
//difference>
=m时只能取B产品一件,无B产品那么需阻塞
takeaproductBfromstorehouse;
difference--;
//取B产品一件,difference--
{//-n<
m,即可以取产品A也可以取产品B,随意取一件产品出来,之后再根据取得产品是A还是B进展处理
takeaproductA或Bfromstorehouse;
if〔product_type==A〕
{//取的是产品A,那么信号量SA减1,这里不可能发生没有A产品,进程C需要阻塞的情况
wait(SA);
//取A产品一件,difference++
{//取的是产品B,那么信号量SB减1,这里不可能发生没有B产品,进程C需要阻塞的情况
wait(SB);
difference--;
//取B产品一件,difference--
Selltheproduct;
}
main()
cobegin{
A();
B();
C();
6、考虑三个吸烟者进程和一个经销商进程的系统。
每个吸烟者连续不断地做烟卷并抽他做好的烟卷,做一支烟卷需要烟草、纸和火柴三种原料。
这三个吸烟者分别掌握有烟草、纸和火柴。
经销商源源不断地提供上述三种原料,但他只将其中的两种原料放在桌上,具有另一种原料的吸烟者就可以做烟卷并抽烟,且在做完后给经销商发信号,然后经销商再拿出两种原料放在桌上,如此反复。
试设计一个同步算法来描述他们的活动。
SemaphoreSA=SB=SC=0,SD=1;
i:
integer;
processsmokerA()
{while
(1)
{wait(SA);
制烟;
signal(SD);
吸烟;
processsmokerB()
{wait(SB);
processsmokerC()
{wait(SC);
Processprovider()
{while
(1)
{wait(SD);
i=random
(2);
switch(i)
{case'
0'
:
signal(SA);
case'
1'
signal(SB);
2'
signal(SC);
somkerA();
somkerB();
somkerC();
provider();
5、现有四个进程R1、R2、W1、W2,它们共享可以存放一个数的缓冲器B。
进程R1每次把来自键盘的一个数存入缓冲器B中,供进程W1打印输出;
进程R2每次从磁盘上读一个数存放到缓冲器B中,供进程W2打印输出。
为防止数据的丧失和重复打印,问怎样用信号量操作来协调这四个进程的并发执行。
semaphoreS=1,S1=S2=0;
bufferB;
processR1〔〕
{intx;
while
(1)
{接收来自键盘的数;
x=接收的数;
wait(S);
B=x;
signal(S1);
processR2()
{inty;
{从磁盘上读一个数;
y=接收的数;
B=y;
signal(S2);
processW1()
{intk;
{wait(Sl);
k=B;
signal(S);
打印k中数;
processW2()
{intj;
{wait(S2);
j=B;
打印j中数;
cobegin{
R1();
R2();
W1();
W2();
6、a,b两点之间是一段东西向的单行车道,现要设计一个自动管理系统,管理规那么如下:
当ab之间有车辆在行驶时同方向的车可以同时驶入ab段,但另一方向的车必须在ab段外等待;
当ab之间无车辆在行驶时,到达a点(或b点)的车辆可以进入ab段,但不能从a点和b点同时驶入,当某方向在ab段行驶的车辆驶出了ab段且暂无车辆进入ab段时,应让另一方向等待的车辆进入ab段行驶。
请用信号量机制为工具,对ab段实现正确管理以保证行驶平安。
SemaphoreS1=1,S2=1,Sab=1;
intab=ba=0;
processPab()
{
while
(1)
{
wait(S1);
if(ab==0)
wait(Sab);
ab=ab+1;
车辆从a点驶向b点;
wait(S1);
ab=ab-1;
if(ab==0)
signal(Sab);
signal(S1);
}
processPba()
{
wait(S2);
if(ba==0)
wait(Sab);
ba=ba+1;
signal(S2);
车辆从b点驶向a点;
ba=ba-1;
Pab();
Pba();
}