Randomization can be a healer: consensus with dynamic omission failures

  • Authors:

  • Henrique Moniz;Nuno Ferreira Neves;Miguel Correia;Paulo Veríssimo

  • Affiliations:

  • University of Lisboa, Faculdade de Ciências, LASIGE;University of Lisboa, Faculdade de Ciências, LASIGE;University of Lisboa, Faculdade de Ciências, LASIGE;University of Lisboa, Faculdade de Ciências, LASIGE

  • Venue:
  • DISC'09 Proceedings of the 23rd international conference on Distributed computing
  • Year:
  • 2009

Quantified Score

Hi-index 0.01

Visualization

Abstract

Wireless ad-hoc networks are being increasingly used in diverse contexts, ranging from casual meetings to disaster recovery operations. A promising approach is to model these networks as distributed systems prone to dynamic communication failures. This captures transitory disconnections in communication due to phenomena like interference and collisions, and permits an efficient use of the wireless broadcasting medium. This model, however, is bound by the impossibility result of Santoro and Widmayer, which states that, even with strong synchrony assumptions, there is no deterministic solution to any non-trivial form of agreement if n - 1 or more messages can be lost per communication round in a system with n processes. In this paper we propose a novel way to circumvent this impossibility result by employing randomization. We present a consensus protocol that ensures safety in the presence of an unrestricted number of omission faults, and guarantees progress in rounds where such faults are bounded by f ≤ ⌈n/2⌉(n-k)+k - 2, where k is the number of processes required to decide, eventually assuring termination with probability 1.