寄存器分配是编译器后端对程序性能影响最大的优化。
阅读全文LR 解析是编译器前端最重要的算法，没有之一。
阅读全文BWT 只是可逆排列，LF 映射让它能还原文本、用 rank 查询计数子串。本文用对拍过的 C 实现推演逆变换、backward search 与采样 SA 定位，并对照 bzip2 1.0.8、BWA 0.7.18 源码说明工程取舍。
阅读全文从 Aho–Corasick 原文出发讲清 goto、失败与输出函数、2n 转移界和输出爆炸，用可复现程序对比满表 DFA、稀疏 NFA、位图 NFA、字节类 DFA 的内存与扫描代价，并核对 grep、Snort、Suricata、Hyperscan 与 Rust crate 的实际选择。
阅读全文后缀数组用 4n 字节代替后缀树。本文用对拍过的 C 实现推演倍增、SA-IS 与 Kasai LCP，统计三种二分搜索的字符比较次数，并与 libdivsufsort、libsais 实测构造时间和工作内存。
阅读全文对照 Parquet 2.11 规范与 Arrow、ORC 源码拆开字典、RLE/位打包混合、DELTA 与 RLEv2，讲清写入器何时放弃字典；在 TPC-H lineitem 上按字节比较 Parquet、ORC 与级联选择，并数出在编码数据上执行省下的工作。
阅读全文拆解 Gorilla 的时间戳 delta-of-delta 与浮点 XOR 编码，对照 Prometheus、InfluxDB、VictoriaMetrics 钉版本源码，用节点采集数据和 ALP 数据集实测每个值花多少比特，并说明 XOR 在十进制数据上失效的原因与 Chimp、Elf、ALP 的改法。
阅读全文以倒排表的 d-gap 为对象，在两份真实语料和伯努利合成表上实测 varint、Elias、Golomb/Rice、插值编码、Elias-Fano、Simple、PFOR、Stream VByte、BP128 的每整数比特数与下界之差，并在共享 2 vCPU 上测解码的相对速度。
阅读全文算术编码、range coder、rANS、tANS 怎样让每个符号只花分数比特，有限精度的损失落在频率量化、区间截断、状态下界、表的排布和收尾字节中的哪一处；用逐比特记账的可复现实验量化离熵多远，并讨论自适应建模、专利与 tANS 建表的开放问题。
阅读全文神经网络训练就是前向、损失、反向、更新四步循环。本文用一个可手算的标量网络逐步推出反向传播梯度，再推广到两层 MLP 的矩阵求导，给出 NumPy 手写与 PyTorch 对照实现和真实训练曲线，最后说明固定窗口 MLP 为什么处理不好序列、RNN 改了哪一条边。
阅读全文按 RFC 8878 与 zstd 1.5.7 源码拆开帧、块、字面量段和序列段，讲清 FSE 表怎么建、怎么传、编码器怎么选模式；用逐比特记账的解码器实测：偏移额外比特占 39–44%，FSE 离逐块经验熵不到 1%，字典与长距离匹配的收益取决于数据和编码器的启发式。
阅读全文从 1977、1978 年两篇原始论文出发，讲清滑动窗口与短语表两种字典、LZSS 与 LZW 的改动；用可解码验证的固定码 DEFLATE 输出实测哈希链与二叉树匹配查找器、贪心/lazy/最优解析：二叉树每位置 22 个候选即得最长匹配，最优解析比贪心小 12.7%。
阅读全文证明 Huffman 码为何最优、离熵多远，讲清规范码、15 位限长、查表解码与 DEFLATE 的三层码表；用逐比特记账的解码器拆开 zlib 1.3 与 zopfli 的输出：Huffman 只比经验熵多 0.64%，距离额外比特却占 42%。
阅读全文瓶颈队列何时丢包、丢谁的包：对照 RFC 与 Linux v6.12 源码核对 RED、CoDel、FQ-CoDel、PIE 的规则与默认值，用包级离散事件模拟比较四种队列的延迟、吞吐与短流完成时间，并梳理 FQ 与 L4S DualQ 之争。
阅读全文在同一 8 节点拓扑上模拟距离向量、链路状态、路径向量在链路故障和目的地失效后的收敛轮数与消息数，对照 RFC 2328、RFC 4271 与 Labovitz、Griffin 等论文，解释 LSA 泛洪、MRAI、路由震荡抑制、策略不收敛和快速重路由各自解决什么、代价是什么。
阅读全文从球箱模型与超市模型出发，用离散事件模拟比较随机、轮询、P2C、JSQ 在新鲜与过时负载信息下的平均与 p99 逗留时间，再对照 NGINX 1.26.2、Envoy v1.31.0、gRPC、Finagle 与 Prequal 说明各策略的真实实现与适用边界。
阅读全文同一段突发流量喂给窗口计数、令牌桶、漏桶与 GCRA：按 ATM Forum TM 4.0 与 Network Calculus 证明令牌桶与 GCRA 等价，再用 NGINX、redis-cell、Envoy、Guava 的源码移植与实测核对参数映射、突发上限和排队延迟。
阅读全文从停等、GBN、SR 的效率推导与丢包模拟出发，说明窗口为何要覆盖 BDP、SR 为何只能用一半序号空间，再按 RFC 9293、RFC 9000、RFC 9113 与 Linux 6.12 源码拆解 TCP、HTTP/2、QUIC 的接收窗口与自动调优。
阅读全文按 RFC 5681、RFC 9438、BBR 草案与 Linux 源码核对 Reno、CUBIC、BBR 的窗口规则，用包级离散事件模拟复现锯齿、缓冲区排队和 BBR 与 CUBIC 抢带宽的条件，并梳理 BBRv3 的标准化状态与公平性争论。
阅读全文回测夏普 3、实盘 0.5，常见原因是成交价假设不存在。本文把交易成本拆成显性费用、滑点、冲击、机会成本四层，用平方根律、Almgren-Chriss 与 Implementation Shortfall 统一口径，给出经过合成数据验证的 Python 代码和 A 股、美股、CME、币安的成本差异。
阅读全文回测 Sharpe 漂亮却上线失效，多半死于前视偏差、过拟合和数据窥视。本文给出前视偏差的三条机械自查规则，用可复现仿真说明零信号数据上挑出的最佳策略能通过 PSR 却被 DSR 拒掉，并附 Bonferroni、BH-FDR、DSR 的 Python 实现与 30 条上线前自检清单。
阅读全文把有序数组查找看成拟合 CDF：梳理 RMI 到 PGM-index、ALEX、LIPP 的谱系，用可复现程序在四种分布上比较比较次数、缓存行与索引大小，并对照 SOSD、GRE 基准：学习索引在只读、易拟合数据上领先，写密集、难分布与并发下优势收窄。
阅读全文按 Wu 等人（VLDB 2017）的设计维度对照 PostgreSQL 17、InnoDB 8.4、Oracle、SQL Server、Hekaton 与 TiKV 的 MVCC；用模拟器验证三种可见性写法等价、测量 SSI 误杀，并在 PostgreSQL 上复现写偏斜。
阅读全文拆解 leveling、tiering、lazy leveling 的代价模型，对照 RocksDB 9.7.4 的 leveled、universal、FIFO 源码，用计数模拟器实测 22 种配置的写、读、空间放大，并验证 Monkey 给小层更多 filter 位。
阅读全文从数据库缓冲池的 fix/unfix、脏页和扫描污染出发，对照 LRU-K、2Q、CLOCK-Pro 的学术脉络，以及 PostgreSQL 16 与 InnoDB 8.0 的源码实现，用可复现 trace 比较命中率和元数据开销。
阅读全文按 RFC 9162 实现 Merkle 树哈希、包含证明与一致性证明并用公开向量验证，复现域分离缺失与 Bitcoin CVE-2012-2459 两类缺陷，实测 k 叉 trie 证明大小，梳理从 Merkle 1979 到 Verkle 与二叉状态树之争。
阅读全文vEB 树把 w 位整数键逐层对半拆分，使前驱查询每层只递归一次，代价是与宇宙大小成正比的空间。本文给出经穷举测试的 C 实现，用调用次数、字节数和绑核计时对比 std::set 与 64 叉分层位图，并梳理从 1975 年原论文到 Pătraşcu–Thorup 下界的谱系。
阅读全文decode 受显存带宽限制，量化把权重从 BF16 压到 FP8 或 INT4 就能直接换来显存和延迟收益。本文讲清 FP8/FP4/MX 数据类型、GPTQ/AWQ/SmoothQuant/旋转法各自解决什么问题、KV Cache 量化的收益边界，给出按硬件选位宽的规则和 AutoAWQ + vLLM、TensorRT-LLM FP8 的落地命令。
阅读全文汇总本站算法工程相关文章，覆盖排序、哈希、树、字符串、近似数据结构、SIMD、随机化与编译器相关算法。
阅读全文从 O'Neil 1996 与 Dostoevsky 的代价模型推导两类结构的读写空间放大，用计数模拟器在同一负载上实测：B+tree 写放大随缓冲池从 126 降到 8.6，leveled LSM 为 14.4，并对照 RUM 猜想原文与生产数据。
阅读全文从 Bayer-McCreight 1972 推导树高与分裂摊还代价，用计数模拟器和 bbolt v1.5.0 实测：随机插入页填充约 69%，按键序插入由分裂点决定是 50% 还是近 100%；再对照 bbolt、PostgreSQL、SQLite 源码看删除、写时复制与 B-link 并发。
阅读全文对照 JDK 7/25 的 ConcurrentHashMap、NonBlockingHashMap、Linux rhashtable 与 Go sync.Map 的源码，说明并发哈希表真正难的是扩容；实测桶长分布、扩容克隆比例与树化条件，并给出通过 TSan 的分裂有序表实现。
阅读全文对照 Go 1.25、crossbeam-channel、DPDK v25.11 源码，拆解有界 channel 的一把锁、逐槽 stamp、两阶段预留三种环与直接交接、通知重试两种唤醒；实测线程停顿、丢失唤醒、公平性与 TSan 报告。
阅读全文从宽限期保证的形式陈述出发，对照 liburcu 0.15.7 与 Linux v6.12 源码，说明读侧省掉的 StoreLoad 栅栏由谁补上、'读侧零开销'在哪些配置下成立；实测读侧开销、宽限期延迟、membarrier IPI 转嫁给读者的代价和一个缺栅栏的变异体。
阅读全文从 Fraser（2004）的三个 limbo list 出发，推导 EBR 为什么要等两个纪元、垃圾该打哪个纪元的标签；对照 crossbeam-epoch 0.9.18 源码，实测两个变异体、pin 的指令选择、每节点开销、回收速率上限，以及一个被抢占或睡住的读者让垃圾涨到多少。
阅读全文按 Michael（TPDS 2004）的条件拆解 hazard pointers：发布后为何要复读、StoreLoad 栅栏防哪种重排、未回收节点的上界从哪来；实测两个变异体、x86 store buffering 和每个指针的开销，对照 Folly、C++26 与乐观遍历之争。
阅读全文跳表插删要改多个指针，靠标记删除或乐观加锁把它们变成一次线性化操作。对照 Pugh、Harris、Fraser、HLLS 与 JDK 21、LevelDB、RocksDB 源码，并用 TSan 与对拍验证实现，实测独占 CPU 与超额订阅两种情形下的吞吐。
阅读全文ML-KEM（FIPS 203）与 ML-DSA（FIPS 204）都建立在 Module-LWE 上。本文从 LWE 归约讲到 KeyGen/Encaps/Sign 流程、NTT 实现（附与朴素乘法对拍过的 Python 代码）、FO 变换与拒绝采样，说明参数集怎么选、core-SVP 估计为何不能直接和 NIST 级别相减，以及 TLS、Signal 等部署现状。
阅读全文按 PODC 1996 原文复原 Michael-Scott 无锁队列：线性化点、计数指针防 ABA、计数器为何不解决内存回收、每条 CAS 的 C11 内存序，并用 TSan 与线性化检查器实测。
阅读全文用可复现实验测量 Bloom、分块 Bloom、cuckoo、xor 与 Ribbon 的每键位数和误判率，对照 log2(1/ε) 下界解释 1.44 倍从何而来、经典 FPR 公式偏在哪里，并核对 RocksDB 9.10 的 FastLocalBloom 与 Ribbon 实现。
阅读全文用可复现模拟量化虚拟节点数与负载偏差（相对标准差约 1/√V），对比环、HRW、Jump、Multi-probe、Maglev 的均衡与迁移代价，并对照 Envoy、Cassandra、nginx 源码说明默认参数的真实含义。
阅读全文对照 Abseil 20260817.0、Go 1.26.8 与 hashbrown 0.17.1 源码，拆解 Swiss table 的控制字节编码、SIMD/SWAR 分组匹配、三角探测、删除与 rehash 策略，并用可复现实验测量探测长度、墓碑代价与每元素内存。
阅读全文Treiber 栈只靠一次 CAS，却要分别处理 ABA、内存回收和争用三件事。本文用确定性复现、守恒测试和 sanitizer 区分前两者，在 4 个逻辑 CPU 上实测指数退避与消除数组，并对照 Linux llist、Windows SList、Boost.Lockfree 的取舍。
阅读全文对照 CPython 与 OpenJDK 源码拆解 TimSort 的 run 检测、minrun、galloping 与合并，梳理 2015 年栈不变量 bug 和改用 Powersort 的原因；比较次数来自与 CPython 逐次一致的 C 移植。
阅读全文对照 orlp/pdqsort 源码与 Peters 论文，拆解 pdqsort 在 introsort 上的四处改动；用与参考实现比较次数逐次一致的 C 移植和 McIlroy 对抗输入实测，并梳理 Boost、Rust、Go、libc++ 各自采用了哪些部分。
阅读全文比较下界只约束比较模型，基数排序把代价转移到键长和内存访问上。本文推导代价模型，用缓存模拟与绑核实测解释位宽为何停在 8 到 11 位，并对照 ska_sort、ClickHouse、DuckDB 与 IPS²Ra 说明它何时赢、何时输。
阅读全文用 work/span 计数解释并行排序为何难以线性加速：串行归并与串行划分把并行度压在个位数，并行归并、Merge Path 与样本排序各自如何突破；再对照 libstdc++、oneTBB、Rayon、CUB 源码看生产实现的真实选择。
阅读全文从 Pagh–Rodler 的两表插入与 cuckoo 图出发，用可复现实验核对失败概率、stash、d-ary 与分桶的负载阈值和两种插入搜索的代价，再对照 MemC3、libcuckoo、DPDK、OVS 源码说明并发读写怎样避免假未命中。
阅读全文对照 xxHash v0.8.3 与 wyhash final4 源码拆解两者的内层循环，用逐位一致的复现程序和 i9-12900K 实测说明：AVX2 版 XXH3 在缓存内领先，默认 SSE2 构建反而慢于 wyhash，两者都有已知的乘零多重碰撞。
阅读全文用可复现的计数实验（红黑树部分与 Linux v6.12 lib/rbtree.c 逐操作一致）比较 AVL、红黑树与左倾红黑树的树高、旋转、平衡标记写入和比较次数：AVL 与红黑树平均差距很小，差在删除的最坏情形；并核对内核从 AVL 换到红黑树、再把 VMA 交给 maple tree 的史实。
阅读全文