lockdep

Linux 内核同步机制深度实战:从 Spinlock 到 RCU 的完全并发控制工程指南

Linux 内核同步机制完全实战指南:从硬件原子指令、内存屏障、spinlock qspinlock架构、读写锁rwlock、seqlock无锁读、mutex可睡眠互斥、rw_semaphore、completion事件通知、percpu变量零锁设计,到RCU Grace Period原理与call_rcu异步释放。每个机制均包含内核源码函数签名、真实驱动示例、最佳实践及Lockdep调试。附生产级决策树帮你精确选择同步原语。

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

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