华东石油大学计算机考研操作系统第二章2.pptVIP

2.4 经典进程的同步问题 生产者-消费者问题 五个哲学家吃通心面问题 读者-写者问题 一、生产者—消费者问题 设有m个生产者进程和n个消费者进程(m，n大于等于1)，它们共享包含k个缓冲区的缓冲池，每一缓冲区可存放一个单位的产品信息。生产者不断地生产产品信息并放入缓冲区中，消费者不断地从缓冲区中取产品信息消费。 分析一：同步互斥关系 同步关系：生产者和消费者两类进程间存在两个同步关系 （1）生产者生产后，消费者才能消费； （2）消费者消费产品腾出缓冲区后，生产者才能生产。 互斥关系：所有进程因共享缓冲区而存在互斥关系 分析二：信号量设置 根据进程间的相互制约关系，设置三个信号量SA、SB和mutex （1）同步信号量SA 标识BUF中有无信息可取，初值为0 生产者Pi进程送信息到BUF后执行V(SA)操作；消费者Cj进程从BUF中取信息前执行P(SA)操作。 （2）同步信号量SB 标识BUF是否空闲，初值为k 生产者Pi进程送信息到BUF前执行P(SB)操作；消费者Cj进程从BUF中取信息后执行V(SB)操作。 （3）互斥信号量mutex 用于控制所有进程互斥使用缓冲区，初值为1 实现 分析：同步与互斥的的正确实现 对临界区的互斥进入 无论是生产者还是消费者对缓冲区的操作部分即临界区均处于P(mute