阅读笔记(五)多线程无锁的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

相关文章

Springboot处理跨域的实现方式(附Demo)

《Springboot处理跨域的实现方式(附Demo)》:本文主要介绍Springboot处理跨域的实现方式(附Demo),具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不... 目录Springboot处理跨域的方式1. 基本知识2. @CrossOrigin3. 全局跨域设置4.

Spring Boot 3.4.3 基于 Spring WebFlux 实现 SSE 功能(代码示例)

《SpringBoot3.4.3基于SpringWebFlux实现SSE功能(代码示例)》SpringBoot3.4.3结合SpringWebFlux实现SSE功能,为实时数据推送提供... 目录1. SSE 简介1.1 什么是 SSE?1.2 SSE 的优点1.3 适用场景2. Spring WebFlu

基于SpringBoot实现文件秒传功能

《基于SpringBoot实现文件秒传功能》在开发Web应用时,文件上传是一个常见需求,然而,当用户需要上传大文件或相同文件多次时,会造成带宽浪费和服务器存储冗余,此时可以使用文件秒传技术通过识别重复... 目录前言文件秒传原理代码实现1. 创建项目基础结构2. 创建上传存储代码3. 创建Result类4.

SpringBoot日志配置SLF4J和Logback的方法实现

《SpringBoot日志配置SLF4J和Logback的方法实现》日志记录是不可或缺的一部分,本文主要介绍了SpringBoot日志配置SLF4J和Logback的方法实现,文中通过示例代码介绍的非... 目录一、前言二、案例一:初识日志三、案例二:使用Lombok输出日志四、案例三:配置Logback一

Python如何使用__slots__实现节省内存和性能优化

《Python如何使用__slots__实现节省内存和性能优化》你有想过,一个小小的__slots__能让你的Python类内存消耗直接减半吗,没错,今天咱们要聊的就是这个让人眼前一亮的技巧,感兴趣的... 目录背景:内存吃得满满的类__slots__:你的内存管理小助手举个大概的例子:看看效果如何?1.

Python+PyQt5实现多屏幕协同播放功能

《Python+PyQt5实现多屏幕协同播放功能》在现代会议展示、数字广告、展览展示等场景中,多屏幕协同播放已成为刚需,下面我们就来看看如何利用Python和PyQt5开发一套功能强大的跨屏播控系统吧... 目录一、项目概述:突破传统播放限制二、核心技术解析2.1 多屏管理机制2.2 播放引擎设计2.3 专

Python实现无痛修改第三方库源码的方法详解

《Python实现无痛修改第三方库源码的方法详解》很多时候,我们下载的第三方库是不会有需求不满足的情况,但也有极少的情况,第三方库没有兼顾到需求,本文将介绍几个修改源码的操作,大家可以根据需求进行选择... 目录需求不符合模拟示例 1. 修改源文件2. 继承修改3. 猴子补丁4. 追踪局部变量需求不符合很

idea中创建新类时自动添加注释的实现

《idea中创建新类时自动添加注释的实现》在每次使用idea创建一个新类时,过了一段时间发现看不懂这个类是用来干嘛的,为了解决这个问题,我们可以设置在创建一个新类时自动添加注释,帮助我们理解这个类的用... 目录前言:详细操作:步骤一:点击上方的 文件(File),点击&nbmyHIgsp;设置(Setti

SpringBoot实现MD5加盐算法的示例代码

《SpringBoot实现MD5加盐算法的示例代码》加盐算法是一种用于增强密码安全性的技术,本文主要介绍了SpringBoot实现MD5加盐算法的示例代码,文中通过示例代码介绍的非常详细,对大家的学习... 目录一、什么是加盐算法二、如何实现加盐算法2.1 加盐算法代码实现2.2 注册页面中进行密码加盐2.

MySQL大表数据的分区与分库分表的实现

《MySQL大表数据的分区与分库分表的实现》数据库的分区和分库分表是两种常用的技术方案,本文主要介绍了MySQL大表数据的分区与分库分表的实现,文中通过示例代码介绍的非常详细,对大家的学习或者工作具有... 目录1. mysql大表数据的分区1.1 什么是分区?1.2 分区的类型1.3 分区的优点1.4 分