首页
学习
活动
专区
工具
TVP
发布
精选内容/技术社群/优惠产品,尽在小程序
立即前往

Linux RCU 机制详解

1、简介: RCU(Read-Copy Update)是数据同步的一种方式,在当前的Linux内核中发挥着重要的作用。...3、相应资料: Linux内核源码当中,关于RCU的文档比较齐全,你可以在 /Documentation/RCU/ 目录下找到这些文件。 Paul E....McKenney 是内核中RCU源码的主要实现者,他也写了很多RCU方面的文章。他把这些文章和一些关于RCU的论文的链接整理到了一起。...如在文件系统中,通过RCU定位后,如果查找不到相应节点,就会进行其它形式的查找,相关内容等分析到文件系统的时候再进行叙述。 我们再看一下删除一个节点的例子: ?...5、小结: RCU的原理并不复杂,应用也很简单。但代码的实现确并不是那么容易,难点都集中在了宽限期的检测上,后续分析源代码的时候,我们可以看到一些极富技巧的实现方式。

3.6K40

Linux 内核 内存管理】RCU 机制 ② ( RCU 机制适用场景 | RCU 机制特点 | 使用 RCU 机制保护链表 )

文章目录 一、RCU 机制适用场景 二、RCU 机制特点 三、使用 RCU 机制保护链表 一、RCU 机制适用场景 ---- 在上一篇博客 【Linux 内核 内存管理】RCU 机制 ① ( RCU 机制简介...| RCU 机制的优势与弊端 | RCU 机制的链表应用场景 ) 中 , 分析RCU 机制的优势与弊端 ; 优势 : RCU 的优势是 " 读者 " ( 读取共享数据的线程 ) 不需要承担同步开销..." ( 读取共享数据的线程 ) 性能要求高的场景 ; 二、RCU 机制特点 ---- RCU 机制 只能 保护 " 动态分配 “ 的 ” 共享数据结构 " , 该 共享数据 必须 通过指针访问 , 这里的...) 性能要求很高 ; 三、使用 RCU 机制保护链表 ---- RCU 机制 除了保护 普通指针 指向的数据 之外 , 还可以用于 保护 " 链表 " 数据结构 ; Linux 内核中 , 提供了 一系列的...标准函数 , 可以 使用 " RCU 机制 " 保护 " 双链表 " ; 标准链表元素 : 使用 RCU 机制 保护 的 链表 , 链表中的 标准 元素 , 仍然可以使用 ; 标准函数 RCU 变体

