Boost Lockfree

flyfish 2014-9-30

为了最大限度的挖掘并行编程的性能考虑使用与锁无关的数据结构来编程

与锁无关的数据结构不是依赖于锁和相互排斥来确保线程安全。





Lockfree的重要操作就是CAS(Compare And Set)原子操作

原子操作就是多个线程訪问同一个资源时,有且仅有唯一 一个线程对该资源进行操作

BOOST中的宏定义

BOOST_ATOMIC_DETAIL_X86_HAS_CMPXCHG8B

BOOST_ATOMIC_DETAIL_X86_HAS_CMPXCHG16B

cmpxchg:比較并交换,也就是

伪代码

bool CAS(int* p,int nOld,int nNew)
{
bool bRet=false;
if (*p == nOld)
{
*p=nNew;
bRet=true;
} return bRet;
}

CAS操作产生的ABA问题



两个线程P1和P2

P1读变量A

P1中断,

P2開始执行,读变量A,更改为B,又更改为A,

P2运行完

P1继续操作,A还是A,P1觉得什么也没有发生





比如

栈 (Stack)是一种后进先出(last in first off,LIFO)的数据结构,仅仅同意在栈顶操作。

如果有一个栈,有三个元素

A

B

C

线程P1,P2对该栈进行操作

P1 读栈顶A

P1 中断

P2 開始执行,A出栈,B出栈,A压栈(删除B)

P1 继续运行,A还是A

P1觉得该栈的结构还是ABC,而此时栈里仅仅有两个元素





就像小时候在家偷看电视,防止电视过热被父母发现,看一会儿就关上,等会儿再看。

当听见开门的声音时,以迅雷不及掩耳之势,换回開始的频道,调回音量图标的格数,关上电视,放回遥控器原来的位置并注意遥控器的朝向来表明没有看电视。





64位平台的处理方案

看boost::lockfree::detail::tagged_ptr代码



解决方案1

文件tagged_ptr_dcas.hpp

简化代码

template <class T>
class tagged_ptr
{
public:
typedef std::size_t tag_t;
protected:
T * ptr;
tag_t tag;
};

ABA问题解决方案是一个std::size_t类型的tag+指针,但不是全部平台都支持。





解决方案2

文件tagged_ptr_ptrcompression.hpp

简化代码

#if defined (__x86_64__) || defined (_M_X64)
class tagged_ptr
{
typedef boost::uint64_t compressed_ptr_t; public:
typedef boost::uint16_t tag_t; private:
union cast_unit
{
compressed_ptr_t value;
tag_t tag[4];
}; static const int tag_index = 3;
static const compressed_ptr_t ptr_mask = 0xffffffffffffUL; //(1L<<48L)-1;
......
} #else
#error unsupported platform
#endif

早期X86-64处理器不支持cmpxchg16b指令

在X86-64平台上,48位是地址,剩下的16位是ABA预防tag

代码

static const compressed_ptr_t ptr_mask = 0xffffffffffffUL; //(1L<<48L)-1;

0xffffffffffff二进制就是48个1。

tag就像一个版本,通过tag,线程能够知道操作的数据已经发生了变化。










