用睡眠策略实现队列的无锁访问

最新推荐文章于 2024-08-01 10:58:57 发布
最新推荐文章于 2024-08-01 10:58:57 发布
阅读量140 收藏
点赞数
分类专栏： c&c++技术 文章标签： 无锁编程 无锁队列 睡眠 生产者消费者模型
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/jkler_doyourself/article/details/132509723
版权
本文讨论了队列数据结构在无锁访问中的实现，特别是在单生产者单消费者模型下的操作。强调了无锁模型的优势，如避免序列竞争，以及睡眠策略和自旋锁在不同场景下的应用。最后，对比了睡眠策略与自旋锁的优缺点，并指出无锁队列在实际中的价值。
摘要由CSDN通过智能技术生成

在众多数据结构中，队列比较容易实现无锁访问，特别是单生产者和单消费者的多线程模型

队列存储结构

  • 链表
  • 连续存储(ring)

无锁访问，对于两种存储结构差异不大，仅需要在逻辑上探讨队列即可

无锁模型

  • 一对一

即一个生产者，一个消费者。模型中仅有一个线程改变队列头或尾的标识，另外一侧仅读取标识

无锁的基础

理论

  • 分布式CAP不可同时满足

多线程也是一种内部的分布式，队列操作可放弃实时一致性，但仍可以满足最终一致性

  • 按照机器字读内存或写内存单条指令，机器结构保证原子性

队列数据结构特点

  • 队列读&写队头、队尾多步操作序列竞争
    • 在一对一的模型下，不存在读&写多步操作序列竞争
  • 读(Head)&读(Tail)，或读(Tail)&读(Head)多步操作序列判断队列空、满状态竞争

无锁竞争处理策略

  • 睡眠合理的间隔时间

因为队列数据结构本身就有缓冲的作用，队列空或满时，可放弃实时一致性，但仍可以满足最终一致性

在下一次队列处理时，能够补救，睡眠策略是合理的

扩展队列无锁编程

对于队列两头处理速度不匹配的场景，需要采用一对多或者多对一的生产者和消费者模型；但是，仅需在多的队列一头用锁进行保护，避免队列处理错误

在更高层来看，一头用锁后，逻辑上可以看做那个“一”，也是广义上的一对一了 😃

有锁竞争处理策略

  • 自旋锁

在实时性要求非常高的情况下使用

用队列缓冲，实时性本身就不太高，自旋锁应尽量避免使用

  • 临界区加锁后，用double check惯用法，重复确认队列满或空的条件后，选择等待通知

double check为线程同步编程惯用法

睡眠无锁策略的评估

在实时性上，睡眠策略弱于自旋锁和线程同步处理，但是比较实用。考虑到无锁带来的优势：生产者和消费者并行的充分提高，实际上可以抵消掉这方面的不足！

求评价

欢迎指导和指教 😃

