第3章 进程管理 PV操作专题.ppt

本课程内容 第一章 绪论 第二章 操作系统用户界面 第三章 进程管理 第四章 处理机调度 第五章 存储管理 第七章 文件系统 第八章 设备管理 例13：设在书中所描述的生产者销费者问题中，其缓冲部分为m个长度相等的有界缓冲区组成，且每次传输数据长度等于有界缓冲区长度以及生产者和消费者可对缓冲区同时操作。重新描述发送过程 deposit（data）和接收过程 removedata）。 解答：设第1块缓冲区的公用信号量为mutex［I］，保证生产者进程和消费者进程对同一块缓冲区操作的互斥，初值为1。设信号量avail为生产者进程的私用信号量，初值为m。信号量fllll为消费者进程的私用信号量，初值为0。从而有： deposit (data ) Begin P (avail ) 选择一个空缓冲区i P (mutext [I]) 送数据入缓冲区i V (full ) V (mutext [l]) End Remove (data ) Begin P (fu1l ) 选择一个满缓冲区I P (mutext [I]) 取缓冲区i中的数据 V (avai1) V (mutext [I]) End 例14：试： （1）描述一个保证不会出现两个邻座同时要求吃饭的通信算法。 （2）描述一个既没有两邻座同时吃饭，又没有人饿死（永远拿不到筷子）的算法。在什么情况下，5个哲学家全部吃不上饭？ 解答： （1）设信号量C〔0］～c［4〕，初始值均为1，分别表示I号筷子被拿（I—0，1，2，3，4）， Philosopher（I）：第I个哲学家要吃饭 Begin P (c[I]); P(c[I+ l mod 5]) ; Eat l V(c[I+l mod 5]) ; V (c[I] ) 4 End; 该过程能保证 两邻座不同时吃饭，但会出现5个哲学家一人拿一只筷子，谁也吃不上饭的死锁情况。 （2）解决的思路如下：让奇数号的哲学家先取右手边的筷子，让偶数号的哲学家先取左手边的筷子。 这样，任何一个哲学家拿到一只筷子以后，就已经阻止了他邻座的一个哲学家吃饭的企图，除非某个哲学家一直吃下去，否则不会有人会饿死。 Philosopher (I ): Begin If I mod 2 = = 0 then { P(c[I]) ； P(c[(I+ l) mod 5 ]) Eat ； V(c[I])； V(c[(I+1 )mod 5]) } else { P (c[(I + l) mod 5] ) ；P (c[I] ) Eat V (c[(I+ l) mod 5] ) ；v (c[I] ) } End 例15：问题：用P、V操作解决下面问题 司机进程： REPEAT 启动车辆 正常驾驶 到站停车 UNTIL … 售票员进程： REPEAT 关门 售票 开门 UNTIL … 同步要求：先关门，后开车； 先停车，后开门 信号量： S_Door, {初值为0} S_Stop; {初值为0} PA( ) {while(1) { 从磁盘读出一个文件记录； p(empty1); p(mutex1); 将一个文件记录读入缓冲池1； v(mutex1); v(full1); } } PB( ) {while(1) { p(full1); p(mutex1); 从缓冲区1中读出一个文件记录； v(mutex1); v(empty1); p(empty2); p(mutex2); 将一个记录读入缓冲区2； v(mutex2)； v(full2); } } PC( ) {while(1) { p(full2); p(mutex2); 从缓冲池2读出一个文件记录打印； v(mutex2); v(empty2); } } 例9：有三个进程A、B、C，其中A与B构成一对生产者和消费者，共享一个由n个缓冲区块组成的缓冲池1；B与C也构成一对生产者与消费者，共享另一个由m个缓冲块组成的缓冲池2。用P、V操作描述它们之间的同步关系。 解答： 设置四个信号量empty1、empty2、full1和fu