操作系统经典问.docVIP

操作系统经典问题介绍 一 生产者-消费者问题扩展 1.扩展一 设有一个可以装A、B两种物品的仓库,其容量无限大，但要求仓库中A、B两种物品的数量满足下述不等式：-M≤（A物品数量－B物品数量）≤N其中M和N为正整数。试用信号量和PV操作描述A、B两种物品的入库过程。 　　问题分析： 　　若只放入A，而不放入B，则A产品最多可放入N次便被阻塞；若只放入B，而不放入A，则B产品最多可放入M次便被阻塞；每放入一次A，放入产品B的机会也多一次；同理，每放入一次B，放入产品A的机会也多一次。 The P,V code Using Pascal Semaphore mutex=1，sa=N，sb=M; cobegin procedure A: procedure B: 　 　while(TURE) while(TURE) begin begin p(sa); p(sb); p(mutex); p(mutex); A产品入库； B产品入库； V(mutex); V(mutex); V(sb); V(sa); end end coend ?2.扩展二 　　设有一个可以装A、B两种物品的仓库，其容量有限（分别为N），但要求仓库中A、B两种物品的数量满足下述不等式: 　　-M≤A物品数量－B物品数量≤N 　　其中M和N为正整数。另外，还有一个进程消费A,B，一次取一个A，B组装成C。试用信号量和PV操作描述A、B两种物品的入库过程。 　　问题分析： 　　已知条件-M≤A物品数量－B物品数量≤N可以拆成两个不等式，即 　　A物品数量－B物品数量≤N 　　B物品数量－A物品数量≤M 　　这两个不等式的含义是：仓库中A物品可以比B物品多，但不能超过N个；Ｂ物品可以比A物品多，但不能超过M个。 　　The P,V code Using Pascal 　　semaphore mutex=1,a,b=m,empty1,empty2=N,full1,full2=0; 　　cobegin 　　 process(A); 　　 process(B); 　　 process(C) 　　coend 　　A物品入库： 　　process A 　 　begin 　　 while(TRUE) 　 　begin 　　 p(empty1); 　 　P(a); 　 　p(mutex); ?2.扩展二 　　设有一个可以装A、B两种物品的仓库，其容量有限（分别为N），但要求仓库中A、B两种物品的数量满足下述不等式: 　　-M≤A物品数量－B物品数量≤N 　　其中M和N为正整数。另外，还有一个进程消费A,B，一次取一个A，B组装成C。试用信号量和PV操作描述A、B两种物品的入库过程。 　　问题分析： 　　已知条件-M≤A物品数量－B物品数量≤N可以拆成两个不等式，即 　　A物品数量－B物品数量≤N 　　B物品数量－A物品数量≤M 　　这两个不等式的含义是：仓库中A物品可以比B物品多，但不能超过N个；Ｂ物品可以比A物品多，但不能超过M个。 　　The P,V code Using Pascal 　　semaphore mutex=1,a,b=m,empty1,empty2=N,full1,full2=0; 　　cobegin 　　 process(A); 　　 process(B); 　　 process(C) 　　coend 　　A物品入库： 　　process A 　 　begin 　　 while(TRUE) 　 　begin 　　 p(empty1); 　 　P(a); 　 　p(mutex); ? ???3.扩展三 　　设P,Q,R共享一个缓冲区，P，Q构成一对生产者-消费者，R既为生产者又为消费者。使用P,V实现其同步。 　　问题分析： 　　略。 　　The P,V code Using Pascal 　　var mutex,full,empty:semaphore; 　　full:=1; 　　empty:=0; 　　mutex:=1; 　　cobegin 　 　Procedu