Portal de Periódicos da CAPES

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

2023; Association for Computing Machinery; Volume: 1; Issue: 2 Linguagem: Inglês

10.1145/3589276

2836-6573

Tobias Ziegler, Jacob Nelson-Slivon, Viktor Leis, Carsten Binnig,

Cloud Computing and Resource Management

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.