The Weakest Failure Detector for Set-Agreement in Message-Passing Networks
Résumé
Reaching agreement is one of the most fundamental problems in distributed computing. In the set-agreement problem, n processes try to agree on at most n − 1 different values. This paper determines the weakest failure detector for set-agreement in message-passing networks where processes may fail by crashing. The failure detector is called weak−FS and it returns at every invocation “go” or “wait”. It ensures that (1) there is at least one process where the output is always “wait”, and (2) if there is only one correct process, then the output at this process is eventually “go”.
Domaines
Informatique
Origine : Fichiers produits par l'(les) auteur(s)
Loading...