单个生产者单个消费者无锁队列c++实现

最新推荐文章于 2024-08-01 10:58:57 发布

玄冬Wong

最新推荐文章于 2024-08-01 10:58:57 发布

阅读量1.3k

点赞数

分类专栏： C/C++ Algorithm 文章标签： C++

本文链接：https://blog.csdn.net/wag2765/article/details/84774566

版权

本文探讨了如何使用C++实现一个无锁的单生产者单消费者队列，引用了Boost提供的Wait-free ring buffer作为实现思路，并指出volatile关键字并不能确保线程安全，推荐使用std::atomic来实现原子操作。文中还提供了限制单线程读写、不加锁的单链表无锁队列实现，适用于两个线程间通信。

摘要由CSDN通过智能技术生成

keyword: lockfree、lock-free、queue、buffer、无锁

无锁环形缓冲（Wait-free ring buffer）

http://aigo.iteye.com/blog/1913518

方案：用atomic实现

boost提供了一种标准的所谓Wait-free ring buffer，官方文档上叫buffer，但是其实现其实还是queue，因为push和pop的时候没有size参数，就是说其内部是具体的元素对象，不是类似字节流那种闭环的buffer。

另外，他其实还是用到了轻量级的线程同步atomic，但比lock的开销少至少一个数量级。
下面例子是boost官方文档上的，这里只是提供了思路，没有boost也行，std::atomic也能实现

Wait-free ring buffer

http://www.boost.org/doc/libs/1_60_0/doc/html/atomic/usage_examples.html#boost_atomic.usage_examples.example_ringbuffer.implementation

实现：

#include <boost/atomic.hpp>

template<typename T, size_t Size>
class ringbuffer {
public:
  ringbuffer() : head_(0), tail_(0) {}

  bool push(const T & value)
  {
    size_t head = head_.load(boost::memory_order_relaxed);
    size_t next_head = next(head);
    if (next_head == tail_.load(boost::memory_order_acquire))
      return false;
    ring_[head] = value;
    head_.store(next_head, boost::memory_order_re