zoukankan      html  css  js  c++  java
  • 无锁队列的实现

    可以用cas 以及fetch等原子操作来实现无锁的队列,说是无锁其实感觉也是有锁的,只是锁的力度比较小,能提升性能

    Bool CAS(T* addr, T expected, T newValue) 
     { 
          if( *addr == expected ) 
         { 
              *addr =  newValue; 
               return true; 
         } 
         else 
               return false; 
     }

    使用数组来实现队列是很常见的方法,因为没有内存的分部和释放,一切都会变得简单,实现的思路如下:

    1)数组队列应该是一个ring buffer形式的数组(环形数组)

    2)数组的元素应该有三个可能的值:HEAD,TAIL,EMPTY(当然,还有实际的数据)

    3)数组一开始全部初始化成EMPTY,有两个相邻的元素要初始化成HEAD和TAIL,这代表空队列。

    4)EnQueue操作。假设数据x要入队列,定位TAIL的位置,使用double-CAS方法把(TAIL, EMPTY) 更新成 (x, TAIL)。需要注意,如果找不到(TAIL, EMPTY),则说明队列满了。

    5)DeQueue操作。定位HEAD的位置,把(HEAD, x)更新成(EMPTY, HEAD),并把x返回。同样需要注意,如果x是TAIL,则说明队列为空。

    算法的一个关键是——如何定位HEAD或TAIL?

    1)我们可以声明两个计数器,一个用来计数EnQueue的次数,一个用来计数DeQueue的次数。

    2)这两个计算器使用使用Fetch&ADD来进行原子累加,在EnQueue或DeQueue完成的时候累加就好了。

    3)累加后求个模什么的就可以知道TAIL和HEAD的位置了。

    如下图所示:

  • 相关阅读:
    红帽7 创建网络会话
    红帽7 Iptables与Firewalld防火墙
    红帽7 配置网卡
    红帽7 LVM逻辑卷管理器
    红帽7 RAID磁盘冗余阵列
    红帽7 磁盘划分
    wpf学习一(转)
    选中当前点击的位置
    c#客显
    两个程序间的通信有三种
  • 原文地址:https://www.cnblogs.com/dynas/p/7248825.html
Copyright © 2011-2022 走看看