OS冷门知识点:哲学家进餐问题

哲学家进餐问题与普通的进程同步互斥问题不同的是：每个进程都需要同时持有两个临界资源，因此就有了解决“死锁”问题的隐患，需要解决，特给出三种解决方案：

1、可以对哲学家进餐进程施加一些限制条件，比如最多允许四个哲学家同时进餐：

Semaphore philospher=4;
Semaphore chopsticks[5]={1,1,1,1,1};
Philospher i(){
   while(1){
   P(philospher);
   P(chopsticks[i];
   P(chopsticks[(i+1)%5];
   开始进餐;
   V(chopsticks[i]);
   V(chopsticks[(i+1)%5]);
   V(philospher);
}

2、一次仅有一位哲学家可以访问临界资源筷子

semaphore chopsticks[5]={1,1,1,1,1};//五个哲学家进程
semaphore mutex=1;    //互斥资源，设置的互斥信号量
philosopher i(){
    while(1)
    {
        //用p v操作框起来，保证了左右两边都有筷子
        P(mutex);
        P(chopsticks[i]);//去左边的筷子
        P(chopsticks[(i+1)%5]);//取右边的筷子       
        开始进餐；
        V(mutex);       //这里有一些不一样,先释放互斥锁可以保证其他哲学家取用筷子不会被阻碍
        V(chopsticks[i]);
        v(chopsticks[(i+1)%5]);
}

3、规定奇数号的哲学家先拿起他左边的筷子，然后再拿起右边的筷子；同理，偶数号的哲学家先拿起他右边的筷子，然后再拿起其左边的筷子：

semaphore chopsticks[5]={1,1,1,1,1};//五个哲学家进程
void process(int i){
    while(1)
    {
        if(i%2==0)//偶数号先拿右边的筷子
        {
            P(chopsticks[(i+1)%5]);//取右边的筷子
            P(chopsticks[i]);//去左边的筷子
             开始进餐；
            V(chopsticks[(i+1)%5]);
            V(chopsticks[i]);
 
        }
        else  //奇数号先拿左边的筷子
        {
            P(chopsticks[i]);//去左边的筷子
            P(chopsticks[(i+1)%5]);//取右边的筷子
             开始进餐；
            V(chopsticks[i]);
            V(chopsticks[(i+1)%5]);    
        }   
     }
}