侯体宗的博客
  • 首页
  • Hyperf版
  • beego仿版
  • 人生(杂谈)
  • 技术
  • 关于我
  • 更多分类
    • 文件下载
    • 文字修仙
    • 中国象棋ai
    • 群聊
    • 九宫格抽奖
    • 拼图
    • 消消乐
    • 相册

浅谈生产者消费者模型(Linux系统下的两种实现方法)

linux  /  管理员 发布于 7年前   149

生产者消费者问题是同步问题中的一种常见情况,借用一下维基百科的话

生产者消费者问题(英语:Producer-consumer problem),也称有限缓冲问题(英语:Bounded-buffer problem),是一个多线程同步问题的经典案例。该问题描述了两个共享固定大小缓冲区的线程――即所谓的“生产者”和“消费者”――在实际运行时会发生的问题。生产者的主要作用是生成一定量的数据放到缓冲区中,然后重复此过程。与此同时,消费者也在缓冲区消耗这些数据。该问题的关键就是要保证生产者不会在缓冲区满时加入数据,消费者也不会在缓冲区中空时消耗数据。

第一种实现信号量配合互斥锁实现,这种方法很清晰简单

信号量:

信号量的特性如下:信号量是一个非负整数(车位数),所有通过它的线程/进程(车辆)都会将该整数减一(通过它当然是为了使用资源),当该整数值为零时,所有试图通过它的线程都将处于等待状态。在信号量上我们定义两种操作: Wait(等待) 和 Release(释放)。当一个线程调用Wait操作时,它要么得到资源然后将信号量减一,要么一直等下去(指放入阻塞队列),直到信号量大于等于一时。Release(释放)实际上是在信号量上执行加操作,对应于车辆离开停车场,该操作之所以叫做“释放”是因为释放了由信号量守护的资源。

wait, release在Linux下

int sem_wait(sem_t * sem);
int sem_post(sem_t * sem);

设定两个信号量,empty用来表示空槽的个数,full用来表示占有的个数

生产者在向任务队列里放资源时,调用sem_wait(&full)来检查队列是否已满,如果满的话,就阻塞,直到有消费者从里面取资源再苏醒,如果不满,就放资源,并通知消费者来取。

消费者在从任务队列里取资源时,调用sem_wait(&empty)来检查队列是否为空,如果空的话,就阻塞,直到有生产者向里面放资源再苏醒,如果不空,就取资源,并通知生产者来放。

而互斥锁仅仅是为了防止多个线程同时对队列进行操作,造成未知的结果。

#include <stdio.h>#include <pthread.h>#include <semaphore.h>#define MAX 5 //队列长度pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;sem_t full; //填充的个数sem_t empty; //空槽的个数int top = 0;   //队尾int bottom = 0; //队头void* produce(void* arg){int i;for ( i = 0; i < MAX*2; i++){printf("producer is preparing data\n");sem_wait(&empty);//若空槽个数低于0阻塞pthread_mutex_lock(&mutex);top = (top+1) % MAX;printf("now top is %d\n", top);pthread_mutex_unlock(&mutex);sem_post(&full);}return (void*)1;}void* consume(void* arg){int i;for ( i = 0; i < MAX*2; i++){printf("consumer is preparing data\n");sem_wait(&full);//若填充个数低于0阻塞pthread_mutex_lock(&mutex);bottom = (bottom+1) % MAX;printf("now bottom is %d\n", bottom);pthread_mutex_unlock(&mutex);sem_post(&empty);}return (void*)2;}int main(int argc, char *argv[]){pthread_t thid1;pthread_t thid2;pthread_t thid3;pthread_t thid4;int ret1;int ret2;int ret3;int ret4;sem_init(&full, 0, 0);sem_init(&empty, 0, MAX);pthread_create(&thid1, NULL, produce, NULL);pthread_create(&thid2, NULL, consume, NULL);pthread_create(&thid3, NULL, produce, NULL);pthread_create(&thid4, NULL, consume, NULL);pthread_join(thid1, (void**)&ret1);pthread_join(thid2, (void**)&ret2);pthread_join(thid3, (void**)&ret3);pthread_join(thid4, (void**)&ret4);return 0;}

注:如果把sem_wait()和sem_post()放到pthread_mutex_lock()与pthread_mutex_unlock()之间会如何呢?

答案是:死锁,因为我们不能预知线程进入共享区顺序,如果消费者线程先对mutex加锁,并进入,sem_wait()发现队列为空,阻塞,而生产者在对mutex加锁时,发现已上锁也阻塞,双方永远无法唤醒对方。

第二种是条件变量配合互斥锁实现

条件变量的常见用法是在不满足某些条件时,阻塞自己,直到有线程通知自己醒来。

而互斥量在这里的作用依然还是防止多线程对共享资源同时操作,造成未知结果。

生产者消费者的行为与之前相同,只不过原来只调用sem_wait()可以完成两步,1是检查条件,2是阻塞,现在条件变量需要我们自己来设定条件(所以说条件变量配合互斥锁比信号量的功能更强大,因为它可以自定义休眠条件,但是这对使用者的要求也提高了,必须理清逻辑关系避免死锁)

#include <stdio.h>#include <pthread.h>#define MAX 5pthread_mutex_t mutex = PTHREAD_MUTEX_INITIALIZER;pthread_cond_t notfull = PTHREAD_COND_INITIALIZER; //是否队满pthread_cond_t notempty = PTHREAD_COND_INITIALIZER; //是否队空int top = 0;int bottom = 0;void* produce(void* arg){int i;for ( i = 0; i < MAX*2; i++){pthread_mutex_lock(&mutex);while ((top+1)%MAX == bottom){printf("full! producer is waiting\n");pthread_cond_wait(¬full, &mutex);//等待队不满}top = (top+1) % MAX;printf("now top is %d\n", top);pthread_cond_signal(¬empty);//发出队非空的消息pthread_mutex_unlock(&mutex);}return (void*)1;}void* consume(void* arg){int i;for ( i = 0; i < MAX*2; i++){pthread_mutex_lock(&mutex);while ( top%MAX == bottom){printf("empty! consumer is waiting\n");pthread_cond_wait(¬empty, &mutex);//等待队不空}bottom = (bottom+1) % MAX;printf("now bottom is %d\n", bottom);pthread_cond_signal(¬full);//发出队不满的消息pthread_mutex_unlock(&mutex);}return (void*)2;}int main(int argc, char *argv[]){pthread_t thid1;pthread_t thid2;pthread_t thid3;pthread_t thid4;int ret1;int ret2;int ret3;int ret4;pthread_create(&thid1, NULL, produce, NULL);pthread_create(&thid2, NULL, consume, NULL);pthread_create(&thid3, NULL, produce, NULL);pthread_create(&thid4, NULL, consume, NULL);pthread_join(thid1, (void**)&ret1);pthread_join(thid2, (void**)&ret2);pthread_join(thid3, (void**)&ret3);pthread_join(thid4, (void**)&ret4);return 0;}

注:

为什么信号量在互斥区外,而条件变量在互斥区内呢?

因为互斥锁本质上是二元信号量,和信号量互斥的原理相同,而且放在互斥区会死锁,而条件变量是和互斥锁协同配合的,

我们从pthread_cond_wait()和pthread_cond_signal()的内部实现就可以看出

pthread_cond_wait()是先将互斥锁解开,并陷入阻塞,直到pthread_signal()发出信号后pthread_cond_wait()再加上锁,然后退出,可以看到它们在设计时就是为了协同配合,而互斥锁和信号量都是由Linux下的futex机制实现的,这里就不展开说了

这里贴出了pthread_wait()源码图

以上就是小编为大家带来的浅谈生产者消费者模型(Linux系统下的两种实现方法)全部内容了,希望大家多多支持~


  • 上一条:
    详解linux 下安装软件tar.gz, rpm,deb的方法
    下一条:
    Linux C++ 使用condition实现阻塞队列的方法
  • 昵称:

    邮箱:

    0条评论 (评论内容有缓存机制,请悉知!)
    最新最热
    • 分类目录
    • 人生(杂谈)
    • 技术
    • linux
    • Java
    • php
    • 框架(架构)
    • 前端
    • ThinkPHP
    • 数据库
    • 微信(小程序)
    • Laravel
    • Redis
    • Docker
    • Go
    • swoole
    • Windows
    • Python
    • 苹果(mac/ios)
    • 相关文章
    • 在Linux系统中使用Iptables实现流量转发功能流程步骤(0个评论)
    • vim学习笔记-入门级需要了解的一些快捷键(0个评论)
    • 在centos7系统中实现分区并格式化挂载一块硬盘到/data目录流程步骤(0个评论)
    • 在Linux系统种查看某一个进程所占用的内存命令(0个评论)
    • Linux中grep命令中的10种高级用法浅析(0个评论)
    • 近期文章
    • 在go语言中使用api.geonames.org接口实现根据国际邮政编码获取地址信息功能(1个评论)
    • 在go语言中使用github.com/signintech/gopdf实现生成pdf分页文件功能(0个评论)
    • gmail发邮件报错:534 5.7.9 Application-specific password required...解决方案(0个评论)
    • 欧盟关于强迫劳动的规定的官方举报渠道及官方举报网站(0个评论)
    • 在go语言中使用github.com/signintech/gopdf实现生成pdf文件功能(0个评论)
    • Laravel从Accel获得5700万美元A轮融资(0个评论)
    • 在go + gin中gorm实现指定搜索/区间搜索分页列表功能接口实例(0个评论)
    • 在go语言中实现IP/CIDR的ip和netmask互转及IP段形式互转及ip是否存在IP/CIDR(0个评论)
    • PHP 8.4 Alpha 1现已发布!(0个评论)
    • Laravel 11.15版本发布 - Eloquent Builder中添加的泛型(0个评论)
    • 近期评论
    • 122 在

      学历:一种延缓就业设计,生活需求下的权衡之选中评论 工作几年后,报名考研了,到现在还没认真学习备考,迷茫中。作为一名北漂互联网打工人..
    • 123 在

      Clash for Windows作者删库跑路了,github已404中评论 按理说只要你在国内,所有的流量进出都在监控范围内,不管你怎么隐藏也没用,想搞你分..
    • 原梓番博客 在

      在Laravel框架中使用模型Model分表最简单的方法中评论 好久好久都没看友情链接申请了,今天刚看,已经添加。..
    • 博主 在

      佛跳墙vpn软件不会用?上不了网?佛跳墙vpn常见问题以及解决办法中评论 @1111老铁这个不行了,可以看看近期评论的其他文章..
    • 1111 在

      佛跳墙vpn软件不会用?上不了网?佛跳墙vpn常见问题以及解决办法中评论 网站不能打开,博主百忙中能否发个APP下载链接,佛跳墙或极光..
    • 2016-11
    • 2017-07
    • 2017-10
    • 2017-11
    • 2018-01
    • 2018-02
    • 2020-03
    • 2020-04
    • 2020-05
    • 2020-06
    • 2021-02
    • 2021-03
    • 2021-04
    • 2021-06
    • 2021-07
    • 2021-08
    • 2021-09
    • 2021-10
    • 2021-11
    • 2021-12
    • 2022-01
    • 2022-03
    • 2022-04
    • 2022-08
    • 2022-11
    • 2022-12
    • 2023-01
    • 2023-02
    • 2023-03
    • 2023-06
    • 2023-07
    • 2023-10
    • 2023-12
    • 2024-01
    • 2024-04
    Top

    Copyright·© 2019 侯体宗版权所有· 粤ICP备20027696号 PHP交流群

    侯体宗的博客