MPMC Channel：环形缓冲的三种同步方式与阻塞唤醒的两种语义
对照 Go 1.25、crossbeam-channel、DPDK v25.11 源码，拆解有界 channel 的一把锁、逐槽 stamp、两阶段预留三种环与直接交接、通知重试两种唤醒；实测线程停顿、丢失唤醒、公平性与 TSan 报告。
在别人的文字里，遇见自己的念头。
独立书写 · 自由阅读土法炼钢
按发表时间排列RCU：宽限期的保证、读侧的三种实现与代价的去向
从宽限期保证的形式陈述出发，对照 liburcu 0.15.7 与 Linux v6.12 源码，说明读侧省掉的 StoreLoad 栅栏由谁补上、'读侧零开销'在哪些配置下成立；实测读侧开销、宽限期延迟、membarrier IPI 转嫁给读者的代价和一个缺栅栏的变异体。
【Transformer 与注意力机制】17｜Causal Mask：让模型只看过去不看未来
自回归模型训练要并行、生成不能偷看未来。本文从 teacher forcing 推到 mask 矩阵，对比 causal、prefix LM、滑窗与 packing 文档掩码，结合 KV cache 对齐、FlashAttention 跳块与 GPT-2 实测 attention sink，说明 mask 决定训练并行性、推理对齐方式和 sink 落点。
Epoch-Based Reclamation：两个纪元的由来、Crossbeam 的实现与停顿的代价
从 Fraser（2004）的三个 limbo list 出发，推导 EBR 为什么要等两个纪元、垃圾该打哪个纪元的标签；对照 crossbeam-epoch 0.9.18 源码，实测两个变异体、pin 的指令选择、每节点开销、回收速率上限，以及一个被抢占或睡住的读者让垃圾涨到多少。
并发跳表：标记删除、乐观加锁与 ConcurrentSkipListMap
跳表插删要改多个指针，靠标记删除或乐观加锁把它们变成一次线性化操作。对照 Pugh、Harris、Fraser、HLLS 与 JDK 21、LevelDB、RocksDB 源码，并用 TSan 与对拍验证实现，实测独占 CPU 与超额订阅两种情形下的吞吐。
Hazard Pointers：发布-验证协议、有界垃圾与栅栏的代价
按 Michael（TPDS 2004）的条件拆解 hazard pointers：发布后为何要复读、StoreLoad 栅栏防哪种重排、未回收节点的上界从哪来；实测两个变异体、x86 store buffering 和每个指针的开销，对照 Folly、C++26 与乐观遍历之争。
无锁队列：Michael-Scott 算法与 ABA 问题
按 PODC 1996 原文复原 Michael-Scott 无锁队列：线性化点、计数指针防 ABA、计数器为何不解决内存回收、每条 CAS 的 C11 内存序，并用 TSan 与线性化检查器实测。
【密码学百科】格基后量子方案：ML-KEM（Kyber）与 ML-DSA（Dilithium）原理、参数与部署
ML-KEM（FIPS 203）与 ML-DSA（FIPS 204）都建立在 Module-LWE 上。本文从 LWE 归约讲到 KeyGen/Encaps/Sign 流程、NTT 实现（附与朴素乘法对拍过的 Python 代码）、FO 变换与拒绝采样，说明参数集怎么选、core-SVP 估计为何不能直接和 NIST 级别相减，以及 TLS、Signal 等部署现状。
Swiss Table：控制字节、分组探测与墓碑——对照 Abseil、Go 与 hashbrown 源码
对照 Abseil 20260817.0、Go 1.26.8 与 hashbrown 0.17.1 源码，拆解 Swiss table 的控制字节编码、SIMD/SWAR 分组匹配、三角探测、删除与 rehash 策略，并用可复现实验测量探测长度、墓碑代价与每元素内存。
基数排序：绕开比较下界的代价，从 LSD、American flag sort 到 ska_sort
比较下界只约束比较模型，基数排序把代价转移到键长和内存访问上。本文推导代价模型，用缓存模拟与绑核实测解释位宽为何停在 8 到 11 位，并对照 ska_sort、ClickHouse、DuckDB 与 IPS²Ra 说明它何时赢、何时输。
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++ 各自采用了哪些部分。
Cuckoo Hashing：用两个位置换取最坏情况常数查找
从 Pagh–Rodler 的两表插入与 cuckoo 图出发，用可复现实验核对失败概率、stash、d-ary 与分桶的负载阈值和两种插入搜索的代价，再对照 MemC3、libcuckoo、DPDK、OVS 源码说明并发读写怎样避免假未命中。
无锁栈：Treiber 栈、ABA、指数退避与消除退避
Treiber 栈只靠一次 CAS，却要分别处理 ABA、内存回收和争用三件事。本文用确定性复现、守恒测试和 sanitizer 区分前两者，在 4 个逻辑 CPU 上实测指数退避与消除数组，并对照 Linux llist、Windows SList、Boost.Lockfree 的取舍。
并行排序：排序网络、并行归并、样本排序与 GPU 基数排序
用 work/span 计数解释并行排序为何难以线性加速：串行归并与串行划分把并行度压在个位数，并行归并、Merge Path 与样本排序各自如何突破；再对照 libstdc++、oneTBB、Rayon、CUB 源码看生产实现的真实选择。
读到这里，留一点时间给自己的念头。