On the Robustness of (Semi) Fast Quorum-Based Implementations of Atomic Shared Memory

  • Authors:
  • Chryssis Georgiou;Nicolas C. Nicolaou;Alexander A. Shvartsman

  • Affiliations:
  • Department of Computer Science, University of Cyprus, Nicosia, Cyprus;Department of Computer Science and Engineering, University of Connecticut, Storrs, USA;Department of Computer Science and Engineering, University of Connecticut, Storrs, USA and Computer Science and Artificial Intelligence Laboratory, MIT, Cambridge, USA MA 02139

  • Venue:
  • DISC '08 Proceedings of the 22nd international symposium on Distributed Computing
  • Year:
  • 2008

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper studies a trade-off between fault-tolerance and latency in implementations of atomic read/write objects in message-passing systems. In particular, considering fastor semifastquorum-basedimplementations, that is, implementations where allor respectively mostread and write operations complete in a single communication round-trip, it is shown that such implementations are not robustdue to the fact that they necessarily require a quorum system with a common intersection between its quorums.To trade speed for fault-tolerance, the notion of weak-semifastimplementations is introduced. Here more than a single complete slow (two round-trip) read operation is allowed for each write operation (semifast implementations allow only one such slow read). A quorum-based algorithm is given next and it is formally shown that it constitutes a weak-semifast implementation of atomic registers. The algorithm uses the notion of Quorum Viewsto facilitate the characterization of all possible object timestamp distributions that a read operation may witness during its first communication round-trip. Noteworthy is that the algorithm allows fast read operations even if they are concurrent with other read and write operations. Finally, experimental results were gathered by simulating the algorithm using the NS-2 network simulator. The results show that under realistic conditions, less than 13% of read operations are slow, thus the overwhelming majority of operations take a single communication round-trip.