PV----------理发师

题目：

 假设有个理发店，只有一个理发师和N张可供顾客等待理发的椅子，如果没有顾客，则理发师睡觉；如果有一顾客进入理发店发现理发师在睡觉，则把他叫醒，试用信号量设计一个协调理发师和顾客的程序。

基本思想：

 

       睡眠理发师问题是一种同步问题的抽象描述，该问题主要的活动单元是理发师和顾客到来这两个。其中，理发师有理发和睡觉两个事件；顾客有到来,等待和离去三个事件。店里有固定的椅子数，上面坐着等待的顾客，顾客在到来这个事件时，需判断有没有空闲的椅子，理发师决定要理发或睡觉时，也要判断椅子上有没有顾客。所以，顾客和理发师之间的关系表现为：

 

             顾客—理发师之间的同步关系表现为：

若无顾客，理发师便在理发椅上睡眠，等待。顾客到来时，先看等候的顾客数是否少于顾客椅子数，不是则离开，否则就留下来，声称要理发，并且叫理发师醒来或等理发师闲下来，再理发。

 

            顾客—理发师之间还有互斥关系：

由于等候的顾客数变量是临界资源，所以顾客进屋等待理发时对该变量进行的加1操作，以及理发师起身准备给顾客理发时对该变量进行的减1操作必须互斥。

 

因此，引入3个信号量和一个控制变量：

 

(1) 控制变量cust_wait    用来记录在椅子上等候理发的顾客数，由理发师线程和顾客线程共同访问，初值为0。

(2) 信号量sem_cust       用来记录等候理发的顾客数，并用作阻塞理发师线程，初值为0。

(3) 信号量sem_barber   用来记录正在等候顾客的理发师数，并用作阻塞顾客线程，初值为1。

(4) 信号量sem_mutex   用于互斥对临界变量cust_wait的访问，初值为1。

 

创建一个线程函数

pthread_create()用来创建一个线程，原型为：

int  pthread_create(pthread_t  *thread,  pthread_attr_t  *attr, void*(*start_routine)(void*),  void *arg);

thread：              该参数是一个指针，档线程创建成功时，用来返回创建的线程ID。

attr：                   该参数用于指定线程的属性，NULL表示使用默认属性。

start_routine：  该参数为一个函数指针，指向线程创建后要调用的函数。这个被线程调用的函数也被称为线程函数。

arg：                   该参数指向传递给线程函数的参数，函数不需要参数时，最后一个参数设为空指针。

 

当创建线程成功时，函数返回0，若不为0则说明创建线程失败，常见的错误返回代码为EAGAIN和EINVAL。前者表示系统限制创建新的线程，例如线程数目过多了；后者表示第二个参数代表的线程属性值非法。