向量时钟与因果一致性：分布式系统排序问题的工程解法
深入解析向量时钟与因果一致性模型。从Lamport时钟的局限性出发，详解向量时钟的更新规则、因果判定，以及版本向量在分布式数据库中的工程实践。包含Dotted Version Vector、垃圾回收、CRDT合并策略，以及与HLC的对比分析。
系统内核
OverlayFS 联合文件系统深度实战：从 lowerdir/upperdir/workdir 到 whiteout 与 copy-up 的完整内核链路
OverlayFS 是 Linux 主线自 3.18（2014）起合入的联合挂载（union mount）文件系统，也是容器镜像分层存储的事实标准底座。它用一个可写的 `upperdir` 叠加在任意多个只读 `lowerdir` 之上，向上呈现一个统一的 `merged` 视图，而底层各层始终保持不可变。本文从第一性原理出发，把 OverlayFS 的目录合并算法、whiteout 隐藏机制、c…
Linux 内核内存规整(Memory Compaction)与页面迁移深度实战
从 Linux 内核页面迁移的五种 MIGRATE_TYPE 出发，深入剖析 compaction 扫描器(isolate_migratepages/compact_finished)、extfrag_threshold 碎片评分算法、CMA 连续内存分配器与 compaction 的协作、proactive compaction 触发机制，结合 /proc/sys/vm/compact_memory 调优与 tracepoint 观测，给出完整的抗碎片化工程方案。
Linux 内核 Lockdep 死锁检测器深度实战：从静态锁检测到动态死锁预防的全链路透视
死锁检测器深度实战：从静态锁检测到动态死锁预防的全链路透视
Linux内核高精度定时器(HRTimer)与Tickless机制深度实战
深入剖析Linux内核HRTimer高精度定时器子系统核心数据结构、红黑树管理算法、硬件时钟源选择、NO_HZ_IDLE与FULL动态Tickless机制实现原理，以及在高精度定时场景中的优化实践
Linux 内核 Livepatch 热补丁深度实战：kpatch 与 livepatch 内核热修复机制全解析
热补丁深度实战：kpatch
Linux 内核 Livepatch 热补丁深度实战：kpatch 与 livepatch 内核热修复机制全解析
热补丁深度实战：kpatch
Linux内核lockdep深度实战：死锁检测与锁依赖验证工程指南
深度解析Linux内核lockdep锁验证器的实现原理与工程实战，涵盖核心数据结构、六类锁的依赖追踪、DFS环检测算法、lock_class_key静态与动态键、subclass机制、lockdep_assert_*断言、生产环境部署策略及典型误报场景。
Linux内核CFS完全公平调度器深度解析：从红黑树到vruntime的数学之美
深入解析Linux内核CFS完全公平调度器的核心原理：虚拟运行时间(vruntime)的数学模型、红黑树O(log n)进程选择、调度延迟与抢占粒度的工程权衡、组调度CFS Bandwidth Control的容器级资源管控、NUMA感知负载均衡策略，以及从CFS到EEVDF的演进路线。
Linux内核内存管理：SLAB与SLUB分配器深度剖析
深入分析Linux内核内存管理机制，重点对比SLAB与SLUB分配器的架构设计、性能差异与适用场景
Linux内核进程调度器深度剖析：CFS、实时调度与异构多核负载均衡
深入剖析Linux内核CFS调度器核心设计，涵盖数据结构、vruntime机制、调度策略（SCHED_FIFO/RR/DEADLINE）、负载均衡、NUMA/EAS能耗感知调度、cgroup资源控制及调优实践
