Timed Quorum System for Large-Scale 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 report 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 proposes 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) with 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: Time; Quorums; Churn; Scalability; Probabilistic atomicity

Domaines: Calcul parallèle, distribué et partagé [cs.DC]

Vincent Gramoli, Michel Raynal. Timed Quorum System for Large-Scale Dynamic Environments. [Research Report] PI 1859, 2007. ⟨inria-00164909⟩