linux---生产者和消费者模型(条件变量和信号量实现)
问题的提出
在我们对一些全局变量的进行非原子性操作的时候就可能出现非线程安全，比如我们吃面的问题。
我们做面的人就是生产者，吃面的人就是我们的消费者，当我们的消费者需要吃面的时候就唤醒我们的生产者进行生产，当我们有面的时候我们的生产者就不继续生产面条，去唤醒我们的消费者进行消费。
生产者和消费者模型：
- 如何保证生产者与消费者的线程安全？
- 生产者与生产者应该具有互斥关系
- 消费者与消费者之间应该具有互斥关系
- 生产者和消费者之间应该具有同步与互斥
实现生产者和消费者模型：
- 一个场所：
一个场所就是我们多个线程能够同时操作的，比如一个全局变量的链表或者一个类中的队列等等
- 两种角色：
两种角色是我们的生产者和消费者
- 三种关系：
三种关系就是生产者与生产者、消费者与消费者、生产者和消费者时间的关系
代码实现：
特别指出：因为促使条件满足之后，pthread_con_singnal唤醒至少一个等待线程，导致因为条件的判断是一个if语句而造成一碗面多吃的情况，第一个吃面的人加锁吃面之后解锁，第二个吃面的人被唤醒继续吃面，此时条件的判断需要使用while，因为促使条件满足后，othrad_cond_wait唤醒是所有等待在条件变量线程，但是有可能唤醒的线程也是一个坐满的线程，因为已经有面条，条件不满足而陷入等待，导致死等，本质的原因就是唤醒了错误的角色。（因为不同的角色等待在统一条件变量上）；
1 #include
2 #include
3 #include
4 #include
5 class Blockqueue{
6 public:
7 //构造函数，初始化我们的锁和队列的大小
8 Blockqueue(int cap = 10):_capcity(cap){
9 pthread_mutex_init(&_mutex,NULL);
10 pthread_cond_init(&_cond_prodoct,NULL);
11 pthread_cond_init(&_cond_consumer,NULL);
12 }
13 ~Blockqueue(){//析构函数，销毁我们的锁和条件变量
14 pthread_mutex_destroy(&_mutex);
15 pthread_cond_destroy(&_cond_prodoct);
16 pthread_cond_destroy(&_cond_consumer);
17 }
18 //提供公共的接口。出栈和入栈
19 bool QueuePush(int data){
20 //加锁
21 QueueLock();
22 while(QueueIsfull()){//当队列满了生产者等待等待
23 ProductorWait();
24 }
25 //进行入队列的操作
26 _queue.push(data);
27 //唤醒我们的消费者
28 ConsumerWakeup();
29 //解锁
30 QueueUnlock();
31 return true;
32 }
33 bool QueuePop(int* data){
34 QueueLock();//加锁
//此时就是唤醒我们的队列的时候应该是while虚循环等待
35 while(QueueIsempty()){//当队列是空的就等待
36 ConsumerWait();
37 }
38 //进行出队列的操作
39 *data = _queue.front();
40 _queue.pop();
41 //唤醒我们的生产者
42 ProductorWakeup();
43 QueueUnlock();
44 return true;
45 }
46 private:
47 //实现上面的小函数
48 void QueueLock(){
49 pthread_mutex_lock(&_mutex);
50 }
51 void QueueUnlock(){
52 pthread_mutex_unlock(&_mutex);
53 }
54 void ProductorWait(){
55 pthread_cond_wait(&_cond_prodoct,&_mutex);
56 }
57 void ConsumerWait(){
58 pthread_cond_wait(&_cond_consumer,&_mutex);
59 }
60 void ProductorWakeup(){
61 pthread_cond_signal(&_cond_prodoct);
62 }
63 void ConsumerWakeup(){
64 pthread_cond_signal(&_cond_consumer);
65 }
66 bool QueueIsfull(){
67 return (_queue.size() == _capcity);
68 }
69 bool QueueIsempty(){
70 return _queue.empty();
71 }
72 private:
73 //一个队列
74 std::queue _queue;
75 int _capcity;//容量
76 pthread_mutex_t _mutex;//一个锁
70 return _queue.empty();
71 }
72 private:
73 //一个队列
74 std::queue _queue;
75 int _capcity;//容量
76 pthread_mutex_t _mutex;//一个锁
77 pthread_cond_t _cond_prodoct;
78 pthread_cond_t _cond_consumer;
79
80 };
81 void* thr_product(void* arg){
82 Blockqueue* p = (Blockqueue*)arg;
83 int i = 0;
84 while(1){
85 p->QueuePush(i++);
86 std::cout<<"生产者生产数据:"<QueuePop(&data);
95 std::cout<<"消费者使用数据:"< _queue;
75 int _capcity;//容量
76 pthread_mutex_t _mutex;//一个锁
77 pthread_cond_t _cond_prodoct;
78 pthread_cond_t _cond_consumer;
79
80 };
81 void* thr_product(void* arg){
82 Blockqueue* p = (Blockqueue*)arg;
83 int i = 0;
84 while(1){
85 p->QueuePush(i++);
86 std::cout<<"生产者生产数据:"<QueuePop(&data);
95 std::cout<<"消费者使用数据:"< 这里介绍一个新的知识点：信号量
信号量就是计数器+等待队列+等待+唤醒，他是一个自带计数体的条件变量，我们不需要进行条件的判断了，此时计数器本身就是一个判断的条件。
功能：实现线程与进程中间的同步与互斥
计数器->判断的条件，当计数只是0/1的时候那么此时就相当于就是一个互斥量。
信号量接口：
- 信号量的初始化
#include
int sem_init(sem_t *sem, int pshared, unsigned int value);
Link with -pthread.
参数：
sem:设置的信号量的变量
pshared:设置用于线程还是进程，0用于线程，1用于进程，
value:资源计数器的初值
- 信号量等待
#include
int sem_wait(sem_t *sem);
int sem_trywait(sem_t *sem);
int sem_timedwait(sem_t *sem, const struct timespec *abs_timeout);
Link with -pthread.
sem_wait是等待，sem_trywait是尝试等待，sem_timedwait是限时等待。（明白等待是计数大于0的时候wait操作之后计数减1，直到计数小于等于0的时候则阻塞等待）
参数：
sem：是我们定义的信号量变量
abs_timeout：是一个时间结构体
- 信号量唤醒
#include
int sem_post(sem_t *sem);
Link with -pthread.
唤醒等待操作，则计数+1；
参数：
sem:定义的信号量变量
- 信号量销毁
#include
int sem_destroy(sem_t *sem);
Link with -pthread.
信号量和条件变量的区别：
信号量拥有资源计数的功能，临界资源是否能够操作通过自身计数判断，条件变量是搭配互斥锁进行一起使用
信号量还可以实现互斥计数仅仅为0/1.
信号量实现生产者消费者模型
1 #include
2 #include
3 #include
4 #include
5 class Blockqueue{
6 public:
7 Blockqueue(int cap = 10):_queue(10),_capacity(cap),
8 _read_step(0),_write_step(0)
9 {
10 //对我们三个信号量进行初始化
11 //int sem_init(sem_t *sem, int pshared, unsigned int
12 //value);
13 sem_init(&_sem_data,0,0);
14 sem_init(&_sem_idle,0,cap);
15 sem_init(&_sem_lock,0,1);
16 }
17 ~Blockqueue(){
18 sem_destroy(&_sem_data);
19 sem_destroy(&_sem_idle);
20 sem_destroy(&_sem_lock);
21 }
22
23 //提供公共的接口
24 bool QueuePush_back(int data){
25 //生产者等待
26 ProductWait();
27 //加锁
28 QueueLock();
29 //生产数据
30 _queue[_write_step] = data;
31 _write_step = (_write_step+1)% _capacity;
32 //解锁
33 QueueUnlock();
34 //唤醒生产者
35 ConsumerWakeup();
36 return true;
37 }
38 bool QueuePop(int* data){
39 //消费者等地啊
40 ConsumerWait();
41 //加锁
42 QueueLock();
43 //消费数据
44 *data = _queue[_read_step];
45 _read_step = (_read_step+1)%_capacity;
46 //解锁
47 QueueUnlock();
48 //唤醒我们的生产者
49 ProductWakeup();
50 return true;
51 }
52 private:
53 void QueueLock(){//加锁
54 sem_wait(&_sem_lock);
55 }
56 void QueueUnlock(){
57 sem_post(&_sem_lock);
58 }
59 void ProductWakeup(){
60 sem_post(&_sem_idle);
61 }
62 void ProductWait(){
63 sem_wait(&_sem_idle);
64 }
65 //此时对于消费者来说的话我们是对于数据资源来说的
66 void ConsumerWait(){
67 sem_wait(&_sem_data);
68 }
69 void ConsumerWakeup(){
70 sem_post(&_sem_data);
71 }
72 private:
73 //一个队列
74 std::vector _queue;
75 int _capacity;//容量
76 int _read_step;//读的位置
77 int _write_step;//写的位置
78 sem_t _sem_data;//数据资源空间
79 sem_t _sem_idle;//空闲资源空间
80 sem_t _sem_lock;//实现互斥的信号量
81
82 };
83 void* thr_consumer(void* arg){
84 Blockqueue* b = (Blockqueue*)arg;
85 int data;
86 while(1){
87 b->QueuePop(&data);
88 std::cout<<"消费者消费数据"<QueuePush_back(i++);
98 }
99 return NULL;
100 }
101 int main(){
102 pthread_t ctid[4],ptid[4];
103 //创建四个生产者和四个消费者
104 Blockqueue b;
105 int ret = 0;
106 int i = 0;
107 for(i = 0;i < 4; i++){
108 ret = pthread_create(&ctid[i],NULL,thr_consumer,(void*)&b);
109 if(ret < 0){
110 std::cout<<"线程创建出现问题"<