"操作系统（System）并发和互斥：哲学家进餐问题和理发师问题
1． 哲学家进餐问题：
(1) 在啥情形下5 个哲学家全部吃不上饭？
考虑两种实现的方式，如下：
A。
算法描述：
void philosopher(int i) /*i：哲学家编号，从0 到4*/
{
while (TRUE) {
think( ); /*哲学家正在思考*/
take_fork(i); /*取左侧的筷子*/
take_fork((i 1) % N); /*取左侧筷子；％为取模运算*/
eat( ); /*吃饭*/
put_fork(i); /*把左侧筷子放回桌子*/
put_fork((i 1) % N); /*把右侧筷子放回桌子*/
}
}
分析：假如全部的哲学家都同时拿起左侧筷子，看见右侧筷子不可用，又都放下左侧筷子，
等一会儿，又同时拿起左侧筷子，如此这般，永远重复。
对于这种情形，即全部的程序都在
无限期地运行，可是都没方法取得任何进展，即出现饥饿，全部哲学家都吃不上饭。
B．
算法描述：
规定在拿到左侧的筷子后，先检查右面的筷子是不是可用。
假如不可用，则先放下左侧筷子，
等一段时间再重复整个过程。
分析：当出现以下情形，在某1个瞬间，全部的哲学家都同时开启这个算法，拿起左侧的筷
子，而看见右侧筷子不可用，又都放下左侧筷子，等一会儿，又同时拿起左侧筷子……如此
这样永远重复下去。
对于这种情形，全部的程序都在运行，但却没方法取得进展，即出现饥饿，
全部的哲学家都吃不上饭。
(2) 描述一种木有人饿死（永远拿不到筷子）算法。
考虑了四种实现的方式（A、B、C、D）：
A．原理：至多只允许四个哲学家同时进餐,以保证至少有1个哲学家能够进餐,最终总会释
放出他所用过的两支筷子,从而可使更多的哲学家进餐。
以下将room 作为信号量，只允
许4 个哲学家同时进餐厅就餐，这样就能保证至少有1个哲学家可以就餐，而申请进
餐厅的哲学家进room 的等待队列，根据FIFO 的原则，总会进到餐厅就餐，因此不会
出现饿死和死锁的现象。
伪码：
semaphore chopstick[5]={1，1，1，1，1};
semaphore room=4;
void philosopher(int i)
{
while(true)
{
think();
wait(room); //请求进房间进餐
wait(chopstick[i]); //请求左手边的筷子
wait(chopstick[(i 1)%5]); //请求右手边的筷子
eat();
signal(chopstick[(i 1)%5]); //释放右手边的筷子
signal(chopstick[i]); //释放左手边的筷子
signal(room); //退出房间释放信号量room
}
}
B．原理：仅当哲学家的左右两支筷子都可用时,才允许他拿起筷子进餐。
方法1：利用AND 型信号量机制实现：根据课程讲述，在1个原语中，将一段代码同时需
要的多个临界资源，要么全部分配给它，要么1个都不分配，因此不会出现死锁的情形。当
某些资源不够时阻塞调出使用进程;由于等待队列的存在，使得对资源的请求满足FIFO 的要求，
因此不会出现饥饿的情形。
伪码：
semaphore chopstick[5]={1，1，1，1，1};
void philosopher(int I)
{
while(true)
{
think();
Swait(chopstick[(I 1)]%5,chopstick[I]);
eat();
Ssignal(chopstick[(I 1)]%5,chopstick[I]);
}
}
方法2：利用信号量的保护机制实现。
通过信号量mutex对eat（）之前的取左侧和右侧筷
子的操作进行保护，使之成为1个原子操作，这样可以防止死锁的出现。
伪码：
semaphore mutex = 1 ;
semaphore chopstick[5]={1，1，1，1，1};
void philosopher(int I)
{
while(true)
{
think();
wait(mutex);
wait(chopstick[(I 1)]%5);
wait(chopstick[I]);
signal(mutex);
eat();
signal(chopstick[(I 1)]%5);
signal(chopstick[I]);
}
}
C． 原理：规定奇数号的哲学家先拿起他左边的筷子,之后再去拿他右边的筷子;而偶数号
的哲学家则相反。
按此规定,将是1,2号哲学家竞争1号筷子,3,4号哲学家竞争3号筷子。即
五个哲学家都竞争奇数号筷子,获得后,再去竞争偶数号筷子,最后总会有1个哲学家能获
得两支筷子而进餐。而申请不到的哲学家进阻塞等待队列，根FIFO原则，则先申请的哲
学家会较先可以吃饭，因此不会出现饿死的哲学家。
伪码：
semaphore chopstick[5]={1，1，1，1，1};
void philosopher(int i)
{
while(true)
{
think();
if(i%2 == 0) //偶数哲学家，先右后左。
{
wait (chopstick[ i 1 ] mod 5) ;
wait (chopstick[ i]) ;
eat();
signal (chopstick[ i 1 ] mod 5) ;
signal (chopstick[ i]) ;
}
Else //奇数哲学家，先左后右。
{
wait (chopstick[ i]) ;
wait (chopstick[ i 1 ] mod 5) ;
eat();
signal (chopstick[ i]) ;
signal (chopstick[ i 1 ] mod 5) ;
}
}
D．利用管程机制实现（最终该实现是失败的，见以下分析）：
原理：不是对每只筷子设置信号量，而是对每一个哲学家设置信号量。
test()函数有以下作
用：
a。 假如当前处理的哲学家处于饥饿状态且两侧哲学家不在吃饭状态，则当前哲学家通过
test()函数试图进吃饭状态。
b。 假如通过test()进吃饭状态不成功，那么当前哲学家就在该信号量阻塞等待，直到
其他的哲学家进程通过test()将该哲学家的状态设置为EATING。
c。 当1个哲学家进程调出使用put_forks()放下筷子的时候，会通过test()测试它的邻居，
假如邻居处于饥饿状态，且该邻居的邻居不在吃饭状态，则该邻居进吃饭状态。
由上所述,该算法不会出现死锁，由于1个哲学家仅有在2个邻座都不在进餐时，才允
许转换到进餐状态。
该算法会出现某个哲学家适终没方法吃饭的情形，即当该哲学家的左右2个哲学家交替
处在吃饭的状态的时候，则该哲学家始终没方法进吃饭的状态，因此不满足题目的要求。
可是该算法能够实现对于任意多位哲学家的情形都能获得最大的并行度，因此具有重要
的意义。
伪码：
#define N 5 /* 哲学家人数*/
#define LEFT (i-1 N)%N /* i的左邻号码 */
#define RIGHT (i 1)%N /* i的右邻号码 */
typedef enum { THINKING, HUNGRY, EATING } phil_state; /*哲学家状态*/
monitor dp /*管程*/
{
phil_state state[N];
semaphore mutex =1;
semaphore s[N]; /*每一个哲学家1个信号量，初始值为0*/
void test(int i)
{
if ( state[i] == HUNGRY &&state[LEFT(i)] != EATING &&
state[RIGHT(i)] != EATING )
{
state[i] = EATING;
V(s[i]);
}
}
void get_forks(int i)
{
P(mutex);
state[i] = HUNGRY;
test(i); /*试图得到两支筷子*/
V(mutex);
P(s[i]); /*得不到筷子则阻塞*/
}
void put_forks(int i)
{
P(mutex);
state[i]= THINKING;
test(LEFT(i)); /*看左邻是不是进餐*/
test(RIGHT(i)); /*看右邻是不是进餐*/
V(mutex);
}
}
哲学家进程如下：
void philosopher(int process)
{
while(true)
{
think();
get_forks(process);
eat();
put_forks(process);
}
}
2。
理发师问题：1个理发店有1个入口和1个出口。理发店内有1个可站5 位顾客的站席
区、4 个单人沙发、3 个理发师及其专用理发工具、1个收银台。新来的顾客坐在沙发上等
待；木有空沙发时，可在站席区等待；站席区满时，只可以在入口外等待。
理发师可从事理
发、收银和休息三种活动。理发店的活动满足下列条件：
1）休息的理发师是坐地自己专用的理发椅上，不会占用顾客的沙发；
2）处理休息状态的理发师可为在沙发上等待时间最长的顾客理发；
3）理发时间长短由理发师决定；
4）在站席区等待时间最长的顾客可坐到空闲的理发上；
5）任何时刻最多只可以有1个理发师在收银。
试用信号量机制或管程机制实现理发师进程和顾客进程。
原理：
(1)customer 进程：
首先检查站席区是不是已满（stand_capacity）,若满选取离开，否则进站席区，即进
理发店。
在站席区等待沙发的空位（信号量sofa），假如沙发已满，则进阻塞等待队列，
直到出现空位，在站席区中等待时间最长的顾客离开站席区（stand_capacity）。坐到沙
发上，等待理发椅(barber_chair)，假如理发椅已满，则进阻塞等待队列，直到出现
空位，在沙发上等待时间最长的顾客离开沙发（释放信号量sofa）。
坐到理发椅上，释放
准备好的信号（customer_ready），获得该理发师的编号（0~1 的数字）。等待理发师理
发结束（finished[barber_number]）。在离开理发椅之前付款（payment），等待收据
(receipt)，离开理发椅（leave_barberchair）。
最后离开理发店。
这里要注意几点：
a) 首先是几个要进行互斥处理的地方，主要包括:进站席区、进沙发、进理发椅
和付款几个地方。
b) 通过barber_chair 保证1个理发椅上最多仅有一名顾客。
但这也不够，由于单凭
baber_chair 没方法保证一名顾客离开理发椅之前，另一位顾客不会坐到该理发椅上，
因此增加信号量leave_barberchair，让顾客离开理发椅后，释放该信号，而理发
师接收到该信号后才释放barber_chair 等待下一位顾客。
c) 在理发的过程中，要保证是自己理发完毕，才可以够进行下边的付款、离开理发椅的活
动。这个机制是通过customer 进程获得给他理发的理发师编号来实现的，这样，当
该编号的理发师释放对应的finished[i]信号的时候，该顾客才理发完毕。
d) 理发师是通过mutex 信号量保证他们每一个人同时只进行一项操作（理发或收款）。
e) 为了保证该顾客理发完毕后马上可以付款离开，就应当保证给该顾客理发的理发师在理
发完毕后马上到收银台进收款操作而不是给下一位顾客服务。
在伪码中由以下机制实
现：即顾客在释放离开理发椅的信号前，发出付款的信号。这样该理发师得不到顾客的
离开理发椅的信号，不能进下1个循环为下一名顾客服务，而只可以进收款台的收款
操作。
直到顾客接到收据后，才释放离开理发椅的信号，离开理发椅，让理发师释放该
理发椅的信号，让下一位等待的顾客坐到理发椅上。
(2)barber 进程
首先将该理发师的编号压入队列，供顾客提取。
等待顾客坐到理发椅坐好(信号量
customer_ready)，开始理发，理发结束后释放结束信号（finished[i]）。等待顾客
离开理发椅（leave_barberchair）（期间去收银台进行收款活动），释放理发椅空闲信
号(barber_chair)，等待下一位顾客坐上来。
(3)cash（收银台）进程
等待顾客付款(payment),执行收款操作，收款操作结束，给付收据（receipt）。
信号量总表：
信号量 wait signal
stand_capacity 顾客等待进理发店 顾客离开站席区
sofa 顾客等待坐到沙发 顾客离开沙发
barber_chair 顾客等待空理发椅 理发师释放空理发椅
customer_ready 理发师等待，直到1个顾客坐
到理发椅
顾客坐到理发椅上，给理发师
发出信号
mutex 等待理发师空闲，执行理发或
收款操作
理发师执行理发或收款结束，
进空闲状态
mutex1 执行入队或出队等待 入队或出队结束，释放信号
finished[i] 顾客等待对应编号理发师理
发结束
理发师理发结束，释放信号
leave_barberchair 理发师等待顾客离开理发椅 顾客付款完毕得到收据，离开
理发椅释放信号
payment 收银员等待顾客付款 顾客付款，发出信号
receipt 顾客等待收银员收、开具收据收银员收款结束、开具收据，
释放信号
伪码：
semaphore stand_capacity=5;
semaphore sofa=4;
semaphore barber_chair=3;
semaphore customer_ready=0;
semaphore mutex=3;
semaphore mutex1=1;
semaphore finished[3]={0,0,0};
semaphore leave_barberchair=0;
semaphore payment=0;
semaphore receipt=0;
void customer()
{
int barber_number;
wait(stand_capacity); //等待进理发店
enter_room(); //进理发店
wait(sofa); //等待沙发
leave_stand_section(); //离开站席区
signal(stand_capacity);
sit_on_sofa(); //坐在沙发上
wait(barber_chair); //等待理发椅
get_up_sofa(); //离开沙发
signal(sofa);
wait(mutex1);
sit_on_barberchair(); //坐到理发椅上
signal(customer_ready);
barber_number=dequeue(); //得到理发师编号
signal(mutex1);
wait(finished[barber_number]); //等待理发结束
pay(); //付款
signal(payment); //付款
wait(receipt); //等待收据
get_up_barberchair(); //离开理发椅
signal(leave_barberchair); //发出离开理发椅信号
exit_shop(); //了离开理发店
}
void barber(int i)
{
while(true)
{
wait(mutex1);
enqueue(i); //将该理发师的编号加入队列
signal(mutex1);
wait(customer_ready); //等待顾客准备好
wait(mutex);
cut_hair(); //理发
signal(mutex);
signal(finished[i]); //理发结束
wait(leave_barberchair); //等待顾客离开理发椅信号
signal(barber_chair); //释放barber_chair 信号
}
}
void cash() //收银
{
while(true)
{
wait(payment); //等待顾客付款
wait(mutex); //原子操作
get_pay(); //接受付款
give_receipt(); //给顾客收据
signal(mutex);
signal(receipt); //收银完毕，释放信号
}
}
分析：
在分析该问题过程中，出现若干问题，是参阅相关资料后才认识到这类问题的隐蔽性和严重
性的,主要包括：
（1）在顾客进程，假如是在释放leave_barberchair 信号之后进行付款动作的话，很
容易造成木有收银员为其收款的情形， 原因是： 为该顾客理发的理发师收到
leave_barberchair 信号后，释放barber_chair 信号，另外一名顾客坐到理发椅上，
该理发师有可能为这另外一名顾客理发，而木有为刚理完发的顾客收款。
为处理这个问题，
就是采取在释放leave_barberchair 信号之前，完成付款操作。这样该理发师没方法进
下一轮循环为另外顾客服务，只可以到收银台收款。
（2）本算法是通过给理发师编号的方式，当顾客坐到某理发椅上也同时获得理发师的编号，
如此，当该理发师理发结束，释放信号，顾客仅有接收到为其理发的理发师的理发结束信号
才会进行付款等操作。
这样实现，是为避免这样的错误，即：假如仅用1个finished 信
号量的话，很容易出现别的理发师理发完毕释放了finished 信号，把正在理发的这位顾
客赶去付款,而已经理完发的顾客却被阻塞在理发椅上的情形。
当然也可以为顾客进行编
号，让理发师获取他理发的顾客的编号，但这样就会限制顾客的数量，由于finished[]
数组不能是无限的。而为理发师编号，则只需要三个元素即可。
3。参考文献：
左金平 计算机操作系统（System）中哲学家进餐问题探究。
参考教材 操作系统（System）—内核与设计原理
其他网络(互联网)资源"。
答：详情>>
答：什么是计算机网络技术? 计算机网络技术是通信技术与计算机技术相结合的产物。计算机网络是按照网络协议，将地球上分散的、独立的计算机相互连接的集合。连接介质可以是电...详情>>
