問題描述：
理髮店裏有一位理髮師、一把理髮椅和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.
