TY - JOUR
T1 - Tractable low-delay atomic memory
AU - Anta, Antonio Fernández
AU - Hadjistasi, Theophanis
AU - Nicolaou, Nicolas
AU - Popa, Alexandru
AU - Schwarzmann, Alexander A.
N1 - Funding Information:
This work was co-funded by the European Regional Development Fund and the Republic of Cyprus through the Research and Innovation Foundation (Project: POST-DOC/0916/0090), by FP7-PEOPLE-2013-IEF Grant ATOMICDFS No:629088, the Spanish Grant TIN2017-88749-R (DiscoEdge), the Region of Madrid EdgeData-CM program (P2018/TCS-4499), and the NSF of China Grant 61520106005.
Publisher Copyright:
© 2020, Springer-Verlag GmbH Germany, part of Springer Nature.
Copyright:
Copyright 2021 Elsevier B.V., All rights reserved.
PY - 2021
Y1 - 2021
N2 - Communication cost is the most commonly used metric in assessing the efficiency of operations in distributed algorithms for message-passing environments. In doing so, the standing assumption is that the cost of local computation is negligible compared to the cost of communication. However, in many cases, operation implementations rely on complex computations that should not be ignored. Therefore, a more accurate assessment of operation efficiency should account for both computation and communication costs. This paper focuses on the efficiency of read and write operations in emulations of atomic read/write shared memory in the asynchronous, message-passing, crash-prone environment. The much celebrated work by Dutta et al. presented an implementation in this setting where all read and write operations could complete in just a single communication round-trip. Such operations where characterized for the first time as fast. At its heart, the work by Dutta et al. used a predicate to achieve that performance. We show that the predicate is computationally intractable by defining an equivalent problem and reducing it to Maximum Biclique, a known NP-hard problem. We derive a new, computationally tractable predicate, and an algorithm to compute it in linear time. The proposed predicate is used to develop three algorithms: ccFast, ccHybrid, and OhFast. ccFast is similar to the algorithm of Dutta et al. with the main difference being the use of the new predicate for reduced computational complexity. All operations in ccFast are fast, and particular constraints apply in the number of participants. ccHybrid and OhFast, allow some operations to be “slow”, enabling unbounded participants in the service. ccHybrid is a “multi-speed” version of ccFast, where the reader determines when it is not safe to complete a read operation in a single communication round-trip. OhFast, expedites algorithm OhSam of Hadjistasi et al. by placing the developed predicate at the servers instead of clients and avoiding excessive server communication when possible. An experimental evaluation using NS3 compares algorithms ccHybrid and OhFast to the classic algorithm ABD of Attiya et al., the algorithm Sf of Georgiou et al. (the first “semifast” algorithm, allowing both fast and slow operations), and algorithm OhSam. In summary, this work gives the new meaning to the term fast by assessing both the communication and the computation efficiency of each operation.
AB - Communication cost is the most commonly used metric in assessing the efficiency of operations in distributed algorithms for message-passing environments. In doing so, the standing assumption is that the cost of local computation is negligible compared to the cost of communication. However, in many cases, operation implementations rely on complex computations that should not be ignored. Therefore, a more accurate assessment of operation efficiency should account for both computation and communication costs. This paper focuses on the efficiency of read and write operations in emulations of atomic read/write shared memory in the asynchronous, message-passing, crash-prone environment. The much celebrated work by Dutta et al. presented an implementation in this setting where all read and write operations could complete in just a single communication round-trip. Such operations where characterized for the first time as fast. At its heart, the work by Dutta et al. used a predicate to achieve that performance. We show that the predicate is computationally intractable by defining an equivalent problem and reducing it to Maximum Biclique, a known NP-hard problem. We derive a new, computationally tractable predicate, and an algorithm to compute it in linear time. The proposed predicate is used to develop three algorithms: ccFast, ccHybrid, and OhFast. ccFast is similar to the algorithm of Dutta et al. with the main difference being the use of the new predicate for reduced computational complexity. All operations in ccFast are fast, and particular constraints apply in the number of participants. ccHybrid and OhFast, allow some operations to be “slow”, enabling unbounded participants in the service. ccHybrid is a “multi-speed” version of ccFast, where the reader determines when it is not safe to complete a read operation in a single communication round-trip. OhFast, expedites algorithm OhSam of Hadjistasi et al. by placing the developed predicate at the servers instead of clients and avoiding excessive server communication when possible. An experimental evaluation using NS3 compares algorithms ccHybrid and OhFast to the classic algorithm ABD of Attiya et al., the algorithm Sf of Georgiou et al. (the first “semifast” algorithm, allowing both fast and slow operations), and algorithm OhSam. In summary, this work gives the new meaning to the term fast by assessing both the communication and the computation efficiency of each operation.
UR - http://www.scopus.com/inward/record.url?scp=85085504950&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85085504950&partnerID=8YFLogxK
U2 - 10.1007/s00446-020-00379-y
DO - 10.1007/s00446-020-00379-y
M3 - Article
AN - SCOPUS:85085504950
SN - 0178-2770
VL - 34
SP - 33
EP - 58
JO - Distributed Computing
JF - Distributed Computing
IS - 1
M1 - 1
ER -