无锁并发队列

简介

前文介绍了如何通过内存顺序实现内存模型,本文基于前文的基础,利用内存顺序和内存模型的知识,带着大家探索无锁并发的应用,主要是通过无锁队列的实现来让大家熟悉无锁并发的实现方式。

环形队列

我们要实现无锁并发,经常会用到一种结构无锁队列,而无锁队列和我们经常使用的队列颇有不同,它采用的是环状的队列结构,为什么成环呢?主要有两个好处,一个是成环的队列大小是固定的,另外一个我们通过移动头和尾就能实现数据的插入和取出。

我们看下图是一个环形队列的基本结构

https://cdn.llfc.club/4a6ee05475ca071cc608c9eb35920af.png

图1表示队列为空的时候,头节点和尾节点交会在一起,指向同一个扇区。

图2表示当我们你插入一个数字1后,队列大小为1,此时tail指针移动到下一个扇区,head指向头部,1被存储在头部了。

图3表示当我们将数字1出队后,head指针向后移动一个扇区,此时head和tail指向同一个扇区,表示队列又为空了。那有人会问队列中数字1为什么不清空呢?其实不用清空,因为当我们插入新数据时就可以覆盖掉1这个无效的数据。

比如我们继续3图,连续插入几个数字,将队列填满。

https://cdn.llfc.club/1698926107471.jpg

图4说明的就是当我们连续插入了几个数字,插入数据9的时候将原来1的数据覆盖了,所以环形队列删除数据的时候我们不用让数据出队,只要移动head指针即可。

另外我们从图4也能看出,此时tail指向的位置正好是head的前一个位置,这种情况表示队列满了。

用锁实现环形队列

我们可以用锁实现上述环形队列,在push和pop时分别加锁,并通过head和tail计算队列是否为满或者空。

代码比较简单,可以看看下面的写法

  1. #include <iostream>
  2. #include <mutex>
  3. #include <memory>
  4. template<typename T, size_t Cap>
  5. class CircularQueLk :private std::allocator<T> {
  6. public:
  7. CircularQueLk() :_max_size(Cap + 1),_data(std::allocator<T>::allocate(_max_size)), _head(0), _tail(0) {}
  8. CircularQueLk(const CircularQueLk&) = delete;
  9. CircularQueLk& operator = (const CircularQueLk&) volatile = delete;
  10. CircularQueLk& operator = (const CircularQueLk&) = delete;
  11. ~CircularQueLk() {
  12. //循环销毁
  13. std::lock_guard<std::mutex> lock(_mtx);
  14. //调用内部元素的析构函数
  15. while (_head != _tail) {
  16. std::allocator<T>::destroy(_data + _head);
  17. _head = (_head+1)%_max_size;
  18. }
  19. //调用回收操作
  20. std::allocator<T>::deallocate(_data, _max_size);
  21. }
  22. //先实现一个可变参数列表版本的插入函数最为基准函数
  23. template <typename ...Args>
  24. bool emplace(Args && ... args) {
  25. std::lock_guard<std::mutex> lock(_mtx);
  26. //判断队列是否满了
  27. if ((_tail + 1) % _max_size == _head) {
  28. std::cout << "circular que full ! " << std::endl;
  29. return false;
  30. }
  31. //在尾部位置构造一个T类型的对象,构造参数为args...
  32. std::allocator<T>::construct(_data + _tail, std::forward<Args>(args)...);
  33. //更新尾部元素位置
  34. _tail = (_tail + 1) % _max_size;
  35. return true;
  36. }
  37. //push 实现两个版本,一个接受左值引用,一个接受右值引用
  38. //接受左值引用版本
  39. bool push(const T& val) {
  40. std::cout << "called push const T& version" << std::endl;
  41. return emplace(val);
  42. }
  43. //接受右值引用版本,当然也可以接受左值引用,T&&为万能引用
  44. // 但是因为我们实现了const T&
  45. bool push(T&& val) {
  46. std::cout << "called push T&& version" << std::endl;
  47. return emplace(std::move(val));
  48. }
  49. //出队函数
  50. bool pop(T& val) {
  51. std::lock_guard<std::mutex> lock(_mtx);
  52. //判断头部和尾部指针是否重合,如果重合则队列为空
  53. if (_head == _tail) {
  54. std::cout << "circular que empty ! " << std::endl;
  55. return false;
  56. }
  57. //取出头部指针指向的数据
  58. val = std::move(_data[_head]);
  59. //更新头部指针
  60. _head = (_head + 1) % _max_size;
  61. return true;
  62. }
  63. private:
  64. size_t _max_size;
  65. T* _data;
  66. std::mutex _mtx;
  67. size_t _head = 0;
  68. size_t _tail = 0;
  69. };

