哲学家进餐问题三种解决死锁问题

方案一
至多允许有四位哲学家同时去拿左边的筷子,然后在允许拿右边的筷子,最终能保证至少有一位哲学家能够进餐,并在用毕时能同时释放他用过的两只筷子,从而使更多的哲学家能够进餐

semaphore chopstick[5] = {1,1,1,1,1};
semaphore num_mutex = 4;
while(wait(num_mutex))
{
    wait(chopstick[i]);
    wait(chopstick[(i+1)%5]);
     // eat()
    
    signal(chopstick[i]);
    signal(chopstick[(i+1)%5]);
    signal(num_mutex);
}

方案二
仅当哲学家的左,右两只筷子均可用时,才允许他拿起筷子进餐

semaphore chopstick[5] = {1,1,1,1,1}
do{
···
    // think()
    swait(chopstick[(i+1)%5],chopstick[i]);
    //eat()
    signal(chopstick[(i+1)%5],chopstick[i]);

}while(true)

方案三
规定奇数号的哲学家先拿起他左边的筷子,然后再去拿他右边的筷子;而偶数号的哲学家则先拿起他右边的筷子,然后再去拿他左边的筷子。按此规定,将是1、2号哲学家竞争1号筷子,3、4号哲学家竞争3号筷子。即五个哲学家都竞争奇数号筷子,获得后,再去竞争偶数号筷子,最后总会有一个哲学家能获得两支筷子而进餐

semaphore chopstick[5]={1,1,1,1,1};
void philosopher(int i)
{
    while(true)
    {
        think();
        if(i%2 == 0) //偶数哲学家,先右后左。
        {
            wait (chopstick[(i + 1)%5]) ;
            wait (chopstick[i]) ;
            eat();
            signal (chopstick[(i + 1)%5]) ;
            signal (chopstick[i]) ;
        }
        else //奇数哲学家,先左后右。
        {
            wait (chopstick[i]) ;
            wait (chopstick[(i + 1)%5]) ;
            eat();
            signal (chopstick[i]) ;
            signal (chopstick[(i + 1)%5]) ;
        }
    }
}

 

  • 12
    点赞
  • 49
    收藏
    觉得还不错? 一键收藏
  • 0
    评论

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值