操作系统二版徐宗元OS－附加习题答案课件.docVIP

第二章 一．用信号量机制实现进程同步 2.1.1. 解: var (信号量)﹎﹎S , S1 , S2 ﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎：semaphore：= (信号量初值) ﹎﹎1 , 0 , 0 ﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎； begin parbegin 妈:begin repeat 準備 ﹎﹎ P (S ) ﹎﹎ 向盒内放桔子 ﹎﹎ V (S1 ) ﹎﹎ 準備 ﹎﹎ P (S ) ﹎﹎ 向盒内放苹果 ﹎﹎ V (S2) ﹎﹎ until false end 儿：begin repeat ﹎﹎ P (S1 ) ﹎﹎ 拿盒中的桔子 ﹎﹎ V (S) ﹎﹎ 吃桔子 until false end 女：begin repeat ﹎﹎ P (S2 ) ﹎﹎ 拿盒中的苹果 ﹎﹎ V (S) ﹎﹎ 吃苹果 until false end parend end 2.1.2. 解: var (信号量)﹎﹎S , S1 , S2 ﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎：semaphore：= (信号量初值) ﹎﹎1 , 0 , 0 ﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎； begin parbegin 爸：begin repeat 準備 ﹎﹎ P (S ) ﹎﹎ 向盒内放苹果 ﹎﹎ V (S1) ﹎﹎ until false end 妈:begin repeat 準備 ﹎﹎ P (S ) ﹎﹎ 向盒内放桔子 ﹎﹎ V (S2) ﹎﹎ until false end 儿：begin repeat ﹎﹎ P (S1 ) ﹎﹎ 拿盒中的桔子 ﹎﹎ V (S) ﹎﹎ 吃桔子 until false end 女：begin repeat ﹎﹎ P (S2 ) ﹎﹎ 拿盒中的苹果 ﹎﹎ V (S) ﹎﹎ 吃苹果 until false end parend end 2.1.3. 解: var (信号量)﹎﹎S , S1 , S2 ﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎：semaphore：= (信号量初值) ﹎﹎1 , 0 , 0 ﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎； begin parbegin 妈: begin repeat 準備 ﹎﹎ P (S ) ﹎﹎ 向盒内放水果(苹果或桔子) if 水果==桔子 then ﹎﹎ V (S1) ﹎﹎ else ﹎﹎ V (S2) ﹎﹎ 　　until false end 儿：begin repeat ﹎﹎ P (S1 ) ﹎﹎ 拿盒中的桔子 ﹎﹎ V (S) ﹎﹎ 吃桔子 until false end 女：begin repeat ﹎﹎ P (S2 ) ﹎﹎ 拿盒中的苹果 ﹎﹎ V (S) ﹎﹎ 吃苹果 　until false end parend end 2.1.4. 解: var (信号量)﹎﹎S1 , S2 ﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎：semaphore：= (信号量初值) ﹎﹎1 , 0 ﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎； begin parbegin 妈: begin repeat 準備 ﹎﹎ P (S1 ) ﹎﹎ 向盒内放水果 ﹎﹎ V (S2) ﹎﹎ until false 　end 儿：begin repeat ﹎﹎ P (S2 ) ﹎﹎ 拿盒中的水果 ﹎﹎ V (S1) ﹎﹎ 吃水果 until false 　end 女：begin repeat ﹎﹎ P (S2 ) ﹎﹎ 拿盒中的水果 ﹎﹎ V (S1) ﹎﹎ 吃水果 　until false end parend end 2.1.5. 解: var (信号量)﹎﹎S1 , S2 ﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎：semaphore：= (信号量初值) ﹎﹎1 , 0 ﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎； begin parbegin 爸：begin repeat 準備 ﹎﹎ P (S1 ) ﹎﹎ 向盒内放苹果 ﹎﹎ V (S2) ﹎﹎ 　until false end 妈: begin repeat 準備 ﹎﹎ P (S1 ) ﹎﹎ 向盒内放桔子