Thu 16 Jun 2022 23:00 - 23:20 at Kon-Tiki - Distribution
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 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 4x.
Thu 16 JunDisplayed time zone: Pacific Time (US & Canada) change
10:40 - 12:00 | |||
10:40 20mTalk | Certified Mergeable Replicated Data Types PLDI Vimala Soundarapandian IIT Madras, Adharsh Kamath NITK Surathkal, Kartik Nagar IIT Madras, KC Sivaramakrishnan IIT Madras and Tarides DOI Pre-print | ||
11:00 20mTalk | Hamband: RDMA Replicated Data Types PLDI Farzin Houshmand University of California, Riverside, Javad Saberlatibari University of California Riverside, Mohsen Lesani University of California at Riverside DOI | ||
11:20 20mTalk | RunTime-Assisted Convergence in Replicated Data Types PLDI Gowtham Kaki University of Colorado Boulder, Prasanth Prahladan University of Colorado Boulder, Nicholas V. Lewchenko University of Colorado Boulder DOI | ||
11:40 20mTalk | Adore: Atomic Distributed Objects with Certified Reconfiguration PLDI Wolf Honore Yale University, Ji-Yong Shin Northeastern University, Jieung Kim Yale University, USA, Zhong Shao Yale University DOI Pre-print |
22:40 - 00:00 | |||
22:40 20mTalk | Certified Mergeable Replicated Data Types PLDI Vimala Soundarapandian IIT Madras, Adharsh Kamath NITK Surathkal, Kartik Nagar IIT Madras, KC Sivaramakrishnan IIT Madras and Tarides DOI Pre-print | ||
23:00 20mTalk | Hamband: RDMA Replicated Data Types PLDI Farzin Houshmand University of California, Riverside, Javad Saberlatibari University of California Riverside, Mohsen Lesani University of California at Riverside DOI | ||
23:20 20mTalk | RunTime-Assisted Convergence in Replicated Data Types PLDI Gowtham Kaki University of Colorado Boulder, Prasanth Prahladan University of Colorado Boulder, Nicholas V. Lewchenko University of Colorado Boulder DOI | ||
23:40 20mTalk | Adore: Atomic Distributed Objects with Certified Reconfiguration PLDI Wolf Honore Yale University, Ji-Yong Shin Northeastern University, Jieung Kim Yale University, USA, Zhong Shao Yale University DOI Pre-print |