系统内核

四叉树与八叉树深度实战:从空间递归划分的第一性原理、Morton 编码与范围查询,到碰撞检测、GIS 与三维场景管理的工程全解

空间数据无处不在:地图上的点、游戏里的碰撞体、点云中的三维坐标、图像里的像素块、甚至 NeRF/高斯泼溅里需要被快速检索的 3D 高斯。当数据规模从几百涨到几千万,朴素的两两比较(O(n²))会瞬间压垮系统。本文从第一性原理出发,把四叉树(Quadtree)与八叉树(Octree)这两种"把空间递归对半切"的结构讲透,并给出可直接落地的 Python 参考实现、复杂度对比与一份生产级陷阱清单。

后缀数组(Suffix Array)深度实战:从前缀倍增、SA-IS 到 LCP 数组与模式匹配的工程全解

后缀数组(Suffix Array,SA)是字符串处理领域最基础、最高效的索引结构之一。它把"一个字符串的所有后缀按字典序排序后的起始位置"紧凑地存成一个长度 n 的整数数组,却能在 O(m log n) 内完成任意模式串的精确匹配、在 O(n) 内求最长重复子串、不同子串计数、最长公共子串等经典问题。它比后缀树省内存、比后缀自动机易实现,是生物信息学(DNA 比对)、全文检索(FM-index …

Linux内核块设备I/O调度层深度原理与实战:从请求提交到磁盘调度全链路解析

深入解析Linux内核块设备I/O路径:bio与request的分离哲学、blk-mq多队列框架与硬件分发机制、四大I/O调度器(none/mq-deadline/bfq/kyber)原理对比、bio生命周期全流程追踪(文件系统→submit_bio→blk-mq→Doorbell→中断完成)、前后端合并策略、cgroup v2 I/O隔离(io.max/io.weight/blk-iocost)、io_uring革命性异步I/O路径、常见性能瓶颈诊断与内核参数调优速查表。

跳表(Skip List)深度实战:从随机层数、概率平衡到 Redis zset 与 LevelDB MemTable 的工程全解

跳表(Skip List)是 1989 年 William Pugh 在论文《Skip Lists: A Probabilistic Alternative to Balanced Trees》里提出的一种**概率性平衡的有序数据结构**。它要解决的,是平衡二叉搜索树(AVL、红黑树、B 树)在工程里一个长期被忽视的痛点:**为了维持"平衡",它们不得不在每次插入删除时做复杂的旋转(rotatio…

Linux内核CFS完全公平调度器深度实战

深入解析Linux CFS完全公平调度器的核心原理与实战调优,涵盖红黑树与vruntime机制、调度策略体系、SMP负载均衡、cgroup CPU控制器、NUMA调度以及perf sched工具。