第三章进程管理(下).pptVIP

begin int Sa=0； int Sb=1; cobegin 　process cp 　　 begin Lc:得到一个进程结果； P(Sb); 将数送到缓冲区中； V(Sa); goto Lc; end process iop begin Lo:P(Sa); 从缓冲区中取一数； V(Sb); 从打印机上输出； goto Lo; end coend end 设置两个信号量Sa和Sb。信号量Sa用来表示缓冲区中是否有可供打印的计算结果，初值为0。信号量Sb用以表示缓冲区有无空位置存放新的信息，初值为1。算法描述如下： 表示buf中有无信息 表示buf中有无空位置 四、生产者—消费者问题 生产者—消费者问题是一个典型的同步例子。 它描述了一组生产者向一组消费者提供产品（数据），它们共享一个有界缓冲区，生产者向其中投放产品，消费者从中取出产品消费。这样的一个问题是许多相互合作进程存在的内在关系的一种抽象。 一组生产者P1、P2、…、Pm 一组消费者C1、C2、…、Ck 有界缓冲区——长度为n（n ＞0） 只要缓冲区未满，生产者就可把产品送入缓冲区；只要缓冲区未空，消费者便可从缓冲区取走产品并消耗它。 仅当缓冲区满时，生产者被阻塞，类似地，缓冲区空时，消费者被阻塞。 生产者和消费者的同步关系将禁止生产者向满的缓冲区输送产品，也禁止消费者从空的缓冲区中提取物品。 P1 P2 P3 Pm-1 Pm ┇ ┇ C1 C2 C3 Ck-1 Ck 缓冲区 信号量的功能： 消费者在信号量上做P操作来表示消耗一个资源，生产者通过在同一信号量上做v操作表示生产一个资源。计数器在每次P操作后减1，而在每次V操作中增1。这一计数器的初始值是可利用的资源数目。当资源是不可利用时，将申请资源的进程放置到等待队列中，如果有一个资源释放，在等待队列中的第一个进程被唤醒并得到资源的控制权。 为解决这一类生产者—消费者问题，应设置两个同步信号量： 1）avail:表示空缓冲单元的数目，初值为缓冲区的大小n; 2）full:表示满缓冲单元(即产品）的数目，初值为0； 由于有界缓冲区是一个临界资源，必须互斥使用，所以，另外还需要设置一个互斥信号量： 3）mutex:互斥信号量，初值为l。 生产者—消费者问题 生产者进程Pi(i=1,2,…… ,m) 消费者进程Cj(j=1,2,…… ,k) 产品送入缓冲区 P(avail) P(mutex) V(mutex) V(full) 生产一个产品 从缓冲区取一个产品 P(mutex) V(avail) V(mutex) 消耗该产品 P(full) 生产者—消费者问题算法描述 begin int full=0； int avail=n; int mutex=1; int ti,tj=0; cobegin process produceri begin Lp: 生产一个产品； P(avail); P(mutex); 送一个产品到ti缓冲区； ti= (ti+1) mod n; V(mutex); V(full); goto Lp end process consumerj begin Lc: P(full); P(mutex); 从缓冲区tj中取产品； tj= (tj+1) mod n; V(mutex); V(avail); 消费一个产品； goto Lc end coend end 例 ：用信号量实现司机和售票员间的同步。 司机 售票员 正常行车 到站停车 售 票 开车门 关车门 离站开车 设：S1和S2分别为司机和售票员的私用信号量，其初值均为0， 信号量S1表示售票员通知司机“可以开车”的消息（信号）， 信号量S2表示司机通知售票员“可以开门”的