Design Guidelines for Correct, Efficient, and Scalable Synchronization using One-Sided RDMA-Reference-Cited by-同舟云学术

Design Guidelines for Correct, Efficient, and Scalable Synchronization using One-Sided RDMA

Published:2023-06-13 Issue:2 Volume:1 Page:1-26
ISSN:2836-6573
Container-title:Proceedings of the ACM on Management of Data
language:en
Short-container-title:Proc. ACM Manag. Data

Author:

Ziegler Tobias¹^ORCID,Nelson-Slivon Jacob²^ORCID,Leis Viktor³^ORCID,Binnig Carsten¹^ORCID

Affiliation:

1. Technische Universität Darmstadt, Darmstadt, Germany

2. Lehigh University, Bethlehem, Germany

3. Technische Universität München, München, Germany

Abstract

Remote data structures built with one-sided Remote Direct Memory Access (RDMA) are at the heart of many disaggregated database management systems today. Concurrent access to these data structures by thousands of remote workers necessitates a highly efficient synchronization scheme. Remarkably, our investigation reveals that existing synchronization schemes display substantial variations in performance and scalability. Even worse, some schemes do not correctly synchronize, resulting in rare and hard-to-detect data corruption. Motivated by these observations, we conduct the first comprehensive analysis of one-sided synchronization techniques and provide general principles for correct synchronization using one-sided RDMA. Our research demonstrates that adherence to these principles not only guarantees correctness but also results in substantial performance enhancements.

Funder

Deutsche Forschungsgemeinschaft

Publisher

Association for Computing Machinery (ACM)

Link

https://dl.acm.org/doi/pdf/10.1145/3589276

Reference62 articles.

1. ARM. 2018. Arm CoreLink CCI-550 Cache Coherent Interconnect Technical Reference Manual. https://developer.arm. com/documentation/100282/0100/?lang=en. https://developer.arm.com/documentation/100282/0100/?lang=en ARM. 2018. Arm CoreLink CCI-550 Cache Coherent Interconnect Technical Reference Manual. https://developer.arm. com/documentation/100282/0100/?lang=en. https://developer.arm.com/documentation/100282/0100/?lang=en

2. ARM. 2021. Introducing the AMBA Coherent Hub Interface. https://developer.arm.com/documentation/102407/0100 ARM. 2021. Introducing the AMBA Coherent Hub Interface. https://developer.arm.com/documentation/102407/0100

3. Wei Cao , Yingqiang Zhang , Xinjun Yang , Feifei Li , Sheng Wang , Qingda Hu , Xuntao Cheng , Zongzhi Chen , Zhenjun Liu , Jing Fang , Bo Wang , Yuhui Wang , Haiqing Sun , Ze Yang , Zhushi Cheng , Sen Chen , Jian Wu , Wei Hu , Jianwei Zhao , Yusong Gao , Songlu Cai , Yunyang Zhang , and Jiawang Tong . 2021 . PolarDB Serverless. In Proceedings of the 2021 International Conference on Management of Data. ACM. https://doi.org/10 .1145/3448016.3457560 10.1145/3448016.3457560 Wei Cao, Yingqiang Zhang, Xinjun Yang, Feifei Li, Sheng Wang, Qingda Hu, Xuntao Cheng, Zongzhi Chen, Zhenjun Liu, Jing Fang, Bo Wang, Yuhui Wang, Haiqing Sun, Ze Yang, Zhushi Cheng, Sen Chen, Jian Wu, Wei Hu, Jianwei Zhao, Yusong Gao, Songlu Cai, Yunyang Zhang, and Jiawang Tong. 2021. PolarDB Serverless. In Proceedings of the 2021 International Conference on Management of Data. ACM. https://doi.org/10.1145/3448016.3457560

4. Nessie: A Decoupled, Client-Driven Key-Value Store Using RDMA

5. Yeounoh Chung and Erfan Zamanian . 2015. Using RDMA for Lock Management. CoRR abs/1507.03274 ( 2015 ). arXiv:1507.03274 http://arxiv.org/abs/1507.03274 Yeounoh Chung and Erfan Zamanian. 2015. Using RDMA for Lock Management. CoRR abs/1507.03274 (2015). arXiv:1507.03274 http://arxiv.org/abs/1507.03274

Cited by 10 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Status-Byte-Assisted RDMA Transmission Mechanism for Optimizing Multi-Task Video Streaming in Edge Computing;Applied Sciences;2024-08-23

2. Seamless: Transparent Storage Access Through Smart Switches;Proceedings of the 20th International Workshop on Data Management on New Hardware;2024-06-09

3. A Memory-Disaggregated Radix Tree;ACM Transactions on Storage;2024-06-06

4. Understanding the Performance Implications of the Design Principles in Storage-Disaggregated Databases;Proceedings of the ACM on Management of Data;2024-05-29

5. Scalable Distributed Inverted List Indexes in Disaggregated Memory;Proceedings of the ACM on Management of Data;2024-05-29