操作系统3-进程同步和互斥.pptVIP

补充题2 桌上有一空盘，允许存放一个水果。爸爸可向盘中放苹果(Apple)，妈妈可向盘中放西瓜(Melon)，儿子专等吃盘中的苹果，女儿专等吃盘中的西瓜。规定当盘空时一次只能放一个水果供儿子或女儿取用，请用P、V原语实现爸爸、妈妈、儿子、女儿4个并发进程的同步。 分析：爸爸、妈妈、儿子、女儿共用一个盘子，且盘中一次只能放一个水果。当盘子为空时，爸爸可将一个苹果放入盘中或者妈妈可将一块西瓜放入盘中。若放入盘中的是苹果，则允许儿子吃，女儿必须等待；若放入盘中的是西瓜，则允许女儿吃，儿子必须等待。 本题实际上是生产者——消费者问题的一种变形。这里，生产者放入缓冲区的产品有两类，消费者也有两类，每类消费者只消费其中固定的一类产品。 补充题2 int empty=1; int full1=0; int full2=0; main() { cobegin father(); mother(); son(); daughter(); coend } father(){ while(1) { wait(empty);//盘子是否空 将苹果放入盘中; signal(full1); } } mother(){ while(1){ wait(empty);//盘子是否空 将西瓜放入盘中; signal(full2); } } 补充题2 son(){ while(1){ wait(full1);//盘子中有无苹果 从盘中取出苹果; signal(empty); 吃苹果; } } daughter(){ while(1){ wait(full2);//盘子中有无西瓜 从盘中取出西瓜; signal(empty); 吃西瓜; } } 谢谢大家！ * 1、生产者-消费者问题 生产者-消费者问题还可描述为： 一组生产者向一组消费者提供消息。 它们共享一个有界缓冲池，生产者向其中投放消息，消费者从中取得消息。 1. 经典的生产者─消费者问题-单缓冲区 * * 1. 经典的生产者─消费者问题-单缓冲区 * * 1. 经典的生产者─消费者问题-多缓冲区 * * 用一个环形缓冲池来描述: 满 空 in out 环缓冲池 设： 多个进程共享一个缓冲池。该缓冲池有n个缓冲区。 规则： 只要缓冲池未满，生产者便可向缓冲池送入产品； 只要缓冲池未空，消费者便可从缓冲池取走产品。 用一个环形缓冲池来描述: 满 空 in out 环缓冲池 同步: 缓冲池全满时,生产者必须等待,同时唤醒消费者; 缓冲池全空时,消费者应等待,同时唤醒生产者。 互斥： 缓冲池是临界资源， 上述问题的形式描述: 设: (1) 公用信号量mutex代表缓冲池，初值为mutex=1 (2) 私用信号量empty表示 “空” 缓冲区的数量, 初值empty=n (3) 私用信号量full表示 “满” 缓冲区的数量， 初值为 full=0 (4) 整型量 in为空缓冲区序号头指针, out为满缓冲区序号头指针, 初值in=out=0 1. 经典的生产者─消费者问题-多缓冲区 * * 1. 经典的生产者─消费者问题-多缓冲区 * * var mutex, empty, full: psemaphore :=1, n, 0 buffer：array [0…n-1] of item; in,out: integer:=0, 0; procedure producer; 生产者进程 begin repeat produce an item nextp ; wait (empty)； wait (mutex)； buffer(in):=nextp； in:=(in+1) mod (n)； signal (mutex)； signal (full)； until false end； procedure consumer；消费者 begin repeat wait (full)； wait (mutex)； nextc := buffer(out);