Linux / 存储
从 fsync、无锁到 io_uring：系统层踩坑入口
按工程问题找文章：fsync 失败语义、内存屏障、Zero Copy、Direct I/O、文件锁与分配器擂台。
从这里开始
第一次访问时先按主题切入，比直接沿着时间线翻文章更快。
系统架构
过载保护、混沌工程与边缘架构
限流与过载、混沌实验、多租户、Cloudflare/Discord 案例，以及 AI 原生架构。
大模型基础设施
从 GPU 心智模型到推理服务化
把训练、推理、量化与服务化串成一条工程主线；先建立 GPU 心智模型，再进入引擎与量化落地。
可观测性
eBPF、持续 profiling 与内核追踪
从 Continuous Profiling 到 eBPF 全景与 ftrace/kprobe 生产实战。
热门专题
把已经形成系列阅读闭环的主题集中在首页，减少在 400 多篇文章里盲找的成本。
最新文章
按最近更新时间排序；如果你想系统性阅读一个主题，优先回到上面的专题入口。
路由算法：距离向量、链路状态与路径向量的收敛与稳定性
在同一 8 节点拓扑上模拟距离向量、链路状态、路径向量在链路故障和目的地失效后的收敛轮数与消息数，对照 RFC 2328、RFC 4271 与 Labovitz、Griffin 等论文，解释 LSA 泛洪、MRAI、路由震荡抑制、策略不收敛和快速重路由各自解决什么、代价是什么。
主动队列管理：RED → CoDel → FQ-CoDel
瓶颈队列何时丢包、丢谁的包：对照 RFC 与 Linux v6.12 源码核对 RED、CoDel、FQ-CoDel、PIE 的规则与默认值，用包级离散事件模拟比较四种队列的延迟、吞吐与短流完成时间，并梳理 FQ 与 L4S DualQ 之争。
无锁队列：Michael-Scott 算法与 ABA 问题
按 PODC 1996 原文复原 Michael-Scott 无锁队列：线性化点、计数指针防 ABA、计数器为何不解决内存回收、每条 CAS 的 C11 内存序，并用 TSan 与线性化检查器实测。
无锁栈：Treiber 栈、ABA、指数退避与消除退避
Treiber 栈只靠一次 CAS，却要分别处理 ABA、内存回收和争用三件事。本文用确定性复现、守恒测试和 sanitizer 区分前两者，在 4 个逻辑 CPU 上实测指数退避与消除数组，并对照 Linux llist、Windows SList、Boost.Lockfree 的取舍。
并发跳表：标记删除、乐观加锁与 ConcurrentSkipListMap
跳表插删要改多个指针，靠标记删除或乐观加锁把它们变成一次线性化操作。对照 Pugh、Harris、Fraser、HLLS 与 JDK 21、LevelDB、RocksDB 源码，并用 TSan 与对拍验证实现，在 3 个物理核上测吞吐。
负载均衡算法：P2C、平滑加权轮询与过时负载信息
从球箱模型与超市模型出发，用离散事件模拟比较随机、轮询、P2C、JSQ 在新鲜与过时负载信息下的平均与 p99 逗留时间，再对照 NGINX 1.26.2、Envoy v1.31.0、gRPC、Finagle 与 Prequal 说明各策略的真实实现与适用边界。
TCP 拥塞控制：从 Jacobson 的 AIMD 到 CUBIC 与 BBR
按 RFC 5681、RFC 9438、BBR 草案与 Linux 源码核对 Reno、CUBIC、BBR 的窗口规则，用包级离散事件模拟复现锯齿、缓冲区排队和 BBR 与 CUBIC 抢带宽的条件，并梳理 BBRv3 的标准化状态与公平性争论。
LSM-tree Compaction 策略：leveling、tiering、lazy leveling 与 RocksDB 的实现
拆解 leveling、tiering、lazy leveling 的代价模型，对照 RocksDB 9.7.4 的 leveled、universal、FIFO 源码，用计数模拟器实测 22 种配置的写、读、空间放大，并验证 Monkey 给小层更多 filter 位。
MVCC 实现变体：版本存储、快照可见性与写偏斜
按 Wu 等人（VLDB 2017）的设计维度对照 PostgreSQL 17、InnoDB 8.4、Oracle、SQL Server、Hekaton 与 TiKV 的 MVCC；用模拟器验证三种可见性写法等价、测量 SSI 误杀，并在 PostgreSQL 上复现写偏斜。
学习索引：RMI、PGM-index、ALEX 与调优 B+tree 的真实差距
把有序数组查找看成拟合 CDF：梳理 RMI 到 PGM-index、ALEX、LIPP 的谱系，用可复现程序在四种分布上比较比较次数、缓存行与索引大小，并对照 SOSD、GRE 基准：学习索引在只读、易拟合数据上领先，写密集、难分布与并发下优势收窄。
限流算法：令牌桶、漏桶与 GCRA 的等价性和工程实现
同一段突发流量喂给窗口计数、令牌桶、漏桶与 GCRA：按 ATM Forum TM 4.0 与 Network Calculus 证明令牌桶与 GCRA 等价，再用 NGINX、redis-cell、Envoy、Guava 的源码移植与实测核对参数映射、突发上限和排队延迟。
滑动窗口与流量控制：ARQ 效率、序号空间与 TCP/QUIC 的接收窗口
从停等、GBN、SR 的效率推导与丢包模拟出发，说明窗口为何要覆盖 BDP、SR 为何只能用一半序号空间，再按 RFC 9293、RFC 9000、RFC 9113 与 Linux 6.12 源码拆解 TCP、HTTP/2、QUIC 的接收窗口与自动调优。
数据库缓冲池替换：LRU-K、2Q 与生产级扫描保护
从数据库缓冲池的 fix/unfix、脏页和扫描污染出发，对照 LRU-K、2Q、CLOCK-Pro 的学术脉络，以及 PostgreSQL 16 与 InnoDB 8.0 的源码实现，用可复现 trace 比较命中率和元数据开销。
TimSort：自然 run、galloping 与从栈不变量到 Powersort 的合并策略
对照 CPython 与 OpenJDK 源码拆解 TimSort 的 run 检测、minrun、galloping 与合并，梳理 2015 年栈不变量 bug 和改用 Powersort 的原因；比较次数来自与 CPython 逐次一致的 C 移植。
pdqsort：坏分区计数、重复键分区与块分区如何改造 introsort
对照 orlp/pdqsort 源码与 Peters 论文，拆解 pdqsort 在 introsort 上的四处改动；用与参考实现比较次数逐次一致的 C 移植和 McIlroy 对抗输入实测，并梳理 Boost、Rust、Go、libc++ 各自采用了哪些部分。