计算机操作系统程课设计报告.docVIP

操 作 系 统 设 计 报 告 姓名：韦李 学号：201113030225 日期：2013年12月30日 目录 第1章 需求分析 1 1.1 设计题目 1 1.2 设计目的 1 1.3 设计环境与工具 1 1.3.1 设计环境 1 1.3.2 设计工具 1 1.4 设计要求 1 第2章 概要设计 2 2.1 设计内容与原理 2 2.1.1 设计内容 2 2.1.2 设计原理 2 2.2 程序流程图 3 第3章 详细设计 5 3.1 数据结构 5 3.2 算法说明 5 3.2.1 同步机制原语算法 5 3.2.2 具体算法实现 6 3.3 具体程序实现 7 3.3.1 生产者方法 7 3.3.2 消费者方法 7 3.3.3 多线程实现 8 第4章 程序运行结果和分析 10 4.1 运行结果 10 4.2 结果分析 10 第5章 总结与体会 11 附录：源程序 14 第1章 需求分析 1.1 设计题目 用多线程同步方法解决生产者－消费者问题 1.2 设计目的 1.通过编程实现生产者与消费者问题，了解进程同步的概念，理解信号量机制的原理。 2.掌握运用信号量解决进程同步问题的方法，学会运用进程的同步于互斥结局生产者与消费者的冲突问题。 3.通过研究Linux的线程机制和信号量实现生产者消费者问题的并发控制。 1.3 设计环境与工具 1.3.1 设计环境 Fedora 10操作系统 1.3.2 设计工具 Vi 编辑器，gcc编译器 1.4 设计要求 1.有界缓冲区内设有20个存储单元，放入/取出的数据项设定为1-20这20个整型数。 2.每个生产者和消费者对有界缓冲区进行操作后，即时显示有界缓冲区的全部内容、当前指针位置和生产者/消费者线程的标识符。 3.生产者和消费者各有两个以上。 4.多个生产者或多个消费者之间须共享对缓冲区进行操作的函数代码。 第2章 概要设计 2.1 设计内容与原理 2.1.1 设计内容 在同一个进程地址空间内执行的两个线程，生产者生产物品，然后将物品放置在一个空缓冲区中供消费者线程消费。消费者线程从缓冲区中获得物品，然后释放缓冲区，当生产者线程生产物品时，如果没有空缓冲区可用，那么生产者线程必须等待消费者线程释放出一个空缓冲区，当消费者线程消费物品时，如果没有满的缓冲区，那么消费者线程将被阻塞，知道新的物品被生产出来，我的具体做法也是如此，建立缓冲区，生产者生产的产品放入，消费者从中取产品，如果没有产品，则等待。 2.1.2 设计原理 要实现生产者与消费者的互斥关系，生产者和消费者进程之间必须满足两个同步条件： 1.只有在缓冲池中至少有一个缓冲区已存入消息后，消费者才可以从中提取消息，否则消费者必须等待。 2.只有缓冲池中至少有一个缓冲区是空时，生产者才可以把消息放入缓冲区中，否则生产者必须等待。 要满足第一个同步条件，设置一个同步信号量full_sem，它的值为20时整个缓冲区满，这个资源是消费者进程所拥有，消费者进程可以申请资源，对它做P操作；另外一个信号量empty_sem，它的初值为20，表示整个缓冲区都是空的。可以用full_sem表示空缓冲区数量，empty_sem表示满缓冲区数量，另外有界缓冲区是一个临界资源，必须互斥使用，所以必须再设置一个互斥信号量mux，初值为1。 在生产者/消费者问题中，信号量实现两种功能，首先，它是跟踪资源的生产和消费的计数器，其次，它是协调产品的生产者和消费者之间动作同步的同步器。消费者通过再一指派给它的信号量上做P操作来表示消耗资源，而生产者通过再同一个信号量上做V操作来表示生产资源。而这种信号量的实施中，计数在每次P操作后减1，而在每次V操作后加1。这个计数器的初始值是可利用的资源数目，当资源是不可利用时，将申请资源的进程防止在等待队列中，如果有一个资源释放，在等待队列中的第一个进程被唤醒并得到资源的控制权。 假定在生产者和消费者之间的公用缓冲区中，具有n个缓冲区，这时可以利用互斥信号量mutex实现诸进程对缓冲区的互斥使用，利用信号量empty和full分别表示缓冲池中空缓冲区和满缓冲区的数量，又假定这些生产者和消费者互相等效果，只要缓冲区未满，生产者便可以将消息送入缓冲池，只要缓冲池未空，消费者便可以从缓冲池中取走一个消息。 2.2 程序流程图 图 2.1 生产者流程图 图2.2 消费者流程图 第3章 详细设计 3.1 数据结构 #define N 2