本文深入探讨了Linux环境下的多线程编程，重点讲解了生产者消费者模型，包括基于BlockingQueue的实现和基于环形队列的实现。此外，还介绍了POSIX信号量的概念和使用，阐述了如何利用信号量实现线程间的同步。文章通过实例分析了不同场景下生产者和消费者的关系，帮助读者理解多线程同步和互斥的实战应用。
本篇博客开始要继续给大家介绍线程同步和互斥的实际应用——生产者消费者模型，还要给大家介绍一种同步的机制——POSIX信号量
目录
??生产者消费者模型
概念： 生产者消费者模式就是通过一个容器来解决生产者和消费者的强耦合问题。生产者和消费者彼此之间不直接通讯，而通过一个来进行通讯，所以生产者生产完数据之后不用等待消费者处理，直接扔给阻塞队列，消费者不找生产者要数据，而是直接从阻塞队列里取，阻塞队列就相当于一个缓冲区，平衡了生产者和消费者的处理能力。这个阻塞队列就是用来给生产者和消费者解耦的。
生产消费者模型优点：
- 解耦：生产者和消费者是通过一个共享数据区域来进行通信。而不是直接进行通信，这样两个角色之间的依耐性就降低了（代码层面实现解耦），变成了角色与共享数据区域之间的弱耦合，一个逻辑出错不影响两一个逻辑，二者变得更独立。
- 支持并发：生产者负责生产数据，消费者负责拿数据。生产者生产完数据可以继续生产，大部分时间内是不需要等待消费者消费数据才继续生产。也就是说，在任一时刻，二者都是在正常处理任务的，进度都得以推进。
- 支持忙闲下不均：生产者生产了数据是放进容器中，消费者不必立即消费，可以慢慢地从容器中取数据。容器快要空了，消费者的消费速度就可以降下来，让生产者继续生产。
生产消费模型特征（简记321）：
- 3种关系： 生产者与生产者（互斥）、生产者与消费者（同步（主要）和互斥）和消费者与消费者（互斥）
- 两个角色： 生产者和消费者
- 一个交易场所： 容器、共享资源等
??基于BlockingQueue的生产者消费者模型
??介绍
在多线程编程中阻塞队列(Blocking Queue)是一种常用于实现生产者和消费者模型的数据结构。
阻塞队列的特点：
- 当队列为空时，从队列获取元素的操作将会被阻塞，直到队列中被放入了元素
- 当队列满时，往队列里存放元素的操作也会被阻塞，直到有元素被从队列中取出(以上的操作都是基于不同的线程来说的，线程在对阻塞队列进程操作时会被阻塞)
在这个模型中，生产者和消费者的交易场所就是阻塞队列。
??实现
??概述
因为交易场所是一个阻塞队列，所以，我封装了一个BlcokingQueue 的类，这里提供了放数据和取数据这样两个主要的方法。其中，有五个成员变量：
- 队列： 使用STL中的queue来实现
- 容量： 阻塞队列的容量，由用户给定，我们也可以提供一个默认的容量
- 互斥量： 为了实现生产者和消费者的同步，我们需要使用条件变量和互斥量来实现同步的操作
- 生产者唤醒和等待的条件变量： 当队列满了，生产者等待条件满足，应该挂起等待，等待消费者唤醒
- 消费者唤醒和等待的条件变量： 当队列为空，消费者等待条件满足，应该挂起等待，等待生产者唤醒
构造函数和析构函数：
- 构造函数做初始化和资源分配的操作，分配锁资源和条件变量
- 析构函数做清理资源的操作，对锁和条件变量进行销毁
代码整体框架：
最低0.47元/天 解锁文章
扫一扫
1355
被折叠的 条评论
为什么被折叠?
到【灌水乐园】发言
