实验二生产者-消费者问题.doc

PAGE  PAGE 10 实验二 生产者-消费者问题 实验目的 掌握进程同步和互斥算法，掌握WIN32 API中基本的同步对象，使用WIN32 API解决实际问题。 实验内容 生产者-消费者问题是一个经典的进程同步问题，该问题最早由Dijkstra提出，用以演示他提出的信号量机制。本实验要求设计在同一个进程地址空间内执行的两个线程。生产者线程生产物品，然后将物品放置在一个空缓冲区中供消费者线程消费。消费者线程从缓冲区中获得物品，然后释放缓冲区。当生产者线程生产物品时，如果没有空缓冲区可用，那么生产者线程必须等待消费者线程释放出一个空缓冲区。当消费者线程消费物品时，如果没有满的缓冲区，那么消费者线程将被阻塞，直到新的物品被生产出来。 本实验要求设计并实现一个进程，该进程拥有一个生产者线程和一个消费者线程，它们使用N个不同的缓冲区（N为一个确定的数值，本实验中取N=16）。你需要使用如下信号量： 一个互斥信号量，用以阻止生产者线程和消费者线程同时操作缓冲区列表； 一个信号量，当生产者线程生产出一个物品时可以用它向消费者线程发出信号； 一个信号量，消费者线程释放出一个空缓冲区时可以用它向生产者线程发出信号； 下面给出的是解决这一问题的伪代码，你可以在此基础上编写自己的程序： #define N 16 //定义信号量 semaphore mutex = 1; semaphore full = 0; semaphore empty = N; //定义共享缓冲区 buf_type buffer[N]; main(…) { … //创建生产者和消费者线程 CreateThread(…, Producer, …); CreateThread(…, Consumer, …); … } Producer() { buf_type *nextp; while(TRUE) { sleep(rand); //休眠一段随机时间 produce_item(nextp); //生产一个物品 P(empty); //请求一个空缓冲区 //操作缓冲区池 P(mutex); add nextp to buffer; //将物品放置在一个空缓冲区中 printf(“produce a new item to the %d-th slot”, ….); V(mutex); //用信号通知一个满的缓冲区 V(full); } } Consumer() { buf_type *nextc; while(TRUE) { sleep(rand); //休眠一段随机时间 P(full); //请求一个满缓冲区 //操作缓冲区池 P(mutex); remove an item to nextc; //获得物品，然后释放缓冲区 printf(“consume an item in the %d-th slot”, ….); V(mutex); //用信号通知一个空的缓冲区 V(empty); } } 上述伪代码只是为了提供一个解决问题的思路，与Windows的同步原语无关。你可以根据需要选用Windows提供的同步对象（包括信号量、互斥量、事件、临界区等）编写自己的代码。该问题有许多解决方法，你应该认真研究Windows的各种不同的同步对象，并在自己的程序中做出适当的选择。 实验要求 需要提交源程序代码（应当有适量注释）和实验报告，实验报告应包括完成人（姓名、学号）和结果分析（或错误原因分析） 注意：程序和实验报告请用Winrar经打包压缩后通过FTP提交到相应子目录；为了检查方便， Winrar附件一律命名为： OS+学号（们）+_02，例如O02.rar。 实验可能涉及到的主要API函数 互斥对象 互斥对象运行在内核模式，具有全局性，不同的进程都能够访问。这样利用互斥对象就可以让不同的进程中的线程互斥访问一个共享资源。但是因为用这个函数操作系统需要进行用户态到核心态的转换，来回转换需要消耗较多的CPU时间。 和互斥相关的函数有： HANDLE CreateMutex ( LPSECURITY_ATTRIBUTES lpMutexAttributes, BOOL bInitialOwner, LPCTSTR lpName ); BOOL ReleaseMutex ( HANDLE hMutex ); ReleaseMutex 函数功能：该函数放弃指定互斥对象的拥有权。 函数原型：BOOL ReleaseMutex ( HANDLE hMutex