Synchronization

Linux内核Lockdep深度实战:从死锁检测到依赖图验证的静态分析全解

深度剖析Linux内核Lockdep死锁检测工具:从运行时锁依赖图构建到BFS环检测算法的六类规则验证。涵盖锁类与子类分层模型、IRQ安全上下文追踪、多设备驱动子类分流策略、以及字符驱动ioctl/irq死锁、多端口串口分类、workqueue睡眠陷阱等真实案例。包含6.x内核新特性、Rust整合、与KCSAN的分工对比及性能基准。

Linux内核RCU深度实战:从无锁读取到宽限期调度的同步工程全解

深度剖析Linux内核RCU同步机制:从concurrent synchronization天花板问题出发,详尽解读宽限期调度算法、三类RCU变体(Classic/Preemptible/Sleepable/Tree)、内核API使用范式(rcu_assign_pointer/rcu_dereference/call_rcu/synchronize_rcu)。覆盖进程描述符遍历、dentry缓存路径查找、nf_conntrack连接跟踪等真实场景应用,以及实战陷阱、CONFIG_PROVE_RCU调试、性能基准(64核下RCU读取比rwlock快200倍)和用户态liburcu库。

Linux 内核 RCU (Read-Copy-Update) 同步机制:从宽限期原理到生产级性能优化深度实战

深度解析 Linux 内核 RCU 同步机制的核心思想——宽限期检测、发布-订阅内存序、回调回收。涵盖 RCU/SRCU/RCU-BH/RCU-Tasks 四大变体的差异选用、Tree RCU 对数级推进算法、PREEMPT_RT 实时内核适配、与自旋锁/读写锁/序列锁的性能基准对比(64核实测数据)、内核路由缓存/dcache/VFS/tracepoint 中 RCU 的真实应用场景,以及 Linux 6.x Lazy RCU 等新进展。