高并发服务器-无锁队列实现2(基于RingBuffer 支持多读多写)c++

唠叨一下:

为啥需要无锁队列,在前一篇已经讲过。大佬们请移步到上一篇looklook

这一篇分享一下基于环形缓冲区的RingBuffer的实现无锁队列。

开始正文:

环形缓冲区长这样。

原子操作定义,后续会用到

主要实现的函数读写接口:

写详细实现如下:

1、当⽣产者准备将数据插⼊到队列中,它⾸先通过增加WriteIndex的值来申请空间。m_nMaxReadIndex指向最后⼀个存放有效数据的位置(也就是实际的队列尾)。
假设现在有三个数据,下标指示如图:

当一个线程申请写入:WriteIndex 跳到如下,此时未更新数据及可读下标操作。

另一个线程申请写入:writeIndex 继续更新

现在有两个⽣产者同时向队列插⼊数据
现在⽣产者开始拷⻉数据,在完成拷⻉之后,对MaxReadIndex的递增操作必须严格遵循⼀个顺序: 第⼀个⽣产者线程⾸先递增MaximumReadIndex,接着才轮到第⼆个⽣产者。 这个顺序必须被严格遵守的,原因是,我们必须保证数据被完全拷⻉到队列之后才允许消费者线程将其出列。
所以就有了下面的cpu让出操作

 最后第一个线程更新写

 第二个线程更新写

最后实现了数据的写入。 

其中,最重要要注意的地方sched_yield() 函数,如果在写入线程数多于物理处理器线程数时是必要的,否则会导致自旋等待无法执行下去。

假设物理处理器2个,线程3个,在某种情况下,线程 1,2,3 同时申请写操作,都未更新可读下标,如果没有让出cpu,此时线程2,3处于CAS自旋等待线程1 更新 CAS可读下标操作,而线程1此时无法获取到cpu时间片,导致一直自旋等待。

所以,需要让出cpu来给线程1执行,这样线程2,3才可以执行。

如果在单写单读的条件下,sched_yield()永远不会执行。

读的详细实现

读取的实现比较简单,直接看代码注释就能理解。

后续会更新代码到gitee,兄弟别走,等一等。

  • 2
    点赞
  • 9
    收藏
    觉得还不错? 一键收藏
  • 3
    评论
Linux内核中的无锁(lock-free)技术主要用于实现高效的并发数据结构,以提高系统的性能和吞吐量。其中,无锁环形缓冲区(lock-free ring buffer)是一种常用的数据结构,它可以高效地实现在多个线程之间传递数据的功能。 无锁环形缓冲区的实现原理如下: 1. 环形缓冲区的数据结构无锁环形缓冲区由一个固定大小的环形数组和两个指针构成,一个是读指针,一个是指针。读指针指向下一个将要读取的元素,指针指向下一个将要入的元素。 2. 原子操作:无锁环形缓冲区的实现依赖于原子操作(atomic operations),这些操作是在单个CPU指令中执行的,不会被其他线程中断。在Linux内核中,原子操作是通过宏定义实现的,如“atomic_add()”、“atomic_sub()”等。 3. 入数据:当一个线程想要入数据时,它首先需要检查缓冲区是否已满。如果缓冲区已满,则入操作失败。如果缓冲区未满,则该线程会使用原子操作将数据入缓冲区,并更新指针。 4. 读取数据:当一个线程想要读取数据时,它首先需要检查缓冲区是否为空。如果缓冲区为空,则读取操作失败。如果缓冲区不为空,则该线程会使用原子操作将数据从缓冲区中读取,并更新读指针。 5. 线程同步:无锁环形缓冲区的实现不依赖于任何锁机制,因此可以避免锁竞争和死锁等问题。不过,在多个线程并发读的情况下,需要使用一些同步机制来保证线程安全,如使用原子操作或者memory barrier等技术。 总的来说,无锁环形缓冲区是一种高效的并发数据结构,能够在多个线程之间高效地传递数据,提高系统的性能和吞吐量。在Linux内核中,无锁环形缓冲区的实现依赖于原子操作和线程同步技术,可以避免锁竞争和死锁等问题。

“相关推荐”对你有帮助么?

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论 3
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值