http://learn.bitsde.com/hep/os/chapter2/section3/2.3.3.htm 这是我在网上找到的最详实,最严谨的资料了,贴在下面和大家分享哦,O(∩_∩)O~
2.3.3 理发师睡觉问题
理发店里有一位理发师、一把理发椅和n把供等候理发的顾客坐的椅子。如果没有顾客,则理发师便在理发椅上睡觉,如图2-20所示。当一个顾客到来时,他必须先叫醒理发师,如果理发师正在理发时又有顾客来到,则如果有空椅子可坐,他们就坐下来等。如果没有空椅子,他就离开。这里的问题是为理发师和顾客各编写一段程序来描述他们的行为,要求不能带有竞争条件。
图2-20 睡觉的理发师
我们的解法使用三个信号量:customers,用来记录等候理发的顾客数(不包括正在理发的顾客);barbers,记录正在等候顾客的理发师数,为0或1;mutex,用于互斥。我们还需要一个变量waiting,它也用于记录等候的顾客数,实际上是customers的一份拷贝。之所以使用waiting是因为无法读取信号量的当前值。在该解法中,进入理发店的顾客必须先看等候的顾客数,如果少于椅子数,他留下来等,否则他就离开。
我们的解法示于图2-21。
# define CHAIRS 5 /*为等待的顾客准备的椅子数*/
typedef int semaphone ; /*运用你的想象力*/
semaphore customers=0; /*等待服务的顾客数*/
semaphore barbers=0; /*等待顾客的理发师数*/
semaphore mutex=1; /*用于互斥*/
int waiting=0; /*等待的顾客(还没理发的)*/