使用RCU技术实现读写线程无锁

最新推荐文章于 2024-10-01 05:15:00 发布

kevinlynx

最新推荐文章于 2024-10-01 05:15:00 发布

阅读量3.2k

点赞数

分类专栏： c/c++

本文链接：https://blog.csdn.net/kevinlynx/article/details/45131585

版权

本文介绍了如何利用RCU（Read Copy Update）技术去除读写线程间的锁，以提高系统性能。RCU通过在写线程更新数据时复制旧值并延迟释放，确保读线程能安全访问。文章详细阐述了RCU的实现原理，包括写线程的更新逻辑、读线程的声明机制，以及如何处理线程动态增加/减少的情况。此外，还探讨了支持线程可读可写的RCU实现策略。

摘要由CSDN通过智能技术生成

在一个系统中有一个写线程和若干个读线程，读写线程通过一个指针共用了一个数据结构，写线程改写这个结构，读线程读取该结构。在写线程改写这个数据结构的过程中，加锁情况下读线程由于等待锁耗时会增加。

可以利用RCU (Read Copy Update What is rcu)的思想来去除这个锁。本文提到的主要实现代码：gist

RCU

RCU可以说是一种替代读写锁的方法。其基于一个事实：当写线程在改变一个指针时，读线程获取这个指针，要么获取到老的值，要么获取到新的值。RCU的基本思想其实很简单，参考What is RCU中Toy implementation可以很容易理解。一种简单的RCU流程可以描述为：

写线程：

old_ptr = _ptr
tmp_ptr = copy(_ptr)     // copy
change(tmp_ptr)          // change 
_ptr = tmp_ptr           // update
synchroize(tmp_ptr)

写线程要更新_ptr指向的内容时，先复制一份新的，基于新的进行改变，更新_ptr指针，最后同步释放老的内存。

读线程：

tmp_ptr = _ptr
use(tmp_ptr)
dereference(tmp_ptr)

读线程直接使用_ptr，使用完后需要告诉写线程自己不再使用_ptr。读线程获取_ptr时，可能会获取到老的也可能获取到新的，无论哪种RCU都需要保证这块内存是有效的。重点在synchroize和dereference。synchroize会等待所有使用老的_ptr的线程dereference，对于新的_ptr使用者其不需要等待。这个问题说白了就是写线程如何知道old_ptr没有任何读线程在使用，可以安全地释放。

这个问题实际上在wait-free的各种实现中有好些解法，how-when-