Linux内核

HyperLogLog 深度实战:从 Flajolet-Martin 草图、调和均值估计到 HLL++ 稀疏表示与可合并基数估计的工程全解

系统拆解 HyperLogLog 的第一性原理:从 Flajolet-Martin 草图、LogLog 分桶到 HLL 用调和均值替代算术均值抑制离群桶,把标准误差压到 1.04/√m;推导哈希分桶、ρ(rank) 寄存器、原始估计量 E=α·m²/Σ2^{-M[j]} 与 α_m 校正常数、误差表;解析小基数 Linear Counting 混合与 HLL++ 的 empirical bias correction、稀疏表示(varint 编码)与 64 位修正;论证逐桶 max 的可合并性如何支撑分布式/流式基数聚合;给出与 Bloom/Count-Min 的分工对照表、可合并的生产级 Python 实现(dense/sparse 切换、序列化、merge)与 12 项生产陷阱清单(哈希一致性、p 不可变、合并前不可先平均、误差带展示等)。与本站《布隆过滤器》(16214)、《Count-Min Sketch》(16270) 共同构成概率数据结构工程三部曲。

Linux 内存子系统深度实战:从物理页框到虚拟地址全链路解析

深入解析Linux内存子系统全链路机制,涵盖NUMA节点与内存域、伙伴系统分配原理与GFP标志、SLUB/SLAB分配器、进程虚拟地址空间与VMap、五级页表与TLB机制、Huge Pages与透明大页、LRU回收与Swap机制、Zswap/Zram压缩交换、OOM Killer评分与cgroup OOM、vmalloc与地址空间管理、生产环境调优实战、观测与故障排查工具

深入理解 Linux io_uring:异步 I/O 新纪元的理论与实践

从io_uring的设计理念出发,深入剖析其核心数据结构、系统调用、工作流程,并通过实战代码展示如何构建基于io_uring的高性能应用程序。覆盖SQE/CQE结构、mmap映射、SQPOLL模式、Fixed Buffers/Files、链接操作、性能优化最佳实践,以及完整的io_uring echo server实现。

Linux 内核 eBPF 深度实战:从内核探测到性能分析全链路指南

eBPF(Extended Berkeley Packet Filter)深度实战指南。从核心架构(Verifier/Maps/JIT)到关键技术(Kprobes/Tracepoint/XDP/uprobe),再到从零构建性能追踪工具的完整实战。涵盖BCC、bpftrace、libbpf CO-RE、Tail Calls 等生态工具链,以及生产级部署架构与安全边界分析。

io_uring 深度工程实战:从 Linux 内核异步 IO 革命到高性能存储引擎构建

深度解析 Linux io_uring 异步 IO 框架:从环形队列底层原理、双队列架构(SQE/CQE),到 SQPOLL 零 syscall 提交模式、Fixed Buffers 预注册、Linked SQE 链式请求依赖;完整分析 io_wq 工作队列并发模型与内核 5.19~6.5 演进路径;基于 fio 的 NVMe SSD 性能基准测试(4K 随机读:io_uring SQ+IOP = 512K IOPS, P99 延迟 4.2μs);并通过 Rust 实现一个基于 io_uring 的 LSM-Tree KV 存储引擎原型,涵盖 WAL 追加写入、epoll+io_uring 双 ring 网络-存储分离架构;最后提供生产环境避坑指南。