生产者消费者设计模式教案分析.doc

基于C++11实现生产者消费者 本文将综合运用 C++11 中的新的基础设施(主要是多线程、锁、条件变量)来阐述一个经典问题——生产者消费者模式，并给出完整的解决方案。生产者消费者问题是多线程并发中一个非常经典的问题，相信学过操作系统课程的同学都清楚这个问题的根源。本文将就四种情况分析并介绍生产者和消费者问题，它们分别是：单生产者-单消费者模式，单生产者-多消费者模式，多生产者-单消费者模式，多生产者-多消费者模式，我会给出四种情况下的 C++11 并发解决方案，如果文中出现了错误或者你对代码有异议，欢迎交流。 单生产者-单消费者模式 顾名思义，单生产者-单消费者模式中只有一个生产者和一个消费者，生产者不停地往产品库中放入产品，消费者则从产品库中取走产品，产品库容积有限制，只能容纳一定数目的产品，如果生产者生产产品的速度过快，则需要等待消费者取走产品之后，产品库不为空才能继续往产品库中放置新的产品，相反，如果消费者取走产品的速度过快，则可能面临产品库中没有产品可使用的情况，此时需要等待生产者放入一个产品后，消费者才能继续工作。C++11实现单生产者单消费者模式的代码如下： #include unistd.h #include cstdlib #include condition_variable #include iostream #include mutex #include thread static const int kItemRepositorySize = 10; // Item buffer size. static const int kItemsToProduce = 1000; // How many items we plan to produce. struct ItemRepository { int item_buffer[kItemRepositorySize]; // 产品缓冲区, 配合 read_position 和 write_position 模式环形队列. size_t read_position; // 消费者读取产品位置. size_t write_position; // 生产者写入产品位置. std::mutex mtx; // 互斥量,保护产品缓冲区 std::condition_variable repo_not_full; // 条件变量, 指示产品缓冲区不为满. std::condition_variable repo_not_empty; // 条件变量, 指示产品缓冲区不为空. } gItemRepository; // 产品库全局变量, 生产者和消费者操作该变量. typedef struct ItemRepository ItemRepository; void ProduceItem(ItemRepository *ir, int item) { std::unique_lockstd::mutex lock(ir-mtx); while(((ir-write_position + 1) % kItemRepositorySize) == ir-read_position) { // item buffer is full, just wait here. std::cout Producer is waiting for an empty slot...\n; (ir-repo_not_full).wait(lock); // 生产者等待产品库缓冲区不为满这一条件发生. } (ir-item_buffer)[ir-write_position] = item; // 写入产品. (ir-write_position)++; // 写入位置后移. if (ir-write_position == kItemRepositorySize) // 写入位置若是在队列最后则重新设置为初始位置. ir-write_position = 0; (ir-repo_not_empty).notify_all(); // 通知消费者产品库不为空. lock.unlock(); // 解锁. } int ConsumeItem(ItemRepository *ir) { int data; std::unique_lockstd::mutex lock(ir-mtx); // item buffer is empty, just wait here. while(