快乐的阿常艾念宝
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
c++无锁队列的完整资源
05-20
在C++中，实现无锁队列的关键在于使用C++标准库中的`std::atomic`类模板，它提供了一组原子操作，如`fetch_add`、`compare_exchange_weak`等，这些操作能够在不引入锁的情况下安全地更新数据。无锁队列通常使用环形...
Lock free 论文集合，若干无锁数据结构实现的经典论文，500多页.zip
06-17
5. **自旋锁与等待锁**：虽然无锁编程尽量避免使用锁，但有时仍需要自旋锁（线程循环检查条件直至满足）或等待锁（线程进入睡眠状态，等待其他线程唤醒）作为辅助手段。自旋锁适用于锁持有时间短的情况，而等待锁则...
Redis异步消息队列
TABE_的博客
03-27 4145
这里写目录标题使用list实现异步消息队列使用发布-订阅模式实现异步消息队列使用ZSet实现延时队列 使用list实现异步消息队列 Redis 的 list(列表) 数据结构常用来作为异步消息队列使用，使用rpush和lpush操作入队列，使用lpop 和 rpop来出队列。客户端是通过队列的 pop 操作来获取消息，然后进行处理。处理完了再接着获取消息，再进行处理。如此循环往复，这便是作为队列消费者的客户端的生命周期。 可是如果队列空了，客户端就会陷入 pop 的死循环，不停地 pop，没有数据，接着再
详解高性能无锁队列的实现
Ricardo2的博客
07-05 1753
无锁队列（Lock-Free Queue）是一种并发数据结构，它允许多个线程在没有锁的情况下进行并发操作。传统的队列通常通过互斥锁来实现线程安全的操作，但互斥锁在高并发情况下可能会造成竞争和性能瓶颈。为了避免使用锁，无锁队列采用了基于原子操作的并发算法。无锁队列的设计目标是在保持线程安全的前提下提供高性能的并发操作。它通常使用 CAS（Compare and Swap）等原子指令来实现对队列头部和尾部指针的更新和操作。CAS 操作可以确保只有一个线程能够成功修改指针，其他线程则需要重试或者尝试其他操作。
无锁队列实现及使用场景
weixin_46935110的博客
05-11 2481
无锁队列实现及使用场景
C++编程： 解读无锁队列(Lock-Free)的原理、实现和实例
最新发布
Where there is life, there is hope.
08-01 1191
本文将基于几篇无锁队列(Lock-Free)技术文章阐述无锁队列的原理并推荐开源无锁队列库
Lockfree论文集合，若干无锁数据结构实现的经典论文，500多页.zip
10-19
例如，无锁队列通常使用双端队列（deque）结构，通过CAS操作在头部和尾部进行插入和删除。 5. 性能分析与优化：无锁数据结构虽然减少了锁竞争，但也可能导致更多的CPU缓存失效和重复尝试。论文集可能会讨论如何平衡...
Java很好的学习笔记4 无锁.md，学习代码
06-21
5. 无锁数据结构：如无锁栈、队列的实现，如ConcurrentLinkedQueue和ConcurrentLinkedStack。 同时，"并发编程资料"目录下的其他文件，如"NET.md"、"ThreadLocal.md"、"TimeUnit.md"、"并发编程.pdf"、"并发编程_...
cocurrentqueue库，高效队列库
12-29
在学习和使用 cocurrentqueue库时，建议深入研究其源代码，了解其内部实现机制，如无锁数据结构的设计和优化策略。此外，通过实践编写示例代码，可以更好地理解和掌握如何在实际项目中有效利用这个库。 总的来说， ...
注册控件报找不到指定模块的一个解决办法
热门推荐
一把菜刀行江湖
06-30 1万+
    前一段工作中，由于不小心做了某一些操作后，工作开发维护的IE控件，在编译debug版本后，不像以前一样，在编译结束后，可以自动完成注册，而是弹出alert对话框，报LoadLibrary找不到指定的模块！    由于以前做同样编码工作时，是很正常地在debug版本编译后完成注册。当时，就觉得这里面一定有问题，而且问题还是可以解决的。但是，那段时间正好比较忙，没有潜心去解决这个问
log4CPP多线程支持的缺角(一)
一把菜刀行江湖
12-30 6178
log4CPP是一款优秀的c++日志开源软件，虽然从很早的时代就宣称了对于多线程的支持，而且源码中有很好的利用栈对象封装互斥锁，一种很好的使用资源实践；而且下载下来用vc6编译，也能检查到其连接的c语言库函数设定的为multiThread DLL，所以，从骨架上支持多线程应该没有多少疑问。     但是对于RollingFileAppender，实现文件日志循环打印的日志输出的类，对于多线程的支
编程中经常涌现的模式--双协议栈模式
一把菜刀行江湖
06-11 4002
设计模式是很不错的，可以用来组织代码的结构，以应对变化。在我的理解中，设计模式是做到了更好的，把固定的东西用代码写出来，而用变量来做用于变化的地方。   在通讯领域经常会遇到各种协议的通讯编程，其实在程序结构上类似的双协议栈结构。通讯入口虽然作为程序的入口，但是，在组织代码中，却不能由它来提纲挈领，这样让你的代码比较难以理解，推荐的模式是双协议栈模式，在核心代码区域只处理纯数据，这样也可以使得程
addr2line输出问号怎么办
一把菜刀行江湖
02-27 3675
addr2line在使用地址信息不正确的情况下，会输出文号，但实际上在经过一番特殊处理后，还是可以定位到异常代码的行号
log4cpp的RollingFileAppender异常情况下日志文件不拆分的一种可能解决方法
一把菜刀行江湖
09-09 3194
RollingFileAppender 日志无法完成分割的一种解决方法
float不能做精确比较的原因粗解
一把菜刀行江湖
04-06 3034
  在学习c语言的过程中，总是有些老师告诉你浮点型不能做精确相等性的比较，让你作为c语言编程格言告诉你去遵守；但是，却没有告诉为什么float不能做精确相等性比较的原因！这种教书育人的模式，是一种死记硬背的灌输，其实告诉你float在计算机内部的表示，你自然不会认为float是多么精确的数值，也不会认为他们之间可以做很精确的比较了！ sizeof(float) = 4 也就是2^32次方
