实验五编程模拟生产者和消费者问题

《实验五编程模拟生产者和消费者问题》由会员上传分享，免费在线阅读，更多相关内容在应用文档-天天文库。

1、实验五进程同步与互斥（时间：12月12号）1目的要求1．掌握基本的同步与互斥算法，理解生产者消费者模型；2．学习使用Windows2000/XP中基本的同步对象，掌握相关API的使用方法3．了解Windows2000/XP中多线程的并发执行机制，实现进程的同步与互斥。2实验内容以生产者/消费者模型为依据，在Windows环境下创建n个线程模拟生产者和消费者，实现进程(线程)的同步与互斥。3所需实验设施设备PC、windows操作系统4教学形式及过程演示、学生独立完成实验五编程模拟生产者和消费者问题 一、实验内容模

2、拟实现用同步机构避免发生进程执行时可能出现的与时间有关的错误。二、实验目的进程是程序在一个数据集合上运行的过程，进程是并发执行的，也即系统中的多个进程轮流地占用处理器运行。我们把若干个进程都能进行访问和修改的那些变量称为公共变量。由于进程是并发地执行的，所以，如果对进程访问公共变量不加限制，那么就会产生“与时间有关”的错误，即进程执行后所得到的结果与访问公共变量的时间有关。为了防止这类错误，系统必须要用同步机构来控制进程对公共变量的访问。一般说，同步机构是由若干条原语——同步原语——所组成。本实习要求学生模拟PV

3、操作同步机构的实现，模拟进程的并发执行，了解进程并发执行时同步机构的作用。三、实验题目模拟PV操作同步机构，且用PV操作解决生产者——消费者问题。[提示]：(1)PV操作同步机构，由P操作原语和V操作原语组成，它们的定义如下：P操作原语P(s)：将信号量s减去1，若结果小于0，则执行原语的进程被置成等待信号量s的状态。V操作原语V(s)：将信号量s加1，若结果不大于0，则释放一个等待信号量s的进程。这两条原语是如下的两个过程：procedurep(vars:semaphore);begins:=s-1;ifs<0

4、thenW(s)end{p}procedurev(vars:semaphore);egins:=s+1;ifs£0thenR(s)end{v}其中W（s）表示将调用过程的进程置为等待信号量s的状态；R（s）表示释放一个等待信号量s的进程。在系统初始化时应把semaphore定义为某个类型，为简单起见，在模拟实习中可把上述的semaphore直接改成integer。(2)生产者——消费者问题。假定有一个生产者和一个消费者，生产者每次生产一件产品，并把生产的产品存入共享缓冲器以供消费者取走使用。消费者每次从缓冲器内取

5、出一件产品去消费。禁止生产者将产品放入已满的缓冲器内，禁止消费者从空缓冲器内以产品。假定缓冲器内可同时存放10件产品。那么，用PV操作来实现生产者和消费者之间的同步，生产者和消费者两个进程的程序如下：B:array[0..9]ofproducts;s1,s2;semaphore;s1:=10,s2:=0;IN,out:integer;IN:=0;out:=0;cobeginprocedureproducer;c:products;beginL1:Produce(c);P(s1);B[IN]:=C;IN:=(IN+

6、1)mod10;V(s2);gotoL1end;procedureconsumer;x:products;beginL2:p(s2);x:=B[out];out:=(out+1)mod10;v(s1);consume(x);gotoL2end;coend.其中的semaphore和products是预先定义的两个类型，在模拟实现中semaphore用integer代替，products可用integer或char等代替。(3)进程控制块PCB。为了记录进程执行时的情况，以及进程让出处理器后的状态，断点等信息，每个

7、进程都有一个进程控制块PCB。在模拟实习中，假设进程控制块的结构如图3-1。其中进程的状态有：运行态、就绪态、等待态和完成态。当进程处于等待态时，在进程控制块PCB中要说明进程等待原因（在模拟实习中进程等待原因是为等待信号量s1或s2）；当进程处于等待态或就绪态时，PCB中保留了断点信息，一旦进程再度占有处理器则就从断点位置继续运行；当进程处于完成状态，表示进程执行结束。进程名状态等待原因断点图3-1进程控制块结构(4)处理器的模拟。计算机硬件提供了一组机器指令，处理器的主要职责是解释执行机器指令。为了模拟生产者

8、和消费者进程的并发执行，我们必须模拟一组指令和处理职能。模拟的一组指令见图3-2，其中每条指令的功能由一个过程来实现。用变量PC来模拟“指令计数器”，假设模拟的指令长度为1，每执行一条模拟指令后，PC加1，提出下一条指令地址。使用模拟的指令，可把生产者和消费者进程的程序表示为图3-3的形式。定义两个一维数组PA[0..4]和SA[0..4]，每一个PA[i]存放生产者程序