我对理发师问题独到的理解

理发师问题的描述：

一个理发店接待室有n张椅子，工作室有1张椅子；
没有顾客时，理发师睡觉；
第一个顾客来到时，必须将理发师唤醒；
顾客来时如果还有空座的话，他就坐在一个座位上等待；
如果顾客来时没有空座位了，他就离开，不理发了；
当理发师处理完所有顾客，而又没有新顾客来时，他又开始睡觉。

现在各种参考书上比较时兴的解决理发师问题的算法大概其就是下边这个算法，不同版本大同小异吧。

var mutex,barber,wakeup:semaphore:=1,0,0;
    empty:integer:=n+1;    //empty表示空座位的数量，接待室加上工作室共n+1个座位

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);
               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