- KCensus: 把 consensus fast-path 量化成一个优化问题
拆解 arxiv 2609.31302 / EuroSys '27 / LPD-EPFL/kcensus——recoverability 必要充分定理 + per-proposer knowledge requirement 统一表达所有 fast-path,AWS 21 replicas 平均延迟降低 16%。
19 min - 深入解析 KCensus:把共识 Fast Path 合成成可解的优化问题
arXiv 2609.31302。EPFL 把 30 年来 hard-code 的 Paxos/EPaxos/SwiftPaxos fast path 统一抽象成 knowledge requirement,用 ILP 在 31 个 AWS 副本里合成出比最强基线还快 16% 的拓扑感知 fast path。
34 min
Back