第五讲 进程的同步.pptVIP

第 五 讲进 程 的 同 步 教 学 目 标 ????? 了解经典同步问题 熟悉PV操作对进程同步的控制 思考以下情况： 若P、V所处位置交换 若信号量s不取零值 2.4 进程的同步 一、同步 相互合作的一组并发进程并发进行，其中每一个进程 都以各自独立的、不可预知的速度向前推进;但它们 又需要密切合作，以实现一个共同的任务。并发进程 在一些关键点上可能需要互相等待与互通消息，这种 相互制约的等待与互通消息称为进程同步。 进程同步是指两个以上进程基于某个条件来协调 它们的活动。一个进程的执行依赖于协作进程的 消息或信号。 进程互斥关系是一种特殊的进程同步关系，即逐 次使用互斥共享资源，是对进程使用资源次序上 的一种协调。 用PV操作可以解决进程的同步问题 一般同步问题可以分为两类 一类是一组合作进程按逻辑需要的次序执行； 另一类是共享缓冲区（或数据）的合作进程的同步。 下面分别讨论这两类问题的解法。 main( ) { int Sb=0; /*表示Pb进程能否开始执行*/ int Sc=0; /*表示Pc进程能否开始执行*/ cobegin Pa( ); Pb( ); Pc( ); coend; } Pa( ) { Pa工作; V(Sb); /*允许Pb进程开始工作*/ V(Sc); /*允许Pc进程开始工作*/ } Pb ( ) { P(Sb); /*询问Pb进程可否开始工作*/ Pb开始工作; } Pc ( ) { P(Sc); /*询问Pc进程可否开始工作*/ Pc开始工作; } ☆ 共享缓冲区的同步 若干进程使用同一个缓冲区，由于可能使用同一缓 冲单元或者之间存在一定的协同关系，必须遵循一 定的同步规则。 例1：生产者与消费者问题（有界缓冲问题 P58） 有K个生产者和m个消费者，使用一个有n个缓冲 单元的有界缓冲区。其中，producer和consumer 是并发进程，只要缓冲区未满，生产者P生产的 产品就可投入缓冲区；只要缓冲区不空，消费 者进程C就可从缓冲区取走并消耗产品。 var n,integer; type item=…; var buffer:array[0...n-1] of item; in,out:0,1,…n-1; counter:integer:0,1,…n; Producer:repeat ……… 　 produce an item in nextp； ……… 　while counter=n do no-op; 　 buffer[in]:=nextp; 　 　in:=(in+1) mod n; 　 　counter:=counter+1； 　 　 until false； Consumer:repeat 　　 While counter=0 do no-op; nextc:=buffer[out]; out:=(out+1) mod n; counter:=counter-1; consume the item in nextc; 　 　　 Until false 生产者--消费者问题是计算机操作系统中并发进程内在关系的一种抽象，是典型的进程同步问题。 在操作系统中，生产者进程可以是计算进程、发送进程；而消费者进程可以是打印进程、接收进程等。 解决好生产者--消费者问题就解决好了一类并发进程的同步问题。 例3：哲学家吃通心面问题 上述解法可能出现永远等待，有几种办法可避免死锁 至多允许四个哲学家同时吃； 奇数号先取左手边的叉子，偶数号先取右手边的叉子； 每个哲学家取到手边的两把叉子才吃，否则一把叉子也不取。 例4：读者写者问题 var Readcount : integer:=0; W，R: semaphore; Readcount := 0; /* 读进程计数 */ W := 1; R := 1