阅读笔记(五)多线程无锁的C++实现《Lock-Free Data Structures》

2024-09-05 05:18

本文主要是介绍阅读笔记(五)多线程无锁的C++实现《Lock-Free Data Structures》,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

1. 前言

  本文介绍使用C++实现多线程中无锁算法的实现和优化过程。

2. 无锁&CAS

  在多线程程序中,加锁是一种必要的手段,由于保证数据操作的正确性(原子性)。但是这也在很多时候带来了性能的极度下降,因为所有共享数据的操作均需要加锁,有些时候会严重影响性能,比如当读键盘或者一些较慢的I/O操作时,锁会延误了其他线程的操作。更糟糕的是,不当操作可能会带来死锁。

  首先介绍最经典的无锁操作:compare-and-swap (CAS) 操作。CAS比较内存地址是否满足要求,若成功则写入value,这整个过程是原子性的。

template <class T>
bool CAS(T* addr, T expected, T value) {if (*addr == expected) {*addr = value;return true;}return false;
}  

3. WRRM Map

  WRRM (Write Rarely Read Many) 是一种常见的情况,即大多数读、很少写的操作。我们可以通过std::map或者std::unordered_map来实现(区别见这里),单同时asso_vector也是一个比较好的选择。在这里我们用Map<key, value>代替,具体实现可以根据需求修改,通常我们的做法如下所示:

// A locking implementation of WRRMMap
template <class K, class V>
class WRRMMap {Mutex mtx_;Map<K, V> map_;
public:V Lookup(const K& k) {Lock lock(mtx_);return map_[k];}void Update(const K& k,const V& v) {Lock lock(mtx_);map_[k] = v;}
};

  这里我们尝试去掉互斥锁结构,改用CAS判断是否可以修改。这里代码改动遵循如下原则

  1. 读操作本身不需要加锁
  2. Updates可以使用CAS进行判断,当CAS失败则一直尝试
  3. 由于CAS可以交换的字节数有限,WRRMMap存储的是指针Map而不是整个Map变量
// 1st lock-free implementation of WRRMMap
// Works only if you have GC
template <class K, class V>
class WRRMMap {Map<K, V>* pMap_;
public:V Lookup (const K& k) {//Look, ma, no lockreturn (*pMap_) [k];}void Update(const K& k,const V& v) {Map<K, V>* pNew = 0;do {Map<K, V>* pOld = pMap_;delete pNew;pNew = new Map<K, V>(*pOld);(*pNew) [k] = v;} while (!CAS(&pMap_, pOld, pNew));// DON'T delete pMap_;}
};

  但是这种设计存在一些问题:

  1. 当多线程并行发调用Update的时候,这里会由于循环造成可能非常久的时延,在这方面需要继续改进。
  2. 旧数据pMap_没有删除

  首先对数据进行包裹和修改。其中Data第一项记录数据,第二项为引用次数。

template <class K, class V>
class WRRMMap {typedef std::pair<Map<K, V>*,unsigned> Data;Data data_;...
};

  修改Lookup函数

V Lookup(const K& k) {Data old;Data fresh;do {old = data_;fresh = old;++fresh.second;} while (CAS(&data_, old, fresh));V temp = (*fresh.first)[k];do {old = data_;fresh = old;--fresh.second;} while (CAS(&data_, old, fresh));return temp;
}