Boost Lockfree的更多相关文章

  1. boost::lockfree::queue多线程读写实例

    最近的任务是写一个多线程的东西,就得接触多线程队列了,我反正是没学过分布式的,代码全凭感觉写出来的,不过运气好,代码能够work= = 话不多说,直接给代码吧,一个多消费者,多生产者的模式.假设我的任 ...

  2. boost::lockfree::spsc_queue

    #include <boost/thread/thread.hpp> #include <boost/lockfree/spsc_queue.hpp> #include < ...

  3. boost::lockfree::stack

    #include <boost/thread/thread.hpp> #include <boost/lockfree/stack.hpp> #include <iost ...

  4. boost::lockfree::queue

    #include <boost/thread/thread.hpp> #include <boost/lockfree/queue.hpp> #include <iost ...

  5. Boost lockfree deque 生产者与消费者多对多线程应用

    boost库中有一个boost::lockfree::queue类型的 队列,对于一般的需要队列的程序,其效率都算不错的了,下面使用一个用例来说明. 程序是一个典型的生产者与消费者的关系,都可以使用多 ...

  6. boost 无锁队列

    一哥们翻译的boost的无锁队列的官方文档 原文地址:http://blog.csdn.net/great3779/article/details/8765103 Boost_1_53_0终于迎来了久 ...

  7. 极客时间-左耳听风-程序员攻略-异步I/O模型和Lock-Free编程

    异步 I/O 模型 异步 I/O 模型其中的设计模式或是解决方法可以借鉴到分布式架构上来. 史蒂文斯(Stevens)在<UNIX 网络编程>一书 6.2 I/O Models 中介绍了五 ...

  8. lockfree buffer test

    性能测试(3): 对无锁队列boost::lockfree::queue和moodycamel::ConcurrentQueue做一个性能对比测试     版权声明:本文为博主zieckey原创文章, ...

  9. Boost无锁队列

    版权声明:本文为博主原创文章,未经博主允许不得转载. https://blog.csdn.net/okiwilldoit/article/details/50970408 在开发接收转发agent时, ...

随机推荐

  1. opencv2对于读书笔记——背投影图像的直方图来检测待处理的内容

    一些小的概念 1.直方图是图像内容的一个重要特性. 2.假设一幅图像的区域中显示的是一种独特的纹理或是一个独特的物体,那么这个区域的直方图能够看作是一个概率函数,它给出的是某个像素属于该纹理或物体的概 ...

  2. XCL-Charts绘画面积图(AreaChart) 例1

    样本区域地图,发现区域图的时候把做向上注视位置图更具优势的管理.在改变. 区域图网格和轴是不一样的处理与其它图, 它是用来表示其影响范围的覆盖范围,车桥无段伸出. 在这里下处理. watermark/ ...

  3. Java的socket服务UDP协议

    练习1 接收类 package com.socket.demo; import java.io.IOException; import java.net.DatagramPacket; import ...

  4. leetcode:pascal&#39;s_triangle_II

    一.     称号 一行值. 二.     分析 这道题跟Pascal'sTriangle非常类似,仅仅是这里仅仅须要求出某一行的结果.Pascal's Triangle中由于是求出所有结果,所以我们 ...

  5. OpenCV300 CMake生成project在项目过程中的问题

    2015年6一个月4日本.OpenCV官网上面给出了最新版本号OpenCV.这是:3.0.0版本号,http://opencv.org/ 使用CMake它产生VS2010project流程.我遇到了一 ...

  6. Akka.net开发第一个分布式应用

    Akka.net开发第一个分布式应用 系列主题:基于消息的软件架构模型演变 既然这个系列的主题是”基于消息的架构模型演变“,少不了说说Actor模型.Akka.net是一个基于Actor模型的分布式框 ...

  7. 【Leetcode】Partition List (Swap)

    Given a linked list and a value x, partition it such that all nodes less than x come before nodes gr ...

  8. 关闭 MsMpEng.exe

    MsMpEng.exe是Windows Defender 自动保护服务的核心引擎. 系统是win8.1 最近发现MsMpEng.exe是任务管理器里面最占内存的一个程序,且无法强制结束程序.偶然发现一 ...

  9. 怎么样CSDN Blog投机和增加流量?

    所谓推测装置,以提高它们的可见性,最近比较顾得上,这样一来打字游戏.一方面,练习打字速度 .在又一个方面中,以了解诱导的理论 版权声明:本文博客原创文章,博客,未经同意,不得转载.

  10. Quartus II 11.0破发点(不同的是低版本号)

    小订单: 近期用到了黑金的altera飓风4带的开发板,套件里面带的Quartus II软件版本号为11.0,之前所用版本号为9.1,所以打算吧11.0版本号也安装一下.没想到这个破解的过程让我属实蛋 ...