96430
  • 您找到你想要的搜索结果了吗?
    是的
    没有找到

    Linux 内核 内存管理】RCU 机制 ① ( RCU 机制简介 | RCU 机制的优势与弊端 | RCU 机制的链表应用场景 )

    文章目录 一、RCU 机制 二、RCU 机制的优势与弊端 三、RCU 机制的链表应用场景 一、RCU 机制 ---- RCU , 英文全称是 " Read-Copy-Update “ , 对应的中文名称是...” 读取-拷贝-更新 “ , 这是 Linux 内核中的 ” 同步机制 " ; Linux 内核中还有其它同步机制 , 如 " 原子操作 " , " 读写信号量 " 等 " 锁机制 " ; RCU 机制...机制的优势与弊端 ---- RCU 的优势是 " 读者 " ( 读取共享数据的线程 ) 不需要承担同步开销 , 同步开销指的是 : ① 获取 " 锁 " , ② 执行 " 原子指令 " , ③ 执行..." 内存屏障 " ; 与此相对的 RCU 机制也有一定弊端 , " 写者 " ( 修改共享数据的线程 ) 需要 承担很大的同步开销 , 其需要 ① 延迟对象释放 , ② 读取 并 复制 共享数据 , ③...必须使用 互斥锁 机制 ; 三、RCU 机制的链表应用场景 ---- RCU 机制 可以极大地 提高 " 链表 " 数据结构的 读取效率 , 多个线程 同时读取 链表 时 , 使用 rcu_read_lock

    1.9K20

    Linux 内核 内存管理】RCU 机制 ⑤ ( RCU 层次架构概念 | RCU 层次架构源码解析 | RCU 层次架构每层最多叶子数 | RCU 层次架构每个叶子 CPU 数量 )

    文章目录 一、RCU 层次架构概念及源码 二、RCU 层次架构源码解析 1、RCU 层次架构每层最多叶子数 2、RCU 层次架构每个叶子 CPU 数量 一、RCU 层次架构概念及源码 ---- RCU...机制 中 , 会 根据 CPU 数量 , 按照 " 树形结构 “ 组成 RCU 层次架构 , 称为 ” RCU Hierarchy " ; 在 Linux 源码 linux-5.6.18\include...\linux\rcu_node_tree.h 头文件中定义了 RCU 层次架构 , RCU 层次架构 源码 : /* * Define shape of hierarchy based on NR_CPUS..._4 (RCU_FANOUT_3 * RCU_FANOUT) 源码路径 : linux-5.6.18\include\linux\rcu_node_tree.h#31 二、RCU 层次架构源码解析...---- " RCU 层次架构 “ 是 根据 ” CPU 数量 " 确定的 , 在 Linux 内核源码中 , 通过各种 " 宏定义 “ 构建 ” RCU 层次架构 " , 1、RCU 层次架构每层最多叶子数

    80010

    Linux内核32-读-拷贝-更新(RCU

    所以,Linux内核引入了读-拷贝-更新技术(英文是Read-copy update,简称RCU),它是另外一种同步技术,主要用来保护被多个CPU读取的数据结构。...2 RCU实现 既然RCU没有使用共享数据结构,那么它是如何神奇地实现同步技术的呢?其核心思想就是限制RCU的使用范围: 只有动态分配的、通过指针进行访问的数据结构。...进入RCU保护的临界代码段的内核控制路径不能休眠。 3 基本操作 对于reader,RCU的基本操作为: (1)调用rcu_read_lock(),进入RCU保护的临界代码段。...对于writer,RCU的基本操作为: (1)拷贝一份旧数据到新数据,修改新数据。 (2)调用rcu_assign_pointer(),将RCU保护的指针修改为新数据的指针。...4 使用场合 RCU是从Linux2.6版本引入的,主要使用在网络层和虚拟文件系统层。

    1.7K10

    深入理解 LinuxRCU 机制

    RCU(Read-Copy Update),是 Linux 中比较重要的一种同步机制。...RCU 的一个典型的应用场景是链表,在 Linux kernel 中还专门提供了一个头文件(include/linux/rculist.h),提供了利用 RCU 机制对链表进行增删查改操作的接口。...本文将通过一个例子,利用 rculist.h 提供的接口对链表进行增删查改的操作,来讲述 RCU 的原理,以及介绍 Linux kernel 中相关的 API(基于 Linux v3.4.0 的源码)。...增加链表项Linux kernel 中利用 RCU 往链表增加项的源码如下:#define list_next_rcu(list) (*((struct list_head __rcu **)(...(list_next_rcu(prev), new); next->prev = new;}list_next_rcu() 函数中的 rcu 是一个供代码分析工具 Sparse 使用的编译选项

    14K52

    谢宝友:深入理解RCU之六:分级RCU基础

    1、准备工作 本文基于linux 2.6.32-rc7版本的源码, 因此请准备一份linux2.6.32-rc7代码。建议用如下两种方法获取源代码: 1、直接在linux.org上面下载源码包。...2、使用git从linux-next拉取最新代码,然后使用git checkout -b linux-2.6.32-rc7 v2.6.32-rc7检出2.6.32-rc7版本的源码。...这削弱了LINUX节能的能力。 2.3. RCU 迫切要解决的问题 实时RCU迫切要解决的问题列表如下: 1. 延迟销毁。...后面这个函数在调度时钟中断中调用,并分析状态以确定中断是否发生在一个静止状态中,以确定是调用rcu_qsctr_inc()或者 rcu_bh_qsctr_inc()。...在某些地方,在可抢占RCU实现中使用分级是有必要的。 后续章节将继续分析分级RCU的代码,以及Linux中其他一些RCU的实现。也许还会讨论实现RCU这类复杂并行软件的开发方法及其形式化验证。

    86410

    Linux 内核 内存管理】RCU 机制 ④ ( RCU 模式下更新链表项 list_replace_rcu 函数 | 链表操作时使用 smp_wmb() 函数保证代码执行顺序 )

    文章目录 一、RCU 模式下更新链表项 list_replace_rcu 函数 二、链表操作时使用 smp_wmb() 函数保证代码执行顺序 一、RCU 模式下更新链表项 list_replace_rcu...函数 ---- 在 Linux 源码 linux-5.6.18\include\linux\rculist.h 头文件中定义的就是 RCU 链表的操作 , 其中定义的 static inline void...(list_next_rcu(new->prev), new); new->next->prev = new; old->prev = LIST_POISON2; list_replace_rcu...(new->prev), new); new->next->prev = new; old->prev = LIST_POISON2; } 源码路径 : linux-5.6.18\include\...linux\rculist.h#198 二、链表操作时使用 smp_wmb() 函数保证代码执行顺序 ---- 编译器 和 CPU 优化 代码时 , 有时会将 代码执行顺序改变 , 在链表操作时 , 代码的执行顺序必须得到保证

    77520

    谢宝友: 深入理解RCU之七:分级RCU实现

    rcurcu_bh共享这个值。 1.2. 分级RCU实现中的节点 rcu_node是被放到 rcu_state结构内的。...RCU全局状态 rcu_state 结构包含每一个RCU实例(rcurcu_bh)的全局状态。...在某些LINUX版本的经典RCU中,这一对字段可能是一个布尔变量。这个字段由根rcu_node 结构的锁进行保护。但是频繁的在没有这个锁保护的情况下访问(但是不修改)。...()和rcu_cpu_notify代码 上图展示了rcu_needs_cpu()和rcu_cpu_notify()的代码,它们被LINUX内核调用,以检查 dynticks-idle 模式转换并处理CPU...(由于篇幅关系,后面的无法贴下,关心原文的,请直接联系谢宝友老师) "Linux阅码场"是专业的Linux及系统软件技术交流社区,Linux系统人才培养基地,企业和Linux人才的连接枢纽。

    3.2K20

    谢宝友:深入理解 Linux RCU 从硬件说起之内存屏障

    这不是一篇单独的文章,这是《谢宝友:深入理解Linux RCU》系列的第2篇,前序文章:《谢宝友:深入理解 Linux RCU 从硬件说起之内存屏障》 作者简介:谢宝友,在编程一线工作已经有20年时间...,其中接近10年时间工作于Linux操作系统。...该书作者Paul E.McKeney是IBM Linux中心领导者,Linux RCU Maintainer。...《深入理解RCU》系列文章整理了Paul E.McKeney的相关著作,希望能帮助读者更深刻的理解Linux内核中非常难于理解的模块----RCU。...其目的是为了后续文章中,更好的讲解RCU。因此,并不会对内存屏障进行深入的剖析。但是,对于理解RCU来说,本文中的内存屏障知识已经可以了。

    7.1K44

    无锁编程(五) - RCU(Read-Copy-Update)

    RCU(Read-Copy Update) RCU就是指读-拷贝修改,它是基于其原理命名的。...对于被RCU保护的共享数据结构,读操作不需要获得任何锁就可以访问,但写操作在访问它时首先拷贝一个副本,然后对副本进行修改,最后在适当的时机把指向原来数据的指针重新指向新的被修改的数据。...Linux内核中内存管理大量的运用到了RCU机制。为每个内存对象增加了一个原子计数器用来继续该对象当前访问数。当没有其他进程在访问该对象时(计数器为0),才允许回收该内存。...从这个流程可以看出,RCU类似于一种读写锁的优化,用于解决读和写之间的同步问题。比较适合读多,写少的情况,当写操作过多的时候,这里的拷贝和修改的成本同样也很大。.../lockfree_rcu product begin ************************consumed world, index1, self 1395513088 *********

    1.7K70

    最浅显易懂的一篇:RCU机制

    简介 ---- RCU(Read-Copy Update)是数据同步的一种方式,在当前的Linux内核中发挥着重要的作用。...Linux内核源码当中,关于RCU的文档比较齐全,你可以在 /Documentation/RCU/ 目录下找到这些文件。Paul E....为了避免该类问题,RCU还是提供了宏来解决该问题: #define rcu_dereference(p) rcu_dereference_check...如在文件系统中,通过RCU定位后,如果查找不到相应节点,就会进行其它形式的查找,相关内容等分析到文件系统的时候再进行叙述。 我们再看一下删除一个节点的例子: ?...小结 ---- RCU的原理并不复杂,应用也很简单。但代码的实现确并不是那么容易,难点都集中在了宽限期的检测上,后续分析源代码的时候,我们可以看到一些极富技巧的实现方式。

    3.3K21

    Linux 内核】进程管理 task_struct 结构体 ③ ( real_parent 字段 | parent 字段 | group_leader 字段 | real_cred、cred字段 )

    文章目录 一、task_struct 结构体字段分析 1、real_parent 字段 2、parent 字段 3、group_leader 字段 4、real_cred 字段 5、cred 字段 在...Linux 内核 中 , " 进程控制块 " 是通过 task_struct 结构体 进行描述的 ; Linux 内核中 , 所有 进程管理 相关算法逻辑 , 都是基于 task_struct 结构体的...; task_struct " 进程描述符 " 结构体在 linux-5.6.18\include\linux\sched.h 头文件中 第 629 ~ 1300 行定义 ; 一、task_struct...结构体字段分析 ---- 1、real_parent 字段 real_parent 字段 , 指向 " 真实的父进程 " ; /* Real parent process: */ struct task_struct...__rcu *real_parent; 2、parent 字段 parent 字段 , 指向 父进程 , 一般情况下与 real_parent 相同 ; 如果 进程 被 另外一个进程 使用 系统调用

    95430
    领券