第三章进程管理5.ppt

BUF1; 发送和接送过程满足的条件是：  1)在Pa至少送一块数据入一个缓冲区之前,Pb不可能从缓冲区中取出数据 2)Pa往缓冲队列发送数据时,至少有一个缓冲区是空的; 3)由Pa发送的数据块在缓冲队列中按先进先出(FIFO)方式排列. 描述发送过程deposit (data)和接受过程remove (data) .; 1)Bufempty————进程Pa的私用信号量,  Buffull ————进程Pb的私用信号量; 2)Bufempty的初始值为n(n 为缓冲队列的缓冲区个数),Buffull的初始值为0; 发送过程Deposit(data),接送过程Remove(data),这两个过程必须同步，因为,因为过程deposit(data)的执行结果是过程remove(data)的执行条件,而当缓冲队列全部装满数据时,remove(data)的执行结果又是deposit(data)的执行条件。 ; Pa:deposit(data) Pb:remove(data) begin local x begin local x  P(Bufempty) P(Buffull) 按FIFO方式选择一个 按FIFO方式选择一个 空缓冲Buf(x); 装满数据的缓冲Buf(x) Buf(x)--data data--Buf(x) Buf(x)置满标记 Buf(x)置空标记 V(Buffull) V(Bufempty) end end;;2 生产者－消费者的同步问题(The Proceducer-Consumer Problem) 举例： ?  ? ? 生产者把产品生产出来，送入仓库。给 消费者发信号，消费者得到信号后，到仓库 取产品，取走产品后给生产者发信号……;生产者－消费者问题是相互合作进程关系的一种抽象 输入——计算——打印 生产者 消费者 生产者 消费者 系统中使用资源的进程——消费者 系统中释放资源同类资源的进程——生产者; 1 想接收数据时，有界缓冲区中至少有一个单元是满的 2 生产者想发送数据时，有界缓冲区中至少有一个单元是空的 同步问题 由于缓冲区是临界资源，所以生产者和消费者之间必须互斥的访问临界资源 用信号量解题的关键 步骤：? 信号量的设置；? 给信号量赋初值（常用的互斥和同步信号量值的大小）；? P、V操作安排的位置（其中，P的顺序不能颠倒，V的顺序任意）;设：公用信号量 mutex 表示缓冲区的个数 初值为1 （消费者）私用信号量 full 表示有界缓冲区中非空单元数 初值为0 （生产者）私用信号量 avail 表示有界缓冲区中空的单元数 初值为n deposit（data）： begin P(avail) 检查缓冲区中是否有空单元 执行后n-1 P(mutex) 检查缓冲区是否可用 执行后 mutex＝0 送数据入缓冲区 V(full) 执行后，非空单元数加1 0+1＝1 V(mutex) 释放缓冲区中的资源 end;deposit（data）： begin P(avail) P(mutex) 送数据入缓冲区 V(full) V(mutex) end Remove（data）： begin P(