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

第二章 一．用信号量机制实现进程同步 2.1.1.桌上有一个空盒，盒内只允许放一个水果。妈妈轮流向盒内放桔子和苹果，儿子专等吃盒中的桔子，女儿专等吃盒中的苹果。若盒内已有水果，放者必须等待，若盒内没有自己吃的水果，吃者必需等待。试在下述类PASCAL程序中虚线位置分别填上信号量、信号量初值和P、V操作实现三个进程正确的并发执行。 var (信号量)﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎：semaphore：= (信号量初值) ﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎； begin parbegin 妈:begin repeat 準備 ﹎﹎﹎﹎﹎﹎﹎﹎ 向盒内放桔子 ﹎﹎﹎﹎﹎﹎﹎﹎ 準備 ﹎﹎﹎﹎﹎﹎﹎﹎ 向盒内放苹果 ﹎﹎﹎﹎﹎﹎﹎﹎ until false end 儿：begin repeat ﹎﹎﹎﹎﹎﹎﹎﹎ 拿盒中的桔子 ﹎﹎﹎﹎﹎﹎﹎﹎ 吃桔子 until false end 女：begin repeat ﹎﹎﹎﹎﹎﹎﹎﹎ 拿盒中的苹果 ﹎﹎﹎﹎﹎﹎﹎﹎ 吃苹果 until false end parend end 2.1.2.桌上有一个空盒，盒内只允许放一个水果，爸爸专向盒内放苹果，妈妈专向盒内放桔子。儿子专等吃盒中的桔子，女儿专等吃盒中的苹果。若盒内已有水果，放者必须等待，若盒内没有水果，吃者必需等待。试在下述类PASCAL程序中虚线位置分别填上信号量、信号量初值和P、V操作实现四个进程正确的并发执行。 var (信号量)﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎：semaphore：= (信号量初值) ﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎； begin parbegin 爸：begin repeat 準備 ﹎﹎﹎﹎﹎﹎﹎﹎ 向盒内放苹果 ﹎﹎﹎﹎﹎﹎﹎﹎ until false end 妈:begin repeat 準備 ﹎﹎﹎﹎﹎﹎﹎﹎ 向盒内放桔子 ﹎﹎﹎﹎﹎﹎﹎﹎ until false end 儿：begin repeat ﹎﹎﹎﹎﹎﹎﹎﹎ 拿盒中的桔子 ﹎﹎﹎﹎﹎﹎﹎﹎ 吃桔子 until false end 女：begin repeat ﹎﹎﹎﹎﹎﹎﹎﹎ 拿盒中的苹果 ﹎﹎﹎﹎﹎﹎﹎﹎ 吃苹果 until false end parend end 2.1.3.桌上有一个空盒，盒内只允许放一个水果，妈妈向盒内放苹果或桔子。儿子专等吃盒中的桔子，女儿专等吃盒中的苹果，若盒内已有水果，放者必须等待，若盒内没有自己要吃的水果，吃者必需等待。试在下述类PASCAL程序中虚线位置分别填上信号量、信号量初值和P、V操作实现三个进程正确的并发执行。 var (信号量)﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎：semaphore：= (信号量初值) ﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎； begin parbegin 妈: begin repeat 準備 ﹎﹎﹎﹎﹎﹎ 向盒内放水果(苹果或桔子) if 水果==桔子 then ﹎﹎﹎﹎﹎﹎ else ﹎﹎﹎﹎﹎﹎ 　　until false end 儿：begin repeat ﹎﹎﹎﹎﹎﹎ 拿盒中的桔子 ﹎﹎﹎﹎﹎﹎ 吃桔子 until false end 女：begin repeat ﹎﹎﹎﹎﹎﹎ 拿盒中的苹果 ﹎﹎﹎﹎﹎﹎ 吃苹果 　until false end parend end 2.1.4.桌上有一个空盒，盒内只允许放一个水果。妈妈专向盒内放水果，儿子和女儿争着等吃盒中的水果。若盒内已有水果，放者必须等待，若盒内没有水果，吃者必需等待。试在下述类PASCAL程序中虚线位置分别填上信号量、信号量初值和P、V操作实现三个进程正确的并发执行。 var (信号量)﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎：semaphore：= (信号量初值) ﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎﹎； begin parbegin 妈: begin repeat 準備 ﹎﹎﹎﹎﹎﹎﹎﹎ 向盒内放水果 ﹎﹎﹎﹎﹎﹎﹎﹎ until false 　end 儿：b