本文首发于我的公众号:码农手札,主要介绍linux下c++开发的知识包括网络编程的知识同时也会介绍一些有趣的算法题,欢迎大家关注,利用碎片时间学习一些编程知识,冰冻三尺非一日之寒,让我们一起加油!
前言
最近在学习操作系统的知识,又看到了经典的并发模型,不得不说在多线程编程中,最好使用一些已经被验证过的正确的模型,其中生产者消费者模型就是典型的成功模型,值得学习,其实之前我也写过生产者消费者的实现,但这次我会稍微深入一些,为什么要这样写,如果不这样写会带来什么样的问题。
简单但是有问题的例子
int buffer;
int count = 0;
void put(int value){
assert(count == 0);
count = 1;
buffer = value;
}
int get(){
assert(count == 1);
count = 0;
return buffer;
}
上面是put()和get()函数的实现
cond_t cond;
mutex_t mutex;
void *producer(void *arg){
int i ;
int loops = (int)arg;
for(i = 0; i < loops; ++i){
pthread_mutex_lock(&mutex); //p1
if(count == 1) //p2
pthread_cond_wait(&cond, &mutex); //p3
put(i); //p4
pth