The Sleeping-Barber problem
理发店由一个带n把椅子的等候室和一个带一把理发椅的理发室组成。如果没有顾客,理发师就睡觉。如果顾客进入理发店,所有的椅子都被占满了,那么顾客就离开了理发店。如果理发师很忙,但椅子有空,顾客就坐在其中一张空椅子上。如果理发师睡着了,顾客就会叫醒理发师。编写一个程序来协调理发师和顾客。
共享变量
chairCount = n //空闲椅子数量
barberChairCount = 1 //理发椅数量
互斥变量
chairCountMutex = 1 // 椅子互斥变量
barberChairMutex = 1 // 理发椅互斥变量
customer
P(chairCountMutex)
if(chairCount==0)
// 如果当前没有椅子,则顾客离开
leave
else
P(barberChairMutex)
if(chairCount==n && barberChairCount==1)
// 所有椅子都空着,说明理发师在睡觉,则叫醒后开始剪发
wake up barber
barberChairCount--;
else
// 否则说明当前有人正在剪发,则需要在外面等待
sits in one of the free chairs
chairCount--;
V(barberChairMutex)
V(chairCountMutex)
barber
P(chairCountMutex)
if(chairCount<10)
// 外面仍旧有顾客等待
chairCount++;
V(chairCountMutex)
// 将顾客喊入剪发
P(barberChairMutex)
barberChairCount--;
V(barberChairMutex)
serve the customer
P(barberChairMutex)
barberChairCount++;
V(barberChairMutex)
else
// 如果外面没人则休息
V(chairCountMutex)
sleep