测试也比较简单,我们写一个函数,初始化队列大小为5,测试队列push满的情况和pop直到为空的情况

  1. void TestCircularQue() {
  2. //最大容量为10
  3. CircularQueLk<MyClass, 5> cq_lk;
  4. MyClass mc1(1);
  5. MyClass mc2(2);
  6. cq_lk.push(mc1);
  7. cq_lk.push(std::move(mc2));
  8. for (int i = 3; i <= 5; i++) {
  9. MyClass mc(i);
  10. auto res = cq_lk.push(mc);
  11. if (res == false) {
  12. break;
  13. }
  14. }
  15. cq_lk.push(mc2);
  16. for (int i = 0; i < 5; i++) {
  17. MyClass mc1;
  18. auto res = cq_lk.pop(mc1);
  19. if (!res) {
  20. break;
  21. }
  22. std::cout << "pop success, " << mc1 << std::endl;
  23. }
  24. auto res = cq_lk.pop(mc1);
  25. }

结果如下

  1. called push const T& version
  2. called push T&& version
  3. called push const T& version
  4. called push const T& version
  5. called push const T& version
  6. called push const T& version
  7. circular que full !
  8. pop success, MyClass Data is 1
  9. pop success, MyClass Data is 2
  10. pop success, MyClass Data is 3
  11. pop success, MyClass Data is 4
  12. pop success, MyClass Data is 5
  13. circular que empty !

无锁队列

那如果我们用原子变量而不是用锁实现环形队列,那就是无锁并发的队列了。还记得我们之前提到的原子变量的读改写操作吗?

  1. bool std::atomic<T>::compare_exchange_weak(T &expected, T desired);
  2. bool std::atomic<T>::compare_exchange_strong(T &expected, T desired);

compare_exchange_strong会比较原子变量atomic<T>的值和expected的值是否相等,如果相等则执行交换操作,将atomic<T>的值换为desired并且返回true,否则将expected的值修改为bool变量的值,并且返回false.

其伪代码可以这么理解

  1. template <typename T>
  2. bool atomic<T>::compare_exchange_strong(T &expected, T desired) {
  3. std::lock_guard<std::mutex> guard(m_lock);
  4. if (m_val == expected)
  5. return m_val = desired, true;
  6. else
  7. return expected = m_val, false;
  8. }

compare_exchange_weak功能比compare_exchange_strong弱一些,他不能保证atomic<T>的值和expected的值相等时也会做交换,很可能原子变量和预期值相等也会返回false,所以使用要多次循环使用。

我们们定义一个类CircularQueSeq, 其内容和之前我们定义的类CircularQueLk差不多,只不过将类的成员变量mutex换成atomic类型的原子变量, 我们可以利用自旋锁的思路将锁替换为原子变量循环检测的方式,进而达到锁住互斥逻辑的效果。

