Quorum placement in networks to minimize access delays

A quorum system is a family of sets (themselves called quorums), each pair of which intersect. In many distributed algorithms, the basic unit accessed by a client is a quorum of nodes. Such algorithms are used for applications such as mutual exclusion, data replication, and dissemination of information. However, accessing spread-out quorums causes access delays that we would like to minimize. Furthermore, every member of the quorum incurs processing load to handle quorum accesses by clients.In this paper we study the problem of placing quorums in a physical network so as to minimize the delay that clients incur by accessing quorums, and while respecting each physical node's capacity (in terms of the load of client requests it can handle). We provide approximation algorithms for this problem for two natural measures of delay (the max-delay and total-delay). All our algorithms ensure that each node's load is within a constant factor of its capacity, and minimize delay to within a constant factor of the optimal delay for all capacity-respecting solutions. We also provide better approximations for several well-known quorum systems.

[1]  Rida A. Bazzi Access cost for asynchronous Byzantine quorum systems , 2001, Distributed Computing.

[2]  Robert H. Thomas,et al.  A Majority consensus approach to concurrency control for multiple copy databases , 1979, ACM Trans. Database Syst..

[3]  Éva Tardos,et al.  An approximation algorithm for the generalized assignment problem , 1993, Math. Program..

[4]  Michael Segal,et al.  Geographic Quorum System Approximations , 2005, Algorithmica.

[5]  Gerhard J. Woeginger On the approximability of average completion time scheduling under precedence constraints , 2003, Discret. Appl. Math..

[6]  Xuemin Lin,et al.  Delay Optimizations in Quorum Consensus , 2001, ISAAC.

[7]  Nancy A. Lynch,et al.  GeoQuorums: implementing atomic memory in mobile ad hoc networks , 2003, Distributed Computing.

[8]  David K. Gifford,et al.  Weighted voting for replicated data , 1979, SOSP '79.

[9]  Michael Rabinovich,et al.  A performance study of general grid structures for replicated data , 1993, [1993] Proceedings. The 13th International Conference on Distributed Computing Systems.

[10]  Mostafa H. Ammar,et al.  The Grid Protocol: A High Performance Scheme for Maintaining Replicated Data , 1992, IEEE Trans. Knowl. Data Eng..

[11]  Mamoru Maekawa,et al.  A N algorithm for mutual exclusion in decentralized systems , 1985, TOCS.

[12]  Yair Amir,et al.  Optimal Availability Quorum Systems: Theory and Practice , 1998, Inf. Process. Lett..

[13]  Jan Karel Lenstra,et al.  Complexity of Scheduling under Precedence Constraints , 1978, Oper. Res..

[14]  Vijay V. Vazirani,et al.  Approximation Algorithms , 2001, Springer Berlin Heidelberg.

[15]  Haifeng Yu Signed quorum systems , 2004, PODC '04.

[16]  Michael K. Reiter,et al.  Probabilistic quorum systems , 1997, PODC '97.

[17]  Bala Kalyanasundaram,et al.  Speed is as powerful as clairvoyance , 2000, JACM.

[18]  Jan Karel Lenstra,et al.  Approximation algorithms for scheduling unrelated parallel machines , 1987, 28th Annual Symposium on Foundations of Computer Science (sfcs 1987).

[19]  Tatsuhiro Tsuchiya,et al.  Minimizing the Maximum Delay for Reaching Consensus in Quorum-Based Mutual Exclusion Schemes , 1999, IEEE Trans. Parallel Distributed Syst..

[20]  Rida A. Bazzi Planar quorums , 2000, Theor. Comput. Sci..

[21]  Tatsuhiro Tsuchiya,et al.  Minimizing the mean delay of quorum-based mutual exclusion schemes , 2001, J. Syst. Softw..

[22]  Moni Naor,et al.  The Load, Capacity, and Availability of Quorum Systems , 1998, SIAM J. Comput..

[23]  Grzegorz Malewicz,et al.  The Quorum Deployment Problem , 2004, OPODIS.

[24]  David Peleg,et al.  Crumbling walls: a class of practical and efficient quorum systems , 1995, PODC '95.

[25]  Ada Wai-Chee Fu Delay-Optimal Quorum Consensus for Distributed Systems , 1997, IEEE Trans. Parallel Distributed Syst..