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深度剖析:异步IO革命背后的双环密码

从epoll到io_uring,全面解析Linux异步IO的技术飞跃。深入剖析io_uring双环队列(SQ/CQ)架构、共享内存零拷贝机制、SQPOLL内核线程模式、固定文件与缓冲区注册、Multi-shot零系统调用操作、内核实现原理,以及与epoll的全方位性能对比。