操作系统第2章课件.pptVIP

PC管程可描述如下： 　　type producer-consumer=monitor 　　　　var in,out,count: integer； 　　　　　buffer: array[0, …, n-1] of item； 　　　　　notfull，notempty:condition； 　　　　　procedure entry put(item) 　　　　　　　begin 　　　　　　　　if count=n then notfull.wait； 　　　　　　　　　buffer(in):=nextp； 　　　　　　　　　in:=(in+1) mod n； 　　　　　　　　　count:=count+1； 　　　　　　　　　if notempty.queue then notempty.signal； 　　　　　　　　end 　　　　procedure entry get(item) 　　　　　　　begin 　　　　　　　　if count=0 then notempty.wait； 　　　　　　　　nextc:=buffer(out)； 　　　　　　　　out:=(out+1) mod n； 　　　　　　　　count:=count-1； 　　　　　　　　if notfull.quene then notfull.signal； 　　　　　　　end 　　　　begin in:=out:=0； count:=0 end 　　在利用管程解决生产者—消费者问题时，其中的生产者和消费者可描述为： 　　producer: begin 　　　　　　　　repeat 　　　　　　　　　produce an item in nextp； 　　　　　　　　　PC.put(item)； 　　　　　　　　until false； 　　　　　　　end 　　consumer: begin 　　　　　　　　repeat 　　　　　　　　　PC.get(item)； 　　　　　　　　　consume the item in nextc； 　　　　　　　　until false； 　　　　　　　end 2.4.2　哲学家进餐问题 　　1．利用记录型信号量解决哲学家进餐问题 　　经分析可知，放在桌子上的筷子是临界资源，在一段时间内只允许一位哲学家使用。为了实现对筷子的互斥使用，可以用一个信号量表示一只筷子，由这五个信号量构成信号量数组。其描述如下： 　　Var chopstick: array[0，…，4] of semaphore； 所有信号量均被初始化为1，第i位哲学家的活动可描述为： 　　repeat 　　　　wait(chopstick[i])； 　　　　wait(chopstick[(i+1)mod 5])； 　　　　　　 　　　　eat； 　　　　　　 　　　　signal(chopstick[i])； 　　　　signal(chopstick[(i+1)mod 5])； 　　　　　　 　　　　think； 　　until false； … … … 在以上描述中，当哲学家饥饿时，总是先去拿他左边的筷子，即执行wait(chopstick[i])； 成功后，再去拿他右边的筷子，即执行wait(chopstick[(i+1)mod 5])；又成功后便可进餐。进餐完毕，又先放下他左边的筷子，然后再放右边的筷子。虽然，上述解法可保证不会有两个相邻的哲学家同时进餐，但有可能引起死锁。假如五位哲学家同时饥饿而各自拿起左边的筷子时，就会使五个信号量chopstick均为0； 当他们再试图去拿右边的筷子时，都将因无筷子可拿而无限期地等待。对于这样的死锁问题，可采取以下几种解决方法： 　　(1) 至多只允许有四位哲学家同时去拿左边的筷子，最终能保证至少有一位哲学家能够进餐，并在用毕时能释放出他用过的两只筷子，从而使更多的哲学家能够进餐。 　　(2) 仅当哲学家的左、右两只筷子均可用时，才允许他拿起筷子进餐。 　　(3) 规定奇数号哲学家先拿他左边的筷子，然后再去拿右边的筷子，而偶数号哲学家则相反。按此规定，将是1、2号哲学家竞争1号筷子；3、4号哲学家竞争3号筷子。即五位哲学家都先竞争奇数号筷子，获得后，再去竞争偶数号筷子，最后总会有一位哲学家能获得两只筷子而进餐。 　　2．利用AND信号量机制解决哲学家进餐问题 　　在哲学家进餐问题中，要求每个哲学家先获得两个临界资源(筷子)后方能进餐，这在本质上就是前面所介绍的AND同步问题，故用AND信号量机制可获得最简洁的解法。描述如下： Var chopstick array of semaphore:=(1,1,1,1,1)； 　　processi 　　　r