paperbot · PL 论文追踪

全部论文 待读 收藏

P2 Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol

Hermes:一种快速、容错且可线性化的复制协议
ASPLOS Proceedings of the Twenty-Fifth International Conference on Architectural Support for Programming Languages and Operating Systems2020匹配度 1/10 · 该论文属于分布式系统与容错复制协议方向,核心是线性一致性和高吞吐低延迟,与用户关注的 PL/AI 交叉、静态分析、形式化验证、浮点程序分析、贝叶斯程序分析及 LLM/Agent 等方向几乎没有直接关联。引用 48 inbox
Antonios Katsarakis, Vasilis Gavrielatos, M.R. Siavash Katebzadeh, Arpit Joshi, Aleksandar Dragojevic, Boris Grot, Vijay Nagarajan
crossref: 2026-09-12

AI 速览

一句话:提出 Hermes 复制协议,在故障下维持线性一致副本,并面向高吞吐、低延迟的数据存储。

现代数据中心应用依赖数据存储提供可用性、一致性与性能。为实现故障时的高可用,数据存储需要在多个节点间复制数据,并由可靠的复制协议保证副本具备强一致性。强一致性优于较弱一致性模型,因为后者难以为客户端提供直观行为。与此同时,面对高负载和实时延迟要求,数据存储还必须实现高吞吐与低延迟。该论文提出 Hermes,一种快速、容错且可线性化的复制协议,旨在同时满足故障容错、强一致性以及高性能目标。摘要未展开具体协议机制和实验评估细节。

问题
数据存储需在多节点复制下兼顾故障容错、强一致性与高吞吐低延迟。
方法
提出 Hermes 复制协议,目标是在故障发生时仍保持副本线性化/强一致,同时追求快速与高性能。
评估
摘要未给出具体实验设置或量化结果,仅将高吞吐、低延迟、容错与线性化作为设计与评估目标。
原文摘要(Abstract)

Today's datacenter applications are underpinned by datastores that are responsible for providing availability, consistency, and performance. For high availability in the presence of failures, these datastores replicate data across several nodes. This is accomplished with the help of a reliable replication protocol that is responsible for maintaining the replicas strongly-consistent even when faults occur. Strong consistency is preferred to weaker consistency models that cannot guarantee an intuitive behavior for the clients. Furthermore, to accommodate high demand at real-time latencies, datastores must deliver high throughput and low latency.

链接与引用

DOI 原文 · PDF(开放获取) ·

BibTeX
@inproceedings{paperbot5467,
  title = {Hermes: A Fast, Fault-Tolerant and Linearizable Replication Protocol},
  author = {Antonios Katsarakis and Vasilis Gavrielatos and M.R. Siavash Katebzadeh and Arpit Joshi and Aleksandar Dragojevic and Boris Grot and Vijay Nagarajan},
  booktitle = {ASPLOS},
  year = {2020},
  doi = {10.1145/3373376.3378496}
}