1、2021/8/612021/8/621、生產者與消費者問題2、讀者與寫者問題3、哲學家就餐問題2021/8/63 生產者與消費者 引言： 問題描述：一組生產者進程通過一個具有n個緩沖區的緩沖池循環不斷地向一組消費者提供產品，怎樣才能正確描述這兩個進程？2021/8/64 解:(1)設置信號量的情況： 設同步信號量empty，初值為n，表示生產者有n個空緩沖區可用。 同步信號量full，初值為0，表示生產者尚未把產品放入緩沖池。 互斥信號量mutex，初值為1，以保證同時只有一個進程能夠進入臨界區，訪問訪沖池。2021/8/65(2)算法描述生產者生產出一產品；P(empty);P(mutex)

2、;將該產品放入緩沖區；V(mutex);V(full);消費者P(full);P(mutex);從緩沖區取出一產品；V(mutex);V(empty);消費該產品；2021/8/66 var mutex,empty,full:semaphore:=1,n,0; buffer:arr0,1,n-1 of item; in,out:integer:=0,0; process proceducer begin repeat 生產出一產品； p(empty); p(mutex); buffer(in):=nextp; in:=(in+1)mod n; v(mutex); v(full); until

3、false; end process consumer begin repeat p(full); p(mutex); nextc:=buffer(out); out:=(out+1)mod n; v(mutex); v(empty); 消費該產品； until false; endcobegincoend2021/8/67 讀者與寫著 問題描述：一組讀者(指對共享數據對象只要求讀的進程)與一組寫者(指對共享數據對象只要求寫的進程)循環訪問共享的同一個數據對象，規定多個讀者可以同時讀這個數據對象，但絕不允許多個寫者對這個數據對象進行寫操作。也不允許讀者、寫者同時訪問這個數據對象。2021/8/

4、68 解:(1)設置信號量的情況： 設互斥信號量wmutex，初值為1，用于實現寫者與其它寫者或讀者互斥地訪問共享數據對象。 互斥信號量rmutex，初值為1，用于實現讀者互斥地訪問讀者計數器變量。 設整型變量RC，初值為0，用于對讀者進行計數。2021/8/69(2)算法描述讀者P(rmutex);若RC=0，則P(wmutex);RC加1；V(rmutex);讀數據對象；P(rmutex);RC減1；若RC=1，則v(wmutex);V(rmutex);寫者P(wmutex);對數據對象進行寫操作V(wmutex);2021/8/610 var rmutex,wmutex:semaphor

5、e:=1,1; RC:integer:=0; process reader begin repeat p(rmutex); if RC=0 then p(wmutex); RC:=RC+1; v(rmutex); 讀數據對象； p(rmutex); RC:=RC-1; if RC=0 then v(wmutex); v(rmutex); until false; end cobegin2021/8/611 process writer begin repeat p(wmutex); 對數據進行寫操作; v(wmutex); until false; endcoend2021/8/612哲學家問題 問題描述：在一個圓形餐桌上有5份通心粉，間隔放有5把叉子，5個哲學家各自坐在一份通心粉前。哲學家思考時，他們不做任何動作，當他們饑餓時，必須手持兩把叉子才能吃通心粉，而且只能取得自己左右手邊的叉子。吃完后，叉子必須放回。2021/8/613 解:(1)設置信號量的情況： 放在桌上的叉子為臨界資源，在一段時間內只允許一位哲學家試用。 設五個信號量用數組來描述： var stick:arr0,4 of semaphore;2021/8/614(2)算法描述： process 哲學家 begin repea