《操作系统课程设计生产者消费者》由会员分享，可在线阅读，更多相关《操作系统课程设计生产者消费者（13页珍藏版）》请在金锄头文库上搜索。
1、湖北民族学院信息工程学院11级计算机专业操作系统课程设计（操作系统课程设计）生产者和消费者学生姓名： 学生学号： 班 级： 0311401、02、03、04班制 二一三年十二月一、 课程题目分析这个题目是生产者向消费者供应商品，消费者消耗商品，并且两组人共用同一缓冲区。生产者供应了商品之后消费者才能去取商品，消费者若不取走商品则当缓冲区用完之后生产者则不能再向缓冲区中添加新的商品。思索问题：（1） 对于生产者进程：每产生一个数据，则需去访问共用缓冲区是否有已满，未满则可以将该数据存入并通知消费者进程，否则不能。（2） 对于消费者进程：每当想去消费（取出数据）时，则需访问缓冲区是否为空，为空则不
2、能消费（取出数据），否则可以取，并通知生产者。（3） 缓冲区是个临界资源，全部的进程对于该空间都是共享的，所以，还有互斥问题存在。二、 课程设计目的通过试验模拟生产者与消费者之间的关系，了解并驾驭他们之间的关系及原理。由此增加对进程同步问题的了解：（1） 驾驭基本的同步互斥算法，理解生产者与消费者模型（2） 了解windows中多线程（多进程）的并发执行机制，线程（进程）间的同步于互斥（3） 学习运用windows中基本的同步对象，驾驭相应的API。三、 课程设计内容有n个生产者和m个消费者，连接在具有k个单位缓冲区的有界环转缓冲上，故又称有界缓冲问题。其中Pi和Cj都是并发进程，只要缓冲区未
3、满，生产者进程Pi所生产的产品就可投入缓冲区；类似地，只要缓冲区非空，消费者进程Cj就可以从缓冲区取走并消耗产品。四、 开发环境操作系统：Windows系统编写语言：C+语言五、 系统分析设计（一） 算法原理生产者消费者问题是典型的进程同步问题，这些进程必需根据肯定的生产率和消费率来访问共享缓冲区，用P、V操作解决生产者和消费者共享单缓冲区的问题，可设置两个信号量empty和full，其初值分别为1和0，empty指示能否向缓冲区放入产品，full指示能否从缓冲区取出产品。为了使其协调工作，必需运用一个信号量mutex（初值为1），以限制生产者和消费者互斥地对缓冲区进行存取，另用两个信号量em
4、pty1（初值为缓冲区大小）和full1（初值为0），以保证生产者不向已满的缓冲区中放入产品，消费者不从空缓冲区中取产品。（二） 功能描述生产者功能描述：在同一个进程地址空间内执行两个线程。生产者线程生产物品，然后将物品放置在一个空缓冲区中供消费者线程消费。当生产者线程生产物品时，假如没有空缓冲区可用，那么生产者线程必需等待消费者线程释放出一个空缓冲区。消费者功能描述：消费者线程从缓冲区获得物品，然后释放缓冲区，当消费者线程消费物品时，假如没有满的缓冲区，那么消费者线程将被堵塞，直到新的物品被生产出来。（三） 算法流程图生产者流程图： 消费者流程图：总的流程图：(四) 数据结构及部分函数描述（
5、1）类SeqSquare：对类SeqSquare的声明及其中一些函数class SeqSquarepublic:SeqSquare(int n);SeqSquare();void P(int x); /p操作void V(int x); /v操作bool IsEmpty(); /推断是否为空bool IsFull(); /推断是否已满void deca();void decb();int getSize();int getmaxSize();int gettop();int geta();int getb();protected:private:int *elements;int top,a,
6、b,maxSize;说明：用动态整型数组*elements来代表缓冲区，不管是生产产品还是对已有产品的消费都须要访问该缓冲区。函数IsFull（）用于推断缓冲区是否已满，生产者能否运用缓冲区。函数IsEmpty（）用于推断缓冲区是否为空，消费者能否运用缓冲区。（2） 生产者和消费者操作及显示函数showbuf：void producer(SeqSquare *a) /生产者操作a-P(1);void consumer(SeqSquare *a) /消费者操作 a-V(1); /缓冲区显示void showbuf(SeqSquare *a)int i=a-getSize();（3） 在实现本程序
7、的生产者消费者模型时，详细地通过以下同步对象实现互斥：设一个互斥量Mutex，以实现生产者在查询和保留缓冲区的下一个空位置时进行互斥。每一个生产者用一个信号量与消费者同步，通过设置Full实现，该组信号量用于表示相应产品以生产。同时用一个表示空缓冲区数目的信号量Empty进行类似的同步，指示缓冲区中是否存在空位置，以便起先生产下一个产品。（四） 调试过程为解决生产者、消费者问题，应当设置两个资源信号量，其中一个表示空缓冲区的数目，用Full表示，其初值为用户输入的缓冲区的大小，另一个表示缓冲区中产品的数目，用Empty表示，其初值为0.另外，由于缓冲区是一个临界资源，必需互斥运用，所以还须要再
8、设置一个互斥信号量Mutex，其初值为1.在生产者、消费者问题中，信号量实现两种功能。首先，他是生产产品和消费产品的计数器，计数器的初值是可运用的资源数目（缓冲区的长度）。其次，他是确保产品的生产者和消费者之间的动作同步的同步器。生产者要生产一个产品时，首先对资源信号量Full和互斥信号量Mutex进行P操作，申请资源。假如可以通过的话，就生产一个产品，并把产品送人缓冲区。然后对互斥信号量Mutex和资源信号量Empty进行V操作，释放资源。消费者要消费一个产品时，首先对资源信号量Empty和互斥信号量Mutex进行P操作，申请资源。假如可以通过的话就从缓冲区取出一个产品并消费掉。然后对互斥信
9、号量Mutex和资源信号量Full进行V操作，释放资源。假如缓冲区中已经没有可用资源，就把申请资源的进程添加到等待队列的队尾。假如有一个资源被释放，在等待队列中的第一个进程被唤醒并取得这个资源的运用权。（五） 参考资料操作系统教程 孙钟秀 高等教化出版社C+程序设计 谭浩强 高等教化出版社六、 运行实例及结果分析（一） 运行实例缓冲区大小为3，先生产一件产品，显示缓冲区，再接着生产一件产品，消耗一件产品，显示缓冲区，在消耗两件产品，再生产4件产品，变更缓冲区的大小为6，显示缓冲区，选择一个未出现的选项，退出程序。（二） 结果显示（三） 结果分析（1） 在每个程序中须要先做P，后做V，二者要成对
10、出现，夹在二者中间的代码段就是该进程的临界区。（2） 对同步信号量full和empty的P,V操作同样必需成对出现，但它们分别位于不同的程序中。（3）无论在生产者进程中还是消费者进程中，两个P操作的次序不能颠倒：应先执行同步信号量的P操作，然后执行互斥信号量的P操作。否则可能造成进程死锁。七、个人体验虽然我也很想用java语言写这个程序，但是由于自己学艺不精，所以只能用C+写。通过这个试验我发觉我以前有很多学问都遗忘了，重新拿起课本学习时发觉原来很多不懂得问题都有了新的相识，有一种豁然开朗的感觉。也为我考研开了一个好的开头。我认为我完成的这个设计做的比较精彩的地方是对C+语言中类以及数组的运用
11、，其实这里我对数组的操作是根据“先进先出”的方法进行运作的，这是参考了栈的工作原理，因为缓冲区一般也是堆栈，比较符合设计要求。这次试验中我感觉做的很粗糙，自己所想的模拟过程的确得到实现了，但是感觉敏捷性不太高，思索还不过全面，应当以后多留意一下，多考虑考虑才是。在这次试验中我重新将C+程序设计和数据结构的几个重要章节复习了一遍，对类、数组、C+的I/O流类库以及堆栈的语句格式、留意细微环节都再一次熟识，感觉蛮好玩的。不过，在编程过程中很多语句的小问题还真是出现不少，而且感觉自己对C+强大丰富的语句方法用得太呆板，不够敏捷，总是想到那些常用的，而忽视了颗粒让语句更简短的方法，以后要多多留意才是。
12、八、 附录/ 生产者消费者1.cpp : Defines the entry point for the console application./#include stdafx.h#include iostreamusing namespace std;class SeqSquarepublic:SeqSquare(int n);SeqSquare();void P(int x); /p操作void V(int x); /v操作bool IsEmpty(); /推断是否为空bool IsFull(); /推断是否已满void deca();void decb();int getSize();
13、int getmaxSize();int gettop();int geta();int getb();protected:private:int *elements;int top,a,b,maxSize;bool SeqSquare:IsEmpty() /推断是否为空return(top=-1)?true:false;bool SeqSquare:IsFull() /推断是否已满return(top=maxSize-1)?true:false;void SeqSquare:deca()a-;void SeqSquare:decb()b-;int SeqSquare:getSize()return top+1;int SeqSquare:getmaxSize()return maxSize;int SeqSquare:gettop()return top;int SeqSquare:g
