问题描述:
理发店里有一位理发师、一把理发椅和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.