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

方案一

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

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

}

1

2

3

4

5

6

7

8

9

10

11

12

方案二

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

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

3

4

5

6

7

8

9

10

11

方案三

规定奇数号的哲学家先拿起他左边的筷子，然后再去拿他右边的筷子；而偶数号的哲学家则先拿起他右边的筷子，然后再去拿他左边的筷子。按此规定，将是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]) ;

}

}

}