哲學(xué)家就餐解法

哲學(xué)家就餐問題及解決方法問題描述

有五個(gè)哲學(xué)家圍坐在一圓桌旁，桌中央有一盤通心粉，每人面前有一只空盤子，每?jī)扇酥g放一只筷子。每個(gè)哲學(xué)家的行為是思考，感到饑餓，然后吃通心粉。為了吃通心粉，每個(gè)哲學(xué)家必須拿到兩只筷子，并且每個(gè)人只能直接從自己的左邊和右邊去取筷子。簡(jiǎn)單方法方法#define

N

5

void

philosopher

(int

i)

{

while

(true)

{

think；

wait(fork[i]);

wait(fork[(i+1)

%

5])；

eat；

signal(fork[i]);

signal(fork[(i+1)

%

5])；

}}問題恰好5個(gè)哲學(xué)家均拿起了每個(gè)人左邊的筷子，這樣5個(gè)哲學(xué)家都爭(zhēng)不到右邊的筷子，都不能吃飯，發(fā)生死鎖。問題及解決方法為防止死鎖發(fā)生可采取的措施：限制同時(shí)就餐人數(shù)：最多允許4個(gè)哲學(xué)家同時(shí)坐在桌子周圍，僅當(dāng)一個(gè)哲學(xué)家左右兩邊的筷子都可用時(shí)，才允許他拿筷子。僅當(dāng)左右兩邊可用，才拿筷子進(jìn)餐：AND信號(hào)量拿筷子方式：規(guī)定奇數(shù)位先拿左后拿右，偶數(shù)位置的先拿右后拿左解法：房間信號(hào)量(人數(shù))最多允許4個(gè)哲學(xué)家同時(shí)坐在桌子周圍，僅當(dāng)一個(gè)哲學(xué)家左右兩邊的筷子都可用時(shí)，才允許他拿筷子。設(shè)置房間信號(hào)量實(shí)現(xiàn)semaphorefork[5]={1,1,1,1,1};semaphoreroom=4;voidphilosopher(inti);{while⑴{think();wait(room);wait(fork[i]);wait(fork[(i+l)%5]);eat();signal(fork[(i+l)%5]);signal(fork[i]);signal(room); }}解法：編號(hào)給所有哲學(xué)家編號(hào)，奇數(shù)號(hào)的哲學(xué)家必須首先拿左邊的筷子，偶數(shù)號(hào)的哲學(xué)家則反之。

即規(guī)定奇數(shù)號(hào)（1，3）的哲學(xué)家先拿左邊的筷子，偶數(shù)號(hào)（0，2，4）的哲學(xué)家先拿右邊的筷子。編號(hào)：實(shí)現(xiàn)方法semaphorefork[5]={1,1,1,1,1};voidphilosopher(inti);{while⑴{think();if(i/2==0){ wait(fork[i]);wait(fork[(i+l)%5]);}

else{wait(fork[(i+l)%5]);wait(fork[i]);}