书到用时方恨少，绝知此事要躬行--谈TCP/UDP编程
一把菜刀行江湖
07-26 2968
原来以为自己对tcp(udp)/ip编程还算比较了解，因为自己也亲自拜读过《Unix环境高级编程》、《TCP/IP协议详解第一卷》这些计算机界圣经一般的数据。近来经历过一次和高中同学，现在已经是一个部门的同事，在一起解决他模块中的一个错误，才知道自己其实对TCP/UDP编程所知还不算深，竟然在一个不错的公司里面工作三年后，还是回答不了他的提问"在tcp连接的recv操作是否会出现一次返还多个物理的
VC注册控件报0x80070716
一把菜刀行江湖
11-06 2900
 在我所在的项目中，经常是多人共同维护一个模块，由于团队内的沟通，并不算特别通常，往往这个添加的代码，另外一个很少知道为什么或者也不太关心这个问题。这个公司的特点，几乎都是跑步进行开发的，停歇的时间和机会很少！  今天 下午的时间，为了解决一个故障，就从版本机上反合了控件代码到本地编译，发现编译能够成功，但是，利用VC IDE环境提供的注册控件工具，总是注册失败，而且会得到0x80070716
声卡其实是一个很好的模数转换设备
一把菜刀行江湖
12-13 2805
近期接到一个任务，以为工作要从底层的模数转换做起。最开始觉得挺难的，怕完不成，因为以前对这方面一点积累都没有，也没接触过这么深的底层。后来随着工作的开展才发现，这个任务的模数转换还是将模拟信号导入声卡，然后自己从声卡上进行PCM的数据采集，得到数字化后的数据就可以了。 而这样的编码，其实是自己以前熟悉的车道。。。。     随后也很有兴趣地查阅了声卡的一些资料，看到一篇文章介绍声卡其实对于自然界
c11使用原子变量实现无锁队列
04-06
无锁队列是一种线程安全的数据结构，可以在多线程环境下高效地进行数据交换。C11标准引入了原子变量，可以用来实现无锁队列。 无锁队列的实现思路是利用原子变量的CAS操作（Compare-And-Swap）来实现队列的入队和出队操作。CAS操作是原子性的，可以保证在多线程环境下的正确性。 下面是一个使用原子变量实现无锁队列的代码示例： ```c #include <stdatomic.h> #define QUEUE_CAPACITY 100 typedef struct { atomic_int head; // 队头索引 atomic_int tail; // 队尾索引 int data[QUEUE_CAPACITY]; // 队列数据 } queue_t; // 初始化队列 void queue_init(queue_t *q) { atomic_init(&q->head, 0); atomic_init(&q->tail, 0); } // 入队操作 void queue_push(queue_t *q, int value) { int tail = atomic_load(&q->tail); int next_tail = (tail + 1) % QUEUE_CAPACITY; while (next_tail == atomic_load(&q->head)) { // 队列已满，等待空闲位置 } q->data[tail] = value; atomic_store(&q->tail, next_tail); } // 出队操作 int queue_pop(queue_t *q) { int head = atomic_load(&q->head); int next_head = (head + 1) % QUEUE_CAPACITY; while (head == atomic_load(&q->tail)) { // 队列为空，等待数据 } int value = q->data[head]; atomic_store(&q->head, next_head); return value; } ``` 在这个代码中，我们使用了atomic_int类型来定义队头和队尾的原子变量。入队操作中，我们使用while循环来等待队列中有空闲位置，然后使用CAS操作将数据存入队列。出队操作中，我们使用while循环来等待队列中有数据可取，然后使用CAS操作将数据取出队列。 需要注意的是，这个代码示例中没有考虑在多线程环境下的竞争问题，可能会出现ABA问题等问题。在实际应用中需要根据具体情况进行优化和改进。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值