理发师问题的描述：
一个理发店有n张椅子，没有顾客时，理发师睡觉；
第一个顾客来到时，必须将理发师唤醒；
顾客来时如果还有空座的话，他就坐在一个座位上等待；
如果顾客来时没有空座位了，他就离开，不理发了；
当理发师处理完所有顾客，而又没有新顾客来时，他又开始睡觉。
现在各种参考书上比较时兴的解决理发师问题的算法大概其就是下边这个算法，不同版本大同小异吧。
var mutex,barber,wakeup:semaphore:=1,0,0;
empty:integer:=n; //empty表示空座位的数量
begin
parbegin
customer:begin
wait(mutex); //mutex控制对empty的互斥访问
if empty=0 then begin //如果没有空座，顾客走人，不理发了
signal(mutex); exit();
end
else begin
empty:=emtpy-1;
if empty=n-1 then begin
signal(wakeup); //如果是第一个顾客，得叫醒理发师
signal(mutex); //signal(mutex);表示释放对共享变量empty的占有
end
else begin
signal(mutex);
wait(barber); //第一个顾客不用等待，后续的顾客需要等待理发师腾出手来
end
理发;
end //对应else begin
end //customer进程结束
barber: begin
wait(wakeup); //初始状态，理发师在睡觉，一旦被唤醒，就进入下边这个无限循环
repeat
理发; //被唤醒了，直接给第一个顾客理发
wait(mutex); //收拾完一个，要修改空座的数量，争夺empty的控制权
empty:=empty+1;
if empty<n then begin //empty<n表示还有等着的顾客
signal(barber); //表示理发师腾出手来了
signal(mutex);
end
else begin
signal(mutex);
wait(wakeup); //没顾客了，睡觉去，等待唤醒
end //对应else begin
until false;
end //barber进程结束
parend
end
我感觉这个算法有点问题，因为customer进程中的“理发”语句和barber进程中的“理发”语句并不同步，当两个进程进入执行这两个语句的状态时，实际上已经失去了同步性。比如说，customer进程中的“理发”语句先执行完了，那么此时barber在给谁理发呢，barber中的“理发”语句运行还有什么意义呢？反之亦然。
所以，我认为必须用生产者、消费者模型才能完美地解决这个问题。基本思想是：多个顾客就是多个生产者，来到时将自己放入有n个缓冲区的缓冲池，而理发师是消费者，不断地从缓冲区中取出顾客，将其消费掉。这样，理发师所提供的服务和消费者所接受的服务才是完美地同步进行，而不会出现上面那种顾客已经走了，理发师还在空转的现象。算法如下：
var customers:array[0...n-1] of customer;
empty,in,out:integer:=n,0,0;
wakeup,mutex:semaphore:=0,1; //mutex控制对缓冲池,empty,in,out的互斥访问
begin
parbegin
customer:begin
wait(mutex);
if empty=0 then begin
signal(mutex); exit();
end
else begin
customers[in]:=a_customer;
in:=(in+1) mod n;
empty:=empty-1;
if empty=n-1 then signal(wakeup);
signal(mutex);
end
end
barber:begin
wait(wakeup);
repeat
wait(mutex);
if empty=n then begin
signal(mutex);
wait(wakeup);
end
else begin
a_customer:=customer[out];
out:=(out+1) mod n;
empty:=empty+1;
signal(mutex);
将此customer消费掉，即给他理发;
end
until false;
end
parend
end
大家讨论一下啊
高手快快献身 哈
[ 本帖最后由 studyboyz 于 2008-8-14 20:24 编辑 ] |
收藏
点赞!
反对!
楼主