Linux内核

线段树与树状数组深度实战:从区间查询的第一性原理、lazy 标记到滑动窗口指标、订单簿与延迟直方图聚合的工程全解

区间,是几乎所有"可观测"系统的隐形骨架:实时大盘的滚动求和、限流器的滑动窗口计数、行情系统的档位聚合与 VWAP、推理服务的延迟直方图与分位告警、合并排序的归并段、文本与 DNA 的 LCP 数组……这些场景的共同点是——**数据在持续被单点更新,而你又必须随时回答"某一段区间的聚合值(和 / 最大 / 最小 / 计数)是多少"**。当你发现自己在用 `sum(arr[l:r+1])` 反复遍历…

KD 树(KD-Tree)深度实战:从多维空间划分的第一性原理、交替轴 median 切分与回溯剪枝,到向量检索 KNN、射线追踪与维度灾难的工程全解

> 当你需要在百万个点里找到离某个查询最近的那一个时,"遍历一遍"会变成百万次距离计算;而 KD 树把这件事压到了接近 O(log n)。但它在高维空间会悄悄退化成暴力扫描——这篇文章从第一性原理讲清它为什么有效、为什么失效,以及工程上如何与 HNSW/IVF/LSH 协同。

基数树(Radix Tree / Patricia Trie)深度实战:从路径压缩、二进制切分到 Linux 页缓存 xarray 与路由最长前缀匹配的工程全解

在「字典树(Trie / 前缀树)深度实战」一文中,我们拆解了 Trie 如何用「字符沿边展开」把前缀共享做到极致,却也暴露了一个结构性代价:当插入大量长键且共享前缀稀疏时,Trie 会膨胀出无数只含单个子节点的「瘦链」节点,内存与指针开销被白白浪费。基数树(Radix Tree,又名 Patricia Trie、压缩前缀树)正是为消灭这些瘦链而生的——它通过**路径压缩(path compres…

快速排序与归并排序深度实战:从分区第一性原理、三路切分与内省排序,到外排序、稳定性与 AI 数据管线的工程全解

排序是计算机科学里被讲述最多、也最容易被"以为已经懂了"的算法。绝大多数工程师能默写 Lomuto 分区,却说不清 Hoare 分区少了多少次交换;能背出快排平均 O(n log n),却在面对"为什么 `std::sort` 既快又不会被恶意输入打爆"时哑口无言;会在内存里排 10 万元素,却在外排序喂不动 2 TB 训练样本时束手无策。

Linux内核内存压缩与页面迁移实战:CMA、KSM与compaction

深入解析Linux内核三大内存管理机制:CMA连续内存分配器、KSM同页合并与Memory Compaction碎片整理,涵盖CMA预留-迁移策略、KSM稳定树/不稳定树数据结构、Compaction触发路径与kcompactd内核线程,含性能基准数据与生产环境调优建议。

堆与优先队列深度实战:从完全二叉树的数组映射、sift-down 到 Top-K、中位数维护与定时器堆的工程全解

优先队列(Priority Queue)是工程里最被低估、却无处不在的数据结构:任务调度、定时器、Dijkstra、Top-K 流式统计、中位数维护、K 路归并,背后都是它。而**堆(Heap)**是实现优先队列最经典、最省内存的底层结构——一棵"几乎填满"的完全二叉树被压进一个连续数组,用下标算术代替指针。本文从完全二叉树与数组映射的第一性原理出发,推导 sift-down / sift-up …