哲学家就餐问题的解决方案(三种)

方案一

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

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