【操作系统】哲学家就餐问题

版权声明:本文为博主原创文章,遵循 CC 4.0 by-sa 版权协议,转载请附上原文出处链接和本声明。
本文链接:https://blog.csdn.net/liushall/article/details/81012225

问题

有五个哲学家围坐在一圆桌旁,桌中央有一盘通心粉,每人面前有一只空盘子,每两人之间放一只筷子。每个哲学家的行为是思考,感到饥饿,然后吃通心粉。为了吃通心粉,每个哲学家必须拿到两只筷子,并且每个人只能直接从自己的左边或右边去取筷子。
一个简单的解法是,用一个信号量表示一支筷子,这五个信号量构成信号量数组,所有信号量初始值为1,第I个哲学家的活动课描述为:

semaphore chopstick[04] = {1,1,1,1,1};
Repeat
   think;
   wait(chopstick[i]);
    wait(chopstick[(i+1) mod 5]);
    eat;
    signal(chopstick[i]);
    signal(chopstick[(i+1) mod 5]);
until false;     

若五位哲学家同时饥饿而各自拿起了左边的筷子,这使五个信号量 chopstick 均为 0,当他们试图去拿起右边的筷子时,都将因无筷子而无限期地等待下去,即可能会引起死锁。为防止死锁发生,哲学家进餐问题的改进解法:
方法一:至多只允许四位哲学家同时去拿左筷子,最终能保证至少有一位哲学家能进餐,并在用完后释放两只筷子供他人使用。
方法二:仅当哲学家的左右手筷子都拿起时才允许进餐。
方法三:规定奇数号哲学家先拿左筷子再拿右筷子,而偶数号哲学家相反。
请用PV操作描述上述三种方法。

解决方法

方法一

至多只允许四位哲学家同时去拿左筷子,最终能保证至少有一位哲学家能进餐,并在用完后释放两只筷子供他人使用

int chopstick[5] = {1, 1, 1, 1, 1};
int man = 4;  //最多4个人可以拿左筷子
Philosopher( int i ) {  //第i个哲学家
    while( true ) {
        think();
        wait( man );  //拿左筷子的哲学家不超过4个
        wait( chopstick[i] );
        wait( chopstick[ (i+1)%5 ] );
        eat();
        signal( chopstick[i] );
        signal( chopstick[(i+1)%5] );
        signal( man );
    }
}
方法二

仅当哲学家的左右手筷子都拿起时才允许进餐,否则将拿起的筷子放下

1)为便于理解(2),先使用AND型信号量

int chopstick[5] = {1, 1, 1, 1, 1};
Philosopher( int i ) {
    while( true ) {
        think();
        Swait( chopstick[i], chopstick[(i+1)%5] );
        eat();
        Ssignal( chopstick[i], chopstick[(i+1)%5] );
    }
}

(2) 使用PV操作

// 使用加锁方式,将取左右筷子的过程绑定为原子操作
int chopstick[5] = {1, 1, 1, 1, 1};
int muitex = 1;
Philosopher( int i ) {
    while( true ) {
        think();
        wait( mutex );
        wait( chopstick[i] );
        wait( chopstick[(i+1)%5] );
        signal( mutex );
        eat();
        signal( chopstick[i] );
        signal( chopstick[(i+1)%5] );
    }
}
方法三

规定奇数号的哲学家先拿起他左边的筷子,然后再去拿他右边的筷子;而偶数号的哲学家则相反

int chopstick[5] = {1, 1, 1, 1, 1};
Philosopher( int i ) {
    while( true ) {
        think();

        if( i % 2 ) {  //奇数号哲学家
            wait( chopstick[i] );
            wait( chopstick[(i+1)%5] );
        } else {  //偶数号哲学家
            wait( chopstick[(i+1)%5] );
            wait( chopstick[i] );
        }

        eat();
        signal( chopstick[i] );
        signal( chopstick[(i+1)%5] );
    }
}
展开阅读全文

没有更多推荐了,返回首页