Linux / 存储
从 fsync、无锁到 io_uring：系统层踩坑入口
按工程问题找文章：fsync 失败语义、内存屏障、Zero Copy、Direct I/O、文件锁与分配器擂台。
从这里开始
第一次访问时先按主题切入，比直接沿着时间线翻文章更快。
系统架构
过载保护、混沌工程与边缘架构
限流与过载、混沌实验、多租户、Cloudflare/Discord 案例，以及 AI 原生架构。
大模型基础设施
从 GPU 心智模型到推理服务化
把训练、推理、量化与服务化串成一条工程主线；先建立 GPU 心智模型，再进入引擎与量化落地。
可观测性
eBPF、持续 profiling 与内核追踪
从 Continuous Profiling 到 eBPF 全景与 ftrace/kprobe 生产实战。
热门专题
把已经形成系列阅读闭环的主题集中在首页，减少在 400 多篇文章里盲找的成本。
最新文章
按最近更新时间排序；如果你想系统性阅读一个主题，优先回到上面的专题入口。
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++ 各自采用了哪些部分。
基数排序：绕开比较下界的代价，从 LSD、American flag sort 到 ska_sort
比较下界只约束比较模型，基数排序把代价转移到键长和内存访问上。本文推导代价模型，用缓存模拟与绑核实测解释位宽为何停在 8 到 11 位，并对照 ska_sort、ClickHouse、DuckDB 与 IPS²Ra 说明它何时赢、何时输。
外部排序：从 I/O 下界到 PostgreSQL 与 GNU sort
从 Aggarwal–Vitter 的 I/O 下界出发，用可复现实验比较替换选择与快排生成 run、败者树与堆的比较次数、多阶段与平衡归并的搬运量，再对照 PostgreSQL 18 与 GNU sort 9.11 源码说明今天为何多用快排、平衡归并和堆。
并行排序：排序网络、并行归并、样本排序与 GPU 基数排序
用 work/span 计数解释并行排序为何难以线性加速：串行归并与串行划分把并行度压在个位数，并行归并、Merge Path 与样本排序各自如何突破；再对照 libstdc++、oneTBB、Rayon、CUB 源码看生产实现的真实选择。
排序基准测试：比较次数、分支预测与输入分布
在 GCC 16 上对 9 种 int32 排序做精确比较计数与绑核计时（8 种输入分布、3 个进程取中位数）：比较次数预测不了耗时，分支预测与输入结构决定排名；反复排序同一数组会把小数组耗时低估 2 到 6 倍。
哈希表内部：链式、线性探测、Robin Hood 与生产实现的取舍
用可复现的探测次数模拟核对 Knuth 的线性探测公式，比较链式、线性探测、Robin Hood、双重哈希与 SwissTable 分组探测的探测分布和删除策略，再对照 CPython 3.13、JDK 21、Go 1.23/1.24、Abseil、Redis 7.4 的源码说明各自的取舍。
Cuckoo Hashing：用两个位置换取最坏情况常数查找
从 Pagh–Rodler 的两表插入与 cuckoo 图出发，用可复现实验核对失败概率、stash、d-ary 与分桶的负载阈值和两种插入搜索的代价，再对照 MemC3、libcuckoo、DPDK、OVS 源码说明并发读写怎样避免假未命中。
Swiss Table：控制字节、分组探测与墓碑——对照 Abseil、Go 与 hashbrown 源码
对照 Abseil 20260817.0、Go 1.26.8 与 hashbrown 0.17.1 源码，拆解 Swiss table 的控制字节编码、SIMD/SWAR 分组匹配、三角探测、删除与 rehash 策略，并用可复现实验测量探测长度、墓碑代价与每元素内存。
完美哈希：从 FKS 两级表到 gperf 与现代 MPHF
静态键集合上的零冲突哈希有两种目标：FKS 存键、最坏两次访存；MPHF 不存键、下界约 1.443 bits/key。本文用可复现实验核对 FKS、BDZ 剥离、hash-and-displace 与 gperf 3.3 的真实做法。
素性测试与素数生成：Miller-Rabin、BPSW 与 OpenSSL/FIPS 186-5
用可复现实验核对 Miller-Rabin 的 1/4 界、平均情况误判率和 64 位确定性底数，梳理 BPSW 与 AKS 的谱系，并对照 OpenSSL 3.6.2 源码与 FIPS 186-5 说明 RSA 素数实际做几轮测试、为什么够用。
miller-rabin 复现程序
环境：Intel Core i9-12900K，WSL2 内核 6.6.87.2，GCC 16.1.1 20260430，GMP 6.3.0，OpenSSL 3.6.2（源码对照），Python 3.14.5，matplotlib 3.11.2。计时无关的程序都用固定输入或固定种子，重复运行输出相同。
一致性哈希：从 Karger 哈希环到 Jump、Maglev 与有界负载
用可复现模拟量化虚拟节点数与负载偏差（相对标准差约 1/√V），对比环、HRW、Jump、Multi-probe、Maglev 的均衡与迁移代价，并对照 Envoy、Cassandra、nginx 源码说明默认参数的真实含义。
Bloom Filter 家族：从位数组到 Ribbon，每键位数离下界还差多少
用可复现实验测量 Bloom、分块 Bloom、cuckoo、xor 与 Ribbon 的每键位数和误判率，对照 log2(1/ε) 下界解释 1.44 倍从何而来、经典 FPR 公式偏在哪里，并核对 RocksDB 9.10 的 FastLocalBloom 与 Ribbon 实现。
密码学哈希与非密码学哈希：安全定义、迭代构造与哈希洪泛
区分非密码学哈希、带密钥 PRF 与密码学哈希三种契约；用可复现实验演示 SHA-256 长度扩展、雪崩测试的局限、DJBX33A 与带种子 MurmurHash3 的哈希洪泛，并对照 CPython、Rust、Go、Abseil 源码说明各自默认哈希。