Linux

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

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

Linux内核TCP拥塞控制算法深度实战:从Reno/CUBIC到BBR/v3全解与生产调优指南

从TCP拥塞控制基础理论出发,深入剖析Linux内核中的Reno/CUBIC/BBR三代算法实现:拥塞窗口动态、丢包模型vs延迟模型、CUBIC三次函数增长曲线、BBR带宽与RTT探测机制、BBRv2/v3对ECN和丢包的响应、/proc/sys/net/ipv4/tcp_congestion_control配置、eBPF拥塞控制扩展、生产级场景选择策略。