实验2生产者和消费者.docVIP

1.1 实验目标 掌握操作系统对进程管理的同步和互斥问题，以经典同步问题“生产者和消费者”为例，运用所学C语言知识，编写该问题的模拟运行环境。 1.2 实验环境 教学机房，C语言程序平台。 1.3 实验内容及步骤 1.了解经典同步问题“生产者和消费者” 生产者与消费者可以通过一个环形缓冲池联系起来，环形缓冲池由几个大小相等的缓冲块组成，每个缓冲块容纳一个产品。每个生产者可不断地每次往缓冲池中送一个生产产品，而每个消费者则可不断地每次从缓冲池中取出一个产品。指针i和指针j分别指出当前的第一个空缓冲块和第一个满缓冲块。 2.分析和理解 （1）既存在合作同步问题，也存在临界区互斥问题 合作同步：当缓冲池全满时，表示供过于求，生产者必须等待，同时唤醒消费者；当缓冲池全空时，表示供不应求，消费者应等待，同时唤醒生产者。 互斥：缓冲池显然是临界资源，所在生产者与消费都要使用它，而且都要改变它的状态。 （2）基于环形缓冲区的生产者与消费者关系形式描述： 公用信号量mutex：初值为1，用于实现临界区互斥 生产者私用信号量empty：初值为n，指示空缓冲块数目 消费者私用信号量full：初值为0，指示满缓冲块数目 整型量i和j初值为0，i指示首空缓冲块序号，j指示首满缓冲块序号 （3）PV原语 var mutex,empty,full:semaphore; i,j:integer;buffer: