(P15)muduo_base库源码分析:BlockinngQueue(无界阻塞队列),BoundedBlockingQueue(有界阻塞队列)

本文主要是介绍(P15)muduo_base库源码分析:BlockinngQueue(无界阻塞队列),BoundedBlockingQueue(有界阻塞队列),希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

文章目录

    • 1.BlockinngQueue(无界阻塞队列)
    • 2.BoundedBlockingQueue(有界阻塞队列)

1.BlockinngQueue(无界阻塞队列)

BlockinngQueue代表无界队列,BoundedBlockingQueue代表有界队列,因为有界队列多了:一个需要判断队列是否为满的条件和一个NotFull的条件变量

  • 为了保证生产者线程和消费者线程安全访问队列,可以使用信号量和条件变量对队列进行同步。
    在这里插入图片描述
  • 使用信号量的方式(1)队列是有界的
size:队列的大小;
2个信号量:semFull(size)表示初始状态队列是空的,可以生产的产品个数=size;
semEmpty(0)表示初始状态队列是空的,可以消费的产品个数=0;
生产者线程如何操作队列?
//生产者
p(semFull)
//若队列不满,则可以生产产品,直到生产满了,那么p(semFull)操作就会阻塞;
queue.push(x)
//一旦生产了一个产品,队列就不为空了,有产品可以消费了,通知消费者线程可以消费了;
v(semEmpty)//消费者
//若队列中没有产品可以消费,则p(semEmpty)则会阻塞
p(semEmpty)
x = queue.pop()
//消费完产品则会腾出一个新的空间,能容纳新的产品
v(semFull)若是多线程,则需要增加mutex对队列增加保护
size
semFull(size)
semEmpty(0)
mutex//生产者
p(semFull)
lock(mutex)
queue.push(x)
unlock(mutex)
v(semEmpty)//消费者
p(semFull)
lock(mutex)
queue.pop(x)
unlock(mutex)
v(semFull)

在这里插入图片描述

在这里插入图片描述

  • 使用信号量的方式(2)队列是无界的
无界的话,则不需要判断队列是否已经是满的
若是多线程,则需要增加mutex对队列增加保护
size
semFull(size)
semEmpty(0)
mutex//生产者
lock(mutex)
queue.push(x)
unlock(mutex)
v(semEmpty)//消费者
p(semFull)
lock(mutex)
queue.push(x)
unlock(mutex)

在这里插入图片描述

  • 使用条件变量的方式(1)队列是无界的
    先理解无界,再理解有界。无界只需要判断队列是否为空,有界需要在无界判断的基础上,需要多判断一个队列是否为满(无界用了一个条件变量,有界用了2个条件变量);
无界的话,则不需要判断队列是否已经是满的
若是多线程,则需要增加mutex对队列增加保护
size
semFull(size)
semEmpty(0)
mutex
notEmpty是条件变量//生产者
lock(mutex)
queue.push(x)
unlock(mutex)
//向消费者线程发起通知,可以消费产品了,队列不为空了
notEmpty.signal()//消费者
//等待条件变量,等待队列不为空,队列为空,则需要等待
//不用if,防止虚假唤醒
while(queue.empty())
{notEmpty.wait()//生产者一旦生产产品notEmpty.signal(),队列就不为空了,等待将被唤醒
}
lock(mutex)
queue.pop(x)
unlock(mutex)

在这里插入图片描述

  • 使用条件变量的方式(2)队列是有界的
有界的话,则需要判断队列是否已经是满的size
semFull(size)
semEmpty(0)
mutex
notEmpty,notFull是条件变量//生产者
//队列已经满了需要等待条件满足
while(queue.Full())
{notFull.wait();
}
lock(mutex)
queue.push(x)
unlock(mutex)
//向消费者线程发起通知,可以消费产品了,队列不为空了
notEmpty.signal()//消费者
//等待条件变量,等待队列不为空,队列为空,则需要等待
//不用if,防止虚假唤醒
while(queue.empty())
{notEmpty.wait()//生产者一旦生产产品notEmpty.signal(),队列就不为空了,等待将被唤醒
}
lock(mutex)
queue.pop(x)
unlock(mutex)
//消费一个产品,意味着队列不满
notFull.signal()

在这里插入图片描述

  • eg:src\15\jmuduo\muduo\base\BlockingQueue.h

  • eg测试:src\15\jmuduo\muduo\base\tests\BlockingQueue_test.cc

  • 测试:生产者添加了产品,时间片恰好切换到了消费者线程,所以造成了消费者线程先打印了。一般情况都是消费者线程后打印才对。
    在这里插入图片描述

  • eg测试:src\15\jmuduo\muduo\base\tests\BlockingQueue_bench.cc
    src\15\jmuduo\muduo\base\tests\CMakeLists.txt

  • 测试:
    在这里插入图片描述

2.BoundedBlockingQueue(有界阻塞队列)

  • 类图
    在这里插入图片描述

  • 环形缓冲区circular_buffer
    头部表示读的位置,尾部表示写的位置;
    写的指针不能赶上读的指针;
    缓冲区写满了,则不应该再写了,加入1号产品被消费走了,则我才可以继续写;
    在这里插入图片描述

  • eg:src\15\jmuduo\muduo\base\tests\BoundedBlockingQueue_test.cc

  • eg测试:src\15\jmuduo\muduo\base\tests\BoundedBlockingQueue_test.cc

  • 测试:生产到20个产品就阻塞了,使得消费者得去消费产品,生产者才可以继续生产产品
    在这里插入图片描述

这篇关于(P15)muduo_base库源码分析:BlockinngQueue(无界阻塞队列),BoundedBlockingQueue(有界阻塞队列)的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1041336

相关文章

Java的栈与队列实现代码解析

《Java的栈与队列实现代码解析》栈是常见的线性数据结构,栈的特点是以先进后出的形式,后进先出,先进后出,分为栈底和栈顶,栈应用于内存的分配,表达式求值,存储临时的数据和方法的调用等,本文给大家介绍J... 目录栈的概念(Stack)栈的实现代码队列(Queue)模拟实现队列(双链表实现)循环队列(循环数组

Redis消息队列实现异步秒杀功能

《Redis消息队列实现异步秒杀功能》在高并发场景下,为了提高秒杀业务的性能,可将部分工作交给Redis处理,并通过异步方式执行,Redis提供了多种数据结构来实现消息队列,总结三种,本文详细介绍Re... 目录1 Redis消息队列1.1 List 结构1.2 Pub/Sub 模式1.3 Stream 结

Java程序进程起来了但是不打印日志的原因分析

《Java程序进程起来了但是不打印日志的原因分析》:本文主要介绍Java程序进程起来了但是不打印日志的原因分析,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录Java程序进程起来了但是不打印日志的原因1、日志配置问题2、日志文件权限问题3、日志文件路径问题4、程序

Java 正则表达式URL 匹配与源码全解析

《Java正则表达式URL匹配与源码全解析》在Web应用开发中,我们经常需要对URL进行格式验证,今天我们结合Java的Pattern和Matcher类,深入理解正则表达式在实际应用中... 目录1.正则表达式分解:2. 添加域名匹配 (2)3. 添加路径和查询参数匹配 (3) 4. 最终优化版本5.设计思

Java字符串操作技巧之语法、示例与应用场景分析

《Java字符串操作技巧之语法、示例与应用场景分析》在Java算法题和日常开发中,字符串处理是必备的核心技能,本文全面梳理Java中字符串的常用操作语法,结合代码示例、应用场景和避坑指南,可快速掌握字... 目录引言1. 基础操作1.1 创建字符串1.2 获取长度1.3 访问字符2. 字符串处理2.1 子字

SpringKafka错误处理(重试机制与死信队列)

《SpringKafka错误处理(重试机制与死信队列)》SpringKafka提供了全面的错误处理机制,通过灵活的重试策略和死信队列处理,下面就来介绍一下,具有一定的参考价值,感兴趣的可以了解一下... 目录引言一、Spring Kafka错误处理基础二、配置重试机制三、死信队列实现四、特定异常的处理策略五

Python 迭代器和生成器概念及场景分析

《Python迭代器和生成器概念及场景分析》yield是Python中实现惰性计算和协程的核心工具,结合send()、throw()、close()等方法,能够构建高效、灵活的数据流和控制流模型,这... 目录迭代器的介绍自定义迭代器省略的迭代器生产器的介绍yield的普通用法yield的高级用法yidle

C++ Sort函数使用场景分析

《C++Sort函数使用场景分析》sort函数是algorithm库下的一个函数,sort函数是不稳定的,即大小相同的元素在排序后相对顺序可能发生改变,如果某些场景需要保持相同元素间的相对顺序,可使... 目录C++ Sort函数详解一、sort函数调用的两种方式二、sort函数使用场景三、sort函数排序

Java调用C++动态库超详细步骤讲解(附源码)

《Java调用C++动态库超详细步骤讲解(附源码)》C语言因其高效和接近硬件的特性,时常会被用在性能要求较高或者需要直接操作硬件的场合,:本文主要介绍Java调用C++动态库的相关资料,文中通过代... 目录一、直接调用C++库第一步:动态库生成(vs2017+qt5.12.10)第二步:Java调用C++

kotlin中const 和val的区别及使用场景分析

《kotlin中const和val的区别及使用场景分析》在Kotlin中,const和val都是用来声明常量的,但它们的使用场景和功能有所不同,下面给大家介绍kotlin中const和val的区别,... 目录kotlin中const 和val的区别1. val:2. const:二 代码示例1 Java