操作系统——哲学家进餐问题

哲学家进餐问题

一张圆桌上坐着5名哲学家，每两个哲学家之间的桌上摆一根筷子，一共5只筷子，桌子的中间是一碗米饭。哲学家们倾注毕生的精力用于思考和进餐，哲学家在思考时，并不影响他人。只有当哲学家饥饿时，才试图拿起左、右两根筷子(一根一根地拿起)。如果筷子已在他人手上，则需等待。饥饿的哲学家只有同时拿起两根筷子才可以开始进餐，当进餐完毕后，放下筷子继续思考。

每个哲学家进程需要同时持有两个临界资源才能开始吃饭。
因为只能拿身边的筷子，因此相邻的哲学家存在互斥关系。

法一：最多允许四个哲学家同时进餐

semaphore chopstick[5]={1,1,1,1,1};
semaphore num=4;//最多允许四个人进餐
Pi(){
	while(1){
		if(num!=0)
		num--;//进餐资格减少一位
		P(chopstick[i]);//拿左边的筷子
		P(chopstick[i+1]%5);//拿右边的筷子
		吃饭...
		V(chopstick[i]);//放左边的筷子
		V(chopstick[i+1]%5);//放右边的筷子
		num++;
		思考...
	}
}

法二：要求奇数号哲学家先拿左边的筷子（即跟自己的编号相同的筷子），然后再拿右边的筷子，而偶数号哲学家恰好相反。

semaphore chopstick[5]={1,1,1,1,1};

Pi(){
	while(1){
		if(i%2!=0)//奇数号的哲学家
			P(chopstick[i]);//拿左边的筷子
		P(chopstick[i+1]%5);//拿右边的筷子
		if(i%2==0) //偶数号的哲学家
			P(chopstick[i]);//拿左边的筷子
		吃饭...
		V(chopstick[i]);//放左边的筷子
		V(chopstick[i+1]%5);//放右边的筷子
		思考...
		
	}
}