Linux / 存储
从 fsync、无锁到 io_uring：系统层踩坑入口
按工程问题找文章：fsync 失败语义、内存屏障、Zero Copy、Direct I/O、文件锁与分配器擂台。
从这里开始
第一次访问时先按主题切入，比直接沿着时间线翻文章更快。
系统架构
过载保护、混沌工程与边缘架构
限流与过载、混沌实验、多租户、Cloudflare/Discord 案例，以及 AI 原生架构。
大模型基础设施
从 GPU 心智模型到推理服务化
把训练、推理、量化与服务化串成一条工程主线；先建立 GPU 心智模型，再进入引擎与量化落地。
可观测性
eBPF、持续 profiling 与内核追踪
从 Continuous Profiling 到 eBPF 全景与 ftrace/kprobe 生产实战。
热门专题
把已经形成系列阅读闭环的主题集中在首页，减少在 400 多篇文章里盲找的成本。
最新文章
按最近更新时间排序；如果你想系统性阅读一个主题，优先回到上面的专题入口。
整数压缩：varint、Golomb、PForDelta 与 SIMD 位打包，倒排表里每个整数花几比特
以倒排表的 d-gap 为对象，在两份真实语料和伯努利合成表上实测 varint、Elias、Golomb/Rice、插值编码、Elias-Fano、Simple、PFOR、Stream VByte、BP128 的每整数比特数与下界之差，并在共享 2 vCPU 上测解码的相对速度。
时序数据压缩：delta-of-delta、XOR 浮点编码与十进制数据上的失效
拆解 Gorilla 的时间戳 delta-of-delta 与浮点 XOR 编码，对照 Prometheus、InfluxDB、VictoriaMetrics 钉版本源码，用节点采集数据和 ALP 数据集实测每个值花多少比特，并说明 XOR 在十进制数据上失效的原因与 Chimp、Elf、ALP 的改法。
列式压缩：轻量编码怎么选、Parquet 与 ORC 怎么写、编码数据上怎么算
对照 Parquet 2.11 规范与 Arrow、ORC 源码拆开字典、RLE/位打包混合、DELTA 与 RLEv2，讲清写入器何时放弃字典；在 TPC-H lineitem 上按字节比较 Parquet、ORC 与级联选择，并数出在编码数据上执行省下的工作。
BWT 与 FM-index：从 bzip2 到基因组比对
BWT 只是可逆排列，LF 映射让它能还原文本、用 rank 查询计数子串。本文用对拍过的 C 实现推演逆变换、backward search 与采样 SA 定位，并对照 bzip2 1.0.8、BWA 0.7.18 源码说明工程取舍。
Huffman 编码与 DEFLATE：最优前缀码、规范码表与比特的去向
证明 Huffman 码为何最优、离熵多远，讲清规范码、15 位限长、查表解码与 DEFLATE 的三层码表；用逐比特记账的解码器拆开 zlib 1.3 与 zopfli 的输出：Huffman 只比经验熵多 0.64%，距离额外比特却占 42%。
LZ77、LZ78 与 LZW：字典从哪里来，最长匹配怎么找
从 1977、1978 年两篇原始论文出发，讲清滑动窗口与短语表两种字典、LZSS 与 LZW 的改动；用可解码验证的固定码 DEFLATE 输出实测哈希链与二叉树匹配查找器、贪心/lazy/最优解析：二叉树每位置 22 个候选即得最长匹配，最优解析比贪心小 12.7%。
zstd 的格式与实现：序列、FSE 表、字典与长距离匹配
按 RFC 8878 与 zstd 1.5.7 源码拆开帧、块、字面量段和序列段，讲清 FSE 表怎么建、怎么传、编码器怎么选模式；用逐比特记账的解码器实测：偏移额外比特占 39–44%，FSE 离逐块经验熵不到 1%，字典与长距离匹配的收益取决于数据和编码器的启发式。
算术编码、Range Coder 与 ANS：分数比特的记账方式与精度损失
算术编码、range coder、rANS、tANS 怎样让每个符号只花分数比特，有限精度的损失落在频率量化、区间截断、状态下界、表的排布和收尾字节中的哪一处；用逐比特记账的可复现实验量化离熵多远，并讨论自适应建模、专利与 tANS 建表的开放问题。
算法工程索引
汇总本站算法工程相关文章，覆盖排序、哈希、树、字符串、近似数据结构、SIMD、随机化与编译器相关算法。
并发哈希表：分段锁、桶锁、协作扩容与分裂有序表
对照 JDK 7/25 的 ConcurrentHashMap、NonBlockingHashMap、Linux rhashtable 与 Go sync.Map 的源码，说明并发哈希表真正难的是扩容；实测桶长分布、扩容克隆比例与树化条件，并给出通过 TSan 的分裂有序表实现。
MPMC Channel：环形缓冲的三种同步方式与阻塞唤醒的两种语义
对照 Go 1.25、crossbeam-channel、DPDK v25.11 源码，拆解有界 channel 的一把锁、逐槽 stamp、两阶段预留三种环与直接交接、通知重试两种唤醒；实测线程停顿、丢失唤醒、公平性与 TSan 报告。
RCU：宽限期的保证、读侧的三种实现与代价的去向
从宽限期保证的形式陈述出发，对照 liburcu 0.15.7 与 Linux v6.12 源码，说明读侧省掉的 StoreLoad 栅栏由谁补上、'读侧零开销'在哪些配置下成立；实测读侧开销、宽限期延迟、membarrier IPI 转嫁给读者的代价和一个缺栅栏的变异体。
无锁栈：Treiber 栈、ABA、指数退避与消除退避
Treiber 栈只靠一次 CAS，却要分别处理 ABA、内存回收和争用三件事。本文用确定性复现、守恒测试和 sanitizer 区分前两者，在 4 个逻辑 CPU 上实测指数退避与消除数组，并对照 Linux llist、Windows SList、Boost.Lockfree 的取舍。
Hazard Pointers：发布-验证协议、有界垃圾与栅栏的代价
按 Michael（TPDS 2004）的条件拆解 hazard pointers：发布后为何要复读、StoreLoad 栅栏防哪种重排、未回收节点的上界从哪来；实测两个变异体、x86 store buffering 和每个指针的开销，对照 Folly、C++26 与乐观遍历之争。
Epoch-Based Reclamation：两个纪元的由来、Crossbeam 的实现与停顿的代价
从 Fraser（2004）的三个 limbo list 出发，推导 EBR 为什么要等两个纪元、垃圾该打哪个纪元的标签；对照 crossbeam-epoch 0.9.18 源码，实测两个变异体、pin 的指令选择、每节点开销、回收速率上限，以及一个被抢占或睡住的读者让垃圾涨到多少。