（操作系统原理·第三章）理发师问题

问题描述：

理发店里有一位理发师、一把理发椅和n 把供等候理发的顾客坐的椅子。如果没有顾客，理发师便在理发椅上睡觉；当一个顾客到来时，它必须叫醒理发师；如果理发师正在理发时又有顾客来到，那么，如果有空椅子可坐，顾客就坐下来等待，否则就离开理发店。

分析：

引入3 个信号量和一个控制变量：控制变量waiting 用来记录等候理发的顾客数，初值均为0；信号量customers 用来记录等候理发的顾客数，并用作阻塞理发师进程，初值为0；信号量barbers 用来记录正在等候顾客的理发师数，并用作阻塞顾客进程，初值为0；信号量mutex 用于互斥，初值为1。

算法：

var waiting : integer; /*等候理发的顾客数*/
CHAIRS:integer; /*为顾客准备的椅子数*/
customers, barbers，mutex : semaphore;
customers := 0; barbers := 0;
waiting := 0; mutex := 1;
procedure barber;
begin
while(TRUE); /*理完一人，还有顾客吗?*/
P(customers); /*若无顾客，理发师睡眠*/
P(mutex); /*进程互斥*/
waiting := waiting – 1; /*等候顾客数少一个*/
V(barbers); /*理发师去为一个顾客理发*/
V(mutex); /*开放临界区*/
cut-hair( ); /*正在理发*/
end;
procedure customer
begin
P(mutex); /*进程互斥*/
if waiting < CHAIRS /*看看有没有空椅子*/
begin
waiting := waiting + 1;/* 等候顾客数加1*/
V(customers); /*必要的话唤醒理发师*/
V(mutex); /*开放临界区*/
P(barbers); /*无理发师，顾客坐着养*/
get-haircut( ); /*一个顾客坐下等理发*/
end;
else V(mutex); /*人满了，走吧!*/
end.