系统内核
  1. 首页
  2. 系统内核

列表

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

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

区间，是几乎所有"可观测"系统的隐形骨架：实时大盘的滚动求和、限流器的滑动窗口计数、行情系统的档位聚合与 VWAP、推理服务的延迟直方图与分位告警、合并排序的归并段、文本与 DNA 的 LCP 数组……这些场景的共同点是——**数据在持续被单点更新，而你又必须随时回答"某一段区间的聚合值（和 / 最大 / 最小 / 计数）是多少"**。当你发现自己在用 `sum(arr[l:r+1])` 反复遍历…
Linux内核 2026年10月09日
字典树（Trie / 前缀树）深度实战：从字符沿边展开、压缩与双数组到 IP 路由与敏感词过滤的工程全解

字典树（Trie / 前缀树）深度实战：从字符沿边展开、压缩与双数组到 IP 路由与敏感词过滤的工程全解

前缀，是几乎所有"检索"类系统的隐形骨架：自动补全、搜索建议、T9 输入法、IP 路由的最长前缀匹配（LPM）、敏感词过滤、拼写纠错、词典树、前缀计数与排名……这些场景的共同点是——**查询的不是整条键，而是"以某串为前缀的所有键"**。当你发现自己在用 `startswith` 遍历百万字符串时，就该请出字典树了。
Linux内核 2026年10月09日
Linux io_uring 深度实战：重新定义 Linux 异步 I/O 编程范式

Linux io_uring 深度实战：重新定义 Linux 异步 I/O 编程范式

Linux io_uring 深度实战：从 AIO 困境到 io_uring 架构（SQ/CQ Ring、SQE/CQE）、完整 API 实战（初始化、提交、完成事件、链接操作）、高级特性（固定文件、固定缓冲区、SQPOLL 零 syscall、multishot）、性能对比评估、生产部署考量、实战 echo server 示例
系统编程 2026年10月09日
并查集深度实战：从等价划分、路径压缩到按秩合并与可撤销/持久化的工程全解

并查集深度实战：从等价划分、路径压缩到按秩合并与可撤销/持久化的工程全解

系统拆解并查集（Disjoint Set Union）的第一性原理：用有根森林表示等价类划分，find/union 如何把"是否连通"转化为"根是否相同"。从朴素实现的 O(n) 退化陷阱出发，推导两大核心优化——路径压缩（迭代版，规避 Python 递归爆栈）与按秩/按大小合并——二者叠加把摊还复杂度钉死在反阿克曼函数 α(n)（物理可观测尺度内 α(n)≤4，近似常数）。进而展开变体谱系：加权/种类并查集、可撤销并查集（仅按大小合并+栈回滚，禁用路径压缩）、持久化并查集、DSU on tree、离线动态连通性、网格并查集。给出 Kruskal MST/连通分量/图像分割/等式约束/类型合一 等应用对照表、12 项生产陷阱清单（递归压缩爆栈、索引混淆、可撤销误用压缩等）与可复现 Python 工具箱。与本站 布隆过滤器/Count-Min Sketch/HyperLogLog/布谷鸟哈希 共同构成"概率与高性能数据结构工程"系列，前者提供确定性精确的等价类划分，后者提供概率近似的集合成员/频率/基数估计，工程栈中互补共存。
Linux内核 2026年10月09日