Probabilistic Analysis of a 1-of-n Selection Algorithm Using a Moderately Pessimistic Decision Criterion

Fathollahnejad, Negin; Villani, Emília; Pathan, Risat Mahmud; Barbosa, Raul; Karlsson, Johan

doi:10.1109/prdc.2013.13

Cited by 2 publications

(1 citation statement)

References 24 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To this end, we investigate a family of synchronous round-based consensus algorithms to solve the 1-of-n selection problem in the presence of symmetric and asymmetric communication failures [7]- [9]. Since we know that we cannot construct an algorithm that guarantees consensus for all failure scenarios, our aim is to find algorithms for which the probability of disagreement is as low as possible.…”

Section: Introductionmentioning

confidence: 99%

On Probabilistic Analysis of Disagreement in Synchronous Consensus Protocols

Fathollahnejad

Villani

Pathan

et al. 2014

2014 Tenth European Dependable Computing Conference

Self Cite

View full text Add to dashboard Cite

This paper presents a probabilistic analysis of disagreement for a family of simple synchronous consensus algorithms aimed at solving the 1-of-n selection problem in presence of unrestricted communication failures. In this problem, a set of n nodes are to select one common value among n proposed values. There are two possible outcomes of each node's selection process: decide to select a value or abort. We have disagreement if some nodes select the same value while other nodes decide to abort. Previous research has shown that it is impossible to guarantee agreement among the nodes subjected to an unbounded number of message losses. Our aim is to find decision algorithms for which the probability of disagreement is as low as possible. In this paper, we investigate two different decision criteria, one optimistic and one pessimistic. We assume two communication failure models, symmetric and asymmetric. For symmetric communication failures, we present the closed-form expressions for the probability of disagreement. For asymmetric failures, we analyse the algorithm using a probabilistic model checking tool. Our results show that the choice of decision criterion significantly influences the probability of disagreement for the 1-of-n selection algorithm. The optimistic decision criterion shows a lower probability of disagreement compare to the pessimistic one when the probability of message loss is less than 30% to 70%. On the other hand, the optimistic decision criterion has in general a higher maximum probability of disagreement compared to the pessimistic criterion.

show abstract

Section: Introductionmentioning

confidence: 99%