Kernel
Linux io_uring 异步 I/O 革命:从内核子系统到零系统调用高性能编程的全链路架构
深度解析Linux io_uring异步I/O革命:从POSIX AIO的缺陷到io_uring的共享内存环形队列架构设计。详尽讲解SQE/CQE数据结构、三种工作模式(中断/SQPOLL/IOPOLL)的系统调用频谱差异、注册文件与注册缓冲区的热路径优化、IOSQE_IO_LINK原子操作链、MULTISHOT网络与超时原生支持。涵盖与epoll的共生关系、RocksDB生产实测数据、内核演进轨迹(5.1→6.9)、安全限制与正确性保障。
Linux Audit 子系统安全审计:从内核事件采集到 SIEM 集成的深度工程实战
深入解析 Linux audit 子系统的内核实现原理,包括 kauditd 内核线程工作机制、规则匹配引擎、netlink 通信协议,提供 sudo 提权检测、敏感文件保护、异常进程三大实战方案,并对比 audit 与 eBPF 的工程权衡。
Linux 内核设备模型与 sysfs 深度实战:从 kobject 到 udev 事件的完整链路
深入解析 Linux 设备模型:从 kobject 引用计数机制到 kset 容器、bus_type 匹配规则、sysfs 属性操作、udev 事件触发链路,并附带 platform 总线实战、Runtime PM 诊断与调试方法
eBPF 高级可观测性工程:fentry/fexit、BPF Trampoline 与 struct_ops 深度实战
深度解析eBPF三大高级特性——fentry/fexit零开销函数追踪、BPF Trampoline动态函数重定向引擎、struct_ops以BPF替换内核函数指针,涵盖内核源码级原理、完整代码示例和生产环境性能基准测试。
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内核BTF与CO-RE深度实战:可移植BPF程序的架构原理与生产实践
深度解析Linux内核BTF类型格式与CO-RE可移植BPF方案:从BPF可移植性困境出发,全面讲解BTF数据结构类型图、ELF .BTF .BTF.ext节区组织、libbpf重定位三步骤、vmlinux.h头文件生成原理、BPF_CORE_READ宏家族的实现机制。涵盖字段重命名兼容策略、跨内核版本条件编译、编译器优化陷阱防备、BCC到CO-RE迁移模式对比、以及Cilium/Tetragon/Parca等生产级项目实践。
Linux kexec+kdump+crash 深度实战:从生产内核崩溃到根因定位
深入剖析Linux kexec/kdump/crash三件套的内核实现机制与生产部署要点,通过PostgreSQL因NVMe固件bug导致hard lockup的崩溃实战,完整演示从vmcore打开到根因定位的全流程。
eBPF 深度实战:从内核可编程到可观测性、网络与安全的全栈架构
eBPF全栈架构深度解析:内核虚拟机演进、Verifier五大铁律、BPF Map体系、可观测性tracepoint/kprobe、XDP网络加速、TC流量控制、LSM安全策略、Seccomp-BPF、BTF/CO-RE跨平台及Cilium/Falco/Tetragon生态。
