Timed Quorum System for Large-Scale and Dynamic Environments

Vincent Gramoli (1) , Michel Raynal (2)

1 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
2 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems

This paper presents Timed Quorum System (TQS), a new quorum system especially suited for large-scale and dynamic systems. TQS requires that two quorums intersect with high probability if they are used in the same small period of time. It proposed an algorithm that implements TQS and that verifies probabilistic atomicity: a consistency criterion that requires each operation to respect atomicity with high probability. This TQS implementation has quorum of size O( √ nD) and expected access time of O(log √ nD) message delays, where n measures the size of the system and D is a required parameter to handle dynamism.

Mots clés: Probabilistic atomicity; Time; Quorums; Churn; Scalability; Probabilistic atomicity.

Domaines: Calcul parallèle, distribué et partagé [cs.DC]; Réseaux et télécommunications [cs.NI]

Vincent Gramoli, Michel Raynal. Timed Quorum System for Large-Scale and Dynamic Environments. 11th International Conference On Principles Of Distributed Systems, Dec 2007, Pointe à Pitre, Guadeloupe. pp.429--442. ⟨inria-00238563⟩