T第2章进程3通信线程演示.docVIP

 FILENAME 3880420-58fb47452bc86.doc PAGE 1 PAGE 16 2．4 经典进程的同步问题 ① Dijkstra 1968年提出的生产者-消费者问题 ② 五个哲学家进餐问题 ③ 读者-写者问题(两类) 2．4．1 生产者-消费者问题(producer-consumer problems) 例3 S T GET COPY PUT GET、COPY、PUT三进程共用两个缓冲区S、T(其大小为每次存放一个记录)。GET进程负责不断把输入记录送入缓冲区S中，COPY进程负责从缓冲区S中取出记录复制到缓冲区T中，PUT进程负责把记录从缓冲区T中取出打印，试用WAIT、SIGNAL操作实现这三个进程之间的同步。 ① 对GET COPY S是临界区，同步为空满 ② 对PUT T是临界区，同步为空满 初始 SE=1 空 TE=1 空 SF=0 满 TF=0 满 GET： COPY： While(1) While(1) {wait(se)；//申请s空 {wait(sf)；//申请s满 add data to s； take data from s； signal(sf)； signal(se)；//通知get，s空 } add data to t； signal(tf)//通知put，t满 } PUT： While(1) {wait（tf）；//申请t满 take data to output； signal（te）；//释放t } 例3：有穷缓冲区生产者和消费者问题 设有多个生产者和消费者，他们共享一个具有n个存储单元的有穷缓冲区0……n-1。 in out 满 空 遵循以下规则： 1)只要缓冲区有空闲单元，生产者都可存放信息，当缓冲区满时，任一生产者提出要求时，都必须等待。 2)只要缓冲区中有信息可取，消费者都可以从缓冲区中取用信息，当缓冲区空时，任一消费者取用信息都必须等待。 3)生产者们和消费者们不能同时读写缓冲区。 设缓冲区编号为0～n-1，设三个信号量。 semaphore mutex=1，empty= n，full=0； char buffer[n]； int in=0，out=0； producer(semaphore mutex, semaphore empty, semaphore full) { while(1) {…… produce a new message m； wait(empty)； wait(mutex)； buffer(in)=m； in=(in+1)% n； signal(mutex)； signal(full)； } } consumer(semaphore mutex, semaphore empty, semaphore full) { while(1) {wait(full)； wait(mutex)； in=buffer(out)； out=(out+1)%n； signal(mutex)； signal(empty)； consume message m } } 信号量只与制约进程及被制约进程有关而不是与整组并发进程有关,称该信号量为私用信号量（Private Semaphore）。 一个进程的私用信号量是从制约它的进程发送来的、使它能继续执行条件所需的消息,称互斥信号量为公用信号量（Public Semaphore）。 例4：利用信号量描述前驱关系 为了实现这种前驱关系，我们只需为进程P1，P2，……P6各设置一个私用信号量a，b，c，d，e，作为同步信号，赋初值为0。 S1 S2 S3 S4 S5 S6 p1：{ S1；signal(a)；signal(a)； } p2： {wait(a)； S2； signal(b)；signal(b)；} p3： {wait(a)； S3； signal(c)； } p4： {wait(b)； S4； signal(d)； } p5： {wait(b)； S5； signal(e)； } p6： {wait(d)； wait(e)； wait(c)； S6； } 在考虑进程同步问题时，要注意到几个问题： ① 分析有几个临界区，是否需要公用互斥信号量，初值是多少（资源量）。 ② 考虑几个进程如何同步，如何通过信号量互通消息，初值是多少。如何用信号量作为进程阻塞和唤醒的机构。 a）在资源分配和释放情况中，进程所等待的事件是其所要求的资源被其它进程释放出来成为可用。这时信号量代表该资源的数量。 b）在进程间相互协同情况下，使进程等待某事件来控制其执