The Weakest Failure Detector for Message Passing Set-Agreement

  • Authors:
  • Carole Delporte-Gallet;Hugues Fauconnier;Rachid Guerraoui;Andreas Tielmann

  • Affiliations:
  • Laboratoire d'Informatique Algorithmique, Fondements et Applications (LIAFA), University Paris VII, France;Laboratoire d'Informatique Algorithmique, Fondements et Applications (LIAFA), University Paris VII, France;School of Computer and Communication Sciences, EPFL, Switzerland;Laboratoire d'Informatique Algorithmique, Fondements et Applications (LIAFA), University Paris VII, France

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

Quantified Score

Hi-index 0.00

Visualization

Abstract

In the set-agreement problem, nprocesses seek to agree on at most n茂戮驴 1 different values. This paper determines the weakest failure detector to solve this problem in a message-passing system where processes may fail by crashing. This failure detector, called the Lonelinessdetector and denoted $\mathcal{L}$, outputs one of two values, "true"or "false"such that: (1) there is at least one process where $\mathcal{L}$ outputs always "false", and (2) if only one process is correct, $\mathcal{L}$ eventually outputs "true"at this process.