大家可以先看一下全部的代码感受一下

  1. template<typename T, size_t Cap>
  2. class CircularQueSeq :private std::allocator<T> {
  3. public:
  4. CircularQueSeq() :_max_size(Cap + 1), _data(std::allocator<T>::allocate(_max_size)), _atomic_using(false),_head(0), _tail(0) {}
  5. CircularQueSeq(const CircularQueSeq&) = delete;
  6. CircularQueSeq& operator = (const CircularQueSeq&) volatile = delete;
  7. CircularQueSeq& operator = (const CircularQueSeq&) = delete;
  8. ~CircularQueSeq() {
  9. //循环销毁
  10. bool use_expected = false;
  11. bool use_desired = true;
  12. do
  13. {
  14. use_expected = false;
  15. use_desired = true;
  16. }
  17. while (!_atomic_using.compare_exchange_strong(use_expected, use_desired));
  18. //调用内部元素的析构函数
  19. while (_head != _tail) {
  20. std::allocator<T>::destroy(_data + _head);
  21. _head = (_head+1)% _max_size;
  22. }
  23. //调用回收操作
  24. std::allocator<T>::deallocate(_data, _max_size);
  25. do
  26. {
  27. use_expected = true;
  28. use_desired = false;
  29. }
  30. while (!_atomic_using.compare_exchange_strong(use_expected, use_desired));
  31. }
  32. //先实现一个可变参数列表版本的插入函数最为基准函数
  33. template <typename ...Args>
  34. bool emplace(Args && ... args) {
  35. bool use_expected = false;
  36. bool use_desired = true;
  37. do
  38. {
  39. use_expected = false;
  40. use_desired = true;
  41. }
  42. while (!_atomic_using.compare_exchange_strong(use_expected, use_desired));
  43. //判断队列是否满了
  44. if ((_tail + 1) % _max_size == _head) {
  45. std::cout << "circular que full ! " << std::endl;
  46. do
  47. {
  48. use_expected = true;
  49. use_desired = false;
  50. }
  51. while (!_atomic_using.compare_exchange_strong(use_expected, use_desired));
  52. return false;
  53. }
  54. //在尾部位置构造一个T类型的对象,构造参数为args...
  55. std::allocator<T>::construct(_data + _tail, std::forward<Args>(args)...);
  56. //更新尾部元素位置
  57. _tail = (_tail + 1) % _max_size;
  58. do
  59. {
  60. use_expected = true;
  61. use_desired = false;
  62. }
  63. while (!_atomic_using.compare_exchange_strong(use_expected, use_desired));
  64. return true;
  65. }
  66. //push 实现两个版本,一个接受左值引用,一个接受右值引用
  67. //接受左值引用版本
  68. bool push(const T& val) {
  69. std::cout << "called push const T& version" << std::endl;
  70. return emplace(val);
  71. }
  72. //接受右值引用版本,当然也可以接受左值引用,T&&为万能引用
  73. // 但是因为我们实现了const T&
  74. bool push(T&& val) {
  75. std::cout << "called push T&& version" << std::endl;
  76. return emplace(std::move(val));
  77. }
  78. //出队函数
  79. bool pop(T& val) {
  80. bool use_expected = false;
  81. bool use_desired = true;
  82. do
  83. {
  84. use_desired = true;
  85. use_expected = false;
  86. } while (!_atomic_using.compare_exchange_strong(use_expected, use_desired));
  87. //判断头部和尾部指针是否重合,如果重合则队列为空
  88. if (_head == _tail) {
  89. std::cout << "circular que empty ! " << std::endl;
  90. do
  91. {
  92. use_expected = true;
  93. use_desired = false;
  94. }
  95. while (!_atomic_using.compare_exchange_strong(use_expected, use_desired));
  96. return false;
  97. }
  98. //取出头部指针指向的数据
  99. val = std::move(_data[_head]);
  100. //更新头部指针
  101. _head = (_head + 1) % _max_size;
  102. do
  103. {
  104. use_expected = true;
  105. use_desired = false;
  106. }while (!_atomic_using.compare_exchange_strong(use_expected, use_desired));
  107. return true;
  108. }
  109. private:
  110. size_t _max_size;
  111. T* _data;
  112. std::atomic<bool> _atomic_using;
  113. size_t _head = 0;
  114. size_t _tail = 0;
  115. };

我们可以看到emplace函数以及pop函数等将锁替换为原子变量。采用do while的方式就是因为compare_exchange_strong比较原子变量和use_expected的值不同的时候会使use_expected改变,所以我们需要在再次循环之前重置use_expecteduse_desired的值。

