smr 标签归档

共 3 篇文章 · 返回首页

Hazard Pointers：发布-验证协议、有界垃圾与栅栏的代价

按 Michael（TPDS 2004）的条件拆解 hazard pointers：发布后为何要复读、StoreLoad 栅栏防哪种重排、未回收节点的上界从哪来；实测两个变异体、x86 store buffering 和每个指针的开销，对照 Folly、C++26 与乐观遍历之争。

从 Fraser（2004）的三个 limbo list 出发，推导 EBR 为什么要等两个纪元、垃圾该打哪个纪元的标签；对照 crossbeam-epoch 0.9.18 源码，实测两个变异体、pin 的指令选择、每节点开销、回收速率上限，以及一个被抢占或睡住的读者让垃圾涨到多少。

HDD 已经被 SSD 抢去了大部分聚光灯，但全球 90% 以上的数据仍然存储在旋转磁盘上。理解 HDD 的物理结构和性能特征，是理解整个存储栈设计决策的基础——从文件系统的块分配策略到数据库的 WAL 设计，几乎每一个存储优化都能追溯到'旋转延迟'和'寻道时间'这两个物理约束。