TY - GEN

T1 - Towards feasible implementations of low-latency multi-writer atomic registers

AU - Georgiou, Chryssis

AU - Nicolaou, Nicolas

AU - Russell, Alexander C.

AU - Shvartsman, Alexander A.

PY - 2011

Y1 - 2011

N2 - This work explores implementations of multi-writer/multi-reader (MWMR) atomic registers in asynchronous, crash-prone, message-passing systems with the focus on low latency and computational feasibility. The efficiency of atomic read/write register implementations is traditionally measured in terms of the latency of read and write operations. To reduce operation latency researchers focused on the communication costs, expressed as the number of communication round-trips (or rounds), often ignoring the computation costs. In this paper we consider efficiency of a register implementation in terms of both communication and computation costs. As of this writing, algorithm SFW is the sole known MWMR algorithm that allows single round read and write operations. The algorithm uses collections of intersecting sets (quorums), and to enable single round operations, SFW relies on the evaluation of certain predicates. We formulate a new combinatorial problem that captures the computational burden of evaluating the predicates in algorithm SFW and we show that it is NP-Complete. To make the evaluation of the predicates feasible, we present a polynomial log-approximation algorithm for this problem and we show how to use it with algorithm SFW. Then we present a new algorithm, called CWFR, that allows fast operations independently of the underlying quorum system construction. The algorithm implements two-round writes and allows reads to complete in a single round. We conclude with experimental evaluations of our algorithms obtained from simulations in NS2.

AB - This work explores implementations of multi-writer/multi-reader (MWMR) atomic registers in asynchronous, crash-prone, message-passing systems with the focus on low latency and computational feasibility. The efficiency of atomic read/write register implementations is traditionally measured in terms of the latency of read and write operations. To reduce operation latency researchers focused on the communication costs, expressed as the number of communication round-trips (or rounds), often ignoring the computation costs. In this paper we consider efficiency of a register implementation in terms of both communication and computation costs. As of this writing, algorithm SFW is the sole known MWMR algorithm that allows single round read and write operations. The algorithm uses collections of intersecting sets (quorums), and to enable single round operations, SFW relies on the evaluation of certain predicates. We formulate a new combinatorial problem that captures the computational burden of evaluating the predicates in algorithm SFW and we show that it is NP-Complete. To make the evaluation of the predicates feasible, we present a polynomial log-approximation algorithm for this problem and we show how to use it with algorithm SFW. Then we present a new algorithm, called CWFR, that allows fast operations independently of the underlying quorum system construction. The algorithm implements two-round writes and allows reads to complete in a single round. We conclude with experimental evaluations of our algorithms obtained from simulations in NS2.

KW - Approximation algorithms

KW - Atomic memory

KW - MWMR registers

KW - NP-Complete

UR - http://www.scopus.com/inward/record.url?scp=80054981913&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=80054981913&partnerID=8YFLogxK

U2 - 10.1109/NCA.2011.18

DO - 10.1109/NCA.2011.18

M3 - Conference contribution

AN - SCOPUS:80054981913

SN - 9780769544892

T3 - Proceedings - 2011 IEEE International Symposium on Network Computing and Applications, NCA 2011

SP - 75

EP - 82

BT - Proceedings - 2011 IEEE International Symposium on Network Computing and Applications, NCA 2011

T2 - 10th IEEE International Symposium on Network Computing and Applications, NCA 2011

Y2 - 25 August 2011 through 27 August 2011

ER -