我们可以写一个函数在单线程情况下下测试一下

  1. void TestCircularQueSeq()
  2. {
  3. CircularQueSeq<MyClass, 3> cq_seq;
  4. for(int i = 0; i < 4; i++)
  5. {
  6. MyClass mc1(i);
  7. auto res = cq_seq.push(mc1);
  8. if(!res)
  9. {
  10. break;
  11. }
  12. }
  13. for(int i = 0; i < 4; i++)
  14. {
  15. MyClass mc1;
  16. auto res = cq_seq.pop(mc1);
  17. if(!res)
  18. {
  19. break;
  20. }
  21. std::cout << "pop success, " << mc1 << std::endl;
  22. }
  23. for (int i = 0; i < 4; i++)
  24. {
  25. MyClass mc1(i);
  26. auto res = cq_seq.push(mc1);
  27. if (!res)
  28. {
  29. break;
  30. }
  31. }
  32. for (int i = 0; i < 4; i++)
  33. {
  34. MyClass mc1;
  35. auto res = cq_seq.pop(mc1);
  36. if (!res)
  37. {
  38. break;
  39. }
  40. std::cout << "pop success, " << mc1 << std::endl;
  41. }
  42. }

运行结果

  1. called push const T& version
  2. called push const T& version
  3. called push const T& version
  4. called push const T& version
  5. circular que full !
  6. pop success, MyClass Data is 0
  7. pop success, MyClass Data is 1
  8. pop success, MyClass Data is 2
  9. circular que empty !
  10. called push const T& version
  11. called push const T& version
  12. called push const T& version
  13. called push const T& version
  14. circular que full !
  15. pop success, MyClass Data is 0
  16. pop success, MyClass Data is 1
  17. pop success, MyClass Data is 2
  18. circular que empty !

多线程情况下也能保证安全是因为原子变量循环检测保证有且只有一个线程修改成功。读取也是这样。

单一原子变量的弊端

我们考虑上述单一原子变量的弊端

多个线程push和pop操作耦合读太高,同一时刻仅有一个线程pop或者push,而且互斥逻辑的精度不够。影响效率。

我们需要考虑将pop和push操作解耦,我们采用的是环形队列,将tailhead作为原子变量可以实现精细控制。

比如我们做push操作的时候,一个线程更新万tail标签和数据后,其他线程就可以pop或者push了,精细控制的好处就是效率提升。

我们定义一个新的类CircularQueLight,类的基本数据结构和CircularQueSeq差不多。

  1. template<typename T, size_t Cap>
  2. class CircularQueLight: private std::allocator<T>
  3. {
  4. public:
  5. CircularQueLight():_max_size(Cap + 1),
  6. _data(std::allocator<T>::allocate(_max_size))
  7. , _head(0), _tail(0) {}
  8. CircularQueLight(const CircularQueLight&) = delete;
  9. CircularQueLight& operator = (const CircularQueLight&) volatile = delete;
  10. CircularQueLight& operator = (const CircularQueLight&) = delete;
  11. private:
  12. size_t _max_size;
  13. T* _data;
  14. std::atomic<size_t> _head;
  15. std::atomic<size_t> _tail;
  16. };

我们将_head_tail 替换为原子变量。

接下来我们考虑pop逻辑

  1. bool pop(T& val) {
  2. size_t h;
  3. do
  4. {
  5. h = _head.load(); //1 处
  6. //判断头部和尾部指针是否重合,如果重合则队列为空
  7. if(h == _tail.load())
  8. {
  9. return false;
  10. }
  11. val = _data[h]; // 2处
  12. } while (!_head.compare_exchange_strong(h,
  13. (h+1)% _max_size)); //3 处
  14. return true;
  15. }

在pop逻辑里我们在1处load获取头部head的值,在2处采用了复制的方式将头部元素取出赋值给val,而不是通过std::move,因为多个线程同时pop最后只有一个线程成功执行3处代码退出,而失败的则需要继续循环,从更新后的head处pop元素。所以不能用std::move,否则会破坏原有的队列数据。

接下来我们来做push的函数逻辑

  1. bool push(T& val)
  2. {
  3. size_t t;
  4. do
  5. {
  6. t = _tail.load(); //1
  7. //判断队列是否满
  8. if( (t+1)%_max_size == _head.load())
  9. {
  10. return false;
  11. }
  12. _data[t] = val; //2
  13. } while (!_tail.compare_exchange_strong(t,
  14. (t + 1) % _max_size)); //3
  15. return true;
  16. }

push函数的逻辑乍一看和pop一样,但是我们会发现多线程push的情况存在线程安全问题。

比如我们线程1 push(1) 而线程2 push(2). 很有可能的顺序是

