Hamband: RDMA replicated data types
Hamband: RDMA replicated data types
复制标题
DOI：
10.1145/3519939.3523426
复制
发表时间：
2022-06
期刊：
影响因子：
--
通讯作者：
F. Houshmand;Javad Saberlatibari;M. Lesani
中科院分区：
文献类型：
--
作者：
F. Houshmand;Javad Saberlatibari;M. Lesani
数据中心越来越多地配备RDMA。这些网络接口标志着一种新的分布式系统模型的出现，其中一个节点可以直接访问另一个节点的远程内存。他们已经实现了微秒级的复制服务。这些系统的底层复制协议在强一致性下执行所有操作。然而，强一致性可能会阻碍响应时间和可用性，最近的复制模型已转向强一致性和宽松一致性的混合。本文提出了RDMA良好协调复制数据类型，这是第一种用于RDMA网络模型的混合复制数据类型。它为这些数据类型提出了一种新的操作语义，该语义考虑了三种不同的方法类别，并捕获了它们所需的协调，并正式证明了它们保持了收敛和完整性。它在一个名为Hamband的系统中实现这些语义，该系统利用直接远程访问来高效地实现所需的协调协议。经验评估表明，Hamband的吞吐量比现有的基于消息的实现和强一致性实现分别高出17倍和2.7倍以上。
Data centers are increasingly equipped with RDMAs. These network interfaces mark the advent of a new distributed system model where a node can directly access the remote memory of another. They have enabled microsecond-scale replicated services. The underlying replication protocols of these systems execute all operations under strong consistency. However, strong consistency can hinder response time and availability, and recent replication models have turned to a hybrid of strong and relaxed consistency. This paper presents RDMA well-coordinated replicated data types, the first hybrid replicated data types for the RDMA network model. It presents a novel operational semantics for these data types that considers three distinct categories of methods and captures their required coordination, and formally proves that they preserve convergence and integrity. It implements these semantics in a system called Hamband that leverages direct remote accesses to efficiently implement the required coordination protocols. The empirical evaluation shows that Hamband outperforms the throughput of existing message-based and strongly consistent implementations by more than 17x and 2.7x respectively.