哲学家进餐问题（结合王道的OS）

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

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

semaphore chopsticks[5]={1,1,1,1,1};//五个哲学家进程
semaphore num=4;//最多只允许四个哲学家同时进餐

while(p(num))//只要不超过四个哲学家就可以拿筷子
{
    p(chopsticks[i]);//去左边的筷子

    p(chopsticks[(i+1)%5]);//取右边的筷子

    开始进餐；

    v(chopsticks[i]);

    v(chopsticks[(i+1)%5]);

    v(num);//释放资源

}

2、每个哲学家进程的两边都有筷子时，才可以进行拿筷子（这个说法并不严谨）：

semaphore chopsticks[5]={1,1,1,1,1};//五个哲学家进程
semaphore mutex=1;    //互斥资源，设置的互斥信号量


philosopher(){

    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]);
            
        }
 
        
     }
}

以上是在复习408之OS这门单科的关于哲学家进餐问题的个人总结，有问题欢迎大佬指正留言。