1.1 -> 1.2 -> 2.1 -> 2.2 -> 1.3

这样我们看到的效果就是_data[t]被存储为2了,而实际情况应该是被存储为1,因为线程1的原子变量生效,而线程2的原子变量不满足需继续循环。所以_data[t]必须修改为1.

那我们改进一下push的函数

  1. bool push(T& val)
  2. {
  3. size_t t;
  4. do
  5. {
  6. t = _tail.load(); //1
  7. //判断队列是否满
  8. if( (t+1)%_max_size == _head.load())
  9. {
  10. return false;
  11. }
  12. } while (!_tail.compare_exchange_strong(t,
  13. (t + 1) % _max_size)); //3
  14. _data[t] = val; //2
  15. return true;
  16. }

我们将2处的代码移动到循环之外,这样能保证多个线程push,仅有一个线程生效时,他写入的数据一定是本线程要写入到tail的数据,而此时tail被缓存在t里,那是一个线程本地变量,所以在这种情况下我们能确定即使多个线程运行到2处,他们的t值也是不同的,并不会产生线程安全问题。

毕竟多个线程push数据时对资源的竞争仅限tail。

但是这种push操作仍然会有安全问题

我们思考这种情况

https://cdn.llfc.club/1699154222424.jpg

此时head和tail都指向1这个位置,当我们执行push(9)时,按照我们的逻辑会先执行3再执行2.

也就是会先将tail移动,然后更新1的值为9.

那如果我们更新了tail之后,还没来的及更新1为9,那么此时如果有其他的线程读取head的值,会读取到1,而不是9.

从多线程安全角度来讲这是不安全的,我们理想的情况是一个线程写完数据后另一个线程读取的就是之前写入的最新值。

为了解决这个问题,我们可以增加另一个原子变量_tail_update来标记尾部数据是否修改完成,如果尾部数据没有修改完成,此时其他线程pop时获取的数据就是不安全的,所以pop要返回false。

先实现push版本

  1. bool push(const T& val)
  2. {
  3. size_t t;
  4. do
  5. {
  6. t = _tail.load(); //1
  7. //判断队列是否满
  8. if( (t+1)%_max_size == _head.load())
  9. {
  10. return false;
  11. }
  12. } while (!_tail.compare_exchange_strong(t,
  13. (t + 1) % _max_size)); //3
  14. _data[t] = val; //2
  15. size_t tailup;
  16. do
  17. {
  18. tailup = t;
  19. } while (_tail_update.compare_exchange_strong(tailup,
  20. (tailup + 1) % _max_size));
  21. return true;
  22. }

再实现pop版本

  1. bool pop(T& val) {
  2. size_t h;
  3. do
  4. {
  5. h = _head.load(); //1 处
  6. //判断头部和尾部指针是否重合,如果重合则队列为空
  7. if(h == _tail.load())
  8. {
  9. return false;
  10. }
  11. //判断如果此时要读取的数据和tail_update是否一致,如果一致说明尾部数据未更新完
  12. if(h == _tail_update.load())
  13. {
  14. return false;
  15. }
  16. val = _data[h]; // 2处
  17. } while (!_head.compare_exchange_strong(h,
  18. (h+1)% _max_size)); //3 处
  19. return true;
  20. }

pop版本也是,先判断队列是否为空,再判断h是否和_tail_update的值相等,如果相等说明有写数据的没更新完,直接返回false或者循环等待也行,为了方便我们直接返回false即可。

因为我们知道原子操作默认采用的是memory_order_seq_cst内存顺序,性能上不是最优的,我们可以用acquirerelease的内存顺序实现同步的效果。

优化性能

我们用acquire和release模型优化上述代码,实现同步。
最简单的方式就是将load的地方变为memory_order_relaxed,compare_exchange_strong的地方变为memory_order_release