  修改Update函数

void Update(const K& k,const V& v) {Data old;Data fresh;old.second = 1;fresh.first = 0;fresh.second = 1;Map<K, V>* last = 0;do {old.first = data_.first;if (last != old.first) {delete fresh.first;fresh.first = new Map<K, V>(old.first);fresh.first->insert(make_pair(k, v));last = old.first;}} while (!CAS(&data_, old, fresh));delete old.first; // whew
}

3. 参考文献

[1] Alexandrescu, Andrei. Modern C++ Design, Addison-Wesley Longman, 2001.

[2] Alexandrescu, Andrei. “Generic:yasli::vector Is On the Move,” C/C++ Users Journal, June 2004.

[3] Butenhof, D.R. Programming with POSIX Threads, Addison-Wesley, 1997.

[4] Detlefs, David L., Paul A. Martin, Mark Moir, and Guy L. Steele, Jr. “Lock-free Reference Counting,” Proceedings of the Twentieth Annual ACM Symposium on Principles of Distributed Computing, pages 190-199, ACM Press, 2001. ISBN 1-58113-383-9.

[5] Gamma, Erich, Richard Helm, Ralph E. Johnson, and John Vlissides. Design Patterns: Elements of Resusable Object-Oriented Software, Addison-Wesley, 1995.

[6] Meyers, Scott and Andrei Alexandrescu. “The Perils of Double-Checked Locking.” Dr. Dobb’s Journal, July 2004.

[7] Maged, Michael M. “Scalable Lock-free Dynamic Memory Allocation,” Proceedings of the ACM SIGPLAN 2004 Conference on Programming Language Design and Implementation, pages 35-46. ACM Press, 2004. ISBN 1-58113-807-5.

[8] Robison, Arch. “Memory Consistency & .NET,” Dr. Dobb’s Journal, April 2003.

[9] Maged, Michael M. “CAS-Based Lock-Free Algorithm for Shared Deques,” The Ninth Euro-Par Conference on Parallel Processing, LNCS volume 2790, pages 651-660, August 2003.

这篇关于阅读笔记(五)多线程无锁的C++实现《Lock-Free Data Structures》的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/1138055

相关文章

MySQL索引的优化之LIKE模糊查询功能实现

《MySQL索引的优化之LIKE模糊查询功能实现》:本文主要介绍MySQL索引的优化之LIKE模糊查询功能实现,本文通过示例代码给大家介绍的非常详细,感兴趣的朋友一起看看吧... 目录一、前缀匹配优化二、后缀匹配优化三、中间匹配优化四、覆盖索引优化五、减少查询范围六、避免通配符开头七、使用外部搜索引擎八、分

Python实现特殊字符判断并去掉非字母和数字的特殊字符

《Python实现特殊字符判断并去掉非字母和数字的特殊字符》在Python中,可以通过多种方法来判断字符串中是否包含非字母、数字的特殊字符,并将这些特殊字符去掉,本文为大家整理了一些常用的,希望对大家... 目录1. 使用正则表达式判断字符串中是否包含特殊字符去掉字符串中的特殊字符2. 使用 str.isa

Spring Boot 集成 Quartz并使用Cron 表达式实现定时任务

《SpringBoot集成Quartz并使用Cron表达式实现定时任务》本篇文章介绍了如何在SpringBoot中集成Quartz进行定时任务调度,并通过Cron表达式控制任务... 目录前言1. 添加 Quartz 依赖2. 创建 Quartz 任务3. 配置 Quartz 任务调度4. 启动 Sprin

Android实现悬浮按钮功能

《Android实现悬浮按钮功能》在很多场景中,我们希望在应用或系统任意界面上都能看到一个小的“悬浮按钮”(FloatingButton),用来快速启动工具、展示未读信息或快捷操作,所以本文给大家介绍... 目录一、项目概述二、相关技术知识三、实现思路四、整合代码4.1 Java 代码(MainActivi

Linux下如何使用C++获取硬件信息

《Linux下如何使用C++获取硬件信息》这篇文章主要为大家详细介绍了如何使用C++实现获取CPU,主板,磁盘,BIOS信息等硬件信息,文中的示例代码讲解详细,感兴趣的小伙伴可以了解下... 目录方法获取CPU信息:读取"/proc/cpuinfo"文件获取磁盘信息:读取"/proc/diskstats"文

使用Python实现一个优雅的异步定时器

《使用Python实现一个优雅的异步定时器》在Python中实现定时器功能是一个常见需求,尤其是在需要周期性执行任务的场景下,本文给大家介绍了基于asyncio和threading模块,可扩展的异步定... 目录需求背景代码1. 单例事件循环的实现2. 事件循环的运行与关闭3. 定时器核心逻辑4. 启动与停

基于Python实现读取嵌套压缩包下文件的方法

《基于Python实现读取嵌套压缩包下文件的方法》工作中遇到的问题,需要用Python实现嵌套压缩包下文件读取,本文给大家介绍了详细的解决方法,并有相关的代码示例供大家参考,需要的朋友可以参考下... 目录思路完整代码代码优化思路打开外层zip压缩包并遍历文件:使用with zipfile.ZipFil

Python实现word文档内容智能提取以及合成

《Python实现word文档内容智能提取以及合成》这篇文章主要为大家详细介绍了如何使用Python实现从10个左右的docx文档中抽取内容,再调整语言风格后生成新的文档,感兴趣的小伙伴可以了解一下... 目录核心思路技术路径实现步骤阶段一:准备工作阶段二:内容提取 (python 脚本)阶段三:语言风格调

C#实现将Excel表格转换为图片(JPG/ PNG)

《C#实现将Excel表格转换为图片(JPG/PNG)》Excel表格可能会因为不同设备或字体缺失等问题,导致格式错乱或数据显示异常,转换为图片后,能确保数据的排版等保持一致,下面我们看看如何使用C... 目录通过C# 转换Excel工作表到图片通过C# 转换指定单元格区域到图片知识扩展C# 将 Excel

基于Java实现回调监听工具类

《基于Java实现回调监听工具类》这篇文章主要为大家详细介绍了如何基于Java实现一个回调监听工具类,文中的示例代码讲解详细,感兴趣的小伙伴可以跟随小编一起学习一下... 目录监听接口类 Listenable实际用法打印结果首先,会用到 函数式接口 Consumer, 通过这个可以解耦回调方法,下面先写一个