Linux 内核 rcu(顺序) 锁实现原理与源码解析

本文导读

*RCU 的全称是(Read-Copy-Update) *,意在读写-复制-更新,在 Linux 提供的所有内核互斥的设施当中属于一种免锁机制。

一、什么是 RCU 锁

前面介绍了自旋锁、互斥锁、信号量、读写锁、req 顺序锁。读者是否发现自己突然懂了很多锁实现方案。锁也只能这样了吗？好像都是很常规的锁结构。还有没有一种方式比这些间接需要阻塞的案更强大的、不需要阻塞操作的呢？上述锁都需要被阻塞，读者应该听说过 CopyOnWrite，它就是一种以时间换空间的操作，先复制一份，然后将该副本修改完成后粘贴至来位置处。

本节的标题 rcu，它是哪几个单词的组合呢？ read、copy、update ，这不就是 COW 么，先读出来，然后复制，最后更新，一个无锁结构出来了。

二、RCU 锁实现原理

1、 RCU 锁原理解析

图中有一个链表操作，每个节点有两个字段，即数据字段和 next 指针字段。其中，数据字段保存数据；next 指针字段指向下一个节点。

现在有读任务 M、写任务 N 同时运行。任务 M 读取了 B 节点，任务 N 删除了 B 节点。会有以下结果。

1、无锁。当任务 M 正在读 B 时，任务 N 把 B 删除了，B 的 next 指针将为 NULL，这是不对的，因