我们先看pop操作

  1. bool pop(T& val) {
  2. size_t h;
  3. do
  4. {
  5. h = _head.load(std::memory_order_relaxed); //1 处
  6. //判断头部和尾部指针是否重合,如果重合则队列为空
  7. if (h == _tail.load(std::memory_order_acquire)) //2处
  8. {
  9. std::cout << "circular que empty ! " << std::endl;
  10. return false;
  11. }
  12. //判断如果此时要读取的数据和tail_update是否一致,如果一致说明尾部数据未更新完
  13. if (h == _tail_update.load(std::memory_order_acquire)) //3处
  14. {
  15. return false;
  16. }
  17. val = _data[h]; // 2处
  18. } while (!_head.compare_exchange_strong(h,
  19. (h + 1) % _max_size, std::memory_order_release, std::memory_order_relaxed)); //4 处
  20. std::cout << "pop data success, data is " << val << std::endl;
  21. return true;
  22. }

1 处为memory_order_relaxed是因为即使多个线程pop,每个线程获取的head可能不及时,这个没关系,因为我们有4处的while来重试。

2 compare_exchange_strong操作,在期望的条件匹配时采用memory_order_release, 期望的条件不匹配时memory_order_relaxed可以提升效率,毕竟还是要重试的。

我们再看push 操作

  1. bool push(const T& val)
  2. {
  3. size_t t;
  4. do
  5. {
  6. t = _tail.load(std::memory_order_relaxed); //5
  7. //判断队列是否满
  8. if ((t + 1) % _max_size == _head.load(std::memory_order_acquire))
  9. {
  10. std::cout << "circular que full ! " << std::endl;
  11. return false;
  12. }
  13. } while (!_tail.compare_exchange_strong(t,
  14. (t + 1) % _max_size, std::memory_order_release, std::memory_order_relaxed)); //6
  15. _data[t] = val;
  16. size_t tailup;
  17. do
  18. {
  19. tailup = t;
  20. } while (_tail_update.compare_exchange_strong(tailup,
  21. (tailup + 1) % _max_size, std::memory_order_release, std::memory_order_relaxed)); //7
  22. std::cout << "called push data success " << val << std::endl;
  23. return true;
  24. }

两个线程协同工作,一个线程先push,另一个线程后pop,那么对于tail部分和_tail_update,我们要保证push的结果_data[t] = val;先于pop的结果val = _data[h];

所以push线程中对于_tail_update的compare_exchange_strong操作采用memory_order_release方式。

pop线程对于_tail_update的load操作采用memory_order_acquire

如果一个线程先pop,另一个线程先push,那么对于head部分,我们要保证pop的结果val = _data[h];先于pop的结果_data[t] = val;

思考

优势

无锁高并发. 虽然存在循环重试, 但是这只会在相同操作并发的时候出现. push 不会因为与 pop 并发而重试, 反之亦然.

缺陷

这样队列只应该存储标量, 如果存储类对象时,多个push线程只有一个线程push成功,而拷贝复制的开销很大,其他线程会循环重试,每次重试都会有开销。

视频链接

https://space.bilibili.com/271469206/channel/collectiondetail?sid=1623290

源码链接

https://gitee.com/secondtonone1/boostasio-learn/tree/master/concurrent/day12-circularque

热门评论

热门文章

  1. slice介绍和使用

    喜欢(521) 浏览(2037)
  2. 解密定时器的实现细节

    喜欢(566) 浏览(2616)
  3. C++ 类的继承封装和多态

    喜欢(588) 浏览(3643)
  4. Linux环境搭建和编码

    喜欢(594) 浏览(8190)
  5. windows环境搭建和vscode配置

    喜欢(587) 浏览(1966)

最新评论

  1. asio多线程模型IOServicePool Lion:线程池一定要继承单例模式吗
  2. 泛型算法的定制操作 secondtonone1:lambda和bind是C11新增的利器,善于利用这两个机制可以极大地提升编程安全性和效率。
  3. 类和对象 陈宇航:支持!!!!
  4. C++ 虚函数表原理和类成员内存分布 WangQi888888:class Test{ int m; int b; }中b成员是int,为什么在内存中只占了1个字节。不应该是4个字节吗?是不是int应该改为char。这样的话就会符合图上说明的情况
  5. 解决博客回复区被脚本注入的问题 secondtonone1:走到现在我忽然明白一个道理,无论工作也好生活也罢,最重要的是开心,即使一份安稳的工作不能给我带来事业上的积累也要合理的舍弃,所以我还是想去做喜欢的方向。

个人公众号

个人微信