AURA 论文精讲

AURA 的 elevator pitch、它在 DM 事务谱系里的位置、I1–I4 不变式速记、Router-Centric 主张与论文 §1 贡献清单的可复述版本

读 AURA 论文前的 30 分钟知识包：ConnectX 代际差异下 atomic IOPS 为什么有物理上限、RDMA OCC 三阶段标准实现、分离式内存 vs RDMA-attached storage 边界、CREST/FORD/Motor 共享的最小抽象（Pool / Hash Index / Cell-level CC）

按论文 §2.1–2.4 逐段重读 AURA 的 motivation chain：锁瓶颈的物理根源 → 单纯路由为什么不够（含 CREST 实测 +2.4% 吞吐 / -3pp abort 数据点） → 从数据物理设计到锁所有权物理设计的代差转向 → 5 条设计目标各自对应后续章节

按论文 §3.1–3.2 + §3.8 重读：AURA 总体架构（4 个核心组件 + 12 个模块）、系统模型与不变量 I1–I4、Router-Centric 部署的 4 条理由、与 H-Store / VoltDB / Calvin / TiDB OLTP 工业系统谱系的位置对照

按论文 §3.3 + §3.4 + §3b W13/W14 重读：TraceCollector + AccessGraphProfiler 怎么把事务流转成加权图、typed edge（ww/wr/rr）为什么必须区分、EWMA decay 半衰期推导、LockCohortGenerator 的 merge/split/transfer/evict 四类操作、union-find + Jaccard 迟滞 + 倒排索引工程细节

按论文 §3.5–3.7 + §3b W16/W18 重读：Benefit = S_atomic − C_rpc − C_move − C_load 四项物理推导、Greedy planner 算法 + 容量约束、AffinityRouter Score(T,i) 公式 + β 系数、OwnerOfKeyGroup 与 RouteByWarehouse fallback 的双层路由

按论文 §4 逐段重读：AcquireAuthority / ValidateAuthority 双接口、本地快路径 vs 远程慢路径 vs fallback 三分叉、freeze-drain-handoff-publish 四阶段时序、I1–I4 不变量的违反 corner case + 防御 + 一致性论证草图（四个 paragraph proof）

按论文 §5 + v25 工程实测重读：Phase R-big 8 阶段重构地图、Manifest v1 vs v2 wire format、9216 cohort 全表展开的算账、v25 access-graph cohort planner 集成（A→E phased rollout）、Lever B 反直觉负结果与 feedback loop 诊断、record_key reshape 的方法论教训

按论文 §6 + §9 + 工程实测重读：CloudLab 实验环境、3 个 workload（TPC-C / SmallBank / TATP）的 attempted_num / threads / coroutines 参数、bootstrap CI 95% 置信区间、acceptance gates（atomic ≤ 5 / KOPS ≥ 80 / LOCAL ≥ 80 / unknown < 1% / abort < 2%）、negative regimes 设计、3-rep 中位数 + paper §6 M6 行更新流程