哲学家进餐问题：

哲学家进餐问题：

 

分析：筷子是临界资源，在一段时间内只允许一个哲学家使用

  用一个信号量表示一支筷子，由这五个信号量构成信号量组

  Var chopstick:array[0...4]  of  semaphore

  所有信号量被初始化为1

用记录型信号量   解决哲学家进餐问题：

第i个哲学家的活动可描述为：

Repeat

Wait(chopstick[i]);

Wait (chopstick[(i+1)mod5]);

...eat...

Signal(chopstick[i]);

Signal(chopstick[i+1]mod5);

...

Think;

Until false;

 

 

问题：  假如五个哲学家同时饥饿而各自拿起左边的筷子，会使五个信号量均为0，当他们再 试图拿起右边的筷子时，都将无限期地等待。

解决方法：1、之多四个人同时拿起左边的筷子，保证至少有一个人可以进餐，最终释放筷子使      更多的人进餐

  2、仅当哲学家的左右两只筷子均可用时，才 允许他拿起筷子进餐。

  3、规定奇数号哲学家先拿起其左边的筷子

用AND型信号量   解决哲学家进餐问题

Var chopstick;

Array[0...4] of  semaphore: = (1,1,1,1,1)

第i个哲学家的活动：

Repeat

Think；

swait（chopstick[chopstick(i+1)mod5], chopstick[i]);

eat 

Ssignal(chopstick[(i+1)mod5] , chopstick[i]);

  think;

until false;